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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  219   ConditionTruthVal isNonNull(SVal V) const;

References

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp

  303       } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) {

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

  188     ConditionTruthVal TV = C.getState()->isNonNull(Receiver);
  228     if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue())

tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

  439   return state->isNonNull(evalEQ(state, lhs, rhs));