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

References

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

  139     std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
  143     if (stateNull && !stateNotNull) {
  144       if (ExplodedNode *errorNode = C.generateErrorNode(stateNull)) {
  163     if (stateNull) {
  164       if (ExplodedNode *N = C.generateSink(stateNull, C.getPredecessor())) {