[cfe-commits] r145857 - in /cfe/trunk: include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h lib/StaticAnalyzer/Core/SimpleConstraintManager.h

[Anna Zaks]

Author: zaks
Date: Mon Dec  5 15:33:06 2011
New Revision: 145857

URL: http://llvm.org/viewvc/llvm-project?rev=145857&view=rev
Log:
[analyzer] Mark ConstraintManager::canReasonAbout as protected.

Modified:
    cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
    cfe/trunk/lib/StaticAnalyzer/Core/SimpleConstraintManager.h

Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h?rev=145857&r1=145856&r2=145857&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h Mon Dec  5 15:33:06 2011
@@ -63,6 +63,7 @@
 
   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

Modified: cfe/trunk/lib/StaticAnalyzer/Core/SimpleConstraintManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/SimpleConstraintManager.h?rev=145857&r1=145856&r2=145857&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/SimpleConstraintManager.h (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/SimpleConstraintManager.h Mon Dec  5 15:33:06 2011
@@ -31,8 +31,6 @@
   // 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 @@
   // Internal implementation.
   //===------------------------------------------------------------------===//
 
+  bool canReasonAbout(SVal X) const;
+
   const ProgramState *assumeAux(const ProgramState *state,
                                 Loc Cond,
                                 bool Assumption);