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