xref: /third_party/ltp/tools/sparse/sparse-src/validation/linear/range-op.c
  • Home
  • History
  • Annotate Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
  • only in /third_party/ltp/tools/sparse/sparse-src/validation/linear/
1f08c3bdfSopenharmony_cistatic void foo(int a)
2f08c3bdfSopenharmony_ci{
3f08c3bdfSopenharmony_ci	__range__(a, 0, 8);
4f08c3bdfSopenharmony_ci}
5f08c3bdfSopenharmony_ci
6f08c3bdfSopenharmony_cistatic void bar(int a, int b, int c)
7f08c3bdfSopenharmony_ci{
8f08c3bdfSopenharmony_ci	__range__(a, b, c);
9f08c3bdfSopenharmony_ci}
10f08c3bdfSopenharmony_ci
11f08c3bdfSopenharmony_ci/*
12f08c3bdfSopenharmony_ci * check-name: range-op
13f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl $file
14f08c3bdfSopenharmony_ci *
15f08c3bdfSopenharmony_ci * check-output-start
16f08c3bdfSopenharmony_cifoo:
17f08c3bdfSopenharmony_ci.L0:
18f08c3bdfSopenharmony_ci	<entry-point>
19f08c3bdfSopenharmony_ci	range-check %arg1 between $0..$8
20f08c3bdfSopenharmony_ci	ret
21f08c3bdfSopenharmony_ci
22f08c3bdfSopenharmony_ci
23f08c3bdfSopenharmony_cibar:
24f08c3bdfSopenharmony_ci.L2:
25f08c3bdfSopenharmony_ci	<entry-point>
26f08c3bdfSopenharmony_ci	range-check %arg1 between %arg2..%arg3
27f08c3bdfSopenharmony_ci	ret
28f08c3bdfSopenharmony_ci
29f08c3bdfSopenharmony_ci
30f08c3bdfSopenharmony_ci * check-output-end
31f08c3bdfSopenharmony_ci */
32

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