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

References

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

   97     if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse())
  101     if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue())
  299     if (checkModel(State, Sym, Exp).isConstrainedTrue())

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/CheckObjCDealloc.cpp

  535             .isConstrainedTrue()) {

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

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

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

  559     if (AllocFailed.isConstrainedTrue())

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

 1624     return FreeFailed.isConstrainedTrue();
 2889     if (AllocFailed.isConstrainedTrue())
 2900     if (!AllocFailed.isConstrainedTrue())

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

  267   if (Nullness.isConstrainedTrue())

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/RetainCountChecker.cpp

  310   if (CMgr.isNull(State, Sym).isConstrainedTrue())
 1171     if (AllocFailed.isConstrainedTrue()) {

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

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

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

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

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

  169     return !OpenFailed.isConstrainedTrue();

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

  189     if (TV.isConstrainedTrue())
  228     if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue())
  229         || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) {

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

  286            .isConstrainedTrue() &&
  996         EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue();
 1058     if (State->isNull(V).isConstrainedTrue()) {
 1163       if (!State->isNull(*ArgV).isConstrainedTrue())
 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();