xref: /third_party/ltp/tools/sparse/sparse-src/validation/kill-select.c (revision f08c3bdf)
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/
1f08c3bdfSopenharmony_civoid foo(int x);
2f08c3bdfSopenharmony_civoid foo(int x)
3f08c3bdfSopenharmony_ci{
4f08c3bdfSopenharmony_ci	unsigned int ui;
5f08c3bdfSopenharmony_ci
6f08c3bdfSopenharmony_ci	ui = x + 1;
7f08c3bdfSopenharmony_ci	ui = ui ? 0 : 1;
8f08c3bdfSopenharmony_ci}
9f08c3bdfSopenharmony_ci
10f08c3bdfSopenharmony_ci/*
11f08c3bdfSopenharmony_ci * check-name: kill-select
12f08c3bdfSopenharmony_ci * check-command: test-linearize $file
13f08c3bdfSopenharmony_ci *
14f08c3bdfSopenharmony_ci * check-output-ignore
15f08c3bdfSopenharmony_ci * check-output-excludes: add\\.
16f08c3bdfSopenharmony_ci */
17

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