| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleConstraintManager.cpp | 70 bool Assumption) {
84 return assume(state, Cond.castAs<NonLoc>(), Assumption);
89 bool assumption) {
90 state = assumeAux(state, cond, assumption);
92 return SU->processAssume(state, cond, assumption);
99 SymbolRef Sym, bool Assumption) {
108 if (Assumption)
116 bool Assumption) {
123 return assumeAuxForSymbol(state, sym, Assumption);
137 return assumeAuxForSymbol(state, sym, Assumption);
[all...] |
| SimpleConstraintManager.h | 37 bool Assumption) override;
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
110 bool Assumption);
114 bool Assumption);
|
| CheckerManager.cpp | 572 SVal Cond, bool Assumption) {
578 state = EvalAssumeCheckers[i](state, Cond, Assumption);
|
| ProgramState.cpp | 306 bool Assumption,
347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
|
| BugReporterVisitors.cpp | 714 ID.AddBoolean(Assumption);
727 return (bool)N->getState()->assume(Constraint, !Assumption);
764 os << (Assumption ? "non-null" : "null");
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 133 bool Assumption;
142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
143 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
144 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()),
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 69 bool Assumption) = 0;
152 /// not null, or if neither assumption can be made.
|
| ProgramState.h | 161 // symbolic values. A call to 'assume' indicates an assumption being placed
168 // (3) A binary value "Assumption" that indicates whether the constraint is
175 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
176 /// or non-zero (if \p assumption is "true").
180 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
192 bool assumption,
196 /// (if \p assumption is "true") or it is fully out of this range
197 /// (if \p assumption is "false").
204 bool assumption) const;
644 bool Assumption) const
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 224 bool Assumption) const { return State; }
|
| BasicObjCFoundationChecks.cpp | 940 /// (or is known not to contain elements if the Assumption parameter is false.)
943 SymbolRef CollectionS, bool Assumption) {
[all...] |
| CheckObjCDealloc.cpp | 121 bool Assumption) const;
412 bool Assumption) const {
421 if (Assumption) {
[all...] |
| MallocChecker.cpp | 210 bool Assumption) const;
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 370 SVal Cond, bool Assumption);
465 const SVal &cond, bool assumption)>
|
