Bug 19024 – [REG 2.081-beta] AssertError@dmd/dsymbolsem.d(4317): Assertion failure

Status
RESOLVED
Resolution
FIXED
Severity
regression
Priority
P1
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2018-06-24T21:35:13Z
Last change time
2020-07-21T00:16:52Z
Keywords
ice-on-invalid-code
Assigned to
No Owner
Creator
Iain Buclaw

Comments

Comment #0 by ibuclaw — 2018-06-24T21:35:13Z
ICE when compiling https://github.com/dlang/dmd/blob/stable/test/fail_compilation/fail2789.d core.exception.AssertError@dmd/dsymbolsem.d(4317): Assertion failure ---------------- ??:? _d_assertp [0x1de58c55] ??:? _ZN22DsymbolSemanticVisitor5visitEP17StructDeclaration [0x1dc7b8bc] ??:? _ZN17StructDeclaration6acceptEP7Visitor [0x1dc69bc1] ??:? _Z15dsymbolSemanticP7DsymbolP5Scope [0x1dc6f954] ??:? _ZN16TemplateInstance13expandMembersEP5Scope [0x1dc9210b] ??:? _ZN16TemplateInstance16tryExpandMembersEP5Scope [0x1dc92182] ??:? void dmd.dsymbolsem.templateInstanceSemantic(dmd.dtemplate.TemplateInstance, dmd.dscope.Scope*, dmd.root.array.Array!(dmd.expression.Expression).Array*) [0x1dc7f489] ??:? _ZN22DsymbolSemanticVisitor5visitEP16TemplateInstance [0x1dc76586] ??:? _ZN16TemplateInstance6acceptEP7Visitor [0x1dc9223d] ??:? _Z15dsymbolSemanticP7DsymbolP5Scope [0x1dc6f954] ??:? _ZN14ResolveVisitor5visitEP12TypeInstance [0x1dd44e48] ??:? _ZN12TypeInstance6acceptEP7Visitor [0x1dd14b49] ??:? _Z7resolveP4TypeRK3LocP5ScopePP10ExpressionPS0_PP7Dsymbolb [0x1dd443a4] ??:? _ZN19TypeSemanticVisitor5visitEP12TypeInstance [0x1dd42807] ??:? _ZN12TypeInstance6acceptEP7Visitor [0x1dd14b49] ??:? _Z12typeSemanticP4Type3LocP5Scope [0x1dd3f47e] ??:? _ZN22DsymbolSemanticVisitor5visitEP14VarDeclaration [0x1dc703d7] ??:? _ZN14VarDeclaration6acceptEP7Visitor [0x1dc40a0d] ??:? _Z15dsymbolSemanticP7DsymbolP5Scope [0x1dc6f954] ??:? _ZN25ExpressionSemanticVisitor5visitEP14DeclarationExp [0x1dcb476c] ??:? _ZN14DeclarationExp6acceptEP7Visitor [0x1dca2039] ??:? _Z18expressionSemanticP10ExpressionP5Scope [0x1dcc5072] ??:? _ZN24StatementSemanticVisitor5visitEP12ExpStatement [0x1dd58299] ??:? _ZN12ExpStatement6acceptEP7Visitor [0x1dd3a015] ??:? _Z17statementSemanticP9StatementP5Scope [0x1dd58182] ??:? _ZN24StatementSemanticVisitor5visitEP17CompoundStatement [0x1dd58547] ??:? _ZN17CompoundStatement6acceptEP7Visitor [0x1dd3a719] ??:? _Z17statementSemanticP9StatementP5Scope [0x1dd58182] ??:? _ZN16Semantic3Visitor5visitEP15FuncDeclaration [0x1dd6d014] ??:? _ZN15FuncDeclaration6acceptEP7Visitor [0x1dccc849] ??:? _Z9semantic3P7DsymbolP5Scope [0x1dd6b8e8] ??:? _ZN16Semantic3Visitor5visitEP6Module [0x1dd6bcdb] ??:? _ZN6Module6acceptEP7Visitor [0x1dc5efdd] ??:? _Z9semantic3P7DsymbolP5Scope [0x1dd6b8e8] ??:? int dmd.mars.tryMain(ulong, const(char)**) [0x1dd04834] ??:? _Dmain [0x1dd05a4e]
Comment #1 by ibuclaw — 2018-07-01T20:20:16Z
Regression caused by https://github.com/dlang/dmd/pull/3383 Minimal test: --- struct S14147(alias func) { } pure mul14147() { S14147!(a => a); } pure mul14147() { S14147!(a => a); }
Comment #2 by ibuclaw — 2018-07-01T20:59:47Z
Actually, this is just a duplicate of issue 17492, only this uses a struct, and the other uses a class.
Comment #3 by ibuclaw — 2018-07-02T21:18:30Z
Comment #4 by github-bugzilla — 2018-07-03T23:50:36Z
Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/61383c3394fb6fa2cfcfa7e5e0087ab433e4d318 Fix Issue 19024 - [ICE] AssertError@dmd/dsymbolsem.d(4317): Assertion failure https://github.com/dlang/dmd/commit/36f2383b4c38b900ea4fc8f848ba1f5f01199b02 Merge pull request #8428 from ibuclaw/reg12378 Fix Issue 19024 - [ICE] AssertError@dmd/dsymbolsem.d(4317): Assertion failure
Comment #5 by dlang-bot — 2020-07-21T00:16:52Z
dlang/dmd pull request #11436 "[dmd-cxx] fix Issue 14739, 19024, 21060: ICE in semantic, at d/dmd/dstruct.c:1224" was merged into dmd-cxx: - add6e573a6423eee61d697fc8bde2ed12e57c2f5 by Iain Buclaw: Fix Issue 19024 - [ICE] AssertError@dmd/dsymbolsem.d(4317): Assertion failure https://github.com/dlang/dmd/pull/11436