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

   80     const Request *const Req = State->get<RequestMap>(ReqRegion);
   81     State = State->set<RequestMap>(ReqRegion, Request::State::Wait);
   81     State = State->set<RequestMap>(ReqRegion, Request::State::Wait);
   84         ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
   85         State = ErrorNode->getState();
   94     Ctx.addTransition(State);
   96     Ctx.addTransition(State, ErrorNode);