> This allows for more aggressive optimizations by the compiler. And also more useful warnings from static analysis, since if the analysis can prove that the v

> This allows for more aggressive optimizations by the compiler. And also more useful warnings from static analysis, since if the analysis can prove that the value will overflow this is guaranteed to be an error.