https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61338
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Just the simple: ``` void foo (int *__restrict A, int n) { for (int i = n; i > 0; --i) { A[i] += 1; } } ``` Produces the double PERM here. >From PR 115819 .