validation/sm_real_absolute1.c

   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  */