https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82449
--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> --- This part is not affine: {0, +, {1, +, 1}_1}_1 This is a polynomial of degree 2. Are you sure the scev analysis reports this as affine? I was trying to understand from the fortran code which part this scev comes from... and I think it comes from the NKL counter that gets incremented in the inner loop, counting the number of iterations of both loops, so it has a quadratic evolution.