xref: /third_party/ltp/tools/sparse/sparse-src/validation/bug-crash16.c (revision f08c3bdf)
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_cistatic void foo(void)
2f08c3bdfSopenharmony_ci{
3f08c3bdfSopenharmony_ci	int b[] = { 8 };
4f08c3bdfSopenharmony_ci	int c;
5f08c3bdfSopenharmony_ci	for (;;)
6f08c3bdfSopenharmony_ci		b[c] = b[0];
7f08c3bdfSopenharmony_ci}
8f08c3bdfSopenharmony_ci
9f08c3bdfSopenharmony_ci/*
10f08c3bdfSopenharmony_ci * check-name: bug-crash16
11f08c3bdfSopenharmony_ci */
12

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