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 .
