PetScan::extract_condition: convert clang::Expr to pet_expr first
[pet.git] / tests / inc.c
blobb548bcfca1a538fc55b24e341eb11f9e3adfb7c5
1 void foo(int N)
3 int i;
4 int a[N];
6 #pragma scop
7 for (i = 0; i < N; i += 1)
8 a[i] = i;
9 #pragma endscop