https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111799
--- Comment #6 from Jeffrey A. Law <law at gcc dot gnu.org> --- I'd hazard a guess we need to first eliminate the ad = &c assignment. That should in turn allow us to realize ad is unchanging.
law at gcc dot gnu.org via Gcc-bugs Fri, 08 Mar 2024 21:43:23 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111799
--- Comment #6 from Jeffrey A. Law <law at gcc dot gnu.org> --- I'd hazard a guess we need to first eliminate the ad = &c assignment. That should in turn allow us to realize ad is unchanging.