Method isNoRead

ir/pointer.cpp:905–907

  return p.extract(idx_, idx_) == 1;

expr Pointer::isNoRead() const {
  GET_ATTR(has_noread, (unsigned)has_nocapture);
}

expr Pointer::isNoWrite() const {
  GET_ATTR(has_nowrite, (unsigned)has_nocapture + (unsigned)has_noread);