Searched defs:assumption (Results 1 - 6 of 6) sorted by relevance
/external/junit/src/org/junit/internal/ |
H A D | AssumptionViolatedException.java | 21 public AssumptionViolatedException(String assumption) { argument 22 this(assumption, null); 37 description.appendText("failed assumption: " + fValue);
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitor.h | 140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) argument 141 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 67 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 D | ExprEngine.cpp | 162 // 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 D | IdempotentOperationChecker.cpp | 78 // 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 D | Checker.h | 313 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 233 milliseconds