https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109950
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |INVALID Status|UNCONFIRMED |RESOLVED --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- a negative 'next' is fine, data[next] is just *(data + next) so we cannot elide the sign-extension either.