Issue 7965 - Invalid outer function scope pointer in some cases

[9rnsr]

http://d.puremagic.com/issues/show_bug.cgi?id=7965

This is a bit hacky...

[MartinNowak]

This triggers an assertion when compiling the following code.

void bug()
{
    struct Struct
    {
        void method() {}
    }
    auto val = Struct();
}

sd.fields->dim == 1 && elements != NULL && elements->dim == 0.

e2ir.c(5048):
        size_t dim = elements ? elements->dim : 0;
        if (sd->isNested() && dim == sd->fields.dim - 1)
            dim = sd->fields.dim;
        assert(dim <= sd->fields.dim);
        for (size_t i = 0; i < dim; i++)
        {   Expression *el = elements ? (*elements)[i] : NULL;

You have to compile dmd with -DDEBUG=1 to turn on array bounds checks.

[9rnsr]

What code is really broken? I can't reproduce the 'assertion' in Windows...

[MartinNowak]

It's an array bounds violation (dim > elements->dim).
Somehow the StructDeclaration has one field (the hidden this I suppose) but the StructLiteral has an empty but non-zero elements array. I haven't investigated it further so I don't know the root cause.

[9rnsr]

It's an array bounds violation (dim > elements->dim).

Ouch... It's my mistake. Thanks for the reporting. I'll post a pull for fixing.