1f08c3bdfSopenharmony_civoid foo(void) 2f08c3bdfSopenharmony_ci{ 3f08c3bdfSopenharmony_ci int a = a || 0; 4f08c3bdfSopenharmony_ci if (a) ; 5f08c3bdfSopenharmony_ci} 6f08c3bdfSopenharmony_ci 7f08c3bdfSopenharmony_ci/* 8f08c3bdfSopenharmony_ci * check-name: internal infinite loop (0) 9f08c3bdfSopenharmony_ci * check-command: sparse -Wno-decl $file 10f08c3bdfSopenharmony_ci * check-timeout: 11f08c3bdfSopenharmony_ci */ 12