On Sun, Feb 24, 2019 at 07:41:59PM +0000, m...@netbsd.org wrote: > something like the overflow is undefined behaviour, so it cannot > happen, so the branch checking that it happened is eliminated.
*Signed* integer overflow is undefined behavior. *Unsigned* integer overflow is well defined. Joerg