Merge pull request 'PRIVATE_ANALYSIS_IR: handle unreachable loops' (#75) from fix_private_scalars_analysis into master

2026-02-19 05:32:13 +00:00
parent 11b3ecba2e eee6f30f94
commit f5d2ecf549
1 changed files with 6 additions and 0 deletions
--- a/src/CFGraph/private_variables_analysis.cpp
+++ b/src/CFGraph/private_variables_analysis.cpp
@@ -321,6 +321,12 @@ static set<SAPFOR::BasicBlock*> analyzeLoop(LoopGraph* loop, const set<SAPFOR::B
        }
    }

+    if (currentLoop.empty()) // can't find loop IR - loop unreachable!
+    {
+        __spf_print(1, "Unreachable loop on %s:%d\n", current_file->filename(), loop_operator->lineNumber());
+        return currentLoop;
+    }
+
    if (!head_block)
        printInternalError(convertFileName(__FILE__).c_str(), __LINE__);