[Bug tree-optimization/27039] [4.1/4.2 Regression] Unable to determine # of iterations for a simple loop

[rakdver at atrey dot karlin dot mff dot cuni dot cz]

------- Comment #6 from rakdver at atrey dot karlin dot mff dot cuni dot cz  2006-04-05 10:39 -------
Subject: Re:  [4.1/4.2 Regression] Unable to determine # of iterations for a
simple loop

> would be much better here.  The question is of course, if the programmer
> is allowed to write
> 
>  x + (size_t)-1
> 
> and expect the result to be defined.

if I understand the C standard correctly, no, this has undefined behavior.


-- 


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