https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88273
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The creduced file definitely does not represent at all the original file. It is the second call to user_regset_copyin which is complaining. Without looking into the gimple dump, I think there is jump threading going on which might cause this warning.
