From 5a20e37c7862e324cd823fcae4078c53ef540e36 Mon Sep 17 00:00:00 2001
From: yousifpatti <yousifpatti@gmail.com>
Date: Tue, 13 Aug 2024 16:16:24 +1000
Subject: [PATCH] Dont ignore regions

---
 src/main/scala/analysis/MemoryRegionAnalysis.scala | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/main/scala/analysis/MemoryRegionAnalysis.scala b/src/main/scala/analysis/MemoryRegionAnalysis.scala
index 65aa1cc20..6817589b4 100644
--- a/src/main/scala/analysis/MemoryRegionAnalysis.scala
+++ b/src/main/scala/analysis/MemoryRegionAnalysis.scala
@@ -202,12 +202,8 @@ trait MemoryRegionAnalysis(val program: Program,
             s
           }
         case memAssign: MemoryAssign =>
-          if (ignoreRegions.contains(memAssign.value)) {
-            s
-          } else {
-            val result = eval(memAssign.index, s, cmd)
-            regionLattice.lub(s, result)
-          }
+          val result = eval(memAssign.index, s, cmd)
+          regionLattice.lub(s, result)
         case assign: Assign =>
           stackDetection(assign)
           var m = s