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];
  }

Reply via email to