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

References

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

   76   ProgramStateRef state = C.getState();
  137     ConstraintManager &CM = C.getConstraintManager();
  144       if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) {
  156         C.emitReport(std::move(R));
  164       if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) {
  164       if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) {
  166           V, false, N, &C.getBugReporter(),
  179   C.addTransition(state);