tests/filter3.c

   1 int f(void);
   2
   3 void foo(int test[100], int index)
   4 {
   5 #pragma scop
   6         index = f();
   7         if (test[index])
   8                 index = 5;
   9 #pragma endscop
  10 }