optimize inBounds check to remove implied constraint

AliveToolkit · Dec 20, 2024 · c769c3b · c769c3b
1 parent 66bb70c
commit c769c3b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/ir/pointer.cpp b/ir/pointer.cpp
@@ -436,7 +436,10 @@ expr Pointer::isInboundsOf(const Pointer &block, const expr &bytes0,
 expr Pointer::isInbounds(bool strict) const {
   auto offset = getOffsetSizet();
   auto size   = blockSizeAlignedOffsetT();
-  return (strict ? offset.ult(size) : offset.ule(size)) && !offset.isNegative();
+  expr ret = strict ? offset.ult(size) : offset.ule(size);
+  if (bits_for_offset <= bits_size_t) // implied
+    ret &= !offset.isNegative();
+  return ret;
 }
 
 expr Pointer::inbounds(bool simplify_ptr) {