diff options
author | John McCall <rjmccall@apple.com> | 2012-09-25 06:56:03 +0000 |
---|---|---|
committer | John McCall <rjmccall@apple.com> | 2012-09-25 06:56:03 +0000 |
commit | 9f357de8d5823f9b13cf33ad1f6af1dd69b7669f (patch) | |
tree | b6198a618237a3aedf5f3b3f454f7a78927a283b /test/CodeGenCXX/exceptions.cpp | |
parent | e49ff3ef3459e97fa76502bd9eae4ed9170fd048 (diff) |
During jump-scope checking, build an ExprWithCleanups immediately
into the enclosing scope; this is a more accurate model but is
(I believe) unnecessary in my test case due to other flaws.
However, one of those flaws is now intentional: blocks which
appear in return statements can be trivially observed to not
extend in lifetime past the return, and so we can allow a jump
past them. Do the necessary magic in IR-generation to make
this work.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164589 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGenCXX/exceptions.cpp')
-rw-r--r-- | test/CodeGenCXX/exceptions.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/CodeGenCXX/exceptions.cpp b/test/CodeGenCXX/exceptions.cpp index 8c20c9e9ce..723e8d1393 100644 --- a/test/CodeGenCXX/exceptions.cpp +++ b/test/CodeGenCXX/exceptions.cpp @@ -365,6 +365,7 @@ namespace test7 { // CHECK-NEXT: invoke void @_ZN5test71BC1ERKNS_1AEPS0_( // CHECK: store i1 false, i1* [[OUTER_NEW]] // CHECK: phi + // CHECK-NEXT: store [[B]]* // Destroy the inner A object. // CHECK-NEXT: load i1* [[INNER_A]] |