https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116236
--- Comment #8 from Jeffrey A. Law <law at gcc dot gnu.org> --- If you have a case where a pseudo register is normally valid, but a MEM would not be valid. Then you reject that case when strict is on and the pseudo did not get a hard register.