Home
last modified time | relevance | path

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

12345678910>>...29

/freebsd/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
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
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()
/freebsd/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)
/freebsd/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 …]
/freebsd/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.
/freebsd/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 …]
/freebsd/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()
/freebsd/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 …]
/freebsd/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
/freebsd/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, in DwarfStringPoolEntryRef()
/freebsd/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. */
/freebsd/usr.sbin/autofs/autofs/
H A Dinclude_nis_nullfs133 # Assumption: location contains colon (":")
163 # Assumption: location has no more than one colon (":")
/freebsd/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
/freebsd/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()
/freebsd/sys/dev/sound/pci/
H A Dallegro_reg.h407 #error Assumption about code memory unit length failed.
410 #error Assumption about code memory unit length failed.
425 #error Assumption about data memory unit length failed.
428 #error Assumption about data memory unit length failed.
/freebsd/contrib/llvm-project/compiler-rt/lib/ctx_profile/
H A DCtxInstrProfiling.cpp30 // utility to taint a pointer by setting the LSB. There is an assumption
32 // align(8), but "even"-ness is the minimum assumption)
212 // assumption that is so unfrequent, though, that it's not worth doing more in __llvm_ctx_profile_get_context()
/freebsd/contrib/wpa/src/crypto/
H A Daes-ccm.c147 /* AES-CCM with fixed L=2 and aad_len <= 30 assumption */
177 /* AES-CCM with fixed L=2 and aad_len <= 30 assumption */
/freebsd/contrib/llvm-project/clang/lib/ARCMigrate/
H A DTransEmptyStatementsAndDealloc.cpp61 // We make the reasonable assumption that a semicolon after 100 characters in isEmptyARCMTMacroStatement()
62 // means that it is not the next token after our macro. If this assumption in isEmptyARCMTMacroStatement()
/freebsd/stand/userboot/userboot/
H A Dmain.c121 * Here we make the assumption that a loader binary without the in check_interpreter()
123 * should have this properly specified, so our assumption should always in check_interpreter()

12345678910>>...29