1 int fun(void); 2 foo(void)3 static int foo(void) { return ((0 || fun()) && fun()); } 4 5 /* 6 * check-name: phi-order03 7 * check-command: sparse -vir -flinearize=last $file 8 */ 9