https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191719
Jilles Tjoelker <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|Needs Triage |Open CC| |[email protected] --- Comment #2 from Jilles Tjoelker <[email protected]> --- All the overflow checks except for division and modulo are fundamentally broken because they first let overflow happen and then attempt to check for it. Since signed integer overflow is undefined behaviour, this allows the compiler to optimize the overflow checks away, or worse. Also, INTMAX_MIN modulo -1 causes SIGFPE on amd64, like expr -e -- $((-0x7fffffffffffffff - 1)) % -1 Either op_rem() should not sabotage assert_div()'s check or op_rem() should return a zero-valued integer for anything modulo -1. -- You are receiving this mail because: You are the assignee for the bug. _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-bugs To unsubscribe, send any mail to "[email protected]"
