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