// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(211)15.4 Exception specifications [except.spec]p433.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>

struct B {
virtual void f() throw (int, double);
virtual void g();
};
struct D: B {
void f(); // ill-formed
void g() throw (int); // OK
};

class X { };
class Y { };
class Z: public X { };
class W { };
void f() throw (X, Y) {
int n = 0;
if (n) throw X(); // OK
if (n) throw Z(); // also OK
throw W(); // will call std::unexpected()
}

extern void f() throw(X, Y);
void g() throw(X) {
f(); // OK
}

void f() throw(int);
void g();
struct A { A(); };
struct B { B() noexcept; };
struct D { D() throw (double); };
//the set of potential exceptions for some sample expressions is:
//(13.7) — for f(), the set consists of int;
//(13.8) — for g(), the set is the set of all types;
//(13.9) — for new A, the set is the set of all types;
//(13.10) — for B(), the set is empty;
//(13.11) — for new D, the set is the set of all types.

struct A {
A(int = (A(5), 0)) noexcept;
A(const A&) throw();
A(A&&) throw();
~A() throw(X);
};
struct B {
B() throw();
B(const B&) = default; // exception specification contains no types
B(B&&, int = (throw Y(), 0)) noexcept;
~B() throw(Y);
};
int n = 7;
struct D : public A, public B {
int * p = new (std::nothrow) int[n];
// exception specification of D::D() contains X
// exception specification of D::D(const D&) contains no types
// exception specification of D::D(D&&) contains Y
// exception specification of D::~D() contains X and Y
};
struct exp : std::bad_alloc {};
void *operator new[](size_t) throw(exp);
struct E : public A {
int * p = new int[n];
// exception specification of E::E() contains X, exp, and std::bad_array_new_length
};


int main() {
  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p433
$ clang++ p433.cpp -std=c++17 
p433.cpp:9:18: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
virtual void f() throw (int, double);
                 ^~~~~~~~~~~~~~~~~~~
p433.cpp:9:18: note: use 'noexcept(false)' instead
virtual void f() throw (int, double);
                 ^~~~~~~~~~~~~~~~~~~
                 noexcept(false)
p433.cpp:13:6: error: exception specification of overriding function is more lax than base version
void f(); // ill-formed
     ^
p433.cpp:9:14: note: overridden virtual function is here
virtual void f() throw (int, double);
             ^
p433.cpp:14:10: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void g() throw (int); // OK
         ^~~~~~~~~~~
p433.cpp:14:10: note: use 'noexcept(false)' instead
void g() throw (int); // OK
         ^~~~~~~~~~~
         noexcept(false)
p433.cpp:21:10: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void f() throw (X, Y) {
         ^~~~~~~~~~~~
p433.cpp:21:10: note: use 'noexcept(false)' instead
void f() throw (X, Y) {
         ^~~~~~~~~~~~
         noexcept(false)
p433.cpp:28:18: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
extern void f2() throw(X, Y);
                 ^~~~~~~~~~~
p433.cpp:28:18: note: use 'noexcept(false)' instead
extern void f2() throw(X, Y);
                 ^~~~~~~~~~~
                 noexcept(false)
p433.cpp:29:11: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void g2() throw(X) {
          ^~~~~~~~
p433.cpp:29:11: note: use 'noexcept(false)' instead
void g2() throw(X) {
          ^~~~~~~~
          noexcept(false)
p433.cpp:33:11: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void f3() throw(int);
          ^~~~~~~~~~
p433.cpp:33:11: note: use 'noexcept(false)' instead
void f3() throw(int);
          ^~~~~~~~~~
          noexcept(false)
p433.cpp:37:18: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
struct D3 { D3() throw (double); };
                 ^~~~~~~~~~~~~~
p433.cpp:37:18: note: use 'noexcept(false)' instead
struct D3 { D3() throw (double); };
                 ^~~~~~~~~~~~~~
                 noexcept(false)
p433.cpp:49:7: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
~A4() throw(X);
      ^~~~~~~~
p433.cpp:49:7: note: use 'noexcept(false)' instead
~A4() throw(X);
      ^~~~~~~~
      noexcept(false)
p433.cpp:53:16: error: only special member functions may be defaulted
B4(const B&) = default; // exception specification contains no types
               ^
p433.cpp:55:7: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
~B4() throw(Y);
      ^~~~~~~~
p433.cpp:55:7: note: use 'noexcept(false)' instead
~B4() throw(Y);
      ^~~~~~~~
      noexcept(false)
p433.cpp:66:30: error: ISO C++17 does not allow dynamic exception specifications [-Wdynamic-exception-spec]
void *operator new[](size_t) throw(exp);
                             ^~~~~~~~~~
p433.cpp:66:30: note: use 'noexcept(false)' instead
void *operator new[](size_t) throw(exp);
                             ^~~~~~~~~~
                             noexcept(false)
p433.cpp:66:7: error: exception specification in declaration does not match previous declaration
void *operator new[](size_t) throw(exp);
      ^
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/new:189:66: note: previous declaration is here
_LIBCPP_NODISCARD_AFTER_CXX17 _LIBCPP_OVERRIDABLE_FUNC_VIS void* operator new[](std::size_t __sz) _THROW_BAD_ALLOC;
                                                                 ^
13 errors generated.

$ g++-7 p433.cpp -std=c++17 
p433.cpp:9:18: error: ISO C++1z does not allow dynamic exception specifications
 virtual void f() throw (int, double);
                  ^~~~~
p433.cpp:14:10: error: ISO C++1z does not allow dynamic exception specifications
 void g() throw (int); // OK
          ^~~~~
p433.cpp:21:10: error: ISO C++1z does not allow dynamic exception specifications
 void f() throw (X, Y) {
          ^~~~~
p433.cpp:28:18: error: ISO C++1z does not allow dynamic exception specifications
 extern void f2() throw(X, Y);
                  ^~~~~
p433.cpp:29:11: error: ISO C++1z does not allow dynamic exception specifications
 void g2() throw(X) {
           ^~~~~
p433.cpp:33:11: error: ISO C++1z does not allow dynamic exception specifications
 void f3() throw(int);
           ^~~~~
p433.cpp:37:18: error: ISO C++1z does not allow dynamic exception specifications
 struct D3 { D3() throw (double); };
                  ^~~~~
p433.cpp:49:7: error: ISO C++1z does not allow dynamic exception specifications
 ~A4() throw(X);
       ^~~~~
p433.cpp:53:16: error: 'B4::B4(const B&)' cannot be defaulted
 B4(const B&) = default; // exception specification contains no types
                ^~~~~~~
p433.cpp:55:7: error: ISO C++1z does not allow dynamic exception specifications
 ~B4() throw(Y);
       ^~~~~
p433.cpp:66:30: error: ISO C++1z does not allow dynamic exception specifications
 void *operator new[](size_t) throw(exp);
                              ^~~~~

#!/bin/bash
astyle -s2 -c < $1.cpp > $1s2.cpp
cat $1s2.cpp