Hi Basile, > On 28 Jun 2024, at 11:11, Basile Starynkevitch <bas...@starynkevitch.net> > wrote:
> Iain Sandoe wrote: > >> If I declare a function __attribute__((noipa, optimize (“-O0”))), I was >> kinda expecting that it would not be optimized at all .. >> >> however it does not seem to prevent functions called by it from being >> inlined into its body .. > I would suggest coding your GCC plugin to add such a behavior. > > (I think that your plugin should be open source) The work is not a plugin - it is modifications to the core compiler to support changes to contract semantics - so, of course, is already open source ;-) Iain]