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

References

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

  436   ProgramStateRef OriginalState = N->getState();
  438   if (checkInvariantViolation(OriginalState, N, C))
  442     N = C.addTransition(OriginalState, N);
  442     N = C.addTransition(OriginalState, N);
  445   reportBug(Msg, Error, N, Region, C.getBugReporter(), ValueExpr);