| /freebsd-12-stable/contrib/gcc/ |
| H A D | tree-ssa-loop-niter.c | 141 tree s, c, d, bits, assumption, tmp, bound; local
188 assumption = fold_build2 (FLOOR_MOD_EXPR, niter_type, c, d);
189 assumption = fold_build2 (EQ_EXPR, boolean_type_node,
190 assumption, build_int_cst (niter_type, 0));
191 if (!nonzero_p (assumption))
193 niter->assumptions, assumption);
218 tree assumption = boolean_true_node, bound, noloop; local
235 assumption = fold_build2 (LE_EXPR, boolean_type_node,
237 if (zero_p (assumption))
254 assumption
286 tree bound, d, assumption, diff; local
354 tree assumption = boolean_true_node, bound, diff; local
503 tree assumption; local
[all...] |
| H A D | loop-iv.c | 1994 rtx assumption, may_not_xform; local
2141 assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
2143 if (assumption == const_true_rtx)
2151 assumption = simplify_gen_relational (EQ, SImode, mode, tmp,
2153 if (assumption == const_true_rtx)
2159 if (assumption != const0_rtx)
2161 alloc_EXPR_LIST (0, assumption, desc->noloop_assumptions);
2260 completely senseless. This is OK, as we would need this assumption
2301 assumption = simplify_gen_relational (reverse_condition (cond),
2303 if (assumption
[all...] |
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 132 SVal cond, bool assumption) = 0;
|
| H A D | ProgramState.h | 163 // symbolic values. A call to 'assume' indicates an assumption being placed
177 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
178 /// or non-zero (if \p assumption is "true").
183 bool assumption) const;
195 bool assumption, QualType IndexType = QualType()) const;
198 /// (if \p assumption is "true") or it is fully out of this range
199 /// (if \p assumption is "false").
206 bool assumption) const;
|
| H A D | ExprEngine.h | 367 bool assumption) override;
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitors.h | 175 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
176 : Constraint(constraint), Assumption(assumption),
|
| /freebsd-12-stable/sys/conf/ |
| H A D | dtb.build.mk | 71 # allows out-of-tree DTS builds, too. We make the assumption that
|
| H A D | kern.mk | 228 # assumption that the program is linked against libc. Stop this.
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 463 bool assumption) {
464 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
460 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument
|
| H A D | CheckerManager.h | 498 bool assumption)>;
|
| /freebsd-12-stable/contrib/ncurses/ |
| H A D | dist.mk | 57 # Not all man programs agree with this assumption; some use half-spacing, which
|
| /freebsd-12-stable/sys/contrib/alpine-hal/ |
| H A D | al_hal_serdes_hssp.c | 222 #error "Wrong assumption!"
225 #error "Wrong assumption!"
228 #error "Wrong assumption!"
231 #error "Wrong assumption!"
234 #error "Wrong assumption!"
237 #error "Wrong assumption!"
240 #error "Wrong assumption!"
243 #error "Wrong assumption!"
246 #error "Wrong assumption!"
249 #error "Wrong assumption!"
[all...] |
| H A D | al_hal_pcie.c | 2845 #error Wrong assumption!
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 292 // top-level function. This is our starting assumption for
538 SVal cond, bool assumption) {
539 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
537 processAssume(ProgramStateRef state, SVal cond, bool assumption) argument
|
| /freebsd-12-stable/contrib/bmake/mk/ |
| H A D | dirdeps.mk | 737 # Warning: there is an assumption here that MACHINE is always
|
| /freebsd-12-stable/share/mk/ |
| H A D | dirdeps.mk | 730 # Warning: there is an assumption here that MACHINE is always
|
| /freebsd-12-stable/sys/netinet6/ |
| H A D | icmp6.c | 2068 panic("assumption failed in icmp6_reflect");
2471 # error assumption failed about IPV6_MMTU and MCLBYTES
2622 panic("assumption failed in %s:%d", __FILE__,
|
| /freebsd-12-stable/contrib/gcc/doc/include/ |
| H A D | texinfo.tex | 4217 % an assumption that \chapmacro is called at the outermost level.
|
| /freebsd-12-stable/contrib/amd/doc/ |
| H A D | texinfo.tex | 5504 % an assumption that \chapmacro is called at the outermost level.
|