| /external/clang/lib/StaticAnalyzer/Core/ |
| 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...] |
| H A D | SimpleConstraintManager.h | 37 bool Assumption) override;
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
89 bool Assumption);
93 bool Assumption);
|
| 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 | BugReporterVisitors.cpp | 714 ID.AddBoolean(Assumption);
727 return (bool)N->getState()->assume(Constraint, !Assumption);
764 os << (Assumption ? "non-null" : "null");
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 69 bool Assumption) = 0;
|
| H A D | ProgramState.h | 166 // (3) A binary value "Assumption" that indicates whether the constraint is
635 bool Assumption) const {
640 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
|
| /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>()),
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckerDocumentation.cpp | 209 bool Assumption) const { return State; }
|
| 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
|
| H A D | MallocChecker.cpp | 188 bool Assumption) const;
2000 bool Assumption) const {
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 403 SVal Cond, bool Assumption);
|