[Bug c++/124088] [contracts] -fcontracts-conservative-ipa is unnecessary and wrong as long as no mechanism for runtime-configurable evaluation semantics is implemented

[mkretz at gcc dot gnu.org]

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

--- Comment #9 from Matthias Kretz (Vir) <mkretz at gcc dot gnu.org> ---
> if we cannot interoperate with clang

I don't see how this would break anything.

> I think you are proposing that a mismatch would not link.

No. My goal is that there's no mismatch anymore.

Mock-up: https://compiler-explorer.com/z/jMvP8YcGx

Note that I want more IPA optimziations from contracts. :-D