Method mkPointerFromNoAttrs

ir/pointer.cpp:350–352

}

Pointer Pointer::mkPointerFromNoAttrs(const Memory &m, const expr &e) {
  return { m, e.concat_zeros(bits_for_ptrattrs) };
}

Pointer Pointer::operator+(const expr &bytes) const {
  return mkIf_fold(isLogical(),