Method canReadSomething

ir/state.cpp:59–65

}

expr SMTMemoryAccess::canReadSomething() const {
  OrExpr ret;
  for (unsigned i = 0; i < AccessType::NumTypes; ++i) {
    ret.add(canRead(AccessType(i)));
  }
  return ret();
}

expr SMTMemoryAccess::canWriteSomething() const {
  OrExpr ret;