Searched defs:Assumption (Results 1 - 5 of 5) sorted by relevance
/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/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 | 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
|
/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
|
Completed in 1344 milliseconds