http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45586
--- Comment #89 from Richard Biener <rguenth at gcc dot gnu.org> 2012-12-13 12:06:57 UTC --- Just to repeat, the ICEs are with checking enabled only (but possibly cover up for wong-code). I believe the correct solution will involve implementing the proposal for introducing explicit restrict tags and using that in the fortran frontend (removing the restrict qualification work). See http://gcc.gnu.org/ml/gcc-patches/2011-10/msg01011.html.
