pet_scop_from_pet_tree: take into account assumptions
[pet.git] / tests / data_dependent2.c
blob573d33f33e8fc98f1f0920bc12c38d4c53470c0b
1 int f(void);
3 void foo()
5 int i, j;
6 int a[10];
7 int N;
9 #pragma scop
10 N = 5;
11 for (i = 0; i < 10; ++i)
12 if (N <= 4)
13 for (j = 0; j < 10; ++j) {
14 a[j] = 5 + j + N;
15 N = f();
17 #pragma endscop