PetScan::extract_condition: convert clang::Expr to pet_expr first
[pet.git] / tests / propagate.c
blob0f662712dd4c22bec03f10fe33a0332f891f6713
1 void bar(int N, int a[N][N], int b[5][5])
3 int i, j;
4 int ind;
6 #pragma scop
7 for (i = 0; i < N; ++i)
8 for (j = i; j < N; ++j) {
9 ind = i > 0 ? i - 1 : i;
10 a[i][j] = a[ind][0];
12 #pragma endscop