PRIVATE_ANALYSIS_IR: handle unreachable loops

2026-02-19 00:03:13 +03:00
parent 14e3bc54f1
commit 4229041da4
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__);