[boost] The noexcept Specifier & Block

Subject: [boost] The noexcept Specifier & Block
From: Alexander Terekhov (terekhov_at_[hidden])
Date: 2009-04-16 15:28:38

http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2009/n2855.html#noexcept

I gather that 

  noexcept void f() {
    throw 0;
  }

is supposed to be ill-formed versus well-formed

  noexcept void f() {
    noexcept { throw 0; }
  }

invoking undefined behaviour.

Well, this is not helpful. 

Both forms shall be well-formed with defined behaviour: invocation of
unexpected() at throw point.

regards,
alexander.