test/CXX/expr/p13.cpp

   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
  13 void f(A a, B b, C c, D d, E e, F f, bool k) {
  14   a = k ? a : b; // expected-error {{different exception specifications}}
  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);
  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 }