http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
--- Comment #21 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-21 14:12:18 UTC --- (In reply to comment #20) > There would be if we had ADD_RESTRICT or something similar. I think that would not help as we'd likely propagate constants through it. But yes, it would be one step closer to preserving it.