ICE core.exception.AssertError@src/dmd/pragmasem.d(456): Assertion failure

[ibuclaw]

Reproducer

void main()
{
    pragma(mangle, "")
    class BOOM { }
}

Backtrace

----------------
??:? _d_assertp [0x5ad0d261631c]
src/dmd/pragmasem.d:456 bool dmd.pragmasem.pragmaStmtSemantic(dmd.statement.PragmaStatement, dmd.dscope.Scope*) [0x5ad0d2413fda]
src/dmd/statementsem.d:1796 void dmd.statementsem.statementSemanticVisit(dmd.statement.Statement, dmd.dscope.Scope*).visitPragma(dmd.statement.PragmaStatement) [0x5ad0d2429878]
src/dmd/statement.d:1886 void dmd.statementsem.statementSemanticVisit(dmd.statement.Statement, dmd.dscope.Scope*).visit.VisitStatement(dmd.statement.Statement) [0x5ad0d2430684]
src/dmd/statementsem.d:3705 dmd.statement.Statement dmd.statementsem.statementSemanticVisit(dmd.statement.Statement, dmd.dscope.Scope*) [0x5ad0d24233d3]
src/dmd/statementsem.d:155 dmd.statement.Statement dmd.statementsem.statementSemantic(dmd.statement.Statement, dmd.dscope.Scope*) [0x5ad0d24233a8]
src/dmd/statementsem.d:273 void dmd.statementsem.statementSemanticVisit(dmd.statement.Statement, dmd.dscope.Scope*).visitCompound(dmd.statement.CompoundStatement) [0x5ad0d2423776]
src/dmd/statement.d:1886 void dmd.statementsem.statementSemanticVisit(dmd.statement.Statement, dmd.dscope.Scope*).visit.VisitStatement(dmd.statement.Statement) [0x5ad0d24301d4]
src/dmd/statementsem.d:3705 dmd.statement.Statement dmd.statementsem.statementSemanticVisit(dmd.statement.Statement, dmd.dscope.Scope*) [0x5ad0d24233d3]
src/dmd/statementsem.d:155 dmd.statement.Statement dmd.statementsem.statementSemantic(dmd.statement.Statement, dmd.dscope.Scope*) [0x5ad0d24233a8]
src/dmd/semantic3.d:616 _ZN16Semantic3Visitor5visitEP15FuncDeclaration [0x5ad0d241a8cc]
src/dmd/func.d:1050 _ZN15FuncDeclaration6acceptEP7Visitor [0x5ad0d23a3f29]
src/dmd/semantic3.d:87 void dmd.semantic3.semantic3(dmd.dsymbol.Dsymbol, dmd.dscope.Scope*) [0x5ad0d2418fe9]
src/dmd/semantic3.d:207 _ZN16Semantic3Visitor5visitEP6Module [0x5ad0d24194c2]
src/dmd/dmodule.d:1191 _ZN6Module6acceptEP7Visitor [0x5ad0d23040e5]
src/dmd/semantic3.d:87 void dmd.semantic3.semantic3(dmd.dsymbol.Dsymbol, dmd.dscope.Scope*) [0x5ad0d2418fe9]
src/dmd/main.d:645 int dmd.main.tryMain(ulong, const(char)**, out dmd.globals.Param) [0x5ad0d22a43e5]
src/dmd/main.d:148 _Dmain [0x5ad0d22a2fb2]

[ibuclaw]

This occurs because pragmaStmtSemantic doesn't call verifyMangleString. Unlike it's related semantic function which deals with pragma declarations.

https://github.com/dlang/dmd/blob/master/compiler/src/dmd/pragmasem.d#L174