File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -386,32 +386,6 @@ namespace {
386386 return a;
387387 }
388388
389- bool checkBranch (Branch& branch) const {
390- Analyzer::Action a = analyzeScope (branch.endBlock );
391- branch.action = a;
392- std::vector<ForwardTraversal> ft1 = tryForkUpdateScope (branch.endBlock , a.isModified ());
393- const bool bail = hasGoto (branch.endBlock );
394- if (!a.isModified () && !bail) {
395- if (ft1.empty ()) {
396- // Traverse into the branch to see if there is a conditional escape
397- if (!branch.escape && hasInnerReturnScope (branch.endBlock ->previous (), branch.endBlock ->link ())) {
398- ForwardTraversal ft2 = fork (true );
399- ft2.updateScope (branch.endBlock );
400- if (ft2.terminate == Analyzer::Terminate::Escape) {
401- branch.escape = true ;
402- branch.escapeUnknown = false ;
403- }
404- }
405- } else {
406- if (ft1.front ().terminate == Analyzer::Terminate::Escape) {
407- branch.escape = true ;
408- branch.escapeUnknown = false ;
409- }
410- }
411- }
412- return bail;
413- }
414-
415389 Progress updateBranch (Branch& branch, int depth)
416390 {
417391 // Save and reset actions
You can’t perform that action at this time.
0 commit comments