diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-12-06 02:39:30 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-12-06 02:39:30 +0000 |
| commit | 759623efaf07896081a2b8bb869f53eebf44327d (patch) | |
| tree | 8d4de5f937cc1e23baf132f7adf0bfbdb7bac330 /lib/Analysis/GRExprEngine.cpp | |
| parent | 567c8df3646208e0a5816c57191ca36930f50ed3 (diff) | |
Add bandaid transfer function support for assignments involving ObjCKVCRefExpr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60622 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | lib/Analysis/GRExprEngine.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index b3b311a02c..8a32bfe952 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp @@ -2364,6 +2364,13 @@ void GRExprEngine::VisitBinaryOperator(BinaryOperator* B, Expr* LHS = B->getLHS()->IgnoreParens(); Expr* RHS = B->getRHS()->IgnoreParens(); + // FIXME: Add proper support for ObjCKVCRefExpr. + if (isa<ObjCKVCRefExpr>(LHS)) { + Visit(RHS, Pred, Dst); + return; + } + + if (B->isAssignmentOp()) VisitLValue(LHS, Pred, Tmp1); else |