[analyzer] RetainReleaseChecker always wants region change updates. There's no need...

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

diff --git a/lib/StaticAnalyzer/Core/CFRefCount.cpp b/lib/StaticAnalyzer/Core/CFRefCount.cpp
index bd404d38801a21d90c5c429b184aef712286c310..1b4e4a8673d1f79fd33f7b7e92e1e4376f536f5f 100644 (file)
--- a/lib/StaticAnalyzer/Core/CFRefCount.cpp
+++ b/lib/StaticAnalyzer/Core/CFRefCount.cpp
@@ -3434,11 +3434,7 @@ class RetainReleaseChecker
                     check::PostStmt<CastExpr>,
                     check::RegionChanges,
                     eval::Assume > {
-public:
-  bool wantsRegionUpdate;
-  
-  RetainReleaseChecker() : wantsRegionUpdate(true) {}
-  
+public:  
   void checkBind(SVal loc, SVal val, CheckerContext &C) const;
   void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
   void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
@@ -3452,7 +3448,7 @@ public:
                                          const MemRegion * const *end) const;
                                         
   bool wantsRegionChangeUpdate(const ProgramState *state) const {
-    return wantsRegionUpdate;
+    return true;
   }
 };
 } // end anonymous namespace