Home
last modified time | relevance | path

Searched refs:isConstrainedTrue (Results 1 – 19 of 19) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp188 if (TV.isConstrainedTrue()) in isNonNullPtr()
227 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()
228 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()
H A DPointerArithChecker.cpp323 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()
330 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
H A DSimpleStreamChecker.cpp139 return !OpenFailed.isConstrainedTrue(); in isLeaked()
H A DMIGChecker.cpp242 if (!State->isNull(V).isConstrainedTrue()) in mayBeSuccess()
H A DFuchsiaHandleChecker.cpp547 if (HandleVal.isConstrainedTrue()) { in evalAssume()
555 if (ErrorVal.isConstrainedTrue()) { in evalAssume()
H A DSmartPtrModeling.cpp860 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
866 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
H A DNullabilityChecker.cpp308 if (Nullness.isConstrainedTrue()) in getNullConstraint()
956 if (IsNonNull.isConstrainedTrue()) { in evalAssume()
H A DMacOSKeychainAPIChecker.cpp550 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
H A DCheckObjCDealloc.cpp543 .isConstrainedTrue()) { in diagnoseMissingReleases()
H A DMallocChecker.cpp1875 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()
3134 if (AllocFailed.isConstrainedTrue()) in evalAssume()
3145 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
H A DStreamChecker.cpp1130 if (State->isNull(*SizeVal).isConstrainedTrue() || in evalFreadFwrite()
1131 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
H A DBasicObjCFoundationChecks.cpp167 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h103 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
107 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
304 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DConstraintManager.h56 bool isConstrainedTrue() const { return Val && *Val; } in isConstrainedTrue() function
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp342 .isConstrainedTrue() && in wasRegionOfInterestModifiedAt()
1080 if (State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()
1182 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()
1920 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()
1927 if (!Pred->getState()->isNull(V).isConstrainedTrue() && in VisitNode()
1928 Succ->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()
2354 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in handle()
2389 if (LVState->isNull(V).isConstrainedTrue()) in handle()
2494 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in handle()
2718 if (state->isNull(V).isConstrainedTrue()) in getNilReceiver()
H A DExprEngineObjC.cpp125 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()
H A DExprEngine.cpp1421 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp298 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
300 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
H A DRetainCountChecker.cpp309 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()
1171 if (AllocFailed.isConstrainedTrue()) { in evalAssume()