break up access relations into may_read/may_write/must_write in interface

[pet.git] / tests / shortcut1.c

void foo(int N)
{
        int a;
#pragma scop
        if (N < 100 && 5 * N > 0)
                a = 1;
#pragma endscop
}