mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 19:45:40 -04:00
82da19ddb3
We continue to support dynamic exception specifications in C++1z as an extension, but produce an error-by-default warning when we encounter one. This allows users to opt back into the feature with a warning flag, and implicitly opts system headers back into the feature should they happen to use it. There is one semantic change implied by P0003R5 but not implemented here: violating a throw() exception specification should now call std::terminate directly instead of calling std::unexpected(), but since P0003R5 also removes std::unexpected() and std::set_unexpected, and the default unexpected handler calls std::terminate(), a conforming C++1z program cannot tell that we are still calling it. The upside of this strategy is perfect backwards compatibility; the downside is that we don't get the more efficient 'noexcept' codegen for 'throw()'. llvm-svn: 289019
50 lines
2.4 KiB
C++
50 lines
2.4 KiB
C++
// RUN: %clang_cc1 -std=c++11 -emit-llvm %s -o - -triple=x86_64-apple-darwin9 -Wno-dynamic-exception-spec | FileCheck %s --check-prefix CHECK --check-prefix CHECK-CXX11
|
|
// RUN: %clang_cc1 -std=c++1z -emit-llvm %s -o - -triple=x86_64-apple-darwin9 -Wno-dynamic-exception-spec | FileCheck %s --check-prefix CHECK --check-prefix CHECK-CXX17
|
|
|
|
// CHECK: define {{.*}} @_Z1aPFivE(
|
|
void a(int() throw(int, float)) {}
|
|
// CHECK-CXX11: define {{.*}} @_Z1bPFivE(
|
|
// CHECK-CXX17: define {{.*}} @_Z1bPDoFivE(
|
|
void b(int() noexcept) {}
|
|
// CHECK-CXX11: define {{.*}} @_Z1cPFivE(
|
|
// CHECK-CXX17: define {{.*}} @_Z1cPDoFivE(
|
|
void c(int() throw()) {}
|
|
// CHECK: define {{.*}} @_Z1dPFivE(
|
|
void d(int() noexcept(false)) {}
|
|
// CHECK-CXX11: define {{.*}} @_Z1ePFivE(
|
|
// CHECK-CXX17: define {{.*}} @_Z1ePDoFivE(
|
|
void e(int() noexcept(true)) {}
|
|
|
|
template<bool B> void f(int() noexcept(B)) {}
|
|
// CHECK: define {{.*}} @_Z1fILb0EEvPDOT_EFivE(
|
|
template void f<false>(int());
|
|
// CHECK: define {{.*}} @_Z1fILb1EEvPDOT_EFivE(
|
|
template void f<true>(int() noexcept);
|
|
|
|
template<typename...T> void g(int() throw(T...)) {}
|
|
// CHECK: define {{.*}} @_Z1gIJEEvPDwDpT_EFivE(
|
|
template void g<>(int() noexcept);
|
|
// CHECK: define {{.*}} @_Z1gIJfEEvPDwDpT_EFivE(
|
|
template void g<float>(int());
|
|
|
|
// We consider the exception specifications in parameter and return type here
|
|
// to be different.
|
|
template<typename...T> auto h(int() throw(int, T...)) -> int (*)() throw(T..., int) { return nullptr; }
|
|
// CHECK: define {{.*}} @_Z1hIJEEPDwDpT_iEFivEPDwiS1_EFivE(
|
|
template auto h<>(int()) -> int (*)();
|
|
// CHECK: define {{.*}} @_Z1hIJfEEPDwDpT_iEFivEPDwiS1_EFivE(
|
|
template auto h<float>(int()) -> int (*)();
|
|
|
|
// FIXME: The C++11 manglings here are wrong; they should be the same as the
|
|
// C++17 manglings.
|
|
// The mangler mishandles substitutions for instantiation-dependent types that
|
|
// differ only in type sugar that is not relevant for mangling. (In this case,
|
|
// the types differ in presence/absence of ParenType nodes under the pointer.)
|
|
template<typename...T> auto i(int() throw(int, T...)) -> int (*)() throw(int, T...) { return nullptr; }
|
|
// CHECK-CXX11: define {{.*}} @_Z1iIJEEPDwiDpT_EFivEPS2_(
|
|
// CHECK-CXX17: define {{.*}} @_Z1iIJEEPDwiDpT_EFivES3_(
|
|
template auto i<>(int()) -> int (*)();
|
|
// CHECK-CXX11: define {{.*}} @_Z1iIJfEEPDwiDpT_EFivEPS2_(
|
|
// CHECK-CXX17: define {{.*}} @_Z1iIJfEEPDwiDpT_EFivES3_(
|
|
template auto i<float>(int()) -> int (*)();
|