xref: /third_party/ltp/tools/sparse/sparse-src/validation/mem2reg/loop02-local.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/mem2reg/
1f08c3bdfSopenharmony_ci
2f08c3bdfSopenharmony_ci
3f08c3bdfSopenharmony_ciint foo(void)
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_ci	int j = 1;
6f08c3bdfSopenharmony_ci	int i = 6;
7f08c3bdfSopenharmony_ci
8f08c3bdfSopenharmony_ci	do {
9f08c3bdfSopenharmony_ci		if (i != 6)
10f08c3bdfSopenharmony_ci			i++;
11f08c3bdfSopenharmony_ci		i++;
12f08c3bdfSopenharmony_ci	} while (i != j);
13f08c3bdfSopenharmony_ci
14f08c3bdfSopenharmony_ci	return j;
15f08c3bdfSopenharmony_ci}
16f08c3bdfSopenharmony_ci
17f08c3bdfSopenharmony_ci/*
18f08c3bdfSopenharmony_ci * check-name: loop02 pointer
19f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl -fdump-ir=mem2reg $file
20f08c3bdfSopenharmony_ci *
21f08c3bdfSopenharmony_ci * check-output-ignore
22f08c3bdfSopenharmony_ci * check-output-excludes: load\\.
23f08c3bdfSopenharmony_ci */
24

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