diff options
author | Ted Kremenek <kremenek@apple.com> | 2008-11-14 01:58:12 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2008-11-14 01:58:12 +0000 |
commit | 8f646002d8493ad7647d28b0acc7be425360f990 (patch) | |
tree | 8ccf5bf175a1883880297c1009e2f5c703f24cf2 /lib/Analysis/LiveVariables.cpp | |
parent | 4cb3a855df3b3f8d551565cae9f43939a301ea89 (diff) |
Handle the case where 'element' in ObjCforCollectionstmt is not a DeclStmt or DeclRefExpr.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59290 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/LiveVariables.cpp')
-rw-r--r-- | lib/Analysis/LiveVariables.cpp | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/lib/Analysis/LiveVariables.cpp b/lib/Analysis/LiveVariables.cpp index 98b1ee2820..7b04beb2b5 100644 --- a/lib/Analysis/LiveVariables.cpp +++ b/lib/Analysis/LiveVariables.cpp @@ -184,18 +184,21 @@ TransferFuncs::BlockStmt_VisitObjCForCollectionStmt(ObjCForCollectionStmt* S) { // This represents a 'kill' for the variable. Stmt* Element = S->getElement(); - DeclRefExpr *DR = 0; + DeclRefExpr* DR = 0; VarDecl* VD = 0; if (DeclStmt* DS = dyn_cast<DeclStmt>(Element)) VD = cast<VarDecl>(DS->getSolitaryDecl()); else { - DR = cast<DeclRefExpr>(Element); - VD = cast<VarDecl>(DR->getDecl()); + Expr* ElemExpr = cast<Expr>(Element)->IgnoreParens(); + if ((DR = dyn_cast<DeclRefExpr>(ElemExpr))) + VD = cast<VarDecl>(DR->getDecl()); } - LiveState(VD, AD) = Dead; - if (AD.Observer && DR) { AD.Observer->ObserverKill(DR); } + if (VD) { + LiveState(VD, AD) = Dead; + if (AD.Observer && DR) { AD.Observer->ObserverKill(DR); } + } } |