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

  102   ProgramStateRef State = Ctx.getState();
  116           ErrorNode = Ctx.generateNonFatalErrorNode(State, &Tag);
  120                                     Ctx.getBugReporter());
  128     Ctx.addTransition(State);
  130     Ctx.addTransition(State, ErrorNode);