Home
last modified time | relevance | path

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

12345678910>>...17

/freebsd/sys/contrib/device-tree/Bindings/regulator/
H A Dtps62360-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/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.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()
H A DUnixAPIChecker.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()
H A DPointerSubChecker.cpp84 std::tie(S1, S2) = C.getState()->assume(*IndexTooLarge); in checkArrayBounds()
96 std::tie(S1, S2) = State->assume(*IndexTooSmall); in checkArrayBounds()
H A DSTLAlgorithmModeling.cpp157 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
179 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
H A DCastValueChecker.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()
H A DCStringChecker.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 …]
H A DTrustReturnsNonnullChecker.cpp35 State = State->assume(*L, /*assumption=*/true); in checkPostCall()
H A DBasicObjCFoundationChecks.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()
H A DReturnValueChecker.cpp84 if (ProgramStateRef StTrue = State->assume(*ReturnV, true)) { in checkPostCall()
/freebsd/sys/contrib/device-tree/Bindings/net/
H A Dhisilicon-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/usr.bin/diff/tests/
H A Dfunctionname_objcclassm.out8 + /* With a solid guide book (such as Phillips 2006) assume we can't eat
H A Dfunctionname_objcclassm.in28 /* With a solid guide book (such as Phillips 2006) assume we can't eat
/freebsd/contrib/file/magic/Magdir/
H A Dpsdbms10 # assume version starts with digit
H A Dasterix5 # strings as "long" - we assume they're just strings:
/freebsd/usr.bin/indent/tests/
H A Delsecomment.035 /* We also mustn't assume that there's only one comment */
H A Delsecomment.0.stdout40 /* We also mustn't assume that there's only one comment */
/freebsd/contrib/libpcap/cmake/Modules/
H A DFindDAG.cmake11 # We assume that if we have libdag we have libdagconf, as they're
/freebsd/bin/sh/tests/expansion/
H A Darith14.010 # Integers are wider than 128 bits; assume arbitrary precision.
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
H A DProgramState.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/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumptionCache.cpp211 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) && in registerAssumption()
291 if (match(&II, m_Intrinsic<Intrinsic::assume>()) && in verifyAnalysis()
/freebsd/crypto/heimdal/include/
H A Dkrb5-types.cross2 * generic krb5-types.h for cross compiling, assume system is posix/sus
/freebsd/tools/tools/sysbuild/
H A DREADME12 sysbuild.sh assume you have two partitions that can hold your rootfs
92 -w # skip buildworld, assume it was done earlier.
/freebsd/contrib/tcpdump/cmake/Modules/
H A DFindCRYPTO.cmake25 # to PKG_CONFIG_PATH. (No, we can't just assume it's under
136 # directory. (No, we can't just assume it's

12345678910>>...17