explicitly mark kill accesses
[pet.git] / tests / for_while_init3.c
blob21f47afd44c2e7cfee2de9f53aa7d9b87afc9b28
1 void foo(int n, int A[n])
3 int s;
5 #pragma scop
6 s = 0;
7 for (int i = 0; i < n; ++i)
8 for (int j = A[i]; j < 10; ++j)
9 s++;
10 #pragma endscop