[analyzer] Mark ConstraintManager::canReasonAbout as protected.
llvm-svn: 145857
This commit is contained in:
parent
2d2999821b
commit
5c10794254
|
@ -63,6 +63,7 @@ public:
|
|||
|
||||
virtual void EndPath(const ProgramState *state) {}
|
||||
|
||||
protected:
|
||||
/// canReasonAbout - Not all ConstraintManagers can accurately reason about
|
||||
/// all SVal values. This method returns true if the ConstraintManager can
|
||||
/// reasonably handle a given SVal value. This is typically queried by
|
||||
|
|
|
@ -31,8 +31,6 @@ public:
|
|||
// Common implementation for the interface provided by ConstraintManager.
|
||||
//===------------------------------------------------------------------===//
|
||||
|
||||
bool canReasonAbout(SVal X) const;
|
||||
|
||||
const ProgramState *assume(const ProgramState *state, DefinedSVal Cond,
|
||||
bool Assumption);
|
||||
|
||||
|
@ -81,6 +79,8 @@ protected:
|
|||
// Internal implementation.
|
||||
//===------------------------------------------------------------------===//
|
||||
|
||||
bool canReasonAbout(SVal X) const;
|
||||
|
||||
const ProgramState *assumeAux(const ProgramState *state,
|
||||
Loc Cond,
|
||||
bool Assumption);
|
||||
|
|
Loading…
Reference in New Issue