| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 77 bool assumption) { in assume() argument
78 state = assumeAux(state, cond, assumption); in assume()
80 return SU->processAssume(state, cond, assumption); in assume()
120 bool assumption) { in assume() argument
121 state = assumeAux(state, cond, assumption); in assume()
123 return SU->processAssume(state, cond, assumption); in assume()
|
| /external/junit/src/org/junit/internal/ |
| D | AssumptionViolatedException.java | 21 public AssumptionViolatedException(String assumption) { in AssumptionViolatedException() argument
22 this(assumption, null); in AssumptionViolatedException()
|
| /external/elfutils/ |
| D | README | 6 assumption is in sight this is believed to be a worthwhile optimization.
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | IdempotentOperationChecker.cpp | 101 BinaryOperatorData() : assumption(Possible) {} in BinaryOperatorData()
103 Assumption assumption; member
121 Assumption &A = Data.assumption; in checkPreStmt()
356 const Assumption &A = Data.assumption; in checkEndAnalysis()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitor.h | 142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() argument
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false), in TrackConstraintBRVisitor()
|
| /external/chromium_org/v8/ |
| D | DEPS | 3 # all paths in here must match this assumption.
|
| /external/eigen/doc/ |
| D | D03_WrongStackAlignment.dox | 3 /** \page 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…
|
| D | D11_UnalignedArrayAssert.dox | 82 \section c4 Cause 4: Compiler making a wrong assumption on stack alignment (for instance GCC on Win…
94 … separate page: \ref TopicWrongStackAlignment "Compiler making a wrong assumption on stack alignme…
|
| /external/libvpx/libvpx/vp8/common/ppc/ |
| D | copy_altivec.asm | 19 ;# Make the assumption that input will not be aligned,
|
| /external/bison/m4/ |
| D | mode_t.m4 | 17 dnl and to itself otherwise. This assumption is not guaranteed by the ISO C
|
| /external/llvm/test/Transforms/LoopVectorize/ |
| D | infiniteloop.ll | 11 ; induction variable. This is not a valid assumption:
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 106 SVal cond, bool assumption) = 0;
|
| D | ProgramState.h | 178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
190 bool assumption,
|
| D | ExprEngine.h | 266 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption);
|
| /external/llvm/test/CodeGen/ARM/ |
| D | sjlj-prepare-critical-edge.ll | 2 ; Just make sure no one tries to make the assumption that the normal edge of an
|
| /external/llvm/test/Transforms/GVN/ |
| D | pre-single-pred.ll | 9 ; Now that that faulty assumption is corrected, test that we DON'T incorrectly
|
| /external/chromium/chrome/browser/ui/cocoa/extensions/ |
| D | extension_view_mac.mm | 70 // TODO(andybons): Verify this assumption and look into WebCore's
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| D | Checker.h | 396 bool assumption) { in _evalAssume() argument
397 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()
|
| /external/llvm/test/CodeGen/SystemZ/ |
| D | addr-02.ll | 2 ; The assumption here is that we should match complex addresses where
|
| /external/valgrind/main/docs/internals/ |
| D | why-no-libc.txt | 36 both designed with the assumption that they alone will be talking to
|
| /external/chromium_org/third_party/yasm/source/patched-yasm/libyasm/tests/ |
| D | opt-gvmat64.asm | 90 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/libexif/auto-m4/ |
| D | lib-prefix.m4 | 19 dnl to access previously installed libraries. The basic assumption is that
|
| /external/chromium_org/third_party/yasm/source/patched-yasm/m4/ |
| D | lib-prefix.m4 | 17 dnl to access previously installed libraries. The basic assumption is that
|
| /external/zlib/src/contrib/masmx86/ |
| D | match686.asm | 142 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/srtp/ |
| D | README | 145 tag can be written to the end of that packet. If this assumption
|