pet_scop_add_boolean_array: allow specification of domain constraints

[pet.git] / tests / dec2.c

void foo(int N)
{
        int i;
        int a[N];

#pragma scop
        for (i = N - 1; i >= 0; i -= 1)
                a[i] = i;
#pragma endscop
}