[cfe-commits] r138212 - /cfe/trunk/lib/StaticAnalyzer/Core/CFRefCount.cpp

[Jordy Rose]

Author: jrose
Date: Sat Aug 20 16:17:59 2011
New Revision: 138212

URL: http://llvm.org/viewvc/llvm-project?rev=138212&view=rev
Log:
[analyzer] RetainReleaseChecker always wants region change updates. There's no need for a flag, at least not right now.

Modified:
    cfe/trunk/lib/StaticAnalyzer/Core/CFRefCount.cpp

Modified: cfe/trunk/lib/StaticAnalyzer/Core/CFRefCount.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/CFRefCount.cpp?rev=138212&r1=138211&r2=138212&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/CFRefCount.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/CFRefCount.cpp Sat Aug 20 16:17:59 2011
@@ -3434,11 +3434,7 @@
                     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 @@
                                          const MemRegion * const *end) const;
                                         
   bool wantsRegionChangeUpdate(const ProgramState *state) const {
-    return wantsRegionUpdate;
+    return true;
   }
 };
 } // end anonymous namespace