[PATCH] Fix optimization regression in constant folder

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Tue Sep 18 13:17:00 GMT 2007


> That only works if you know that there is no overflow.  You will
> have a hard time arguing that we never hit the case that sizetype
> calculations do overflow.

You don't have to prove there's no overflow of sizetype, merely that it's
OK if the results are undefined if one should occur.  And that's certainly
the case.



More information about the Gcc-patches mailing list