Got interesting bug in DMD

Andrey Zherikov andrey.zherikov at gmail.com
Mon Oct 3 14:00:56 UTC 2022


On Sunday, 2 October 2022 at 11:35:17 UTC, Imperatorn wrote:
> On Sunday, 2 October 2022 at 11:18:49 UTC, Andrey Zherikov 
> wrote:
>> [...]
>
> Same with nightly?

As I said, I can't reproduce exactly this message - dmd fails 
with segfault usually. Even nightly (DMD64 D Compiler 
v2.100.2-beta.1) fails:
```
Program received signal SIGSEGV, Segmentation fault.
0x00005555556d2830 in ScopeDsymbol::search(Loc const&, 
Identifier*, int) ()

(gdb) where
#0  0x00005555556d2830 in ScopeDsymbol::search(Loc const&, 
Identifier*, int) ()
#1  0x00005555556d2926 in ScopeDsymbol::search(Loc const&, 
Identifier*, int) ()
#2  0x00005555556db321 in dmd.typesem.dotExp(dmd.mtype.Type, 
dmd.dscope.Scope*, dmd.expression.Expression, 
dmd.identifier.Identifier, int) ()
#3  0x00005555556e8235 in 
dmd.expressionsem.semanticY(dmd.expression.DotIdExp, 
dmd.dscope.Scope*, int) ()
#4  0x00005555558497d1 in 
ExpressionSemanticVisitor::visit(CallExp*) ()
#5  0x000055555589ec2a in 
dmd.initsem.inferType(dmd.init.Initializer, dmd.dscope.Scope*) ()
#6  0x000055555567dd10 in 
DsymbolSemanticVisitor::visit(VarDeclaration*) ()
#7  0x000055555583ab20 in 
ExpressionSemanticVisitor::visit(DeclarationExp*) ()
#8  0x0000555555738fba in 
StatementSemanticVisitor::visit(ExpStatement*) ()
#9  0x000055555573954c in 
StatementSemanticVisitor::visit(CompoundStatement*) ()
#10 0x00005555556bfddb in 
Semantic3Visitor::visit(FuncDeclaration*) ()
#11 0x00005555556be2fc in 
Semantic3Visitor::visit(TemplateInstance*) ()
#12 0x00005555556f666a in 
dmd.dsymbolsem.templateInstanceSemantic(dmd.dtemplate.TemplateInstance, dmd.dscope.Scope*, dmd.root.array.Array!(dmd.expression.Expression).Array*) ()
#13 0x00005555556f4c51 in dmd.dtemplate.functionResolve(ref 
dmd.declaration.MatchAccumulator, dmd.dsymbol.Dsymbol, 
dmd.globals.Loc, dmd.dscope.Scope*, 
dmd.root.array.Array!(dmd.root.rootobject.RootObject).Array*, 
dmd.mtype.Type, 
dmd.root.array.Array!(dmd.expression.Expression).Array*, 
const(char)**) ()
#14 0x00005555556b921c in dmd.func.resolveFuncCall(ref 
const(dmd.globals.Loc), dmd.dscope.Scope*, dmd.dsymbol.Dsymbol, 
dmd.root.array.Array!(dmd.root.rootobject.RootObject).Array*, 
dmd.mtype.Type, 
dmd.root.array.Array!(dmd.expression.Expression).Array*, 
dmd.func.FuncResolveFlag) ()
#15 0x0000555555848b84 in 
ExpressionSemanticVisitor::visit(CallExp*) ()
#16 0x00005555557252e5 in 
StatementSemanticVisitor::visit(ReturnStatement*) ()
#17 0x00005555556bfddb in 
Semantic3Visitor::visit(FuncDeclaration*) ()
#18 0x00005555556be2fc in 
Semantic3Visitor::visit(TemplateInstance*) ()
#19 0x00005555556f66d3 in 
dmd.dsymbolsem.templateInstanceSemantic(dmd.dtemplate.TemplateInstance, dmd.dscope.Scope*, dmd.root.array.Array!(dmd.expression.Expression).Array*) ()
#20 0x00005555556f4c51 in dmd.dtemplate.functionResolve(ref 
dmd.declaration.MatchAccumulator, dmd.dsymbol.Dsymbol, 
dmd.globals.Loc, dmd.dscope.Scope*, 
dmd.root.array.Array!(dmd.root.rootobject.RootObject).Array*, 
dmd.mtype.Type, 
dmd.root.array.Array!(dmd.expression.Expression).Array*, 
const(char)**) ()
#21 0x00005555556b921c in dmd.func.resolveFuncCall(ref 
const(dmd.globals.Loc), dmd.dscope.Scope*, dmd.dsymbol.Dsymbol, 
dmd.root.array.Array!(dmd.root.rootobject.RootObject).Array*, 
dmd.mtype.Type, 
dmd.root.array.Array!(dmd.expression.Expression).Array*, 
dmd.func.FuncResolveFlag) ()
#22 0x0000555555848b84 in 
ExpressionSemanticVisitor::visit(CallExp*) ()
#23 0x00005555557252e5 in 
StatementSemanticVisitor::visit(ReturnStatement*) ()
#24 0x00005555556bfddb in 
Semantic3Visitor::visit(FuncDeclaration*) ()
#25 0x00005555558413d4 in 
ExpressionSemanticVisitor::visit(FuncExp*) ()
#26 0x00005555556b0233 in dmd.typesem.resolve(dmd.mtype.Type, ref 
const(dmd.globals.Loc), dmd.dscope.Scope*, out 
dmd.expression.Expression, out dmd.mtype.Type, out 
dmd.dsymbol.Dsymbol, bool) ()
#27 0x00005555556754ca in typeSemantic(Type*, Loc const&, Scope*) 
()
#28 0x000055555583c04a in 
ExpressionSemanticVisitor::visit(IsExp*) ()
#29 0x000055555589ec2a in 
dmd.initsem.inferType(dmd.init.Initializer, dmd.dscope.Scope*) ()
#30 0x000055555567dd10 in 
DsymbolSemanticVisitor::visit(VarDeclaration*) ()
#31 0x00005555556faa6a in 
dmd.dtemplate.TemplateInstance.expandMembers(dmd.dscope.Scope*) ()
#32 0x00005555556f6460 in 
dmd.dsymbolsem.templateInstanceSemantic(dmd.dtemplate.TemplateInstance, dmd.dscope.Scope*, dmd.root.array.Array!(dmd.expression.Expression).Array*) ()
#33 0x0000555555841d38 in 
ExpressionSemanticVisitor::visit(ScopeExp*) ()
#34 0x00005555556d9865 in 
dmd.staticcond.evalStaticCondition(dmd.dscope.Scope*, 
dmd.expression.Expression, dmd.expression.Expression, out bool, 
dmd.root.array.Array!(dmd.expression.Expression).Array*).impl(dmd.expression.Expression) ()
#35 0x0000555555799bba in StaticIfCondition::include(Scope*) ()
#36 0x000055555573adc4 in 
dmd.statementsem.flatten(dmd.statement.Statement, 
dmd.dscope.Scope*) ()
#37 0x000055555573b49a in 
dmd.statementsem.flatten(dmd.statement.Statement, 
dmd.dscope.Scope*) ()
#38 0x000055555573b49a in 
dmd.statementsem.flatten(dmd.statement.Statement, 
dmd.dscope.Scope*) ()
#39 0x000055555573946e in 
StatementSemanticVisitor::visit(CompoundStatement*) ()
#40 0x00005555556bfddb in 
Semantic3Visitor::visit(FuncDeclaration*) ()
#41 0x00005555558413d4 in 
ExpressionSemanticVisitor::visit(FuncExp*) ()
#42 0x0000555555847862 in 
ExpressionSemanticVisitor::visit(CallExp*) ()
#43 0x000055555589ec2a in 
dmd.initsem.inferType(dmd.init.Initializer, dmd.dscope.Scope*) ()
#44 0x000055555567dd10 in 
DsymbolSemanticVisitor::visit(VarDeclaration*) ()
#45 0x000055555583ab20 in 
ExpressionSemanticVisitor::visit(DeclarationExp*) ()
#46 0x0000555555738fba in 
StatementSemanticVisitor::visit(ExpStatement*) ()
#47 0x000055555573954c in 
StatementSemanticVisitor::visit(CompoundStatement*) ()
#48 0x00005555556bfddb in 
Semantic3Visitor::visit(FuncDeclaration*) ()
#49 0x00005555556be2fc in 
Semantic3Visitor::visit(TemplateInstance*) ()
#50 0x00005555556f666a in 
dmd.dsymbolsem.templateInstanceSemantic(dmd.dtemplate.TemplateInstance, dmd.dscope.Scope*, dmd.root.array.Array!(dmd.expression.Expression).Array*) ()
#51 0x00005555556f4c51 in dmd.dtemplate.functionResolve(ref 
dmd.declaration.MatchAccumulator, dmd.dsymbol.Dsymbol, 
dmd.globals.Loc, dmd.dscope.Scope*, 
dmd.root.array.Array!(dmd.root.rootobject.RootObject).Array*, 
dmd.mtype.Type, 
dmd.root.array.Array!(dmd.expression.Expression).Array*, 
const(char)**) ()
#52 0x00005555556b921c in dmd.func.resolveFuncCall(ref 
const(dmd.globals.Loc), dmd.dscope.Scope*, dmd.dsymbol.Dsymbol, 
dmd.root.array.Array!(dmd.root.rootobject.RootObject).Array*, 
dmd.mtype.Type, 
dmd.root.array.Array!(dmd.expression.Expression).Array*, 
dmd.func.FuncResolveFlag) ()
#53 0x0000555555848b84 in 
ExpressionSemanticVisitor::visit(CallExp*) ()
#54 0x00005555557252e5 in 
StatementSemanticVisitor::visit(ReturnStatement*) ()
#55 0x000055555573954c in 
StatementSemanticVisitor::visit(CompoundStatement*) ()
#56 0x00005555556bfddb in 
Semantic3Visitor::visit(FuncDeclaration*) ()
#57 0x00005555556be2fc in 
Semantic3Visitor::visit(TemplateInstance*) ()
```


More information about the Digitalmars-d mailing list