http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
--- Comment #7 from Jan Hubicka <hubicka at gcc dot gnu.org> 2012-11-16 13:19:51 UTC --- The C testcase is simiar - in the mgrid case we are probably able to derrive useful loop bounds now and the dependency analysis could use them (but doesn't). I will try to look into that (though I am not really familiar with dependency code). In the mgrid case those are however two different subarrays of one aggregate. They can not overlap regardless the indexes, but we throw athat info away.