Searched defs:assumption (Results 1 - 6 of 6) sorted by relevance

/external/junit/src/org/junit/internal/
H A DAssumptionViolatedException.java21 public AssumptionViolatedException(String assumption) { argument
22 this(assumption, null);
37 description.appendText("failed assumption: " + fValue);
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument
141 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp67 bool assumption) {
68 state = assumeAux(state, cond, assumption);
69 return SU.processAssume(state, cond, assumption);
116 bool assumption) {
117 state = assumeAux(state, cond, assumption);
118 return SU.processAssume(state, cond, assumption);
66 assume(ProgramStateRef state, Loc cond, bool assumption) argument
114 assume(ProgramStateRef state, NonLoc cond, bool assumption) argument
H A DExprEngine.cpp162 // top-level function. This is our starting assumption for
186 SVal cond, bool assumption) {
187 return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
1535 // FIXME: Should we insert some assumption logic in here to determine
1536 // if "Base" is a valid piece of memory? Before we put this assumption
185 processAssume(ProgramStateRef state, SVal cond, bool assumption) argument
/external/clang/lib/StaticAnalyzer/Checkers/
H A DIdempotentOperationChecker.cpp78 // Our assumption about a particular operation.
100 BinaryOperatorData() : assumption(Possible) {}
102 Assumption assumption; member in struct:__anon3417::IdempotentOperationChecker::BinaryOperatorData
119 Assumption &A = Data.assumption;
352 const Assumption &A = Data.assumption;
409 llvm_unreachable("Operation was never marked with an assumption");
437 // Updates the current assumption given the new assumption
440 // If the assumption is the same, there is nothing to do
445 // If we don't currently have an assumption, se
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/
H A DChecker.h313 bool assumption) {
314 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
310 _evalAssume(void *checker, ProgramStateRef state, const SVal &cond, bool assumption) argument

Completed in 90 milliseconds