mark __pet_test_* variables as uniquely_defined
[pet.git] / tests / inf.c
blob38c15d5a4c31d6207d580fe7ce49b580a470c8f7
1 int N;
3 #pragma parameter N 8 16
5 int main()
7 int i, j, a[N], b[N];
9 #pragma scop
10 for (;;) {
11 for (j = 0; j < N; ++j)
12 a[j] = 0;
13 for (j = 0; j < N; ++j)
14 b[j] = a[j];
16 #pragma endscop