Update instr.cpp

AliveToolkit · Jan 5, 2025 · 11306d4 · 11306d4
1 parent c1f8af8
commit 11306d4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ir/instr.cpp b/ir/instr.cpp
@@ -2794,6 +2794,8 @@ StateValue ICmp::toSMT(State &s) const {
         auto &m = s.getMemory();
         Pointer lhs(m, a.value);
         Pointer rhs(m, b.value);
+        m.observesAddr(lhs);
+        m.observesAddr(rhs);
         np = lhs.getAddress().sign() == rhs.getAddress().sign();
       } else {
         np = a.value.sign() == b.value.sign();