| //===----------------------------------------------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| // UNSUPPORTED: libcpp-no-exceptions |
| |
| // This test fails due to a stack overflow |
| // XFAIL: LIBCXX-WINDOWS-FIXME |
| |
| // <exception> |
| |
| // class nested_exception; |
| |
| // template <class E> void rethrow_if_nested(const E& e); |
| |
| #include <exception> |
| #include <cstdlib> |
| #include <cassert> |
| |
| #include "test_macros.h" |
| |
| class A |
| { |
| int data_; |
| public: |
| explicit A(int data) : data_(data) {} |
| virtual ~A() TEST_NOEXCEPT {} |
| |
| friend bool operator==(const A& x, const A& y) {return x.data_ == y.data_;} |
| }; |
| |
| class B |
| : public std::nested_exception, |
| public A |
| { |
| public: |
| explicit B(int data) : A(data) {} |
| B(const B& b) : A(b) {} |
| }; |
| |
| class C |
| { |
| public: |
| virtual ~C() {} |
| C * operator&() const { assert(false); return nullptr; } // should not be called |
| }; |
| |
| class D : private std::nested_exception {}; |
| |
| |
| class E1 : public std::nested_exception {}; |
| class E2 : public std::nested_exception {}; |
| class E : public E1, public E2 {}; |
| |
| int main(int, char**) |
| { |
| { |
| try |
| { |
| A a(3); // not a polymorphic type --> no effect |
| std::rethrow_if_nested(a); |
| assert(true); |
| } |
| catch (...) |
| { |
| assert(false); |
| } |
| } |
| { |
| try |
| { |
| D s; // inaccessible base class --> no effect |
| std::rethrow_if_nested(s); |
| assert(true); |
| } |
| catch (...) |
| { |
| assert(false); |
| } |
| } |
| { |
| try |
| { |
| E s; // ambiguous base class --> no effect |
| std::rethrow_if_nested(s); |
| assert(true); |
| } |
| catch (...) |
| { |
| assert(false); |
| } |
| } |
| { |
| try |
| { |
| throw B(5); |
| } |
| catch (const B& b) |
| { |
| try |
| { |
| throw b; |
| } |
| catch (const A& a) |
| { |
| try |
| { |
| std::rethrow_if_nested(a); |
| assert(false); |
| } |
| catch (const B& b2) |
| { |
| assert(b2 == B(5)); |
| } |
| } |
| } |
| } |
| { |
| try |
| { |
| std::rethrow_if_nested(C()); |
| assert(true); |
| } |
| catch (...) |
| { |
| assert(false); |
| } |
| } |
| |
| |
| return 0; |
| } |