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