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

References

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

  106   std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
  108   if (StNonNull) {
  110     C.addTransition(StNonNull);