Method startLifetime

ir/memory.cpp:2236–2248

}

void Memory::startLifetime(const expr &ptr_local) {
  assert(!memory_unused());
  Pointer p(*this, ptr_local);
  state->addUB(p.isLocal());

  if (observesAddresses())
    state->addPre(p.isBlockAlive() ||
      disjoint_local_blocks(*this, p.getAddress(),
                            p.blockSizeAligned().zextOrTrunc(bits_ptr_address),
                            p.blockAlignment(), local_blk_addr));

  store_bv(p, true, local_block_liveness, non_local_block_liveness, true);
}

void Memory::free(const expr &ptr, bool unconstrained) {
  assert(!memory_unused());