[analyzer] Mark ConstraintManager::canReasonAbout as protected.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145857 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
index 3f58a7cff364fd84d050601cd9f60f38c83d64d3..f52ee2dc01d9015fc6edad19166e9d2f21d3c26a 100644 (file)
--- a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
+++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
@@ -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

diff --git a/lib/StaticAnalyzer/Core/SimpleConstraintManager.h b/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
index 000af439fdd46c201c651c6a5cbc394db610c894..3d04c6eed00967d117a520e5696f62793a7d8ef9 100644 (file)
--- a/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
+++ b/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
@@ -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);