Home
last modified time | relevance | path

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

/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
DTrustNonnullChecker.cpp189 if (TV.isConstrainedTrue()) in isNonNullPtr()
228 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()
229 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()
DPointerArithChecker.cpp329 if (State->isNull(RHSVal).isConstrainedTrue()) in checkPreStmt()
336 if (State->isNull(LHSVal).isConstrainedTrue()) in checkPreStmt()
DReturnValueChecker.cpp80 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
DMIGChecker.cpp242 if (!State->isNull(V).isConstrainedTrue()) in mayBeSuccess()
DSimpleStreamChecker.cpp156 return !OpenFailed.isConstrainedTrue(); in isLeaked()
DFuchsiaHandleChecker.cpp547 if (HandleVal.isConstrainedTrue()) { in evalAssume()
555 if (ErrorVal.isConstrainedTrue()) { in evalAssume()
DSmartPtrModeling.cpp861 if (State->isNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
867 } else if (State->isNonNull(InnerPointerVal).isConstrainedTrue()) { in handleBoolConversion()
DBasicObjCFoundationChecks.cpp143 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr()
158 if (!State->isNull(msg.getArgSVal(Arg)).isConstrainedTrue()) in warnIfNilArg()
DNullabilityChecker.cpp304 if (Nullness.isConstrainedTrue()) in getNullConstraint()
915 if (IsNonNull.isConstrainedTrue()) { in evalAssume()
DStreamChecker.cpp706 if (State->isNull(*SizeVal).isConstrainedTrue() || in evalFreadFwrite()
707 State->isNull(*NMembVal).isConstrainedTrue()) { in evalFreadFwrite()
DMacOSKeychainAPIChecker.cpp559 if (AllocFailed.isConstrainedTrue()) in checkDeadSymbols()
DCheckObjCDealloc.cpp536 .isConstrainedTrue()) { in diagnoseMissingReleases()
DMallocChecker.cpp1821 return FreeFailed.isConstrainedTrue(); in didPreviousFreeFail()
3079 if (AllocFailed.isConstrainedTrue()) in evalAssume()
3090 if (!AllocFailed.isConstrainedTrue()) in evalAssume()
/openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSMTConstraintManager.h100 if (isSat.isConstrainedTrue() && isNotSat.isConstrainedFalse()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
104 if (isSat.isConstrainedFalse() && isNotSat.isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
301 if (checkModel(State, Sym, Exp).isConstrainedTrue()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
DConstraintManager.h56 bool isConstrainedTrue() const { return Val && *Val; } in isConstrainedTrue() function
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
DBugReporterVisitors.cpp312 .isConstrainedTrue() && in wasRegionOfInterestModifiedAt()
1050 if (State->isNull(V).isConstrainedTrue()) { in visitNodeInitial()
1152 if (!State->isNull(*ArgV).isConstrainedTrue()) in visitNodeMaybeUnsuppress()
1899 if (Succ->getState()->isNull(V).isConstrainedTrue()) in VisitNode()
1906 if (!Pred->getState()->isNull(V).isConstrainedTrue() && in VisitNode()
1907 Succ->getState()->isNull(V).isConstrainedTrue()) { in VisitNode()
2333 bool LVIsNull = LVState->isNull(LVal).isConstrainedTrue(); in handle()
2368 if (LVState->isNull(V).isConstrainedTrue()) in handle()
2472 EnableNullFPSuppression = State->isNull(*RetLoc).isConstrainedTrue(); in handle()
2696 if (state->isNull(V).isConstrainedTrue()) in getNilReceiver()
DExprEngineObjC.cpp125 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); in VisitObjCForCollectionStmt()
DExprEngine.cpp1404 if (State->isNull(ArgVal).isConstrainedTrue()) { in ProcessDeleteDtor()
/openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
DRetainCountDiagnostics.cpp298 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
300 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
DRetainCountChecker.cpp311 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()
1173 if (AllocFailed.isConstrainedTrue()) { in evalAssume()