tests/for_while_unsigned2.c

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