tests/inf3.c

   1 void foo(int A[100])
   2 {
   3         int i;
   4 #pragma scop
   5         i = 5;
   6         for (;;) {
   7                 A[i] = 6;
   8                 i = 7;
   9         }
  10 #pragma endscop
  11 }