tests/assume.c

   1 void foo(int n, int m, int S, int D[const restrict static S])
   2 {
   3 #pragma scop
   4         __pencil_assume(m > n);
   5         for (int i = 0; i < n; i++) {
   6                 D[i] = D[i + m];
   7         }
   8 #pragma endscop
   9 }