Switch BasicStoreManager to use the new CastRegion implementation by default,

and replace the 'clang-cc' option '-analyzer-store=basic-new-cast' with
'-analyzer-store=basic-old-cast'. We'll keep the old CastRegion implementation
around for a little while for regression testing.

llvm-svn: 75209

1 files changed, 3 insertions, 3 deletions

diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp
index c897b2f3fcc..ba1ccf1f900 100644
--- a/clang/lib/Analysis/BasicStore.cpp
+++ b/clang/lib/Analysis/BasicStore.cpp
@@ -38,7 +38,7 @@ class VISIBILITY_HIDDEN BasicStoreManager : public StoreManager {
   const MemRegion* SelfRegion;
   
 public:
-  BasicStoreManager(GRStateManager& mgr, bool useNewCastRegion = false)
+  BasicStoreManager(GRStateManager& mgr, bool useNewCastRegion = true)
     : StoreManager(mgr, useNewCastRegion),
       VBFactory(mgr.getAllocator()), 
       SelfRegion(0) {}
@@ -126,8 +126,8 @@ StoreManager* clang::CreateBasicStoreManager(GRStateManager& StMgr) {
   return new BasicStoreManager(StMgr);
 }
 
-StoreManager* clang::CreateBasicStoreNewCastManager(GRStateManager& StMgr) {
-  return new BasicStoreManager(StMgr, true);
+StoreManager* clang::CreateBasicStoreOldCastManager(GRStateManager& StMgr) {
+  return new BasicStoreManager(StMgr, false);
 }
 
 SVal BasicStoreManager::getLValueVar(const GRState *state, const VarDecl* VD) {