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 60 bool Assumption) {
62 return assume(state, *NV, Assumption);
63 return assume(state, Cond.castAs<Loc>(), Assumption);
67 bool assumption) {
68 state = assumeAux(state, cond, assumption);
70 return SU->processAssume(state, cond, assumption);
75 Loc Cond, bool Assumption) {
91 if (Assumption)
103 return Assumption ? state : NULL;
107 bool isFeasible = b ? Assumption : !Assumption
    [all...]
SimpleConstraintManager.h 37 bool Assumption);
39 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption);
41 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
90 bool Assumption);
94 bool Assumption);
98 bool Assumption);
BugReporterVisitors.cpp 643 ID.AddBoolean(Assumption);
663 if (PrevN->getState()->assume(Constraint, !Assumption)) {
670 if (N->getState()->assume(Constraint, !Assumption))
680 os << (Assumption ? "non-null" : "null");
    [all...]
CheckerManager.cpp 511 SVal Cond, bool Assumption) {
517 state = EvalAssumeCheckers[i](state, Cond, Assumption);
ProgramState.cpp 283 bool Assumption,
324 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
  /external/clang/lib/StaticAnalyzer/Checkers/
IdempotentOperationChecker.cpp 79 // Our assumption about a particular operation.
80 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
83 static void UpdateAssumption(Assumption &A, const Assumption &New);
101 BinaryOperatorData() : assumption(Possible) {}
103 Assumption assumption; member in struct:__anon5995::IdempotentOperationChecker::BinaryOperatorData
121 Assumption &A = Data.assumption;
356 const Assumption &A = Data.assumption
    [all...]
CheckerDocumentation.cpp 208 bool Assumption) const { return State; }
MallocChecker.cpp 156 bool Assumption) const;
    [all...]
RetainCountChecker.cpp     [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 159 // symbolic values. A call to 'assume' indicates an assumption being placed
166 // (3) A binary value "Assumption" that indicates whether the constraint is
173 /// Assumes that the value of \p cond is zero (if \p assumption is "false")
174 /// or non-zero (if \p assumption is "true").
178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
190 bool assumption,
631 bool Assumption) const {
636 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h 132 const bool Assumption;
136 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
137 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
  /external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 358 SVal Cond, bool Assumption);
449 const SVal &cond, bool assumption)>

Completed in 343 milliseconds