fix #967: null pointers in asm mode

AliveToolkit · Nov 19, 2023 · 40ed5a5 · 40ed5a5
1 parent c5c711a
commit 40ed5a5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/ir/memory.cpp b/ir/memory.cpp
@@ -2057,7 +2057,9 @@ Pointer Memory::searchPointer(const expr &val0) const {
       Pointer p(*this, i, local);
       Pointer p_end = p + p.blockSize();
       ret.add((p + (val - p.getAddress())).release(),
-              val.uge(p.getAddress()) && val.ult(p_end.getAddress()));
+              !local && i == 0 && has_null_block
+                ? val == 0
+                : val.uge(p.getAddress()) && val.ult(p_end.getAddress()));
     }
   };
   add(numLocals(), true);