gcc/testsuite/gcc.c-torture/compile/20030716-1.c

void baz(int i);

void foo(int i, int A[i+1])
{
    int j=A[i];
    void bar() { baz(A[i]); }
}