xref: /third_party/ltp/tools/sparse/sparse-src/validation/kill-insert-branch.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_civoid foo(int a)
2f08c3bdfSopenharmony_ci{
3f08c3bdfSopenharmony_ci	int b = 1;
4f08c3bdfSopenharmony_ci	if (a)
5f08c3bdfSopenharmony_ci		b++;
6f08c3bdfSopenharmony_ci	if (b)
7f08c3bdfSopenharmony_ci		;
8f08c3bdfSopenharmony_ci}
9f08c3bdfSopenharmony_ci
10f08c3bdfSopenharmony_civoid bar(int a)
11f08c3bdfSopenharmony_ci{
12f08c3bdfSopenharmony_ci	if (a ? 1 : 2)
13f08c3bdfSopenharmony_ci		;
14f08c3bdfSopenharmony_ci}
15f08c3bdfSopenharmony_ci
16f08c3bdfSopenharmony_ci/*
17f08c3bdfSopenharmony_ci * check-name: kill insert-branch
18f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl $file
19f08c3bdfSopenharmony_ci *
20f08c3bdfSopenharmony_ci * check-output-ignore
21f08c3bdfSopenharmony_ci * check-output-excludes: select\\.
22f08c3bdfSopenharmony_ci */
23

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