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

References

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

  220         Negated ? InputState->get<NonNullImplicationMap>(Antecedent)
  221                 : InputState->get<NullImplicationMap>(Antecedent);
  225     SVal AntecedentV = SVB.makeSymbolVal(Antecedent);
  237         State = State->remove<NonNullImplicationMap>(Antecedent);
  240         State = State->remove<NullImplicationMap>(Antecedent);