This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fix double_int overflow in VRP PLUS_EXPR
On Wed, Aug 22, 2012 at 02:19:19PM +0200, Richard Guenther wrote:
> > 2012-08-21 Marc Glisse <marc.glisse@inria.fr>
> >
> > PR tree-optimization/54317
> >
> > gcc/
> > * tree-vrp.c (extract_range_from_binary_expr_1): Test for
> > double_int overflow.
> > Remove dead tests.
> >
> > gcc/testsuite/
> > * gcc.dg/tree-ssa/vrp79.c: New testcase.
> >
> > --
> > + n <<= (8 * sizeof (NT) - 1);
Better use __CHAR_BIT__ instead of 8 here...
Jakub