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

--- Comment #7 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to Alejandro Colomar from comment #6)
> (In reply to Sam James from comment #3)
> > The boundary doesn't exist if it's being inlined.
> 
> [[gnu::noipa]] is stronger and prevents any inlining (it's basically telling
> the compiler to ignore 'inline').  So, [[gnu::noipa]] enforces the boundary,
> even if I'm using the inline keyword.

Then it's not inline. My point is that your original intention is invalid, it
doesn't make any sense.

Now, should we diagnose noipa+inline explicitly? Yes. But your original usecase
doesn't make sense at all.

Reply via email to