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