1 #include "check_debug.h" 2 3 int a, b, c; 4 frob(void)5static int frob(void) 6 { 7 if (a > 5) { 8 __smatch_value("a"); 9 return; 10 } 11 if (b++ > 5) { 12 __smatch_value("b"); 13 return; 14 } 15 if (++c > 5) { 16 __smatch_value("c"); 17 return; 18 } 19 __smatch_value("a"); 20 __smatch_value("b"); 21 __smatch_value("c"); 22 } 23 24 25 /* 26 * check-name: Smatch Range #4 27 * check-command: smatch -I.. sm_range4.c 28 * 29 * check-output-start 30 sm_range4.c:8 frob() a = 6-s32max 31 sm_range4.c:12 frob() b = 7-s32max 32 sm_range4.c:16 frob() c = 6-s32max 33 sm_range4.c:19 frob() a = s32min-5 34 sm_range4.c:20 frob() b = s32min-6 35 sm_range4.c:21 frob() c = s32min-5 36 * check-output-end 37 */ 38