[Bug middle-end/81801] [PATCH] Difference of two pointers generates signed overflow

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81801

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org
          Component|target                      |middle-end

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Jakub ended up running into this as well with pointer sanitizing I think.  And
Marc prototyped POINTER_MINUS_EXPR -- I hope we can leaverage that for GCC 8.