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