HomeSort by relevance Sort by last modified time
    Searched defs:assume (Results 1 - 2 of 2) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 59 const GRState *SimpleConstraintManager::assume(const GRState *state, function in class:clang::ento::SimpleConstraintManager
63 return assume(state, cast<NonLoc>(Cond), Assumption);
65 return assume(state, cast<Loc>(Cond), Assumption);
68 const GRState *SimpleConstraintManager::assume(const GRState *state, Loc cond, function in class:clang::ento::SimpleConstraintManager
81 assert (false && "'Assume' not implemented for this Loc.");
116 const GRState *SimpleConstraintManager::assume(const GRState *state, function in class:clang::ento::SimpleConstraintManager
155 assert(false && "'Assume' not implemented for this NonLoc");
230 // Give up and assume the constraint is feasible.
235 // Give up and assume the constraint is feasible.
250 // Give up and assume the constraint is feasible
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
GRState.h 156 // Various "assume" methods form the interface for adding constraints to
157 // symbolic values. A call to 'assume' indicates an assumption being placed
158 // on one or symbolic values. 'assume' methods take the following inputs:
162 // (2) The assumed constraint (which is specific to a given "assume" method).
167 // The output of "assume*" is a new GRState object with the added constraints.
171 const GRState *assume(DefinedOrUnknownSVal cond, bool assumption) const;
175 /// 'assume' twice.
177 assume(DefinedOrUnknownSVal cond) const;
638 inline const GRState *GRState::assume(DefinedOrUnknownSVal Cond, function in class:clang::ento::GRState
643 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond)
648 GRState::assume(DefinedOrUnknownSVal Cond) const { function in class:clang::ento::GRState
    [all...]

Completed in 284 milliseconds