Method mkPhysical

ir/pointer.cpp:112–114

  : Pointer(m, bid, offset, attr_to_bitvec(attr)) {}

Pointer Pointer::mkPhysical(const Memory &m, const expr &addr) {
  return mkPhysical(m, addr, expr::mkUInt(0, bits_for_ptrattrs));
}

Pointer Pointer::mkPhysical(const Memory &m, const expr &addr,
                            const expr &attr) {