[Bug 191719] bin/expr doesn't detect some overflow errors with

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=191719

Jilles Tjoelker <[e-mail]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|Needs Triage                |Open
                 CC|                            |[e-mail]

--- Comment #2 from Jilles Tjoelker <[e-mail]> ---
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.
_______________________________________________
[e-mail] mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[e-mail]"