Method isDisjointOrEqual

ir/pointer.cpp:734–743

This function assumes that both begin + len don't overflow

// This function assumes that both begin + len don't overflow
void Pointer::isDisjointOrEqual(const expr &len1, const Pointer &ptr2,
                                const expr &len2) const {
  auto off = getOffsetSizet();
  auto off2 = ptr2.getOffsetSizet();
  unsigned bits = off.bits();
  m.state->addUB(getBid() != ptr2.getBid() ||
                 off == off2 ||
                 disjoint(off, len1.zextOrTrunc(bits), off2,
                          len2.zextOrTrunc(bits)));
}

expr Pointer::isBlockAlive() const {
  // NULL block is dead