parse.c: extract_tree: avoid uninitialized read on error path
[pet.git] / tests / kill.c
blobedc88b3a75237eba1b09d33284b72c970cf67b1b
1 void foo(int n, int A[n], int C[n])
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]);
14 __pencil_kill(A);
15 #pragma endscop