https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124088
Iain Sandoe <iains at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |iains at gcc dot gnu.org
--- Comment #1 from Iain Sandoe <iains at gcc dot gnu.org> ---
my understanding is that the issue is not about _runtime_ changes in the
semantic, but that different parts of a project can be built with different
semantics (in general, the standard permits the semantic to be different for
every evaluation of a condition).
Therefore, when building a TU which has visibility of the body of an inline
function it is not correct to make any assumptions about whether that
terminates from the application of the contract condition (unless the function
is completely inlined at the call site).
There could be some refinements possible in the wrapper (e.g. applying it more
selectively).
