https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54481
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED Target Milestone|--- |7.0 --- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- fre is able to handle this since GCC 7: Setting value number of _1 to foo (changed) Value numbering .MEM_7 stmt = _8 = _1 (&a); Setting value number of .MEM_7 to .MEM_5 (changed) Setting value number of _8 to _8 (changed) Specifically r7-3276-g113d06a486475c which has a testcase which is very similar to this. So closing as fixed for GCC 7.