blob: e69390558142b27bb7850e1508fbc5525a1ffb9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
// { dg-do run { target c++11 } }
// Copyright (C) 2009-2019 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
#include <exception>
#include <testsuite_hooks.h>
struct derived : std::nested_exception { };
struct base { virtual ~base() noexcept; };
inline base::~base() noexcept = default;
struct derived2 : base, std::nested_exception { };
void test01()
{
bool test = false;
try
{
throw 42;
}
catch (...)
{
derived d;
try
{
std::rethrow_if_nested(d);
}
catch (const int& i)
{
test = true;
VERIFY( i == 42 );
}
}
VERIFY( test );
}
void test02()
{
bool test = false;
try
{
throw base();
}
catch (const base& b)
{
std::rethrow_if_nested(b);
test = true;
}
VERIFY( test );
}
void test03()
{
bool test = false;
try
{
throw 42;
}
catch (...)
{
try
{
throw derived2();
}
catch (const base& b)
{
try
{
std::rethrow_if_nested(b);
}
catch (const int& i)
{
VERIFY( i == 42 );
test = true;
}
}
}
VERIFY( test );
}
void
test04()
{
// LWG 2484 requires that these cases are well-formed, but don't rethrow.
std::rethrow_if_nested(1);
struct S { } nonpolymorphic;
std::rethrow_if_nested(nonpolymorphic);
struct derived3 : derived, derived2 { };
derived3 ambiguous_base;
std::rethrow_if_nested(ambiguous_base);
struct derived4 : private std::nested_exception { };
derived4 private_base;
std::rethrow_if_nested(private_base);
}
int main()
{
test01();
test02();
test03();
test04();
return 0;
}
|