tests/for_while_inc4.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         int x2;
  10
  11 #pragma scop
  12         for (int x1 = 0; x1 < n; ++x1) {
  13 S1:             s = f();
  14                 for (x2 = 0; P(x1, x2); x2 += n) {
  15 S2:                     s = g(s);
  16                 }
  17 R:              h(s);
  18         }
  19 #pragma endscop
  20 }