https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67999
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #17 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Richard Biener from comment #16) > GCC assumes objects will not wrap around zero only (well, it assumes objects > cannot live at address zero but it also assumes that the > pointer-to-one-element-after isn't zero or wraps around zero). Well, we still have a bug mentioned in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63303#c3 for pointer subtraction, though perhaps it is hard to construct a testcase where it would make a difference except for the sanitizers.