Comment by symmetricsaurus

3 years ago

Yes, and in particular the compiler can assume that you stay within the defined behavior. That's what's enabling the optimization in removing the i < 0 check.

0 comments