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

[iains at gcc dot gnu.org]

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

--- Comment #3 from Iain Sandoe <iains at gcc dot gnu.org> ---
fixed on trunk, not sure if we need to back port - but leaving open for now.