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