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

Reply via email to