xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/range-op.c (revision 8af575c0afc1d79bd23c3e1a78a546c9963e5083)
1 static void foo(int a)
2 {
3 	__range__(a, 0, 8);
4 }
5 
6 static void bar(int a, int b, int c)
7 {
8 	__range__(a, b, c);
9 }
10 
11 /*
12  * check-name: range-op
13  * check-command: test-linearize -Wno-decl $file
14  *
15  * check-output-start
16 foo:
17 .L0:
18 	<entry-point>
19 	range-check %arg1 between $0..$8
20 	ret
21 
22 
23 bar:
24 .L2:
25 	<entry-point>
26 	range-check %arg1 between %arg2..%arg3
27 	ret
28 
29 
30  * check-output-end
31  */
32