extract out pet_extract_cst
[pet.git] / tests / while_break2.c
blob9a742d9eb4f0db1a500150cf8b10d6034e19d4f5
1 int f();
3 void foo(int N)
5 int i;
6 int a;
8 #pragma scop
9 for (i = 0; i < 10; ++i) {
10 while (f())
11 a = 5;
12 if (N)
13 break;
14 a = 6;
16 #pragma endscop