validation/sm_loops1.c

   1 #include "check_debug.h"
   2
   3 void frob();
   4
   5 void 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(5) a = 0-9
  29 sm_loops1.c +11 func(6) a = 10
  30 sm_loops1.c +13 func(8) a =
  31 sm_loops1.c +14 func(9) a = 10
  32 sm_loops1.c +16 func(11) a = 0-9
  33 sm_loops1.c +17 func(12) a = 10
  34 sm_loops1.c +19 func(14) a = 0-10
  35 sm_loops1.c +20 func(15) a = 11
  36  * check-output-end
  37  */