[Bug c/22485] pointer +- integer is never NULL

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2005-07-14 13:45 -------
(In reply to comment #4)
> Hmmmm.
> I swear we just had this discussion for VRP purposes, and that a bug was
> recently fixed so that we don't assume that pointer + - integer is NULL. 

Well, I checked C99 and C++, and they explain a few cases, never mentioning
null pointers, and then say everything else is undefined. Maybe this was
different in C89? Seems unlikely, though...


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22485