Searched defs:Assumption (Results 1 - 5 of 5) sorted by last modified time
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BasicObjCFoundationChecks.cpp | 942 /// (or is known not to contain elements if the Assumption parameter is false.)
945 SymbolRef CollectionS, bool Assumption) {
953 return State->set<ContainerNonEmptyMap>(CollectionS, Assumption);
954 return (Assumption == *KnownNonEmpty) ? State : nullptr;
971 return State->assume(*CountGreaterThanZero, Assumption);
977 bool Assumption) {
983 return assumeCollectionNonEmpty(C, State, CollectionS, Assumption);
1018 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/false);
1024 State = assumeCollectionNonEmpty(C, State, FCS, /*Assumption*/true);
944 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, SymbolRef CollectionS, bool Assumption) argument
975 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State, const ObjCForCollectionStmt *FCS, bool Assumption) argument
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 511 SVal Cond, bool Assumption) {
517 state = EvalAssumeCheckers[i](state, Cond, Assumption);
510 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
|
| H A D | ProgramState.cpp | 306 bool Assumption,
347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
304 assumeInBound(DefinedOrUnknownSVal Idx, DefinedOrUnknownSVal UpperBound, bool Assumption, QualType indexTy) const argument
|
| H A D | SimpleConstraintManager.cpp | 70 bool Assumption) {
84 return assume(state, Cond.castAs<NonLoc>(), Assumption);
99 SymbolRef Sym, bool Assumption) {
108 if (Assumption)
116 bool Assumption) {
123 return assumeAuxForSymbol(state, sym, Assumption);
137 return assumeAuxForSymbol(state, sym, Assumption);
145 if (!Assumption)
171 if (!Assumption)
178 return assumeAuxForSymbol(state, sym, Assumption);
68 assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption) argument
98 assumeAuxForSymbol(ProgramStateRef State, SymbolRef Sym, bool Assumption) argument
114 assumeAux(ProgramStateRef state, NonLoc Cond, bool Assumption) argument
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporterVisitor.h | 133 bool Assumption; member in class:clang::ento::TrackConstraintBRVisitor
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
144 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()),
|
Completed in 157 milliseconds