diff options
author | Jordy Rose <jediknil@belkadan.com> | 2011-08-20 21:17:59 +0000 |
---|---|---|
committer | Jordy Rose <jediknil@belkadan.com> | 2011-08-20 21:17:59 +0000 |
commit | 2f9a66debc058359653cf4d13a8c58cc34cd36bd (patch) | |
tree | 568b53e170f9f3e6cc4588ae63ee05c084a7848b /lib/StaticAnalyzer | |
parent | ab027fd894baf7bee3fc396650e9aec3acea16d2 (diff) |
[analyzer] RetainReleaseChecker always wants region change updates. There's no need for a flag, at least not right now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@138212 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer')
-rw-r--r-- | lib/StaticAnalyzer/Core/CFRefCount.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/lib/StaticAnalyzer/Core/CFRefCount.cpp b/lib/StaticAnalyzer/Core/CFRefCount.cpp index bd404d3880..1b4e4a8673 100644 --- 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 |