https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77745
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Mine. I believe the testcase is valid. If c1 == c2 you can use p1 to access the object at p3 as p1 == p3. Both FRE and DSE remove the store but FRE removes the wrong one. I thought I had fixed this one... (DOM contains similar code but it doesn't remove either).