Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp189 if (TV.isConstrainedTrue()) in isNonNullPtr()
228 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()
229 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()
H A DPointerArithChecker.cpp329 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()
336 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
H A DReturnValueChecker.cpp80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
H A DMIGChecker.cpp241 if (!State->isNull(V).isConstrainedTrue()) in mayBeSuccess()
H A DSimpleStreamChecker.cpp156 return !OpenFailed.isConstrainedTrue(); in isLeaked()
H A DFuchsiaHandleChecker.cpp546 if (HandleVal.isConstrainedTrue()) { in evalAssume()
554 if (ErrorVal.isConstrainedTrue()) { in evalAssume()
H A DSmartPtrModeling.cpp859 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
865 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
H A DBasicObjCFoundationChecks.cpp142 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
157 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
H A DStreamChecker.cpp661 if (State->isNull(*SizeVal).isConstrainedTrue() || in evalFreadFwrite()
662 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
H A DMacOSKeychainAPIChecker.cpp558 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
H A DCheckObjCDealloc.cpp535 .isConstrainedTrue()) { in diagnoseMissingReleases()
H A DMallocChecker.cpp1832 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()
3088 if (AllocFailed.isConstrainedTrue()) in evalAssume()
3099 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
H A DNullabilityChecker.cpp271 if (Nullness.isConstrainedTrue()) in getNullConstraint()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h99 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
103 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
300 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DConstraintManager.h56 bool isConstrainedTrue() const { return Val && Val.value(); } in isConstrainedTrue() function
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp312 .isConstrainedTrue() && in wasRegionOfInterestModifiedAt()
1050 if (State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()
1152 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()
1740 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()
1747 if (!Pred->getState()->isNull(V).isConstrainedTrue() && in VisitNode()
1748 Succ->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()
2173 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in handle()
2208 if (LVState->isNull(V).isConstrainedTrue()) in handle()
2311 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in handle()
2518 if (state->isNull(V).isConstrainedTrue()) in getNilReceiver()
H A DExprEngineObjC.cpp125 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()
H A DExprEngine.cpp1167 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
/llvm-project-15.0.7/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.cpp310 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()
1172 if (AllocFailed.isConstrainedTrue()) { in evalAssume()