tests/inputs/barthou_E1.c

   1 /* C version of example E1 from Barthou's PhD text, page 100.
   2  */
   3
   4 int f(void);
   5 int P(int, int);
   6 int g(int);
   7 void h(int);
   8
   9 void foo(int n)
  10 {
  11         int s;
  12
  13 #pragma scop
  14         for (int x1 = 0; x1 < n; ++x1) {
  15 S1:             s = f();
  16                 for (int x2 = 0; P(x1, x2); ++x2) {
  17 S2:                     s = g(s);
  18                 }
  19 R:              h(s);
  20         }
  21 #pragma endscop
  22 }