[Bug middle-end/47673] Redundant NULL check

rguenth at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Feb 10 02:14:00 GMT 2011


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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-10 00:22:05 UTC ---
(In reply to comment #1)
>   if (p2->p1 + -1 <= -3B)
> 
> We should disable the optimization which converts 
> p2->p1 != 0 && p2->p1 != (struct s1 *) -1 into p2->p1 + -1 <= -3B for pointer
> types.

No, VRP should simply work on pointers more properly.



More information about the Gcc-bugs mailing list