Searched defs:Assumption (Results 1 - 5 of 5) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitor.h | 136 const bool Assumption; member in class:clang::ento::TrackConstraintBRVisitor 141 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.cpp | 59 bool Assumption) { 61 return assume(state, cast<NonLoc>(Cond), Assumption); 63 return assume(state, cast<Loc>(Cond), Assumption); 73 Loc Cond, bool Assumption) { 92 if (Assumption) 104 return Assumption ? state : NULL; 108 bool isFeasible = b ? Assumption : !Assumption; 140 bool Assumption) { 143 if (Assumption) 57 assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption) argument 72 assumeAux(ProgramStateRef state, Loc Cond, bool Assumption) argument 137 assumeAuxForSymbol( ProgramStateRef State, SymbolRef Sym, bool Assumption) argument 149 assumeAux(ProgramStateRef state, NonLoc Cond, bool Assumption) argument [all...] |
H A D | CheckerManager.cpp | 444 SVal Cond, bool Assumption) { 450 state = EvalAssumeCheckers[i](state, Cond, Assumption); 443 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
|
H A D | ProgramState.cpp | 299 bool Assumption, 341 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption); 297 assumeInBound(DefinedOrUnknownSVal Idx, DefinedOrUnknownSVal UpperBound, bool Assumption, QualType indexTy) const argument
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | IdempotentOperationChecker.cpp | 79 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0, enum in class:__anon3417::IdempotentOperationChecker 82 static void UpdateAssumption(Assumption &A, const Assumption &New); 102 Assumption assumption; 119 Assumption &A = Data.assumption; 352 const Assumption &A = Data.assumption; 438 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A, 439 const Assumption &New) {
|
Completed in 117 milliseconds