| // { dg-options "-O2 -fdump-tree-ehcleanup1-details" } |
| |
| #ifdef __GXX_EXPERIMENTAL_CXX0X__ |
| #define NOEXCEPT_FALSE noexcept (false) |
| #else |
| #define NOEXCEPT_FALSE |
| #endif |
| |
| extern void can_throw (); |
| class a |
| { |
| public: |
| ~a () NOEXCEPT_FALSE |
| { |
| if (0) |
| can_throw (); |
| } |
| }; |
| void |
| t (void) |
| { |
| class a a; |
| can_throw (); |
| } |
| // We ought to remove implicit cleanup, since destructor is empty. |
| // { dg-final { scan-tree-dump-times "Empty EH handler" 2 "ehcleanup1" } } |
| // |
| // And as a result also contained control flow. |
| // { dg-final { scan-tree-dump-times "Removing unreachable" 4 "ehcleanup1" } } |
| // |
