1 #include "check_debug.h" 2 3 int something(); 4 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