PetScan: drop allow_nested attribute

[pet.git] / tests / if1.c

void foo()
{
        int a;

#pragma scop
        if (1 << 0)
                a = 1;
#pragma endscop
}