use implications to encode while and break filters
[pet.git] / tests / max.c
blob6058c379118801002508acc379fc8a88584ddd59
1 void foo(int N)
3 int i;
4 int a[N];
6 #pragma scop
7 for (i = max(0, N - 10); i < N; ++i)
8 a[i] = i;
9 #pragma endscop