https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> --- So the key would be to make the object live again after a CLOBBER when such address SSA name is used (but before any other explicit mention appears)? The current algorithm relies on explitic mentions appearing, one original idea was to turn those explicit mentions (or BLOCK starts) into start-of-live CLOBBERs, but even that was shown to be not enough. But yes, if we want to try to mitigate the problems somewhat without doing a full solution then possibly even just looking at SSA defs when POINTER_TYPE and the def is an ADDR_EXPR might work (in the visit_* callbacks of the walk_stmt_load_store_addr_ops), no propagation needed at all (basically just undo CSE virtually here for the simple cases).