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.
Integer overflow is not undefined, but implemenation defined behaviour. Martin