1 #include "check_debug.h"
15 __smatch_value("aaa");
17 __smatch_value("aaa");
19 __smatch_value("aaa");
22 __smatch_value("aaa");
24 __smatch_value("aaa");
26 __smatch_value("aaa");
29 __smatch_value("aaa");
31 __smatch_value("aaa");
33 __smatch_value("aaa");
36 __smatch_value("aaa");
38 __smatch_value("aaa");
40 __smatch_value("aaa");
43 __smatch_value("aaa");
45 __smatch_value("aaa");
47 __smatch_value("aaa");
49 __smatch_value("aaa");
52 * check-name: Compound Conditions #2
53 * check-command: smatch -I.. sm_compound_conditions2.c
56 sm_compound_conditions2.c +15 func(9) aaa = 2
57 sm_compound_conditions2.c +17 func(11) aaa = 2
58 sm_compound_conditions2.c +19 func(13) aaa = 2
59 sm_compound_conditions2.c +22 func(16) aaa = 0-1
60 sm_compound_conditions2.c +24 func(18) aaa = 1
61 sm_compound_conditions2.c +26 func(20) aaa = 0
62 sm_compound_conditions2.c +29 func(23) aaa = 1-2
63 sm_compound_conditions2.c +31 func(25) aaa = 2
64 sm_compound_conditions2.c +33 func(27) aaa = 1
65 sm_compound_conditions2.c +36 func(30) aaa = 0,2
66 sm_compound_conditions2.c +38 func(32) aaa = 2
67 sm_compound_conditions2.c +40 func(34) aaa = 0
68 sm_compound_conditions2.c +43 func(37) aaa = 2
69 sm_compound_conditions2.c +45 func(39) aaa = 1-2
70 sm_compound_conditions2.c +47 func(41) aaa = 0
71 sm_compound_conditions2.c +49 func(43) aaa = 0