xref: /illumos-gate/usr/src/tools/smatch/src/validation/range-syntax.c (revision b531f6d16eb39863e7bbc34773fb7ef7a282a0a2)
1 
2 static void ok(int a, int b, int c)
3 {
4 	__range__(a, 0, 8);
5 	__range__(a, b, c);
6 }
7 
8 static void ko(int a, int b, int c)
9 {
10 	__range__ a, 0, 8;
11 	__range__ a, b, c;
12 }
13 
14 /*
15  * check-name: range syntax
16  *
17  * check-error-start
18 range-syntax.c:10:19: error: Expected ( after __range__ statement
19 range-syntax.c:10:19: error: got a
20 range-syntax.c:11:19: error: Expected ( after __range__ statement
21 range-syntax.c:11:19: error: got a
22  * check-error-end
23  */
24