| /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 | 538 SVal Cond, bool Assumption) {
544 state = EvalAssumeCheckers[i](state, Cond, Assumption);
|
| ProgramState.cpp | 306 bool Assumption,
347 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
|
| BugReporterVisitors.cpp | 710 ID.AddBoolean(Assumption);
723 return (bool)N->getState()->assume(Constraint, !Assumption);
760 os << (Assumption ? "non-null" : "null");
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 132 bool Assumption;
141 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
142 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
143 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 | 160 // symbolic values. A call to 'assume' indicates an assumption being placed
167 // (3) A binary value "Assumption" that indicates whether the constraint is
174 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
175 /// or non-zero (if \p assumption is "true").
179 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
191 bool assumption,
195 /// (if \p assumption is "true") or it is fully out of this range
196 /// (if \p assumption is "false").
203 bool assumption) const;
643 bool Assumption) const
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 219 bool Assumption) const { return State; }
|
| 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)
[all...] |
| MallocChecker.cpp | 208 bool Assumption) const;
[all...] |
| /external/v8/src/js/ |
| uri.js | 217 if (cc >> 7) break; // Assumption wrong, two-byte string.
229 if (code > 0x7f) break; // Assumption wrong, two-byte string.
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 365 SVal Cond, bool Assumption);
457 const SVal &cond, bool assumption)>
|
