Method nonptrValue

ir/memory.cpp:342–347

}

expr Byte::nonptrValue() const {
  if (!does_int_mem_access)
    return expr::mkUInt(0, bits_byte);
  unsigned start = padding_nonptr_byte() + sub_byte_bits();
  return p.extract(start + bits_byte - 1, start);
}

expr Byte::numStoredBits() const {
  unsigned start = padding_nonptr_byte() + size_byte_number();