Searched defs:Assumption (Results 1 - 5 of 5) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h136 const bool Assumption; member in class:clang::ento::TrackConstraintBRVisitor
141 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp59 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 DCheckerManager.cpp444 SVal Cond, bool Assumption) {
450 state = EvalAssumeCheckers[i](state, Cond, Assumption);
443 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
H A DProgramState.cpp299 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 DIdempotentOperationChecker.cpp79 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