PetScan::extract: always treat compound statement as a block
[pet.git] / tests / loop4.c
blob0abc7178d831e3f0512eaef38c6d3771d0cbb1bc
1 void foo()
3 int i;
4 int a[10];
6 #pragma scop
7 for (i = 0; i < 10; ++i)
8 if (!(i < 5 || i > 6))
9 a[i] = i;
10 #pragma endscop