pet_scop_from_pet_tree: take into account assumptions
[pet.git] / tests / inf4.c
blob71475cecb43a70a61df3a23316a49f129d39c48c
1 int N;
3 #pragma parameter N 8 16
5 int main()
7 unsigned i;
8 int j, a[N], b[N];
10 #pragma scop
11 for (i = 0;; ++i) {
12 for (j = 0; j < N; ++j)
13 a[j] = 0;
14 for (j = 0; j < N; ++j)
15 b[j] = a[j];
17 #pragma endscop