1f08c3bdfSopenharmony_ciint fun(void); 2f08c3bdfSopenharmony_ci 3f08c3bdfSopenharmony_cistatic int foo(int a) { return 0 || fun(); } 4f08c3bdfSopenharmony_cistatic int bar(int a) { return 1 || fun(); } 5f08c3bdfSopenharmony_cistatic int baz(int a) { return 0 && fun(); } 6f08c3bdfSopenharmony_cistatic int qux(int a) { return 1 && fun(); } 7f08c3bdfSopenharmony_ci 8f08c3bdfSopenharmony_cistatic int oof(int a) { return fun() || 1; } 9f08c3bdfSopenharmony_cistatic int rab(int a) { return fun() || 0; } 10f08c3bdfSopenharmony_cistatic int zab(int a) { return fun() && 1; } 11f08c3bdfSopenharmony_cistatic int xuq(int a) { return fun() && 0; } 12f08c3bdfSopenharmony_ci 13f08c3bdfSopenharmony_ci/* 14f08c3bdfSopenharmony_ci * check-name: phi-order02 15f08c3bdfSopenharmony_ci * check-command: sparse -vir -flinearize=last $file 16f08c3bdfSopenharmony_ci */ 17