| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 60 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 D | SimpleConstraintManager.h | 37 bool Assumption);
39 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption);
41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
90 bool Assumption);
94 bool Assumption);
98 bool Assumption);
|
| H A D | BugReporterVisitors.cpp | 399 ID.AddBoolean(Assumption);
413 if (PrevN->getState()->assume(Constraint, !Assumption)) {
420 if (N->getState()->assume(Constraint, !Assumption))
430 os << (Assumption ? "non-null" : "null");
|
| H A D | CheckerManager.cpp | 491 SVal Cond, bool Assumption) {
497 state = EvalAssumeCheckers[i](state, Cond, Assumption);
490 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
|
| H A D | ProgramState.cpp | 290 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/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 68 bool Assumption) = 0;
|
| H A D | ProgramState.h | 166 // (3) A binary value "Assumption" that indicates whether the constraint is
615 bool Assumption) const {
620 Assumption);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IdempotentOperationChecker.cpp | 79 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) {
|
| H A D | CheckerDocumentation.cpp | 207 bool Assumption) const { return State; }
|
| H A D | MallocChecker.cpp | 136 bool Assumption) const;
1275 bool Assumption) const {
|
| H A D | RetainCountChecker.cpp | 2521 bool Assumption) const;
3431 bool Assumption) const {
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitor.h | 135 const bool Assumption; member in class:clang::ento::TrackConstraintBRVisitor
140 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 319 SVal Cond, bool Assumption);
|