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

/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h135 const bool Assumption; member in class:clang::ento::TrackConstraintBRVisitor
140 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp60 bool Assumption) {
62 return assume(state, cast<NonLoc>(Cond), Assumption);
64 return assume(state, cast<Loc>(Cond), Assumption);
76 Loc Cond, bool Assumption) {
92 if (Assumption)
104 return Assumption ? state : NULL;
108 bool isFeasible = b ? Assumption : !Assumption;
139 SymbolRef Sym, bool Assumption) {
148 if (Assumption)
58 assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption) argument
75 assumeAux(ProgramStateRef state, Loc Cond, bool Assumption) argument
138 assumeAuxForSymbol(ProgramStateRef State, SymbolRef Sym, bool Assumption) argument
154 assumeAux(ProgramStateRef state, NonLoc Cond, bool Assumption) argument
[all...]
H A DCheckerManager.cpp491 SVal Cond, bool Assumption) {
497 state = EvalAssumeCheckers[i](state, Cond, Assumption);
490 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
H A DProgramState.cpp290 bool Assumption,
332 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption);
288 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:__anon3877::IdempotentOperationChecker
82 static void UpdateAssumption(Assumption &A, const Assumption &New);
102 Assumption assumption;
120 Assumption &A = Data.assumption;
355 const Assumption &A = Data.assumption;
441 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A,
442 const Assumption &New) {

Completed in 293 milliseconds