Searched refs:assume (Results 1 - 25 of 128) sorted by relevance

123456

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h85 virtual ProgramStateRef assume(ProgramStateRef state,
94 ProgramStateRef StTrue = assume(State, Cond, true);
104 assert(assume(State, Cond, false) && "System is over constrained.");
109 ProgramStateRef StFalse = assume(State, Cond, false);
H A DSimpleConstraintManager.h39 ProgramStateRef assume(ProgramStateRef State, DefinedSVal Cond,
52 /// Given a symbolic expression that can be reasoned about, assume that it is
57 /// Given a symbolic expression within the range [From, To], assume that it is
67 /// Given a symbolic expression that cannot be reasoned about, assume that
82 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
H A DProgramState.h162 // Various "assume" methods form the interface for adding constraints to
163 // symbolic values. A call to 'assume' indicates an assumption being placed
164 // on one or symbolic values. 'assume' methods take the following inputs:
168 // (2) The assumed constraint (which is specific to a given "assume" method).
173 // The output of "assume*" is a new ProgramState object with the added constraints.
182 LLVM_NODISCARD ProgramStateRef assume(DefinedOrUnknownSVal cond,
188 /// This is more efficient than calling assume() twice. Note that one (but not
191 assume(DefinedOrUnknownSVal cond) const;
211 /// This is more efficient than calling assume() twice. Note that one (but not
659 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVa function in class:clang::ento::ProgramState
669 ProgramState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::ProgramState
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp25 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, function in class:clang::ento::SimpleConstraintManager
41 return assume(State, Cond.castAs<NonLoc>(), Assumption);
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, function in class:clang::ento::SimpleConstraintManager
89 return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
H A DCheckerContext.cpp119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());
H A DExprEngineObjC.cpp195 std::tie(notNilState, nilState) = State->assume(receiverVal);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp52 state = state->assume(Arg.castAs<DefinedOrUnknownSVal>(), true);
96 state = state->assume(extentMatchesSizeArg, true);
121 // it is safe to assume that it's not constant and unsafe to assume
H A DObjCAtSyncChecker.cpp62 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
82 // under-constrained to be null or non-null, assume it is non-null
H A DVLASizeChecker.cpp121 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
128 // From this point on, assume that the size is not zero.
168 // Finally, assume that the array's extent matches the given size.
175 state = state->assume(sizeIsKnown, true);
H A DEnumCastOutOfRangeChecker.cpp49 return static_cast<bool>(PS->assume(ElemEqualsValueToCast, true));
H A DTrustNonnullChecker.cpp90 State = State->assume(*L, /*assumption=*/true);
109 State = State->assume(*L, /*assumption=*/true);
231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);
H A DReturnUndefChecker.cpp61 // is not available, but the return value expression has 'void' type, assume
106 std::tie(StNonNull, StNull) = C.getState()->assume(RetVal);
109 // Going forward, assume the location is non-null.
H A DNonnullGlobalConstantsChecker.cpp85 ProgramStateRef OutputState = State->assume(*Constr, true);
H A DCStringChecker.cpp274 return state->assume(svalBuilder.evalEQ(state, *val, zero));
302 // From here on, assume that the value is non-null.
481 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc));
489 // assume the two expressions are not equal.
502 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest);
547 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);
555 // assume the two expressions don't overlap.
695 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>());
703 // From now on, assume an overflow didn't occur.
782 state = state->assume(evalLengt
[all...]
H A DGTestChecker.cpp269 /// Constrain the passed-in state to assume two values are equal.
284 State = C.getConstraintManager().assume(
H A DDereferenceChecker.cpp220 std::tie(notNullState, nullState) = state->assume(location);
263 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
H A DArrayBoundCheckerV2.cpp82 // safe to assume, however, that memory offsets will not overflow.
164 state->assume(*lowerBoundToCheck);
172 // Otherwise, assume the constraint of the lower bound.
204 state->assume(*upperboundToCheck);
H A DBasicObjCFoundationChecks.cpp566 std::tie(stateNonNull, stateNull) = state->assume(*DefArgVal);
867 std::tie(StNonNil, StNil) = State->assume(*KnownCollection);
906 // Go ahead and assume the value is non-nil.
908 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);
941 return State->assume(*CountGreaterThanZero, Assumption);
1111 // The symbol escaped. Pessimistically, assume that the count could have
1181 return State->assume(*DV, true);
1222 // Go ahead and assume the value is non-nil.
1230 // Go ahead and assume the value is non-nil.
H A DPthreadLockChecker.cpp260 std::tie(lockFail, lockSucc) = state->assume(retVal);
263 std::tie(lockSucc, lockFail) = state->assume(retVal);
273 lockSucc = state->assume(retVal, false);
H A DUnixAPIChecker.cpp249 std::tie(trueState, falseState) = state->assume(maskedFlags);
328 state->assume(argVal.castAs<DefinedSVal>());
H A DVforkChecker.cpp175 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal);
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumptionCache.cpp1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
175 // Go through all instructions in all blocks, add all calls to @llvm.assume
179 if (match(&II, m_Intrinsic<Intrinsic::assume>()))
191 assert(match(CI, m_Intrinsic<Intrinsic::assume>()) &&
192 "Registered call does not call @llvm.assume");
203 "Cannot register @llvm.assume call not in a basic block");
205 "Cannot register @llvm.assume call not in this function");
217 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&
218 "Cached something other than a call to @llvm.assume!");
[all...]
/freebsd-11-stable/contrib/unbound/contrib/
H A Dunbound.spec96 - removed --disable-gost, assume recent openssl on the destination platform.
/freebsd-11-stable/share/mk/
H A Dbsd.opts.mk17 # Makefiles may also assume that this file is included by bsd.own.mk should it
/freebsd-11-stable/contrib/bmake/mk/
H A Ddpadd.mk139 # if SRC_libfoo is not set, then we assume that the srcdir corresponding
250 # We don't want to assume that we need to .PATH every element of

Completed in 125 milliseconds

123456