diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-06-06 01:57:24 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-06-06 01:57:24 +0000 |
| commit | fb6f75feaa0fa6621282df1075677a26fdfde1b7 (patch) | |
| tree | 87e2d06d5572b5121451546fe72e2eab2fe5a7a4 /lib/AST/ParentMap.cpp | |
| parent | 632182d0e2011a6e21cf9abe34eef5a1f037e7ef (diff) | |
[analyzer] Look through ExprWithCleanups to see if an expr's consumed.
We based decisions during analysis and during path generation on whether
or not an expression is consumed, so if a top-level expression has
cleanups it's important for us to look through that.
<rdar://problem/14076125>
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@183368 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/AST/ParentMap.cpp')
| -rw-r--r-- | lib/AST/ParentMap.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/AST/ParentMap.cpp b/lib/AST/ParentMap.cpp index a9a459b602..dbe0b98e18 100644 --- a/lib/AST/ParentMap.cpp +++ b/lib/AST/ParentMap.cpp @@ -14,6 +14,7 @@ #include "clang/AST/ParentMap.h" #include "clang/AST/Decl.h" #include "clang/AST/Expr.h" +#include "clang/AST/ExprCXX.h" #include "llvm/ADT/DenseMap.h" using namespace clang; @@ -150,8 +151,9 @@ bool ParentMap::isConsumedExpr(Expr* E) const { Stmt *P = getParent(E); Stmt *DirectChild = E; - // Ignore parents that are parentheses or casts. - while (P && (isa<ParenExpr>(P) || isa<CastExpr>(P))) { + // Ignore parents that don't guarantee consumption. + while (P && (isa<ParenExpr>(P) || isa<CastExpr>(P) || + isa<ExprWithCleanups>(P))) { DirectChild = P; P = getParent(P); } |