Hacker News new | ask | show | jobs
by symmetricsaurus 1292 days 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.