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

  223   ConditionTruthVal isNull(SVal V) const;

References

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

  141   if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
  156   if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue())

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

  229   if (!State->isNull(V).isConstrainedFalse())
  238   if (!State->isNull(V).isConstrainedTrue())

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

  264   ConditionTruthVal Nullness = State->isNull(Val);

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

  329     if (State->isNull(RHSVal).isConstrainedTrue())
  336     if (State->isNull(LHSVal).isConstrainedTrue())

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

  301       if (CurrSt->isNull(RV).isConstrainedTrue()) {

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

   79     return C.getState()->isNull(*ReturnDV).isConstrainedTrue();
   81   return C.getState()->isNull(*ReturnDV).isConstrainedFalse();

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

  229         || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) {

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

  996         EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue();
 1058     if (State->isNull(V).isConstrainedTrue()) {
 1163       if (!State->isNull(*ArgV).isConstrainedTrue())
 1542     return N->getState()->isNull(Constraint).isUnderconstrained();
 1610   assert(N->getState()->isNull(V).isConstrainedTrue() &&
 1635     if (Succ->getState()->isNull(V).isConstrainedTrue())
 1642   if (!Pred->getState()->isNull(V).isConstrainedTrue()) {
 1645     assert(Succ->getState()->isNull(V).isConstrainedTrue());
 1977     bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue();
 2009         if (LVState->isNull(V).isConstrainedTrue())
 2015         if (!DV->isZeroConstant() && LVState->isNull(*DV).isConstrainedTrue() &&
 2088     if (state->isNull(V).isConstrainedTrue())

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

  996   if (State->isNull(ArgVal).isConstrainedTrue()) {

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

  128   bool isContainerNull = state->isNull(collectionV).isConstrainedTrue();

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

  362   ConditionTruthVal IsNull = isNull(V);