mirrors/dmd
1
0
Fork 0
mirror of https://github.com/dlang/dmd.git synced 2025-04-27 13:40:11 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 11

fix Issue 23586 - DMD forgets a variable was just declared

Browse source
This commit is contained in:
Iain Buclaw 2022-12-28 01:33:10 +01:00 • committed by The Dlang Bot
parent c5d192dfa3
commit 6b2c13a9eb
3 changed files with 40 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/src/dmd/parse.d
View file

@ -5720,6 +5720,8 @@ LagainStc:
s = null; s = null;
else if (token.value == TOK.leftCurly) else if (token.value == TOK.leftCurly)
s = parseStatement(ParseStatementFlags.curly | ParseStatementFlags.scope_); s = parseStatement(ParseStatementFlags.curly | ParseStatementFlags.scope_);
else if (flags & ParseStatementFlags.curlyScope)
s = parseStatement(ParseStatementFlags.semiOk | ParseStatementFlags.curlyScope);
else else
s = parseStatement(ParseStatementFlags.semiOk); s = parseStatement(ParseStatementFlags.semiOk);
s = new AST.LabelStatement(loc, ident, s); s = new AST.LabelStatement(loc, ident, s);

4
compiler/src/dmd/statement.d
View file

@ -323,6 +323,10 @@ extern (C++) abstract class Statement : ASTNode
override void visit(DefaultStatement s) override void visit(DefaultStatement s)
{ {
} }
override void visit(LabelStatement s)
{
}
} }
scope HasCode hc = new HasCode(); scope HasCode hc = new HasCode();

34
compiler/test/compilable/test23586.d Normal file
View file

@ -0,0 +1,34 @@
// https://issues.dlang.org/show_bug.cgi?id=23586
int test23686a(int x)
{
switch(x)
{
case 0:
goto Bar;
Bar:
default:
auto y = 6;
return y;
}
}
int test23686b(int x)
{
switch(x)
{
case 0:
Bar:
case 1:
case 2:
auto y = 7;
return y;
default:
goto Bar;
}
}
static assert(test23686a(0) == 6);
static assert(test23686b(3) == 7);