pet_codegen.c: add missing include

[pet.git] / tests / call5.c

void foo(int pos, int C[const static pos + 4])
{
        for (int i = 0; i < 4; ++i)
                C[pos + i] += i;
}

void bar(int n, int A[const static n])
{
#pragma scop
        __pencil_assume(n >= 4);
        foo(0, A);
#pragma endscop
}