1 #include "check_debug.h"
2 
3 
4 void *p;
5 int min1, min2;
func(unsigned long x)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  */
22