tests/call5.c

   1 void foo(int pos, int C[const static pos + 4])
   2 {
   3         for (int i = 0; i < 4; ++i)
   4                 C[pos + i] += i;
   5 }
   6
   7 void bar(int n, int A[const static n])
   8 {
   9 #pragma scop
  10         __pencil_assume(n >= 4);
  11         foo(0, A);
  12 #pragma endscop
  13 }