| /freebsd-9.3-release/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-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 89 bool assumption) {
90 state = assumeAux(state, cond, assumption);
92 return SU->processAssume(state, cond, assumption);
87 assume(ProgramStateRef state, NonLoc cond, bool assumption) argument
|
| H A D | ExprEngine.cpp | 153 // top-level function. This is our starting assumption for
249 SVal cond, bool assumption) {
250 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
248 processAssume(ProgramStateRef state, SVal cond, bool assumption) argument
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SubEngine.h | 106 SVal cond, bool assumption) = 0;
|
| H A D | ExprEngine.h | 268 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption);
|
| H A D | ProgramState.h | 159 // symbolic values. A call to 'assume' indicates an assumption being placed
173 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
174 /// or non-zero (if \p assumption is "true").
178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
190 bool assumption,
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitor.h | 142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
|
| /freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IdempotentOperationChecker.cpp | 79 // Our assumption about a particular operation.
101 BinaryOperatorData() : assumption(Possible) {}
103 Assumption assumption; member in struct:__anon3423::IdempotentOperationChecker::BinaryOperatorData
121 Assumption &A = Data.assumption;
356 const Assumption &A = Data.assumption;
413 llvm_unreachable("Operation was never marked with an assumption");
441 // Updates the current assumption given the new assumption
444 // If the assumption is the same, there is nothing to do
449 // If we don't currently have an assumption, se
[all...] |
| /freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | Checker.h | 427 bool assumption) {
428 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
424 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument
|
| H A D | CheckerManager.h | 473 const SVal &cond, bool assumption)>
|
| /freebsd-9.3-release/sys/conf/ |
| H A D | kern.mk | 143 # assumption that the program is linked against libc. Stop this.
|
| /freebsd-9.3-release/contrib/bmake/mk/ |
| H A D | dirdeps.mk | 469 # Warning: there is an assumption here that MACHINE is always
|
| /freebsd-9.3-release/sys/netinet6/ |
| H A D | icmp6.c | 2180 panic("assumption failed in icmp6_reflect");
2598 # error assumption failed about IPV6_MMTU and MCLBYTES
2753 panic("assumption failed in %s:%d", __FILE__,
|
| /freebsd-9.3-release/contrib/amd/doc/ |
| H A D | texinfo.tex | 4043 % an assumption that \chapmacro is called at the outermost level.
|
| /freebsd-9.3-release/contrib/gcc/doc/include/ |
| H A D | texinfo.tex | 4217 % an assumption that \chapmacro is called at the outermost level.
|
| /freebsd-9.3-release/contrib/groff/doc/ |
| H A D | texinfo.tex | 4115 % an assumption that \chapmacro is called at the outermost level.
|