1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon int frob(void); 4*1f5207b7SJohn Levon 5*1f5207b7SJohn Levon int a, b, c; test(void)6*1f5207b7SJohn Levonvoid test(void) 7*1f5207b7SJohn Levon { 8*1f5207b7SJohn Levon a = 0; 9*1f5207b7SJohn Levon do { 10*1f5207b7SJohn Levon frob(); 11*1f5207b7SJohn Levon } while (a++ < 3); 12*1f5207b7SJohn Levon __smatch_implied(a); 13*1f5207b7SJohn Levon } 14*1f5207b7SJohn Levon /* 15*1f5207b7SJohn Levon * check-name: smatch loops #5 16*1f5207b7SJohn Levon * check-command: smatch -I.. sm_loops5.c 17*1f5207b7SJohn Levon * 18*1f5207b7SJohn Levon * check-output-start 19*1f5207b7SJohn Levon sm_loops5.c:12 test() implied: a = '4' 20*1f5207b7SJohn Levon * check-output-end 21*1f5207b7SJohn Levon */ 22