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