tests/kill.c

   1 void foo(int n, int A[n], int C[n])
   2 {
   3         int t;
   4         int B[n];
   5         int D[n][n];
   6 #pragma scop
   7         __pencil_kill(C);
   8         for (int i = 0; i < n; ++i) {
   9                 t = A[i];
  10                 B[i] = t;
  11                 C[i] = B[i];
  12                 __pencil_kill(t, B[i], D[i]);
  13         }
  14         __pencil_kill(A);
  15 #pragma endscop
  16 }