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

   39   ProgramStateRef State = Ctx.getState();
   44     ExplodedNode *ErrorNode = Ctx.generateNonFatalErrorNode();
   46                                       Ctx.getBugReporter());
   47     Ctx.addTransition(ErrorNode->getState(), ErrorNode);
   52     Ctx.addTransition(State);