ptr_deref_within should not use Pointer::uge/ult
MODIFY
ir/memory.cpp
ir/memory.cpp
@@ -1552,10 +1552,10 @@ Byte Memory::load(const Pointer &p) const {
static expr ptr_deref_within(const Pointer &idx, const Pointer &ptr,
const expr &size) {
expr ret = idx.getShortBid() == ptr.getShortBid();
- ret &= idx.uge(ptr).value;
+ ret &= idx.getOffset().uge(ptr.getOffset());
if (!size.zextOrTrunc(bits_size_t).uge(ptr.blockSize()).isTrue())
- ret &= idx.ult(ptr + size).value;
+ ret &= idx.getOffset().ult((ptr + size).getOffset());
return ret;
}

ptr_deref_within should not use Pointer::uge/ult (#366)