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

References

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

  109         State = State->assume(*L, /*assumption=*/true);
  109         State = State->assume(*L, /*assumption=*/true);
  122         State = State->set<NonNullImplicationMap>(RetS, ArgS);
  122         State = State->set<NonNullImplicationMap>(RetS, ArgS);
  126         State = State->set<NullImplicationMap>(ArgS, RetS);
  126         State = State->set<NullImplicationMap>(ArgS, RetS);
  130     C.addTransition(State);