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

References

tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp

  591     C.addTransition(State, ErrNode);

tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp

  569       C.addTransition(State, AfterTypeProp);
  588     ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv);
  606     C.addTransition(State, AfterTypeProp);
  895     C.addTransition(State, Pred);

tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

  283   C.addTransition(State, N);

tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp

  758   ExplodedNode *ErrNode = C.addTransition(C.getState(), C.getPredecessor(), &Tag);

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

   47     Ctx.addTransition(ErrorNode->getState(), ErrorNode);
   96     Ctx.addTransition(State, ErrorNode);
  130     Ctx.addTransition(State, ErrorNode);

tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp

  579   C.addTransition(State, N);

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 2675   C.addTransition(state->set<RegionState>(RS), N);

tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp

  387   C.addTransition(State, N);

tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp

  427       C.addTransition(State->set<InvariantViolated>(true), N);
  442     N = C.addTransition(OriginalState, N);
  617       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);
 1141       ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag);

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

  704       C.addTransition(St, C.getPredecessor(), &DeallocSentTag);
 1094         ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag);
 1120         ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag);
 1318   ExplodedNode *N = Ctx.addTransition(state, Pred);
 1452   C.addTransition(state, Pred);