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