[Bug c++/78655] gcc doesn't exploit the fact that the result of pointer addition can not be nullptr

[sjames at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #19 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to Andrew Macleod from comment #18)
> FWIW, that would be my take...  NULL + anything would be UB.  Assuming of
> course 0 is not an addressable value.

N3322 clarifies this (NULL + 0 becomes well-defined, NULL + 1 is UB).