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

References

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

  215   ProgramStateRef state = C.getState();
  216   SValBuilder &svalBuilder = C.getSValBuilder();
  217   const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
  219                                                     C.blockCount())
  221   state = state->BindExpr(CE, C.getLocationContext(), RetVal);
  223   ConstraintManager &CM = C.getConstraintManager();
  236     C.addTransition(stateNotNull);
  237     C.addTransition(stateNull);