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

References

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

  216     if (!InputState)
  218     SValBuilder &SVB = InputState->getStateManager().getSValBuilder();
  220         Negated ? InputState->get<NonNullImplicationMap>(Antecedent)
  221                 : InputState->get<NullImplicationMap>(Antecedent);
  223       return InputState;
  226     ProgramStateRef State = InputState;
  228     if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue())
  229         || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) {
  231       State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);