Bug 9113 – ICE(interpret.c): CTFE assignment to member of struct in union

union U9113 { struct M { int y; } int xx; } int bug9113() { U9113 x; x.M.y = 10; return 1; } static assert( bug9113() ); --- dmd: interpret.c:158: void CtfeStack::setValue(VarDeclaration*, Expression*): Assertion `v->ctfeAdrOnStack >= 0 && v->ctfeAdrOnStack < stackPointer()' failed. Aborted

This is quite amazing, the semantic pass turns the function body into: { U9113 x = 0; y = 10; return 1; } CTFE is complaining (correctly) that y was not declared. I'm not sure how this gets past code generation.

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/058a16cdbbe9c32cd75b2a1ea2dbfb8a0bcc45d3 Fix issue 9113 ICE(interpret.c): CTFE assignment to member of struct in union The ICE was caused by the error being detected too late. Move the "needs 'this' pointer" error message from e2ir.c into semantic, instead of creating an invalid expression.

Commit pushed to dmd-1.x at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/4d4be85d488aaf2171a85de072370309483fdbb5 Fix issue 9113 ICE(interpret.c): CTFE assignment to member of struct in union The ICE was caused by the error being detected too late. Move the "needs 'this' pointer" error message from e2ir.c into semantic, instead of creating an invalid expression.