Fix missing money overflow checks for INT64_MIN / -1

Similar to what 1f7cb5c30 did for the INT types, protect against
overflow when dividing the lowest possible money value by -1.  This
cannot be represented on a two's complement machine.

Without this check, the result depends on the machine, and in the worst
case, could result in a crash.  With the fix installed, this will now
result in:

ERROR:  money out of range

Bug: #19585
Author: Andrey Rachitskiy <[email protected]>
Reported-by: Michael Malis <[email protected]>
Reviewed-by: Tristan Partin <[email protected]>
Reviewed-by: Rafia Sabih <[email protected]>
Discussion: https://postgr.es/m/19586-bb603bf5ad9934dd%40postgresql.org
Discussion: 
https://postgr.es/m/CAB8bMisnXJVXte6s3kUOpuuAY9%3D9kehG6MMX-%2BTQoFsSGan22Q%40mail.gmail.com
Backpatch-through: 14

Branch
------
REL_16_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/86f42357c281bea857dc5c048beb08413622bf3b

Modified Files
--------------
src/backend/utils/adt/cash.c        | 16 ++++++++++++++++
src/test/regress/expected/money.out |  8 ++++++++
src/test/regress/sql/money.sql      |  4 ++++
3 files changed, 28 insertions(+)

Reply via email to