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