https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78176
--- Comment #3 from James Cowgill <james410 at cowgill dot org.uk> --- As far as I can tell, all the pointers in the original C code are valid and do not wrap. Some of the registers wrap, but they're not pointers (until added with other registers).
