Skip to content

Commit 63b81ea

Browse files
author
Your Name
committed
Dont stop when else breaks
1 parent 145858a commit 63b81ea

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

lib/forwardanalyzer.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -803,19 +803,19 @@ namespace {
803803
pElse = updateBranch(elseBranch, depth - 1);
804804
if (thenBranch.isDead() || elseBranch.isDead()) {
805805
if (conditional && stopUpdates())
806-
return Break(Analyzer::Terminate::Conditional);
806+
pElse = Break(Analyzer::Terminate::Conditional);
807807
}
808808
if (thenBranch.isModified() || elseBranch.isModified()) {
809809
if (!ft.analyzer->lowerToPossible())
810810
pThen = Progress::Break;
811811
if (pElse != Progress::Break && !analyzer->lowerToPossible())
812-
return Break(Analyzer::Terminate::Bail);
812+
pElse = Break(Analyzer::Terminate::Bail);
813813
}
814814
if (thenBranch.isInconclusive() || elseBranch.isInconclusive()) {
815815
if (!ft.analyzer->lowerToInconclusive())
816816
pThen = Progress::Break;
817817
if (pElse != Progress::Break && !analyzer->lowerToInconclusive())
818-
return Break(Analyzer::Terminate::Bail);
818+
pElse = Break(Analyzer::Terminate::Bail);
819819
}
820820
if (thenBranch.hasGoto() || elseBranch.hasGoto()) {
821821
return Break(Analyzer::Terminate::Bail);

0 commit comments

Comments
 (0)