1f08c3bdfSopenharmony_cistatic void foo(void)
2f08c3bdfSopenharmony_ci{
3f08c3bdfSopenharmony_ci	int *b;
4f08c3bdfSopenharmony_ci	for (;;)
5f08c3bdfSopenharmony_ci		*b++ = 0;
6f08c3bdfSopenharmony_ci}
7f08c3bdfSopenharmony_ci
8f08c3bdfSopenharmony_ci/*
9f08c3bdfSopenharmony_ci * check-name: undef01
10f08c3bdfSopenharmony_ci * check-command: sparse -Wmaybe-uninitialized $file
11f08c3bdfSopenharmony_ci * check-known-to-fail
12f08c3bdfSopenharmony_ci *
13f08c3bdfSopenharmony_ci * check-error-start
14f08c3bdfSopenharmony_cicrazy04.c:3:13: warning: variable 'b' may be uninitialized
15f08c3bdfSopenharmony_ci * check-error-end
16f08c3bdfSopenharmony_ci */
17