https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88954
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- For indirect calls the attributes on the function type pointed to a relevant. Unioning attributes from the actually called function (if the compiler can figure that out) can be appropriate depending on the actual attribute.