/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ConstraintManager.h | 85 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 D | SimpleConstraintManager.h | 39 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 D | ProgramState.h | 162 // 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 D | SimpleConstraintManager.cpp | 25 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 D | CheckerContext.cpp | 119 std::tie(StTrue, StFalse) = State->assume(Eval.castAs<DefinedSVal>());
|
H A D | ExprEngineObjC.cpp | 195 std::tie(notNilState, nilState) = State->assume(receiverVal);
|
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 52 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 D | ObjCAtSyncChecker.cpp | 62 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 D | VLASizeChecker.cpp | 121 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 D | EnumCastOutOfRangeChecker.cpp | 49 return static_cast<bool>(PS->assume(ElemEqualsValueToCast, true));
|
H A D | TrustNonnullChecker.cpp | 90 State = State->assume(*L, /*assumption=*/true); 109 State = State->assume(*L, /*assumption=*/true); 231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated);
|
H A D | ReturnUndefChecker.cpp | 61 // 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 D | NonnullGlobalConstantsChecker.cpp | 85 ProgramStateRef OutputState = State->assume(*Constr, true);
|
H A D | CStringChecker.cpp | 274 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 D | GTestChecker.cpp | 269 /// Constrain the passed-in state to assume two values are equal. 284 State = C.getConstraintManager().assume(
|
H A D | DereferenceChecker.cpp | 220 std::tie(notNullState, nullState) = state->assume(location); 263 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
|
H A D | ArrayBoundCheckerV2.cpp | 82 // 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 D | BasicObjCFoundationChecks.cpp | 566 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 D | PthreadLockChecker.cpp | 260 std::tie(lockFail, lockSucc) = state->assume(retVal); 263 std::tie(lockSucc, lockFail) = state->assume(retVal); 273 lockSucc = state->assume(retVal, false);
|
H A D | UnixAPIChecker.cpp | 249 std::tie(trueState, falseState) = state->assume(maskedFlags); 328 state->assume(argVal.castAs<DefinedSVal>());
|
H A D | VforkChecker.cpp | 175 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal);
|
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Analysis/ |
H A D | AssumptionCache.cpp | 1 //===- 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 D | unbound.spec | 96 - removed --disable-gost, assume recent openssl on the destination platform.
|
/freebsd-11-stable/share/mk/ |
H A D | bsd.opts.mk | 17 # Makefiles may also assume that this file is included by bsd.own.mk should it
|
/freebsd-11-stable/contrib/bmake/mk/ |
H A D | dpadd.mk | 139 # 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
|