Method addNoUOverflow

ir/pointer.cpp:388–392

}

expr Pointer::addNoUOverflow(const expr &offset, bool offset_only) const {
  if (offset_only)
    return getOffset().add_no_uoverflow(offset);
  return getAddress().add_no_uoverflow(offset.sextOrTrunc(bits_ptr_address));
}

expr Pointer::operator==(const Pointer &rhs) const {
  return reprWithoutAttrs() == rhs.reprWithoutAttrs();