| /external/junit/src/org/junit/internal/ |
| AssumptionViolatedException.java | 21 public AssumptionViolatedException(String assumption) {
22 this(assumption, null);
37 description.appendText("failed assumption: " + fValue);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleConstraintManager.cpp | 70 bool Assumption) {
72 return assume(state, *NV, Assumption);
73 return assume(state, Cond.castAs<Loc>(), Assumption);
77 bool assumption) {
78 state = assumeAux(state, cond, assumption);
80 return SU->processAssume(state, cond, assumption);
85 Loc Cond, bool Assumption) {
98 if (Assumption)
108 return Assumption ? state : NULL;
112 bool isFeasible = b ? Assumption : !Assumption
[all...] |
| ExprEngine.cpp | 153 // top-level function. This is our starting assumption for
249 SVal cond, bool assumption) {
250 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SubEngine.h | 106 SVal cond, bool assumption) = 0;
|
| ExprEngine.h | 266 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,bool assumption);
|
| ProgramState.h | 159 // symbolic values. A call to 'assume' indicates an assumption being placed
166 // (3) A binary value "Assumption" that indicates whether the constraint is
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,
636 bool Assumption) const {
641 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 133 bool Assumption;
142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
144 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()),
|
| /external/libvpx/libvpx/vp8/common/ppc/ |
| copy_altivec.asm | 19 ;# Make the assumption that input will not be aligned,
|
| /hardware/qcom/display/msm8974/ |
| common.mk | 46 # If the macro above is defined, we make the assumption that we have the kernel
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| IdempotentOperationChecker.cpp | 79 // Our assumption about a particular operation.
80 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
83 static void UpdateAssumption(Assumption &A, const Assumption &New);
101 BinaryOperatorData() : assumption(Possible) {}
103 Assumption assumption; member in struct:__anon16117::IdempotentOperationChecker::BinaryOperatorData
121 Assumption &A = Data.assumption;
356 const Assumption &A = Data.assumption
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 396 bool assumption) {
397 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
|
| CheckerManager.h | 380 SVal Cond, bool Assumption);
472 const SVal &cond, bool assumption)>
|
| /external/chromium_org/third_party/yasm/source/patched-yasm/libyasm/tests/ |
| opt-gvmat64.asm | 90 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/chromium_org/third_party/WebKit/Source/core/html/ |
| HTMLMediaElement.cpp | [all...] |
| /external/zlib/src/contrib/masmx64/ |
| gvmat64.asm | 127 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/zlib/src/contrib/masmx86/ |
| match686.asm | 142 ;;; assumption that the compiler will dword-align the fields. (Thus,
|
| /external/libvorbis/doc/ |
| 01-introduction.tex | 70 requirement or fundamental assumption in the Vorbis design.
|
| /external/chromium_org/v8/src/ |
| v8natives.js | [all...] |
| /external/robolectric/lib/main/ |
| junit-dep-4.8.2.jar | |
| /external/grub/docs/ |
| texinfo.tex | [all...] |
| /external/bison/build-aux/ |
| texinfo.tex | [all...] |
| /ndk/sources/host-tools/sed-4.2.1/build-aux/ |
| texinfo.tex | [all...] |
