https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124088
--- Comment #3 from Iain Sandoe <iains at gcc dot gnu.org> --- (In reply to Matthias Kretz (Vir) from comment #2) > (see also EWG channel on WG21 Mattermost) > That sayd, I agree, that if you want to support (ODR-violating) inline > functions with preconditions that use different checking semantics in > different TUs, then yes, disabling IPA seems to be necessary here. But > that's not a fault of IPA, that's a specific feature of contracts. I will leave it to the paper authors to reply formally (we can transfer the conclusion here, since the Mattermost information is not generally accessible). However, my understanding is that it is specified _not_ to be an ODR violation in this case.
