------- Additional Comments From sebastian dot pop at cri dot ensmp dot fr 2005-07-27 09:04 ------- Subject: Re: [4.1 Regression] wrong code for casts and scev
dberlin at dberlin dot org wrote: > > I don't think it is possible to properly convert these ivs without > > knowing an approximation of the number of iterations. > > I disagree. > Okay, we could (and should) use other informations than the number of iterations for proving non-wrappingness ;-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22236