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
