https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62035
--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> --- [warning for this code] >From the little I understand, a pass like PRE might be a possibility. The main prerequisite would be to include clobbers in value numbering. That would probably make us miss a few optimizations that would need to be implemented differently. Well, I clearly don't know what I am talking about so I'll leave this for now.