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 /include/clang | |
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 'include/clang')
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRExprEngine.h | 2 | ||||
-rw-r--r-- | include/clang/Analysis/PathSensitive/GRTransferFuncs.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h index 8d949f8c04..2d088c788d 100644 --- a/include/clang/Analysis/PathSensitive/GRExprEngine.h +++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h @@ -626,7 +626,7 @@ protected: return TF->EvalBinOp(*this, Op, cast<NonLVal>(L), cast<NonLVal>(R)); } - void EvalCall(NodeSet& Dst, CallExpr* CE, LVal L, NodeTy* Pred) { + void EvalCall(NodeSet& Dst, CallExpr* CE, RVal L, NodeTy* Pred) { assert (Builder && "GRStmtNodeBuilder must be defined."); TF->EvalCall(Dst, *this, *Builder, CE, L, Pred); } diff --git a/include/clang/Analysis/PathSensitive/GRTransferFuncs.h b/include/clang/Analysis/PathSensitive/GRTransferFuncs.h index 33199a574c..47f5d2a59d 100644 --- a/include/clang/Analysis/PathSensitive/GRTransferFuncs.h +++ b/include/clang/Analysis/PathSensitive/GRTransferFuncs.h @@ -63,7 +63,7 @@ public: virtual void EvalCall(ExplodedNodeSet<ValueState>& Dst, GRExprEngine& Engine, GRStmtNodeBuilder<ValueState>& Builder, - CallExpr* CE, LVal L, + CallExpr* CE, RVal L, ExplodedNode<ValueState>* Pred) {} virtual void EvalObjCMessageExpr(ExplodedNodeSet<ValueState>& Dst, |