Home
last modified time | relevance | path

Searched refs:assumption (Results 1 – 25 of 112) sorted by relevance

12345

/external/junit/src/org/junit/internal/
DAssumptionViolatedException.java21 public AssumptionViolatedException(String assumption) { in AssumptionViolatedException() argument
22 this(assumption, null); in AssumptionViolatedException()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp89 bool assumption) { in assume() argument
90 state = assumeAux(state, cond, assumption); in assume()
92 return SU->processAssume(state, cond, assumption); in assume()
/external/webrtc/tools/gritsettings/
DREADME1 This is a dummy configuration file to workaround the assumption of the grit
/external/llvm/test/Transforms/Inline/
Dinline-indirect.ll2 ; This test used to trigger an assertion in the assumption cache when
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitor.h141 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() argument
142 : Constraint(constraint), Assumption(assumption), IsSatisfied(false), in TrackConstraintBRVisitor()
/external/eigen/doc/
DWrongStackAlignment.dox3 /** \eigenManualPage TopicWrongStackAlignment Compiler making a wrong assumption on stack alignment
22 The problem is that, in some particular cases, this assumption can be wrong on Windows, where the s…
DUnalignedArrayAssert.dox75 \section c4 Cause 4: Compiler making a wrong assumption on stack alignment (for instance GCC on Win…
87 … separate page: \ref TopicWrongStackAlignment "Compiler making a wrong assumption on stack alignme…
/external/bison/m4/
Dmode_t.m417 dnl and to itself otherwise. This assumption is not guaranteed by the ISO C
/external/elfutils/
DREADME6 assumption is in sight this is believed to be a worthwhile optimization.
/external/llvm/test/Transforms/LoopVectorize/
Dinfiniteloop.ll11 ; induction variable. This is not a valid assumption:
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h116 SVal cond, bool assumption) = 0;
DProgramState.h179 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
191 bool assumption,
203 bool assumption) const;
/external/llvm/test/Feature/OperandBundles/
Ddse.ll62 ; function can be optimized under the assumption that %m does not escape.
/external/llvm/test/Transforms/GVN/
Dpre-single-pred.ll9 ; Now that that faulty assumption is corrected, test that we DON'T incorrectly
/external/chromium-trace/catapult/docs/
Ddev-server-tests.md32 Generally, there is one test suite per file (there is an assumption inside the
/external/llvm/test/CodeGen/X86/
Dinsertps-O0-bug.ll28 ; it assumes ISel to always be able to match an INSERTPSrm. This assumption is
/external/clang/include/clang/StaticAnalyzer/Core/
DChecker.h438 bool assumption) { in _evalAssume() argument
439 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()
/external/v8/
DDEPS3 # all paths in here must match this assumption.
/external/clang/docs/
DDataFlowSanitizerDesign.rst79 :sub:`2` n) during execution. The underlying assumption is that
81 assumption to make given that we are optimizing for the case where
/external/llvm/test/CodeGen/SystemZ/
Daddr-02.ll2 ; The assumption here is that we should match complex addresses where
/external/valgrind/docs/internals/
Dwhy-no-libc.txt36 both designed with the assumption that they alone will be talking to
/external/libexif/auto-m4/
Dlib-prefix.m419 dnl to access previously installed libraries. The basic assumption is that
/external/opencv3/doc/py_tutorials/py_imgproc/py_canny/
Dpy_canny.markdown68 This stage also removes small pixels noises on the assumption that edges are long lines.
/external/lz4/
Dlz4_block_format.txt109 There is no assumption nor limits to the way the compressor
/external/libunwind/doc/
DNOTES105 Note 2: The assumption is that a cross-unwinder can handle all

12345