xref: /third_party/ltp/tools/sparse/sparse-src/validation/crash-add-doms.c (revision f08c3bdf)
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_cichar a;
2f08c3bdfSopenharmony_ciint b;
3f08c3bdfSopenharmony_civoid c(void)
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_ci	if (0) {
6f08c3bdfSopenharmony_ci		char *d;
7f08c3bdfSopenharmony_ci		for (;;)
8f08c3bdfSopenharmony_ci			for (;;)
9f08c3bdfSopenharmony_cie:
10f08c3bdfSopenharmony_ci				*d *= (a && 0) ^ b && *d;
11f08c3bdfSopenharmony_ci	}
12f08c3bdfSopenharmony_ci	goto e;
13f08c3bdfSopenharmony_ci}
14f08c3bdfSopenharmony_ci
15f08c3bdfSopenharmony_ci
16f08c3bdfSopenharmony_ci/*
17f08c3bdfSopenharmony_ci * check-name: crash add-doms
18f08c3bdfSopenharmony_ci * check-command: test-linearize $file
19f08c3bdfSopenharmony_ci *
20f08c3bdfSopenharmony_ci * check-error-ignore
21f08c3bdfSopenharmony_ci * check-output-ignore
22f08c3bdfSopenharmony_ci */
23

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