[Bug tree-optimization/31169] Bootstrap comparison error at revision 122821

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #20 from dave at hiauly1 dot hia dot nrc dot ca  2007-03-17 13:44 -------
Subject: Re:  Bootstrap comparison error at revision 122821

> int foo (unsigned int i)
> {
>   int j = 12048173;
>   if (i < 32)
>     {
>       j = j >> i;
>       if (j > 0)
>         return 0;
>     }
>   return 1;
> }
> 
> correctly have a value range of [0, 12048173] for j_5?  (look at 055t.vrp1
> dump)

With the third hunk removed, I see
j_5: VARYING

I'll recheck with the third hunk.

Dave


-- 


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