Method isBlockAlive

ir/memory.cpp:929–937

}

expr Memory::isBlockAlive(const expr &bid, bool local) const {
  uint64_t bid_n;
  if (!local && bid.isUInt(bid_n) && always_alive(bid_n))
    return true;

  return
    load_bv(local ? local_block_liveness : non_local_block_liveness, bid) &&
      (!local && has_null_block && !null_is_dereferenceable ? bid != 0 : true);
}

bool Memory::mayalias(bool local, unsigned bid0, const expr &offset0,
                      const expr &bytes, uint64_t align, bool write) const {