blob: 567ed579eb7b97e380627c03471f3636761fc1ca [file] [log] [blame]
Howard Hinnanted2c2912010-05-27 17:06:52 +00001//===----------------------------------------------------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Howard Hinnantb64f8b02010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnanted2c2912010-05-27 17:06:52 +00007//
8//===----------------------------------------------------------------------===//
9
10// <exception>
11
12// class nested_exception;
13
14// template <class E> void rethrow_if_nested(const E& e);
15
16#include <exception>
17#include <cstdlib>
18#include <cassert>
19
20class A
21{
22 int data_;
23public:
24 explicit A(int data) : data_(data) {}
Sean Hunt2d81f3d2011-07-18 17:07:53 +000025 virtual ~A() _NOEXCEPT {}
Howard Hinnanted2c2912010-05-27 17:06:52 +000026
27 friend bool operator==(const A& x, const A& y) {return x.data_ == y.data_;}
28};
29
30class B
Howard Hinnant6bb9f582010-05-28 13:35:41 +000031 : public std::nested_exception,
32 public A
Howard Hinnanted2c2912010-05-27 17:06:52 +000033{
Howard Hinnanted2c2912010-05-27 17:06:52 +000034public:
Howard Hinnant6bb9f582010-05-28 13:35:41 +000035 explicit B(int data) : A(data) {}
36 B(const B& b) : A(b) {}
Howard Hinnanted2c2912010-05-27 17:06:52 +000037};
38
39int main()
40{
41 {
42 try
43 {
44 A a(3);
45 std::rethrow_if_nested(a);
46 assert(true);
47 }
48 catch (...)
49 {
50 assert(false);
51 }
52 }
53 {
54 try
55 {
56 throw B(5);
57 }
Howard Hinnant6bb9f582010-05-28 13:35:41 +000058 catch (const B& b)
Howard Hinnanted2c2912010-05-27 17:06:52 +000059 {
60 try
61 {
Howard Hinnant6bb9f582010-05-28 13:35:41 +000062 throw b;
Howard Hinnanted2c2912010-05-27 17:06:52 +000063 }
Howard Hinnant6bb9f582010-05-28 13:35:41 +000064 catch (const A& a)
Howard Hinnanted2c2912010-05-27 17:06:52 +000065 {
Howard Hinnant6bb9f582010-05-28 13:35:41 +000066 try
67 {
68 std::rethrow_if_nested(a);
69 assert(false);
70 }
71 catch (const B& b)
72 {
73 assert(b == B(5));
74 }
Howard Hinnanted2c2912010-05-27 17:06:52 +000075 }
76 }
77 }
Howard Hinnant6bb9f582010-05-28 13:35:41 +000078 {
79 try
80 {
Dan Albert1d4a1ed2016-05-25 22:36:09 -070081 std::rethrow_if_nested(1);
Howard Hinnant6bb9f582010-05-28 13:35:41 +000082 assert(true);
83 }
84 catch (...)
85 {
86 assert(false);
87 }
88 }
Howard Hinnanted2c2912010-05-27 17:06:52 +000089}