Home
last modified time | relevance | path

Searched full:assumption (Results 1 – 25 of 780) sorted by relevance

12345678910>>...32

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp28 bool Assumption) { in assumeInternal() argument
42 return assume(State, Cond.castAs<NonLoc>(), Assumption); in assumeInternal()
46 NonLoc Cond, bool Assumption) { in assume() argument
47 State = assumeAux(State, Cond, Assumption); in assume()
49 return EE->processAssume(State, Cond, Assumption); in assume()
55 bool Assumption) { in assumeAux() argument
63 return assumeSymUnsupported(State, Sym, Assumption); in assumeAux()
74 return assumeSym(State, Sym, Assumption); in assumeAux()
79 bool isFeasible = b ? Assumption : !Assumption; in assumeAux()
85 bool IsFeasible = IsNull ? Assumption : !Assumption; in assumeAux()
[all …]
H A DRangedConstraintManager.cpp25 bool Assumption) { in assumeSym() argument
30 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
38 if (!Assumption) in assumeSym()
46 return assumeSymRel(State, SIE, (Assumption ? BO_NE : BO_EQ), Zero); in assumeSym()
70 if (!Assumption) in assumeSym()
83 bool IsExpectedEqual = WasEqual == Assumption; in assumeSym()
98 return assumeSymUnsupported(State, Sym, Assumption); in assumeSym()
134 SymbolRef Sym, bool Assumption) { in assumeSymUnsupported() argument
146 if (Assumption) in assumeSymUnsupported()
H A DConstraintManager.cpp94 auto AssumeFun = [&, Cond](bool Assumption) { in assumeDual() argument
95 return assumeInternal(State, Cond, Assumption); in assumeDual()
104 auto AssumeFun = [&](bool Assumption) { in assumeInclusiveRangeDual() argument
105 return assumeInclusiveRangeInternal(State, Value, From, To, Assumption); in assumeInclusiveRangeDual()
111 DefinedSVal Cond, bool Assumption) { in assume() argument
113 return Assumption ? R.first : R.second; in assume()
/src/contrib/llvm-project/llvm/include/llvm/IR/
H A DAssumptions.h1 //===--- Assumptions.h - Assumption handling and organization ---*- C++ -*-===//
27 /// The key we use for assumption attributes.
30 /// A set of known assumption strings that are accepted without warning and
34 /// Helper that allows to insert a new assumption string in the known assumption
51 /// Return true if \p F has the assumption \p AssumptionStr attached.
55 /// Return true if \p CB or the callee has the assumption \p AssumptionStr
/src/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumptionCache.cpp41 VerifyAssumptionCache("verify-assumption-cache", cl::Hidden,
42 cl::desc("Enable verification of assumption cache"),
188 // If we haven't scanned the function yet, just drop this assumption. It will in registerAssumption()
210 "Cached assumption not inside this function!"); in registerAssumption()
277 // flag. We should either fix all passes to correctly update the assumption in verifyAnalysis()
279 // assumption list to be updated automatically by passes. in verifyAnalysis()
293 report_fatal_error("Assumption in scanned function not in cache"); in verifyAnalysis()
305 INITIALIZE_PASS(AssumptionCacheTracker, "assumption-cache-tracker",
306 "Assumption Cache Tracker", false, true)
/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h45 bool Assumption) = 0;
61 bool Assumption) = 0;
70 bool Assumption) override;
83 ProgramStateRef assume(ProgramStateRef State, NonLoc Cond, bool Assumption);
86 bool Assumption);
H A DSMTConstraintManager.h48 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
58 // assumption in REGISTER_TRAIT_WITH_PROGRAMSTATE()
62 SMTConv::getZeroExpr(Solver, Ctx, Exp, RetTy, !Assumption)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
64 return assumeExpr(State, Sym, Assumption ? Exp : Solver->mkNot(Exp)); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
77 bool Assumption) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
93 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/true); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
97 SMTConv::getZeroExpr(Solver, Ctx, VarExp, RetTy, /*Assumption=*/false); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DProgramState.h201 // symbolic values. A call to 'assume' indicates an assumption being placed
208 // (3) A binary value "Assumption" that indicates whether the constraint is
215 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
216 /// or non-zero (if \p assumption is "true").
221 bool assumption) const;
237 bool assumption, QualType IndexType = QualType()) const;
240 /// (if \p assumption is "true") or it is fully out of this range
241 /// (if \p assumption is "false").
248 bool assumption) const;
709 bool Assumption) const { in assume() argument
[all …]
H A DConstraintManager.h78 bool Assumption);
142 /// not null, or if neither assumption can be made.
163 DefinedSVal Cond, bool Assumption) = 0;
/src/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DAssumptionCache.h84 /// A map of values about which an assumption might be providing
129 /// Update the cache of values being affected by this assumption (i.e.
130 /// the values about which this assumption provides information).
142 /// Access the list of assumption handles currently tracked for this
172 /// assumption caches for a given function.
200 /// which associates each assumption cache with Function and clears it if the
H A DAliasAnalysis.h247 /// Cache entry is neither an assumption nor does it use a (non-definitive)
248 /// assumption.
250 /// Cache entry is not an assumption itself, but may be using an assumption
255 /// Number of times a NoAlias assumption has been used, 0 for assumptions
260 /// Whether this is a definitive (non-assumption) result.
262 /// Whether this is an assumption that has not been proven yet.
278 /// How many active NoAlias assumption uses there are.
281 /// Location pairs for which an assumption based result is currently stored.
283 /// assumption is disproven.
H A DMustExecute.h83 /// Return true if we must reach the block \p BB under assumption that the
96 /// least once (under the assumption that the loop is entered).
152 /// we enter \p BB under assumption that \p CurLoop is entered.
157 /// we execute \p I under assumption that \p CurLoop is entered.
/src/contrib/llvm-project/clang/lib/Sema/
H A DSemaStmtAttr.cpp709 auto *Assumption = A.getArgAsExpr(0); in ActOnCXXAssumeAttr() local
711 if (DiagnoseUnexpandedParameterPack(Assumption)) { in ActOnCXXAssumeAttr()
715 if (Assumption->getDependence() == ExprDependence::None) { in ActOnCXXAssumeAttr()
716 ExprResult Res = BuildCXXAssumeExpr(Assumption, A.getAttrName(), Range); in ActOnCXXAssumeAttr()
719 Assumption = Res.get(); in ActOnCXXAssumeAttr()
726 return Assumption; in ActOnCXXAssumeAttr()
729 ExprResult Sema::BuildCXXAssumeExpr(Expr *Assumption, in BuildCXXAssumeExpr() argument
732 ExprResult Res = CorrectDelayedTyposInExpr(Assumption); in BuildCXXAssumeExpr()
744 Assumption = Res.get(); in BuildCXXAssumeExpr()
745 if (Assumption->HasSideEffects(Context)) in BuildCXXAssumeExpr()
[all …]
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp35 /// These implications are then read during the evaluation of the assumption,
67 bool Assumption) const { in evalAssume()
89 State = State->assume(*L, /*assumption=*/true); in checkPostCall()
108 State = State->assume(*L, /*assumption=*/true); in checkPostObjCMessage()
H A DNonnullGlobalConstantsChecker.cpp9 // This checker adds an assumption that constant globals of certain types* are
11 // The assumption is useful, as many framework use e. g. global const strings,
69 /// Add an assumption that const string-like globals are non-null.
H A DBasicObjCFoundationChecks.cpp918 /// (or is known not to contain elements if the Assumption parameter is false.)
921 SymbolRef CollectionS, bool Assumption) { in assumeCollectionNonEmpty() argument
929 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption); in assumeCollectionNonEmpty()
930 return (Assumption == *KnownNonEmpty) ? State : nullptr; in assumeCollectionNonEmpty()
947 return State->assume(*CountGreaterThanZero, Assumption); in assumeCollectionNonEmpty()
953 bool Assumption) { in assumeCollectionNonEmpty() argument
958 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption); in assumeCollectionNonEmpty()
988 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false); in checkPostStmt()
994 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true); in checkPostStmt()
/src/contrib/llvm-project/llvm/tools/llvm-diff/lib/
H A DDifferenceEngine.cpp139 // assumption in a BlockDiffCandidate for the pair of compared BBs.
143 // between the old and new values, and report a diff if an assumption cannot
146 // Note that after having made an assumption, all further determined
147 // equivalences implicitly depend on that assumption. These will not be
148 // reverted or reported if the assumption proves to be false, because these
155 // nodes is depending on the assumption of their equivalence.
366 // assumption to be checked later in BlockDiffCandidates.
371 // nullptr AssumptionContext disables assumption generation. in diff()
701 // * If AC is set, we add an assumption for the basic blocks given by AC,
702 // and treat the pair as equivalent. The assumption is checked later.
[all …]
/src/contrib/llvm-project/compiler-rt/lib/builtins/
H A Dint_lib.h17 // Assumption: Signed integral is 2's complement.
18 // Assumption: Right shift of signed negative is arithmetic shift.
19 // Assumption: Endianness is little or big (not mixed).
/src/contrib/llvm-project/llvm/lib/Target/SystemZ/
H A DSystemZLongBranch.cpp22 // branches that, even under this pessimistic assumption, turn out to be
41 // according to this assumption.
281 // Fill MBBs and Terminators, setting the addresses on the assumption
283 // this assumption.
354 // Set the address of each block on the assumption that all branches
/src/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DDwarfStringPoolEntry.h62 /// ASSUMPTION: DwarfStringPoolEntryRef keeps pointer to \p Entry,
67 /// ASSUMPTION: DwarfStringPoolEntryRef keeps pointer to \p Entry,
/src/contrib/arm-optimized-routines/math/
H A Dtgamma128.c71 /* Return tgamma(x) on the assumption that x >= 8. */
116 /* Return tgamma(x) on the assumption that 0 <= x < 1/32. */
131 /* Return tgamma(x) on the assumption that 0 <= x < 2^-113. */
145 /* Return tgamma(x) on the assumption that 1 <= x <= 2. */
/src/usr.sbin/autofs/autofs/
H A Dinclude_nis_nullfs133 # Assumption: location contains colon (":")
163 # Assumption: location has no more than one colon (":")
/src/contrib/libpcap/
H A Dpcap-filter.manmisc.in718 the assumption that the packet is a VLAN packet. The `\fBvlan
743 the assumption that the packet is a MPLS-encapsulated IP packet. The
773 the assumption that the packet is a PPPoE session packet.
787 the expression on the assumption that the packet is a Geneve packet.
825 on the assumption that the packet is either a LANE emulated Ethernet
827 tests are done under the assumption that the packet is an
/src/crypto/openssh/
H A Dsshbuf-getput-crypto.c69 return SSH_ERR_INVALID_FORMAT; /* XXX assumption */ in get_ec()
116 return SSH_ERR_ALLOC_FAIL; /* XXX assumption */ in sshbuf_get_eckey()
/src/contrib/pam-krb5/tests/data/scripts/cache/
H A Dend-data-silent4 # be deleted (under the assumption that pam_end is being called in a forked

12345678910>>...32