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