Home
last modified time | relevance | path

Searched refs:assume (Results 1 – 25 of 425) sorted by relevance

12345678910>>...17

/freebsd-head/sys/contrib/device-tree/Bindings/regulator/
HDtps62360-regulator.txt15 If this property is missing, then assume that there is no GPIO
18 If this property is missing, then assume that there is no GPIO
21 If this property is missing, then assume the state as low (0).
23 If this property is missing, then assume the state as low (0).
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDTrustNonnullChecker.cpp89 State = State->assume(*L, /*assumption=*/true); in checkPostCall()
108 State = State->assume(*L, /*assumption=*/true); in checkPostObjCMessage()
230 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
HDUnixAPIChecker.cpp121 const auto [PtrNotNull, PtrNull] = State->assume(*Ptr); in EnsurePtrNotNull()
290 std::tie(trueState, falseState) = state->assume(maskedFlags); in CheckOpenVariant()
343 const auto [LinePtrNotNull, LinePtrNull] = State->assume(*LinePtrSVal); in EnsureGetdelimBufferAndSizeCorrect()
362 if (auto LineBufSizeOk = LinePtrNotNull->assume(*LineBufSizeGtN, true)) in EnsureGetdelimBufferAndSizeCorrect()
454 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
HDPointerSubChecker.cpp84 std::tie(S1, S2) = C.getState()->assume(*IndexTooLarge); in checkArrayBounds()
96 std::tie(S1, S2) = State->assume(*IndexTooSmall); in checkArrayBounds()
HDSTLAlgorithmModeling.cpp157 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
179 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
HDIterator.cpp279 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
289 NewState = NewState->assume(*DV, true); in assumeNoOverflow()
312 return !State->assume(comparison.castAs<DefinedSVal>(), false); in compare()
HDCastValueChecker.cpp202 ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam); in addCastTransition()
359 if (ProgramStateRef State = C.getState()->assume(DV, false)) in evalNullParamNullReturn()
434 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsa()
450 std::tie(NonNullState, NullState) = C.getState()->assume(DV); in evalIsaAndNonNull()
HDCStringChecker.cpp371 return State->assume(svalBuilder.evalEQ(State, *val, zero)); in REGISTER_MAP_WITH_PROGRAMSTATE()
702 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); in CheckOverlap()
723 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); in CheckOverlap()
768 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest); in CheckOverlap()
940 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); in checkAdditionOverflow()
1028 state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true); in getCStringLengthForRegion()
1377 State->assume(svalBuilder.evalEQ(State, SizeDV, *SizeNL)); in memsetAux()
1420 State->assume(NewStrLenGESize.castAs<DefinedOrUnknownSVal>(), true), in memsetAux()
1639 State->assume(Builder.evalEQ(State, LV, RV)); in evalMemcmp()
1746 std::tie(stateStringTooLong, stateStringNotTooLong) = state->assume( in evalstrLengthCommon()
[all …]
HDTrustReturnsNonnullChecker.cpp35 State = State->assume(*L, /*assumption=*/true); in checkPostCall()
HDBasicObjCFoundationChecks.cpp139 auto [NonNull, Null] = C.getState()->assume(*Location); in warnIfNilExpr()
571 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal); in checkPreCall()
873 std::tie(StNonNil, StNil) = State->assume(*KnownCollection); in checkCollectionNonNil()
914 return State->assume(cast<DefinedOrUnknownSVal>(Val), true); in checkElementNonNil()
947 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
1180 return State->assume(*DV, true); in assumeExprIsNonNull()
HDObjCAtSyncChecker.cpp61 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
/freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDSimpleConstraintManager.cpp42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
45 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume() function in clang::ento::SimpleConstraintManager
/freebsd-head/usr.bin/diff/tests/
HDfunctionname_objcclassm.out8 + /* With a solid guide book (such as Phillips 2006) assume we can't eat
HDfunctionname_objcclassm.in28 /* With a solid guide book (such as Phillips 2006) assume we can't eat
/freebsd-head/sys/contrib/device-tree/Bindings/net/
HDhisilicon-hns-nic.txt27 LAN Switch while the CPU side assume itself have one single NIC connect to
54 ports connected to a LAN Switch while the CPU side assume itself have one
/freebsd-head/contrib/file/magic/Magdir/
HDpsdbms10 # assume version starts with digit
HDasterix5 # strings as "long" - we assume they're just strings:
/freebsd-head/usr.bin/indent/tests/
HDelsecomment.0.stdout40 /* We also mustn't assume that there's only one comment */
HDelsecomment.035 /* We also mustn't assume that there's only one comment */
/freebsd-head/contrib/libpcap/cmake/Modules/
HDFindDAG.cmake11 # We assume that if we have libdag we have libdagconf, as they're
/freebsd-head/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
HDChromiumCheckModel.cpp62 Env.assume(Env.arena().makeLiteral(false)); in transfer()
/freebsd-head/bin/sh/tests/expansion/
HDarith14.010 # Integers are wider than 128 bits; assume arbitrary precision.
/freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDSimpleConstraintManager.h83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
HDProgramState.h220 [[nodiscard]] ProgramStateRef assume(DefinedOrUnknownSVal cond,
229 assume(DefinedOrUnknownSVal cond) const;
708 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function
714 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
718 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
/freebsd-head/crypto/heimdal/include/
HDkrb5-types.cross2 * generic krb5-types.h for cross compiling, assume system is posix/sus

12345678910>>...17