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