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

/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h133 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/Core/
H A DSimpleConstraintManager.cpp70 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 DCheckerManager.cpp511 SVal Cond, bool Assumption) {
517 state = EvalAssumeCheckers[i](state, Cond, Assumption);
510 runCheckersForEvalAssume(ProgramStateRef state, SVal Cond, bool Assumption) argument
H A DProgramState.cpp306 bool Assumption,
347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
304 assumeInBound(DefinedOrUnknownSVal Idx, DefinedOrUnknownSVal UpperBound, bool Assumption, QualType indexTy) const argument
/external/clang/lib/StaticAnalyzer/Checkers/
H A DBasicObjCFoundationChecks.cpp942 /// (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

Completed in 444 milliseconds