tests/call7.c

   1 int f(int);
   2
   3 void foo(int a[static 1])
   4 {
   5         int t = a[0];
   6
   7         if (f(t))
   8                 a[0] = t + 1;
   9 }
  10
  11 void bar()
  12 {
  13 #pragma scop
  14         int s;
  15         foo((int *) &s);
  16 #pragma endscop
  17 }