https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117265
--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Plus your example is only for copy_{to,from}_user which itself is an
exceptional part of the kernel and should be done in an exceptional way in the
first place.
Do you have other examples that is not from copy_{to,from}_user?
