atomic_inc_dec: improve how inc/dec is recorded in the DB
[smatch.git] / validation / range-syntax.c
blobc43fff0e9fab328aaf7bfa2026bcb74419a05e8b
2 static void ok(int a, int b, int c)
4 __range__(a, 0, 8);
5 __range__(a, b, c);
8 static void ko(int a, int b, int c)
10 __range__ a, 0, 8;
11 __range__ a, b, c;
15 * check-name: range syntax
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