use implications to encode while and break filters

[pet.git] / tests / forward_substitution2.c

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