Dont ignore regions

UQ-PAC · Aug 13, 2024 · 5a20e37 · 5a20e37
1 parent f607fdf
commit 5a20e37
Showing 1 changed file with 2 additions and 6 deletions.
diff --git 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