https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113202
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #11) > s + OFFSET has undefined behaviour. ... and iterating from s to <invalid pointer value> has undefined behaviour too, as explained above. Nothing the program does is valid.