Method ptr2int

ir/memory.cpp:2557–2563

}

expr Memory::ptr2int(const expr &ptr) {
  assert(!memory_unused() && observesAddresses());
  Pointer p(*this, ptr);
  observesAddr(p);
  state->addUB(!p.isNocapture());
  return p.getAddress();
}

expr Memory::int2ptr(const expr &val) {
  assert(!memory_unused() && has_int2ptr && observesAddresses());