m4/ax_detect_clang.m4: check presence of clang/Basic/LangStandard.h

[pet.git] / tests / call3.c

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

void bar(int n, int A[const static n])
{
#pragma scop
        __pencil_assume(n % 4 == 0);
        for (int i = 0; i < n; i += 4)
                foo(&A[i]);
#pragma endscop
}