https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95649
--- Comment #8 from Jeffrey A. Law <law at redhat dot com> --- I still don't understand why propagating one SSA_NAME for another is causing headaches later though. I don't see anything fundamentally wrong with your patch and it restores previous behavior since singleton_p would only be true for a constant, so consider it pre-approved.