http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46194
--- Comment #8 from Sebastian Pop <spop at gcc dot gnu.org> 2011-02-03 18:20:56 UTC --- The problem seems to be in analyze_miv_subscript where I see this note: /* FIXME: This is a MIV subscript, not yet handled. Example: (A[{1, +, 1}_1] vs. A[{1, +, 1}_2]) that comes from (A[i] vs. A[j]). In the SIV test we had to solve a Diophantine equation with two variables. In the MIV case we have to solve a Diophantine equation with 2*n variables (if the subscript uses n IVs). */