http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
--- Comment #22 from Jan Hubicka <hubicka at ucw dot cz> 2012-12-21 14:22:28 UTC --- > There would be if we had ADD_RESTRICT or something similar. But we don't > right > now, so supposedly it would be better to avoid such IPA-CP changes if it > removes restrict for now. We would also have to disable inlining of functions with restrict parameters (in mgrid case now both ipa-cp and inliner makes the regressions). I am not quite sure it is desirable behaviour. Honza