]>
Commit | Line | Data |
---|---|---|
52066eae | 1 | // { dg-do run { target c++11 } } |
182da14a | 2 | |
7adcbafe | 3 | // Copyright (C) 2009-2022 Free Software Foundation, Inc. |
182da14a JW |
4 | // |
5 | // This file is part of the GNU ISO C++ Library. This library is free | |
6 | // software; you can redistribute it and/or modify it under the | |
7 | // terms of the GNU General Public License as published by the | |
8 | // Free Software Foundation; either version 3, or (at your option) | |
9 | // any later version. | |
10 | ||
11 | // This library is distributed in the hope that it will be useful, | |
12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | // GNU General Public License for more details. | |
15 | ||
16 | // You should have received a copy of the GNU General Public License along | |
17 | // with this library; see the file COPYING3. If not see | |
18 | // <http://www.gnu.org/licenses/>. | |
19 | ||
20 | #include <exception> | |
21 | #include <testsuite_hooks.h> | |
22 | ||
23 | struct derived : std::nested_exception { }; | |
24 | ||
8535715d PC |
25 | struct not_derived { virtual ~not_derived() noexcept; }; |
26 | inline not_derived::~not_derived() noexcept = default; | |
182da14a | 27 | |
95f2fd9c JW |
28 | struct uninheritable final { }; |
29 | ||
182da14a JW |
30 | void test01() |
31 | { | |
118c8424 | 32 | bool test = false; |
182da14a JW |
33 | |
34 | try | |
35 | { | |
36 | std::throw_with_nested(derived()); | |
37 | } | |
38 | catch (const std::nested_exception& e) | |
39 | { | |
110a123a | 40 | VERIFY( e.nested_ptr() == 0 ); |
182da14a JW |
41 | try |
42 | { | |
43 | throw; | |
44 | } | |
45 | catch (const derived&) | |
46 | { | |
47 | test = true; | |
48 | } | |
49 | } | |
50 | VERIFY( test ); | |
51 | } | |
52 | ||
53 | void test02() | |
54 | { | |
118c8424 | 55 | bool test = false; |
182da14a JW |
56 | |
57 | try | |
58 | { | |
59 | std::throw_with_nested(not_derived()); | |
60 | } | |
61 | catch (const std::nested_exception& e) | |
62 | { | |
110a123a | 63 | VERIFY( e.nested_ptr() == 0 ); |
182da14a JW |
64 | try |
65 | { | |
66 | throw; | |
67 | } | |
68 | catch (const not_derived&) | |
69 | { | |
70 | test = true; | |
71 | } | |
72 | } | |
73 | VERIFY( test ); | |
74 | } | |
75 | ||
95f2fd9c JW |
76 | void test03() |
77 | { | |
118c8424 | 78 | bool test = false; |
95f2fd9c JW |
79 | |
80 | try | |
81 | { | |
82 | std::throw_with_nested(uninheritable()); | |
83 | } | |
84 | catch (const std::nested_exception&) | |
85 | { | |
86 | VERIFY( false ); | |
87 | } | |
88 | catch(const uninheritable&) | |
89 | { | |
90 | test = true; | |
91 | } | |
92 | VERIFY( test ); | |
93 | } | |
94 | ||
182da14a JW |
95 | int main() |
96 | { | |
97 | test01(); | |
98 | test02(); | |
95f2fd9c | 99 | test03(); |
182da14a JW |
100 | return 0; |
101 | } |