diff options
author | Richard Smith <richard-llvm@metafoo.co.uk> | 2016-11-02 23:41:51 +0000 |
---|---|---|
committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2016-11-02 23:41:51 +0000 |
commit | c320e4c36c06bc0019fc06eaf00eb064727cfcc0 (patch) | |
tree | 0e19e37ba3da6ba3ca9006cf02789390097d3199 /test/catch_member_function_pointer_02.pass.cpp | |
parent | 8b9be6632eaacf36aa6f2f974d46a470403fcf68 (diff) |
[p0012] Implement ABI support for throwing a noexcept function pointer and
catching as non-noexcept
This implements the following proposal from cxx-abi-dev:
http://sourcerytools.com/pipermail/cxx-abi-dev/2016-October/002988.html
... which is necessary for complete support of http://wg21.link/p0012,
specifically throwing noexcept function and member function pointers and
catching them as non-noexcept pointers.
Differential Review: https://reviews.llvm.org/D26178
git-svn-id: https://llvm.org/svn/llvm-project/libcxxabi/trunk@285867 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/catch_member_function_pointer_02.pass.cpp')
-rw-r--r-- | test/catch_member_function_pointer_02.pass.cpp | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/test/catch_member_function_pointer_02.pass.cpp b/test/catch_member_function_pointer_02.pass.cpp new file mode 100644 index 0000000..860d8ed --- /dev/null +++ b/test/catch_member_function_pointer_02.pass.cpp @@ -0,0 +1,68 @@ +//===--------------- catch_member_function_pointer_02.cpp -----------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// Can a noexcept member function pointer be caught by a non-noexcept catch +// clause? +// UNSUPPORTED: c++98, c++03, c++11, c++14 +// UNSUPPORTED: libcxxabi-no-exceptions, libcxxabi-no-qualified-function-types + +#include <cassert> + +struct X { + template<bool Noexcept> void f() noexcept(Noexcept) {} +}; +template<bool Noexcept> using FnType = void (X::*)() noexcept(Noexcept); + +template<bool ThrowNoexcept, bool CatchNoexcept> +void check() +{ + try + { + auto p = &X::f<ThrowNoexcept>; + throw p; + assert(false); + } + catch (FnType<CatchNoexcept> p) + { + assert(ThrowNoexcept || !CatchNoexcept); + assert(p == &X::f<ThrowNoexcept>); + } + catch (...) + { + assert(!ThrowNoexcept && CatchNoexcept); + } +} + +void check_deep() { + FnType<true> p = &X::f<true>; + try + { + throw &p; + } + catch (FnType<false> *q) + { + assert(false); + } + catch (FnType<true> *q) + { + } + catch (...) + { + assert(false); + } +} + +int main() +{ + check<false, false>(); + check<false, true>(); + check<true, false>(); + check<true, true>(); + check_deep(); +} |