explicitly mark kill accesses
[pet.git] / tests / continue2.c
blob8665371f3952cabddf7951836d96ae26e84e88be
1 int f(void);
3 void foo()
5 int i, j, a[100];
7 #pragma scop
8 for (i = 0; i < 100; ++i) {
9 if (i < 60) {
10 if (a[i] > 5) {
11 j = f();
12 if (j == 0)
13 continue;
14 a[i] = i;
15 } else
16 a[i] = 0;
17 j = f();
18 } else
19 a[i] = i;
20 j = f();
21 a[i] = a[i] + 1;
23 #pragma endscop