explicitly mark kill accesses
[pet.git] / tests / dynamic_bound.c
blob2ba7db6757b0b8b42f94d4f2f1b1b6275b30257b
1 int f();
2 int g();
3 void h(int, int, int);
5 void foo()
7 int N, M;
8 int a[100][100];
9 #pragma value_bounds N 0 100
10 #pragma value_bounds M 0 100
12 #pragma scop
13 N = f();
14 M = g();
15 for (int i = 0; i < N; ++i)
16 for (int j = 0; j < M; ++j)
17 a[i][j] = i + j;
18 for (int i = 0; i < N; ++i)
19 for (int j = 0; j < M; ++j)
20 h(i, j, a[i][j]);
21 #pragma endscop