1 #include "check_debug.h" 2 3 void frob(); 4 func(int * x)5void func(int *x) 6 { 7 int a,b,c; 8 9 for (a = 0; a < 10; a++) 10 __smatch_value("a"); 11 __smatch_value("a"); 12 for (; a != 10; a++) 13 __smatch_value("a"); 14 __smatch_value("a"); 15 for (a = 0; a != 10; a++) 16 __smatch_value("a"); 17 __smatch_value("a"); 18 for (a = 0; a <= 10; a++) 19 __smatch_value("a"); 20 __smatch_value("a"); 21 return; 22 } 23 /* 24 * check-name: smatch loops #1 25 * check-command: smatch -I.. sm_loops1.c 26 * 27 * check-output-start 28 sm_loops1.c:10 func() a = 0-9 29 sm_loops1.c:11 func() a = 10 30 sm_loops1.c:13 func() a = empty 31 sm_loops1.c:14 func() a = 10 32 sm_loops1.c:16 func() a = 0-9 33 sm_loops1.c:17 func() a = 10 34 sm_loops1.c:19 func() a = 0-10 35 sm_loops1.c:20 func() a = 11 36 * check-output-end 37 */ 38