------- 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
