------- Comment #7 from pinskia at gcc dot gnu dot org 2008-08-10 20:34 -------
Oh I see it now:
/* If the comparison is being folded and the operand on the LHS
is being compared against a constant value that is outside of
the natural range of OP0's type, then the predicate will
always fold regardless of the value of OP0. If -Wtype-limits
was specified, emit a warning. */
So the trick should be is set TREE_NO_WARNING on the comparison in the
front-end and then have VRP check that (if it is possible to do so now after
the tuples merge :( ).
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dnovillo at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37038
