https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116874
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Note the desire of PHI-prop is to expose bare decls that then can be re-written into SSA (for std::min/max). So these cases were out-of-scope and I'm not sure how useful the transform is - it would basically undo commoning of loads thru sinking. It _might_ enable SRA of the associated structures.