1int fun(void);
2
3static int foo(int a)
4{
5	return a && fun();
6}
7
8static int bar(int a)
9{
10	return a || fun();
11}
12
13/*
14 * check-name: phi-order01
15 * check-command: sparse -vir -flinearize=last $file
16 */
17