pet_expr: document the read and write fields
[pet.git] / tests / for_while_init.c
blob33c496dc660b31ebc947ded8899e1e4d8bb26ec0
1 int f(void);
2 int P(int, int);
3 int g(int);
4 void h(int);
6 void foo(int n)
8 int s;
10 #pragma scop
11 for (int x1 = 0; x1 < n; ++x1) {
12 S1: s = f();
13 for (int x2 = s; P(x1, x2); ++x2) {
14 S2: s = g(s);
16 R: h(s);
18 #pragma endscop