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() a = 0-9
  29 sm_loops1.c:11 func() a = 10
  30 sm_loops1.c:13 func() a = empty
  31 sm_loops1.c:14 func() a = 10
  32 sm_loops1.c:16 func() a = 0-9
  33 sm_loops1.c:17 func() a = 10
  34 sm_loops1.c:19 func() a = 0-10
  35 sm_loops1.c:20 func() a = 11
  36  * check-output-end
  37  */