Method Byte

ir/memory.cpp:231–233

namespace IR {

Byte::Byte(const Memory &m, expr &&byterepr) : m(m), p(std::move(byterepr)) {
  assert(!p.isValid() || p.bits() == bitsByte());
}

Byte::Byte(const Memory &m, const StateValue &ptr, unsigned i) : m(m) {
  // TODO: support pointers larger than 64 bits.