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

References

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

  231       State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);
  232       if (!State)
  237         State = State->remove<NonNullImplicationMap>(Antecedent);
  237         State = State->remove<NonNullImplicationMap>(Antecedent);
  238         State = State->remove<NullImplicationMap>(*Consequent);
  238         State = State->remove<NullImplicationMap>(*Consequent);
  240         State = State->remove<NullImplicationMap>(Antecedent);
  240         State = State->remove<NullImplicationMap>(Antecedent);
  241         State = State->remove<NonNullImplicationMap>(*Consequent);
  241         State = State->remove<NonNullImplicationMap>(*Consequent);
  245     return State;