| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 69 bool assumption) { in assume() argument
70 state = assumeAux(state, cond, assumption); in assume()
71 return SU.processAssume(state, cond, assumption); in assume()
118 bool assumption) { in assume() argument
119 state = assumeAux(state, cond, assumption); in assume()
120 return SU.processAssume(state, cond, assumption); in assume()
|
| D | BugReporterVisitors.cpp | 235 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor() argument
236 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {} in TrackConstraintBRVisitor()
|
| /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 | 99 BinaryOperatorData() : assumption(Possible), analysisContext(0) {} in BinaryOperatorData()
101 Assumption assumption; member
119 Assumption &A = Data.assumption; in checkPreStmt()
353 const Assumption &A = Data.assumption; in checkEndAnalysis()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 91 SVal cond, bool assumption) = 0;
|
| D | GRState.h | 171 const GRState *assume(DefinedOrUnknownSVal cond, bool assumption) const;
181 bool assumption) const;
|
| D | ExprEngine.h | 184 const GRState *processAssume(const GRState *state, SVal cond,bool assumption);
|
| /external/libvpx/vp8/common/ppc/ |
| D | copy_altivec.asm | 19 ;# Make the assumption that input will not be aligned,
|
| /external/webkit/Tools/android/flex-2.5.4a/MISC/ |
| D | NeXT | 12 In parse.y, line_pinpoint() (assumption all messages ultimately go there), add:
|
| /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/clang/include/clang/StaticAnalyzer/Core/ |
| D | Checker.h | 304 const SVal &cond, bool assumption) { in _evalAssume() argument
305 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption); in _evalAssume()
|
| D | CheckerManager.h | 314 const SVal &cond, bool assumption)>
|
| /external/webkit/Source/WebKit/mac/Carbon/ |
| D | CarbonWindowFrame.m | 81 …aningful for NSCarbonWindows in the past, but this might not be a good assumption anymore. M.P. W…
88 …aningful for NSCarbonWindows in the past, but this might not be a good assumption anymore. KW - c…
|
| /external/chromium/chrome/browser/ui/cocoa/extensions/ |
| D | extension_view_mac.mm | 70 // TODO(andybons): Verify this assumption and look into WebCore's
|
| /external/webkit/Source/cmake/ |
| D | LibFindMacros.cmake | 41 # Start with the assumption that the library was found
|
| /external/valgrind/main/docs/internals/ |
| D | why-no-libc.txt | 36 both designed with the assumption that they alone will be talking to
|
| /external/elfutils/m4/ |
| D | lib-prefix.m4 | 12 dnl to access previously installed libraries. The basic assumption is that
|
| /external/webkit/Source/WebKit/mac/DefaultDelegates/ |
| D | WebDefaultUIDelegate.m | 50 // is probably an invalid assumption for the WebUIDelegate.
|
| /external/bison/m4/ |
| D | lib-prefix_gl.m4 | 17 dnl to access previously installed libraries. The basic assumption is that
|
| /external/srtp/ |
| D | README | 145 tag can be written to the end of that packet. If this assumption
|
| /external/zlib/contrib/masmx86/ |
| D | match686.asm | 142 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/zlib/contrib/masmx64/ |
| D | gvmat64.asm | 127 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/dbus/doc/ |
| D | TODO | 17 should handle only specific numbers it knows about. There's no assumption that all
|
| /external/bison/djgpp/ |
| D | config.sed | 128 # This will only work if the assumption that the
|
| /external/llvm/docs/HistoricalNotes/ |
| D | 2003-06-25-Reoptimizer1.txt | 58 verify our assumption that we picked a hot back-edge in first-level
|