fix #1141: crash in asm mode

AliveToolkit · Dec 11, 2024 · 7a84b74 · 7a84b74
1 parent 08285b3
commit 7a84b74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ir/pointer.cpp b/ir/pointer.cpp
@@ -585,7 +585,7 @@ Pointer::isDereferenceable(const expr &bytes0, uint64_t align,
   bool observes_local = m.observed_addrs.numMayAlias(true) > 0;
 
   auto phy_ptr = [&](Pointer &p, bool is_phy) -> pair<expr, Pointer> {
-    DisjointExpr<expr> bids(expr::mkUInt(0, bitsShortBid()));
+    DisjointExpr<expr> bids(expr::mkUInt(0, bitsShortBid() + observes_local));
     DisjointExpr<expr> addrs(expr::mkUInt(0, bits_ptr_address));
     expr ub = false;
     bool all_same_size = true;