Bug 19998 – [REG2.086.0] [e2ir] Assertion failure with -profile=gc and -dip1008

Manjaro/Arch x86_64, dmd 2.086 via Digger. ldc not applicable as no support for -profile=gc. Reduced: https://run.dlang.io/is/R71Uc6 --- DMD %.*s predefs DigitalMars Posix linux ELFv1 CRuntime_Glibc CppRuntime_Gcc LittleEndian D_Version2 all D_SIMD D_InlineAsm_X86_64 X86_64 D_LP64 D_PIC assert D_ModuleInfo D_Exceptions D_TypeInfo D_HardFloat binary /hdd/incoming/temp/src/work/result/bin/dmd version v2.086.0-234-g265bc1ea2-dirty config /hdd/incoming/temp/src/work/result/bin/dmd.conf DFLAGS -I/hdd/incoming/temp/src/work/result/bin/../import -L-L/hdd/incoming/temp/src/work/result/bin/../lib -L--export-dynamic -fPIC --- core.exception.AssertError@dmd/e2ir.d(6179): Assertion failure ---------------- ??:? _d_assertp [0x7b59f5] dmd/e2ir.d:6179 _Z9toTraceGCP7IRStateP4elemRK3Loc [0x6ef0ea] dmd/e2ir.d:1673 _ZN6toElem13ToElemVisitor5visitEP6NewExp [0x6e1039] dmd/expression.d:3404 _ZN6NewExp6acceptEP7Visitor [0x5e6a61] dmd/e2ir.d:5550 _Z6toElemP10ExpressionP7IRState [0x6df5ad] dmd/e2ir.d:5934 _Z10toElemDtorP10ExpressionP7IRState [0x6ee8d4] dmd/s2ir.d:956 _ZN11S2irVisitor5visitEP14ThrowStatement [0x6d78ca] dmd/statement.d:2198 _ZN14ThrowStatement6acceptEP7Visitor [0x692201] dmd/s2ir.d:1597 _Z14Statement_toIRP9StatementP7IRState [0x6d94e5] dmd/s2ir.d:851 _ZN11S2irVisitor5visitEP17CompoundStatement [0x6d74db] dmd/statement.d:935 _ZN17CompoundStatement6acceptEP7Visitor [0x68fa4d] dmd/s2ir.d:1597 _Z14Statement_toIRP9StatementP7IRState [0x6d94e5] dmd/glue.d:1165 _Z25FuncDeclaration_toObjFileP15FuncDeclarationb [0x6cca66] dmd/toobj.d:312 _ZN9toObjFile9ToObjFile5visitEP15FuncDeclaration [0x6da42c] dmd/func.d:2474 _ZN15FuncDeclaration6acceptEP7Visitor [0x618f2d] dmd/toobj.d:836 void dmd.toobj.toObjFile(dmd.dsymbol.Dsymbol, bool).ToObjFile.visit(dmd.dtemplate.TemplateInstance).__lambda2!(dmd.dsymbol.Dsymbol).__lambda2(dmd.dsymbol.Dsymbol) [0x6db63d] dmd/dsymbol.d:98 void dmd.dsymbol.foreachDsymbol(dmd.root.array.Array!(dmd.dsymbol.Dsymbol).Array*, void delegate(dmd.dsymbol.Dsymbol)) [0x5aeb23] dmd/toobj.d:836 _ZN9toObjFile9ToObjFile5visitEP16TemplateInstance [0x6db616] dmd/dtemplate.d:7505 _ZN16TemplateInstance6acceptEP7Visitor [0x5d9acd] dmd/toobj.d:1020 _Z9toObjFileP7Dsymbolb [0x6da392] dmd/glue.d:409 _Z10genObjFileP6Moduleb [0x6cb087] dmd/mars.d:717 int dmd.mars.tryMain(ulong, const(char)**, ref dmd.globals.Param) [0x657660] dmd/mars.d:925 _Dmain [0x6583a9]

(In reply to JR from comment #0) > Reduced: https://run.dlang.io/is/R71Uc6 Can be further reduced to simply throwing an exception: ---- void main() { throw new Exception(""); } ---- Works with 2.085, making this a regression.

@WalterBright created dlang/dmd pull request #10678 "fix Issue 19998 - [REG2.086.0] [e2ir] Assertion failure with -profile…" fixing this issue: - fix Issue 19998 - [REG2.086.0] [e2ir] Assertion failure with -profile=gc and -dip1008 https://github.com/dlang/dmd/pull/10678

Compiles fine with 2.091.0