[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