pet_expr: document the read and write fields

[pet.git] / tests / forward_substitution5.c

void foo(int N)
{
        int a[10], b, c;
#pragma scop
        c = N;
        N += 2;
        a[c] = 5;
#pragma endscop
}