Extern/Beef
1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-06-08 11:38:21 +02:00
Code Activity

Fixed break targeting switch label

Browse source
This commit is contained in:
Brian Fiete 2024-11-20 11:33:28 -05:00
parent ac67046afc
commit 908a76b92a
3 changed files with 25 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
IDEHelper/Compiler/BfModule.cpp
View file

@ -1942,7 +1942,7 @@ void BfModule::NewScopeState(bool createLexicalBlock, bool flushValueScope)
{
if (checkScope->mLabel == mCurMethodState->mCurScope->mLabel)
{
auto errorNode = Fail("Duplicate scope label", curScope->mLabelNode);
auto errorNode = Warn(0, StrFormat("Duplicate scope label '%s'", checkScope->mLabel.c_str()), curScope->mLabelNode);
if (errorNode != NULL)
mCompiler->mPassInstance->MoreInfo("See previous scope label", checkScope->mLabelNode);
break;

1
IDEHelper/Compiler/BfStmtEvaluator.cpp
View file

@ -5171,6 +5171,7 @@ void BfModule::Visit(BfSwitchStatement* switchStmt)
caseScopeData.mIsSharedTempBlock = true;
mCurMethodState->AddScope(&caseScopeData);
NewScopeState();
caseScopeData.mLabel = newScope.mLabel;
bool hadReturn = false;
VisitCodeBlock(switchCase->mCodeBlock, BfIRBlock(), endBlock, BfIRBlock(), true, &hadReturn, switchStmt->mLabelNode);

23
IDEHelper/Tests/src/Switches.bf
View file

@ -1,3 +1,5 @@
#pragma warning disable 168
using System;
namespace Tests
@ -42,6 +44,27 @@ namespace Tests
Shape shape = .Circle(10, 20, 30);
Test.Assert(Switch1(shape) == 12);
int val = 123;
int result = 0;
switch (val)
{
case 0:
result = 1;
default:
SWITCH2:
switch (val)
{
case 2:
result = 2;
default:
result = 3;
break SWITCH2;
}
result = 4;
}
Test.Assert(result == 4);
}
}
}