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.