Method isInboundsOf

ir/pointer.cpp:418–434

}

expr Pointer::isInboundsOf(const Pointer &block, const expr &bytes0,
                           bool is_phy) const {
  assert(block.getOffset().isZero());
  expr bytes = bytes0.zextOrTrunc(bits_ptr_address);
  expr addr  = is_phy ? getPhysicalAddress() : getAddress();
  expr block_addr = block.getLogAddress();
  expr block_size = block.blockSizeAligned().zextOrTrunc(bits_ptr_address);

  if (bytes.eq(block_size))
    return addr == block_addr;
  if (bytes.ugt(block_size).isTrue())
    return false;

  return addr.uge(block_addr) &&
         addr.add_no_uoverflow(bytes) &&
         (addr + bytes).ule(block_addr + block_size);
}

expr Pointer::isInbounds(bool strict) const {
  auto offset = getOffsetSizet();