reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp

  103   const auto &Requests = State->get<RequestMap>();
  110   auto ReqMap = State->get<RequestMap>();
  116           ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
  117           State = ErrorNode->getState();
  122       State = State->remove<RequestMap>(Req.first);
  122       State = State->remove<RequestMap>(Req.first);
  128     Ctx.addTransition(State);
  130     Ctx.addTransition(State, ErrorNode);