HomeSort by relevance Sort by last modified time
    Searched full:assumption (Results 1 - 25 of 643) sorted by null

1 2 3 4 5 6 7 8 91011>>

  /external/elfutils/
README 6 assumption is in sight this is believed to be a worthwhile optimization.
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 61 bool Assumption) {
63 return assume(state, cast<NonLoc>(Cond), Assumption);
65 return assume(state, cast<Loc>(Cond), Assumption);
69 bool assumption) {
70 state = assumeAux(state, cond, assumption);
71 return SU.processAssume(state, cond, assumption);
75 Loc Cond, bool Assumption) {
94 if (Assumption)
106 return Assumption ? state : NULL;
110 bool isFeasible = b ? Assumption : !Assumption
    [all...]
SimpleConstraintManager.h 37 bool Assumption);
39 const ProgramState *assume(const ProgramState *state, Loc Cond, bool Assumption);
41 const ProgramState *assume(const ProgramState *state, NonLoc Cond, bool Assumption);
84 const ProgramState *assumeAux(const ProgramState *state, Loc Cond,bool Assumption);
86 const ProgramState *assumeAux(const ProgramState *state, NonLoc Cond, bool Assumption);
  /prebuilt/linux-x86/toolchain/i686-linux-glibc2.7-4.4.3/sysroot/usr/include/bits/
xopen_lim.h 101 /* Safe assumption. */
112 /* Safe assumption. */
125 /* Safe assumption. */
132 /* Safe assumption. */
netdb.h 25 poor assumption is made. The network number is expected to fit
  /external/chromium/build/linux/
pkg-config-wrapper 8 # The assumption is that the sysroot contains the .pc files in usr/lib/pkgconfig
11 # This assumption is valid for a range of sysroots, in particular: a
  /external/clang/lib/StaticAnalyzer/Checkers/
IdempotentOperationChecker.cpp 77 // Our assumption about a particular operation.
78 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
81 static void UpdateAssumption(Assumption &A, const Assumption &New);
99 BinaryOperatorData() : assumption(Possible) {}
101 Assumption assumption; member in struct:__anon4526::IdempotentOperationChecker::BinaryOperatorData
118 Assumption &A = Data.assumption;
351 const Assumption &A = Data.assumption
    [all...]
  /external/webkit/Source/WebCore/platform/audio/
ReverbInputBuffer.h 42 // The assumption is that the buffer's length is evenly divisible by numberOfFrames (for nearly all cases this will be fine).
51 // The assumption is that the buffer's length is evenly divisible by numberOfFrames.
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h 99 const bool Assumption;
103 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
104 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
  /external/libvpx/vp8/common/ppc/
copy_altivec.asm 19 ;# Make the assumption that input will not be aligned,
  /libcore/dalvik/src/main/java/dalvik/annotation/
TestTargetClass.java 26 * that is being tested. The current assumption is that the test are somewhat
TestTargets.java 26 * that is being tested. The current assumption is that the test are somewhat
  /external/chromium/net/base/
host_cache.h 50 // |hostname| under assumption that integer comparisons are faster than
59 // |hostname| under assumption that integer comparisons are faster than
  /frameworks/compile/libbcc/runtime/lib/
int_lib.h 19 /* Assumption: signed integral is 2's complement */
20 /* Assumption: right shift of signed negative is arithmetic shift */
  /dalvik/vm/compiler/template/
Makefile-template 23 # The base assumption for an ARM platform is ARMv5TE, but we may want to
  /dalvik/vm/mterp/
Makefile-mterp 23 # The base assumption for an ARM platform is ARMv5TE, but we may want to
  /external/chromium/base/
sys_info_mac.cc 69 // 1 is a reasonable assumption.
  /external/webkit/Tools/android/flex-2.5.4a/MISC/
NeXT 12 In parse.y, line_pinpoint() (assumption all messages ultimately go there), add:
  /libcore/luni/src/main/java/org/apache/harmony/xnet/provider/jsse/
SSLBufferedInput.java 52 // in assumption that the buffer has been set
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 37 bool Assumption) = 0;
  /external/llvm/test/Transforms/GVN/
pre-single-pred.ll 9 ; Now that that faulty assumption is corrected, test that we DON'T incorrectly
  /external/llvm/tools/llvm-diff/
DiffLog.h 25 /// Trichotomy assumption
  /external/skia/emoji/
EmojiFont.h 74 assumption is that normal fonts never will report a glyph ID
  /external/webkit/Source/WebKit/mac/Misc/
MailQuirksUserScript.js 40 // If html or body is missing, Mail.app's assumption that
  /external/webkit/Source/WebKit/win/
WebDocumentLoader.cpp 95 // source to be deleted - which ends up calling loader->detachDataSource() which makes the assumption that the loader no

Completed in 620 milliseconds

1 2 3 4 5 6 7 8 91011>>