1 #include "check_debug.h"
2 
3 int aaa;
4 
func(void)5 void func (void)
6 {
7 	if (aaa > 0 && aaa < 100) {
8 		__smatch_value("aaa");
9 	} else {
10 		__smatch_value("aaa");
11 	}
12 	if (aaa > 0 && aaa < 100 && aaa < 10) {
13 		__smatch_value("aaa");
14 	} else {
15 		if (aaa != 42)
16 			__smatch_value("aaa");
17 	}
18 }
19 /*
20  * check-name: Compound Conditions #3
21  * check-command: smatch -I.. sm_compound_conditions3.c
22  *
23  * check-output-start
24 sm_compound_conditions3.c:8 func() aaa = 1-99
25 sm_compound_conditions3.c:10 func() aaa = s32min-0,100-s32max
26 sm_compound_conditions3.c:13 func() aaa = 1-9
27 sm_compound_conditions3.c:16 func() aaa = s32min-0,10-41,43-s32max
28  * check-output-end
29  */
30