1 #include "check_debug.h"
2 
3 int something();
4 
func(void)5 void func(void)
6 {
7 	int x = 3;
8 	int y = 42;
9 	int z = 7;
10 
11 	x--;
12 	y -= 100;
13 	__smatch_value("y");
14 	while (something()) {
15 		y++;
16 		__smatch_value("y");
17 	}
18 	z += something();
19 	__smatch_value("z");
20 	__smatch_value("x");
21 label_I1:
22 	x--;
23 	__smatch_value("x");
24 	goto label_I1;
25 }
26 /*
27  * check-name: smatch math test #1
28  * check-command: smatch -I.. sm_math1.c
29  *
30  * check-output-start
31 sm_math1.c:13 func() y = (-58)
32 sm_math1.c:16 func() y = (-57)-s32max
33 sm_math1.c:19 func() z = s32min-s32max
34 sm_math1.c:20 func() x = 2
35 sm_math1.c:23 func() x = s32min-1
36  * check-output-end
37  */
38