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  */