Method castPtrToInt

ir/memory.cpp:398–402

}

expr Byte::castPtrToInt() const {
  auto offset = ptrByteoffset().zextOrTrunc(bits_ptr_address);
       offset = offset * expr::mkUInt(bits_byte, offset);
  return ptr().getAddress().lshr(offset).zextOrTrunc(bits_byte);
}

expr Byte::forceCastToInt() const {
  return expr::mkIf(isPtr(), castPtrToInt(), nonptrValue());