1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon int aaa; 4*1f5207b7SJohn Levon func(void)5*1f5207b7SJohn Levonvoid 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