xref: /third_party/ltp/tools/sparse/sparse-src/validation/label-redefined.c (revision f08c3bdf)
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_ciextern void fun(void);
2f08c3bdfSopenharmony_ci
3f08c3bdfSopenharmony_cistatic void foo(int p)
4f08c3bdfSopenharmony_ci{
5f08c3bdfSopenharmony_cil:
6f08c3bdfSopenharmony_ci	if (p)
7f08c3bdfSopenharmony_cil:
8f08c3bdfSopenharmony_ci		fun();
9f08c3bdfSopenharmony_ci}
10f08c3bdfSopenharmony_ci
11f08c3bdfSopenharmony_ci/*
12f08c3bdfSopenharmony_ci * check-name: label-redefined
13f08c3bdfSopenharmony_ci *
14f08c3bdfSopenharmony_ci * check-error-start
15f08c3bdfSopenharmony_cilabel-redefined.c:7:1: error: label 'l' redefined
16f08c3bdfSopenharmony_ci * check-error-end
17f08c3bdfSopenharmony_ci */
18

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