https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122473
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Doing this also works:
int len = desc->length;
[[assume (len<9)]];
for (int i = len; i >= 0; i--) {
p[i] = desc->pointer[i];
}
