4 ms·

It does change the semantics if n is negative or large enough to cause an overflow. The challenge for the compiler is to somehow prove that neither of those thi

It does change the semantics if n is negative or large enough to cause an overflow. The challenge for the compiler is to somehow prove that neither of those things can happen.

kryptiskt 2y ago
It doesn't have to prove absence of overflow since that is undefined behavior in C and thus modern compilers assume it can never happen.
- hathawsh 2y ago
  Great point.