https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104187
--- Comment #3 from hubicka at kam dot mff.cuni.cz --- > > 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 ... I agree it is quite desirable thing to have Implementaiton on the inliner side is quite easy: all we need to do is to detect the attribute and put it into the inline summary and then handle it same way as always_inline. However what is the way to add the attribute to front-ends and get it attached to the gimple call statement?