privately export pet_stmt_is_affine_assume
[pet.git] / tests / call2.c
blob1cc25eac53c476ed53df688dadfa5356c2ffcdeb
1 int f(int, int);
3 void foo(int i, int n, int A[const static n])
5 A[i - 1] = 0;
6 if (i < n)
7 if (f(i, n))
8 A[i] += 1;
11 void bar(int n, int B[const static n][n])
13 #pragma scop
14 for (int i = 0; i < n; ++i)
15 foo(i + 1, n, B[i]);
16 #pragma endscop