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