tests/for_while_init.c

   1 int f(void);
   2 int P(int, int);
   3 int g(int);
   4 void h(int);
   5
   6 void foo(int n)
   7 {
   8         int s;
   9
  10 #pragma scop
  11         for (int x1 = 0; x1 < n; ++x1) {
  12 S1:             s = f();
  13                 for (int x2 = s; P(x1, x2); ++x2) {
  14 S2:                     s = g(s);
  15                 }
  16 R:              h(s);
  17         }
  18 #pragma endscop
  19 }