On Sun, Feb 24, 2019 at 07:41:59PM +0000, maya%netbsd.org@localhost 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