https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104187
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Confirmed. For C++ an attribute on the call stmt might work even better. Note we're low on bits to represent this on the GENERIC CALL_EXPR and the GIMPLE gcall.