1 int fun(void);
2
foo(int a)3 static int foo(int a)
4 {
5 return a && fun();
6 }
7
bar(int a)8 static 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