> 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? Look for "signed integer overflow" here. http://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html