tests/while.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 x = 0; x < n; ++x) {
  12 S1:             s = f();
  13                 while (P(x, s)) {
  14 S2:                     s = g(s);
  15                 }
  16 R:              h(s);
  17         }
  18 #pragma endscop
  19 }