Method fillPoison

ir/memory.cpp:2550–2555

}

void Memory::fillPoison(const expr &bid) {
  Pointer p(*this, bid, expr::mkUInt(0, bits_for_offset));
  expr blksz = p.blockSizeAligned();
  memset(std::move(p).release(), IntType("i8", 8).getDummyValue(false),
         std::move(blksz), bits_byte / 8, {}, false);
}

expr Memory::ptr2int(const expr &ptr) {
  assert(!memory_unused() && observesAddresses());