Method int2ptr

ir/memory.cpp:2565–2570

}

expr Memory::int2ptr(const expr &val) {
  assert(!memory_unused() && has_int2ptr && observesAddresses());
  nextNonlocalBid();
  return
    Pointer::mkPhysical(*this, val.zextOrTrunc(bits_ptr_address)).release();
}

expr Memory::blockRefined(const Pointer &src, const Pointer &tgt) const {
  expr aligned(true);