Method mk_block_val_array

ir/memory.cpp:1416–1423

}

expr Memory::mk_block_val_array(unsigned bid) const {
  auto str = "init_mem_" + to_string(bid);
  return Pointer(*this, bid, false).isBlkSingleByte()
    ? expr::mkVar(str.c_str(), Byte::bitsByte())
    : expr::mkArray(str.c_str(),
                    expr::mkUInt(0, Pointer::bitsShortOffset()),
                    expr::mkUInt(0, Byte::bitsByte()));
}

static expr mk_liveness_array() {
  if (!num_nonlocals)