https://gcc.gnu.org/bugzilla/show_bug.cgi?id=8960
--- Comment #14 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I am not 100% sure if this is actually valid. The question becomes does the attribute in this case applies to the return type or the type of the function? The manual is not clear here either.