[Bug c++/115434] Post contracts are ignored on functions with no return statement.

[iains at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115434

--- Comment #1 from Iain Sandoe <iains at gcc dot gnu.org> ---
note that the example uses the new syntax, but the issue applies equally to the
attribute syntax in trunk.