------- Comment #15 from jakub at gcc dot gnu dot org 2008-10-02 09:05 ------- Given that the cy vector is supposed to have 3 parts, the first for ivs, the second for (optional) parameters and the last entry for constant column, and av_for_af_base adds stuff to constant column and to the parameters, I'd expect av_for_af means to write the ivs entries only, so the gcc_assert probably should even assert that var < AM_NB_INDUCTION_VARS (am). access_fun is {0B, +, 4}_9 and AM_LOOP_NEST_NUM (am) == 1, which is far more than the 2 ivs we have allocated space for.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37686