https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104187
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > Confirmed. For C++ an attribute on the call stmt might work even better. I think even C, it might be better too. [[]] syntax is there for GNU C now too. But those only apply to the full statement and not just a subset of one ...