From: Ted Kremenek Date: Sat, 6 Dec 2008 02:39:30 +0000 (+0000) Subject: Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=759623efaf07896081a2b8bb869f53eebf44327d;p=clang 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 --- 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(LHS)) { + Visit(RHS, Pred, Dst); + return; + } + + if (B->isAssignmentOp()) VisitLValue(LHS, Pred, Tmp1); else