[Bug tree-optimization/26939] loop number of iterations analysis not working

[rakdver at kam dot mff dot cuni dot cz]

------- Comment #21 from rakdver at kam dot mff dot cuni dot cz  2009-02-18 04:11 -------
Subject: Re:  loop number of iterations analysis not working

> If the program terminates before i would wrap, then the number of
> iterations was not MAXINT.
> And since it can't wrap, it is not infinite in any case.
> 
> I agree you can't prove the number of iterations (since bar could
> exit), but the requiring the assumption i != MAXINT still seems
> useless.

What do you propose that the number of iterations analysis should
return, then? 


-- 


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