1 // RUN: %clang_cc1 -std=c++1z -verify %s -fexceptions -fcxx-exceptions -Wno-dynamic-exception-spec
2
3 struct X {};
4 struct Y : X {};
5
6 using A = void (*)() noexcept;
7 using B = void (*)();
8 using C = void (X::*)() noexcept;
9 using D = void (X::*)();
10 using E = void (Y::*)() noexcept;
11 using F = void (Y::*)();
12
f(A a,B b,C c,D d,E e,F f,bool k)13 void f(A a, B b, C c, D d, E e, F f, bool k) {
14 a = k ? a : b; // expected-error {{incompatible function pointer types assigning to 'A' (aka 'void (*)() noexcept') from 'void (*)()'}}
15 b = k ? a : b;
16
17 c = k ? c : d; // expected-error {{different exception specifications}}
18 d = k ? c : d;
19
20 e = k ? c : f; // expected-error {{different exception specifications}}
21 e = k ? d : e; // expected-error {{different exception specifications}}
22 f = k ? c : f;
23 f = k ? d : e;
24
25 const A ak = a;
26 const B bk = b;
27 const A &ak2 = k ? ak : ak;
28 const A &ak3 = k ? ak : bk; // expected-error {{could not bind}}
29 const B &bk3 = k ? ak : bk;
30 }
31
32 namespace dynamic_exception_spec {
33 // Prior to P0012, we had:
34 // "[...] the target entity shall allow at least the exceptions allowed
35 // by the source value in the assignment or initialization"
36 //
37 // There's really only one way we can coherently apply this to conditional
38 // expressions: this must hold no matter which branch was taken.
39 using X = void (*)() throw(int);
40 using Y = void (*)() throw(float);
41 using Z = void (*)() throw(int, float);
g(X x,Y y,Z z,bool k)42 void g(X x, Y y, Z z, bool k) {
43 x = k ? X() : Y(); // expected-warning {{not superset}}
44 y = k ? X() : Y(); // expected-warning {{not superset}}
45 z = k ? X() : Y();
46
47 x = k ? x : y; // expected-warning {{not superset}}
48 y = k ? x : y; // expected-warning {{not superset}}
49 z = k ? x : y;
50 }
51 }
52