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 59 bool Assumption) {
61 return assume(state, cast<NonLoc>(Cond), Assumption);
63 return assume(state, cast<Loc>(Cond), Assumption);
67 bool assumption) {
68 state = assumeAux(state, cond, assumption);
69 return SU.processAssume(state, cond, assumption);
73 Loc Cond, bool Assumption) {
92 if (Assumption)
104 return Assumption ? state : NULL;
108 bool isFeasible = b ? Assumption : !Assumption
    [all...]
SimpleConstraintManager.h 35 bool Assumption);
37 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption);
39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption);
86 bool Assumption);
90 bool Assumption);
94 bool Assumption);
BugReporterVisitors.cpp 239 ID.AddBoolean(Assumption);
253 if (PrevN->getState()->assume(Constraint, !Assumption)) {
260 if (N->getState()->assume(Constraint, !Assumption))
270 os << (Assumption ? "non-null" : "null");
466 // If an assumption was made on a branch, it should be caught
CheckerManager.cpp 444 SVal Cond, bool Assumption) {
450 state = EvalAssumeCheckers[i](state, Cond, Assumption);
ProgramState.cpp 299 bool Assumption,
341 return CM.assume(this, cast<DefinedSVal>(inBound), Assumption);
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h 34 bool Assumption) = 0;
ProgramState.h 153 // symbolic values. A call to 'assume' indicates an assumption being placed
160 // (3) A binary value "Assumption" that indicates whether the constraint is
167 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
177 bool assumption,
614 bool Assumption) const {
619 Assumption);
  /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h 136 const bool Assumption;
140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
141 : Constraint(constraint), Assumption(assumption), isSatisfied(false) {}
  /external/clang/lib/StaticAnalyzer/Checkers/
IdempotentOperationChecker.cpp 78 // Our assumption about a particular operation.
79 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
82 static void UpdateAssumption(Assumption &A, const Assumption &New);
100 BinaryOperatorData() : assumption(Possible) {}
102 Assumption assumption; member in struct:__anon4981::IdempotentOperationChecker::BinaryOperatorData
119 Assumption &A = Data.assumption;
352 const Assumption &A = Data.assumption
    [all...]
CheckerDocumentation.cpp 178 bool Assumption) const { return State; }
MallocChecker.cpp 125 bool Assumption) const;
    [all...]
RetainCountChecker.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h 300 SVal Cond, bool Assumption);
381 const SVal &cond, bool assumption)>

Completed in 288 milliseconds