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