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