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

#include <iostream>

void f() {
  goto l1; // Ill-formed
  goto l2; // Ill-formed
  try {
    goto l1; // OK
    goto l2; // Ill-formed
l1:
    ;
  } catch (...) {
l2:
    ;
    goto l1; // Ill-formed
    goto l2; // OK
  }
}

lab:
try {
  T1 t1;
  try {
    T2 t2;
    if (condition )
      goto lab;
  } catch(...) { /* handler 2 */ }
} catch(...) { /* handler 1 */ }

int f(int);
class C {
  int i;
  double d;
public:
  C(int, double);
};
C::C(int ii, double id)
try :
  i(f(ii)), d(id) {
// constructor statements
}
catch (...) {
// handles exceptions thrown from the ctor-initializer
// and from the constructor statements
}

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

$ ./cppgl17.sh p427
$ clang++ p427.cpp -std=c++17 
p427.cpp:17:1: error: cannot jump from this goto statement to its label
goto l1; // Ill-formed
^
p427.cpp:11:1: note: jump bypasses initialization of try block
try {
^
p427.cpp:13:1: error: cannot jump from this goto statement to its label
goto l2; // Ill-formed
^
p427.cpp:15:3: note: jump bypasses initialization of catch block
} catch (...) {
  ^
p427.cpp:10:1: error: cannot jump from this goto statement to its label
goto l2; // Ill-formed
^
p427.cpp:15:3: note: jump bypasses initialization of catch block
} catch (...) {
  ^
p427.cpp:9:1: error: cannot jump from this goto statement to its label
goto l1; // Ill-formed
^
p427.cpp:11:1: note: jump bypasses initialization of try block
try {
^
p427.cpp:22:1: error: unknown type name 'lab'
lab: try {
^
p427.cpp:22:4: error: expected unqualified-id
lab: try {
   ^
p427.cpp:29:3: error: expected unqualified-id
} catch(...) { /* handler 1 */ }
  ^
7 errors generated.

$ g++-7 p427.cpp -std=c++17 
p427.cpp: In function 'void f()':
p427.cpp:14:1: error: jump to label 'l1'
 l1: ;
 ^~
p427.cpp:9:6: note:   from here
 goto l1; // Ill-formed
      ^~
p427.cpp:14:1: note:   enters try block
 l1: ;
 ^~
p427.cpp:16:1: error: jump to label 'l2'
 l2: ;
 ^~
p427.cpp:10:6: note:   from here
 goto l2; // Ill-formed
      ^~
p427.cpp:16:1: note:   enters catch block
 l2: ;
 ^~
p427.cpp:14:1: error: jump to label 'l1'
 l1: ;
 ^~
p427.cpp:17:6: note:   from here
 goto l1; // Ill-formed
      ^~
p427.cpp:17:6: note:   enters try block
p427.cpp: At global scope:
p427.cpp:22:1: error: 'lab' does not name a type; did you mean 'labs'?
 lab: try {
 ^~~
 labs
p427.cpp:29:3: error: expected unqualified-id before 'catch'
 } catch(...) { /* handler 1 */ }
   ^~~~~

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