| //===--------------- catch_member_function_pointer_02.cpp -----------------===// |
| // 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 |
| //===----------------------------------------------------------------------===// |
| // Can a noexcept member function pointer be caught by a non-noexcept catch |
| // UNSUPPORTED: libcxxabi-no-exceptions, libcxxabi-no-noexcept-function-type |
| // GCC 7 and 8 support noexcept function types but this test still fails. |
| // This is likely a bug in their implementation. Investigation needed. |
| // XFAIL: gcc-7, gcc-8, gcc-9 |
| template<bool Noexcept> void f() noexcept(Noexcept) {} |
| template<bool Noexcept> using FnType = void (X::*)() noexcept(Noexcept); |
| template<bool ThrowNoexcept, bool CatchNoexcept> |
| auto p = &X::f<ThrowNoexcept>; |
| catch (FnType<CatchNoexcept> p) |
| assert(ThrowNoexcept || !CatchNoexcept); |
| assert(p == &X::f<ThrowNoexcept>); |
| assert(!ThrowNoexcept && CatchNoexcept); |
| FnType<true> p = &X::f<true>; |