diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-04-23 20:12:28 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-04-23 20:12:28 +0000 |
| commit | 186350f192bbc6a81bc6d7c3647c2243353f21ba (patch) | |
| tree | 2beaefebba9447218cc431bcd25d67b3f67ea647 /lib/Analysis/CFRefCount.cpp | |
| parent | c1e9dea3d974dcfcf2baa15810aa3511db688bda (diff) | |
Fixed: <rdar://problem/5881148>
Problem:
In the recently refactored VisitDeref (which processes dereferences), we
were incorrectly skipping the node just generated for the subexpression
of the dereference. This was a horrible regression.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50176 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/CFRefCount.cpp')
| -rw-r--r-- | lib/Analysis/CFRefCount.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp index 499da2f85f..4b23ff47b9 100644 --- a/lib/Analysis/CFRefCount.cpp +++ b/lib/Analysis/CFRefCount.cpp @@ -659,7 +659,7 @@ public: virtual void EvalCall(ExplodedNodeSet<ValueState>& Dst, GRExprEngine& Eng, GRStmtNodeBuilder<ValueState>& Builder, - CallExpr* CE, LVal L, + CallExpr* CE, RVal L, ExplodedNode<ValueState>* Pred); virtual void EvalObjCMessageExpr(ExplodedNodeSet<ValueState>& Dst, @@ -769,7 +769,7 @@ void CFRefCount::ProcessNonLeakError(ExplodedNodeSet<ValueState>& Dst, void CFRefCount::EvalCall(ExplodedNodeSet<ValueState>& Dst, GRExprEngine& Eng, GRStmtNodeBuilder<ValueState>& Builder, - CallExpr* CE, LVal L, + CallExpr* CE, RVal L, ExplodedNode<ValueState>* Pred) { ValueStateManager& StateMgr = Eng.getStateManager(); |