xref: /third_party/ltp/tools/sparse/sparse-src/validation/infinite-loop04.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_ciextern void use(char);
2f08c3bdfSopenharmony_ci
3f08c3bdfSopenharmony_cistatic void foo(char *b)
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_ci	while (b) {
6f08c3bdfSopenharmony_ci		if (b++)
7f08c3bdfSopenharmony_ci			continue;
8f08c3bdfSopenharmony_ci		++b;
9f08c3bdfSopenharmony_ci		use(*b);
10f08c3bdfSopenharmony_ci		&b;
11f08c3bdfSopenharmony_ci	}
12f08c3bdfSopenharmony_ci}
13f08c3bdfSopenharmony_ci
14f08c3bdfSopenharmony_ci/*
15f08c3bdfSopenharmony_ci * check-name: internal infinite loop (4)
16f08c3bdfSopenharmony_ci * check-command: sparse $file
17f08c3bdfSopenharmony_ci * check-timeout:
18f08c3bdfSopenharmony_ci */
19

Indexes created Thu Nov 07 10:32:03 CST 2024