Method isNull

ir/pointer.cpp:935–941

}

expr Pointer::isNull() const {
  if (Memory::observesAddresses())
    return getAddress() == 0;
  if (!has_null_block)
    return false;
  return *this == mkNullPointer(m);
}

bool Pointer::isBlkSingleByte() const {
  uint64_t blk_size;