1 #include "check_debug.h" 2 3 4 void *p; 5 int min1, min2; 6 void func(unsigned long x) 7 { 8 min1 = 18; 9 min2 = (((unsigned char *)p)[12] + 8); 10 if (min2 < min1) 11 __smatch_implied(min2); 12 } 13 14 /* 15 * check-name: Smatch real absolute #1 16 * check-command: smatch -I.. sm_real_absolute1.c 17 * 18 * check-output-start 19 sm_real_absolute1.c:11 func() implied: min2 = '8-17' 20 * check-output-end 21 */