1#include "check_debug.h"
2
3char x;
4int y;
5int 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
17sm_absolute1.c:8 func() absolute min: y = (-128)
18sm_absolute1.c:9 func() absolute max: y = 127
19 * check-output-end
20 */
21