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  */