HomeSort by relevance Sort by last modified time
    Searched refs:Assumption (Results 1 - 13 of 13) sorted by null

  /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);
89 bool Assumption);
93 bool Assumption);
CheckerManager.cpp 511 SVal Cond, bool Assumption) {
517 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/PathSensitive/
ConstraintManager.h 69 bool Assumption) = 0;
123 /// 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,
636 bool Assumption) const {
641 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h 131 bool Assumption;
140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
141 : Constraint(constraint), Assumption(assumption), IsSatisfied(false),
142 IsZeroCheck(!Assumption && Constraint.getAs<Loc>()),
  /external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 209 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);
954 return (Assumption == *KnownNonEmpty) ? State : nullptr;
    [all...]
MallocChecker.cpp 208 bool Assumption) const;
    [all...]
  /external/v8/src/
uri.js 226 if (cc >> 7) break; // Assumption wrong, two-byte string.
236 if (code > 0x7f) break; // Assumption wrong, two-byte string.
  /external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 350 SVal Cond, bool Assumption);
442 const SVal &cond, bool assumption)>

Completed in 345 milliseconds