validation/sm_absolute1.c

   1 #include "check_debug.h"
   2
   3 char x;
   4 int y;
   5 int func(void)
   6 {
   7         y = x;
   8         __smatch_absolute_min(y);
   9         __smatch_absolute_max(y);
  10 }
  11
  12 /*
  13  * check-name: smatch: absolute #1
  14  * check-command: smatch -I.. sm_absolute1.c
  15  *
  16  * check-output-start
  17 sm_absolute1.c:8 func() absolute min: y = (-128)
  18 sm_absolute1.c:9 func() absolute max: y = 127
  19  * check-output-end
  20  */