From 4229041da43a720c27f111d1761d37dbf24c22a8 Mon Sep 17 00:00:00 2001
From: xnpster <xnpster@yandex.ru>
Date: Thu, 19 Feb 2026 00:03:13 +0300
Subject: [PATCH] PRIVATE_ANALYSIS_IR: handle unreachable loops

---
 src/CFGraph/private_variables_analysis.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/CFGraph/private_variables_analysis.cpp b/src/CFGraph/private_variables_analysis.cpp
index ef9fee6..6e8064f 100644
--- 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__);