Method free

ir/memory.cpp:2250–2266

}

void Memory::free(const expr &ptr, bool unconstrained) {
  assert(!memory_unused());
  Pointer p(*this, ptr);
  expr isnnull = p.isNull();

  if (!unconstrained)
    state->addUB(isnnull || (p.getOffset() == 0 &&
                             p.isBlockAlive() &&
                             p.getAllocType() == Pointer::MALLOC));

  if (!isnnull.isTrue()) {
    // A nonlocal block for encoding fn calls' side effects cannot be freed.
    ensure_non_fncallmem(p);
    store_bv(p, false, local_block_liveness, non_local_block_liveness, false,
             !isnnull);
  }
}

unsigned Memory::getStoreByteSize(const Type &ty) {
  assert(bits_program_pointer != 0);