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