https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88700
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |msebor at gcc dot gnu.org --- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> --- A similar sentiment is also shared within WG14. See item 12 in section 6.1 of the last meeting minutes for the two options under consideration (remove or fix): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2307.pdf. Since there is no proposal for fixing the problems it's unclear how it might impact the APIs. Until that's resolved, implementing support for the current API would be risky. In the meantime, the C++ proposal for contracts has gained strong support and might provide a superior alternative.