From 53e983d025e8e0dd99a13565d3bd19b0711b7516 Mon Sep 17 00:00:00 2001
From: Oleg Nikitin <s02240508@gse.cs.msu.ru>
Date: Sat, 31 May 2025 14:48:59 +0300
Subject: [PATCH] fix range stuctures

---
 projects/dvm                             | 2 +-
 src/PrivateAnalyzer/range_structures.cpp | 3 ++-
 src/PrivateAnalyzer/region.cpp           | 7 ++++++-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/projects/dvm b/projects/dvm
index 3a567d7..a711f8e 160000
--- a/projects/dvm
+++ b/projects/dvm
@@ -1 +1 @@
-Subproject commit 3a567d7582d01ec80d026a320415820e32e82c7c
+Subproject commit a711f8ebfd023ca90a6d9c9bdf5a4726cd276d51
diff --git a/src/PrivateAnalyzer/range_structures.cpp b/src/PrivateAnalyzer/range_structures.cpp
index 9a2f437..75f2779 100644
--- a/src/PrivateAnalyzer/range_structures.cpp
+++ b/src/PrivateAnalyzer/range_structures.cpp
@@ -184,7 +184,8 @@ void AccessingSet::FindUncovered(const vector<ArrayDimension>& element, vector<v
                 newTails.insert(newTails.end(), diff.begin(), diff.end());
             }
         }
-        result = move(newTails);
+        result = newTails;
+        newTails.clear();
     }
 }
 
diff --git a/src/PrivateAnalyzer/region.cpp b/src/PrivateAnalyzer/region.cpp
index dfe30b1..54540d2 100644
--- a/src/PrivateAnalyzer/region.cpp
+++ b/src/PrivateAnalyzer/region.cpp
@@ -139,6 +139,9 @@ static int GetDefUseArray(SAPFOR::BasicBlock* block, LoopGraph* loop, ArrayAcces
 
             }
 
+            if(coefsForDims.empty())
+                printInternalError(convertFileName(__FILE__).c_str(), __LINE__);
+
             while (!index_vars.empty())
             {
                 auto var = index_vars.back();
@@ -214,7 +217,10 @@ static Region* CreateSubRegion(LoopGraph* loop, const vector<SAPFOR::BasicBlock*
     if (bbToRegion.find(header) != bbToRegion.end())
         region->setHeader(bbToRegion.at(header));    
     else
+    {
+        printInternalError(convertFileName(__FILE__).c_str(), __LINE__);
         return NULL;
+    }
     
     for (SAPFOR::BasicBlock* block : blockSet)
         if (bbToRegion.find(block) != bbToRegion.end())
@@ -223,7 +229,6 @@ static Region* CreateSubRegion(LoopGraph* loop, const vector<SAPFOR::BasicBlock*
     for (LoopGraph* childLoop : loop->children)
         region->addSubRegions(CreateSubRegion(childLoop, Blocks, bbToRegion));
 
-    cout << header << endl;
     return region;
 }