On 05/02/2012 10:26 AM, Jonathan M Davis wrote: > All of that might hold if the compiler could actually make optimizations based > on the knowledge that an integer wouldn't overflow. But what optimizations > could it make? > x+1 > x ==> true