[Bug tree-optimization/53385] "Error: operand out of range" after changes for LSHIFT_EXPR in vrp.c

[glisse at gcc dot gnu.org]

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

Marc Glisse <glisse at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |glisse at gcc dot gnu.org

--- Comment #6 from Marc Glisse <glisse at gcc dot gnu.org> 2012-05-17 13:00:34 UTC ---
(In reply to comment #4)
> Here's the problem.  Compiled with -m64 -O2, this
> 
> int f (long val)
> {
>   int i;
> 
>   if (val < 0)
>     i = -1;
>   else
>     for (i = 0; i < 64; i++)
>       if ((val <<= 1) < 0)
>         break;
> 
>   return i;
> }

Is that just a -fwrapv issue?