deref_check: ignore arrays
[smatch.git] / validation / sm_range4.c
blobd0a2f0cfd6cde2cae496a1b366c6a24fa4f2a29b
1 #include "check_debug.h"
3 int a, b, c;
5 static int frob(void)
7 if (a > 5) {
8 __smatch_value("a");
9 return;
11 if (b++ > 5) {
12 __smatch_value("b");
13 return;
15 if (++c > 5) {
16 __smatch_value("c");
17 return;
19 __smatch_value("a");
20 __smatch_value("b");
21 __smatch_value("c");
26 * check-name: Smatch Range #4
27 * check-command: smatch -I.. sm_range4.c
29 * check-output-start
30 sm_range4.c:8 frob() a = 6-s32max
31 sm_range4.c:12 frob() b = 7-s32max
32 sm_range4.c:16 frob() c = 6-s32max
33 sm_range4.c:19 frob() a = s32min-5
34 sm_range4.c:20 frob() b = s32min-6
35 sm_range4.c:21 frob() c = s32min-5
36 * check-output-end