Fix numeric_power() when the exponent is INT_MIN.
authorDean Rasheed <dean.a.rasheed@gmail.com>
Tue, 5 Jan 2021 11:04:41 +0000 (11:04 +0000)
committerDean Rasheed <dean.a.rasheed@gmail.com>
Tue, 5 Jan 2021 11:04:41 +0000 (11:04 +0000)
commit275b190b3ee51e811604e2836f199c080bf1ae37
tree248af9f1c9e5c7da423d6f8aa02373e68f78f6ae
parentb847ec7cd878096b22cd6c900d5d33eeaf2fa08f
Fix numeric_power() when the exponent is INT_MIN.

In power_var_int(), the computation of the number of significant
digits to use in the computation used log(Abs(exp)), which isn't safe
because Abs(exp) returns INT_MIN when exp is INT_MIN. Use fabs()
instead of Abs(), so that the exponent is cast to a double before the
absolute value is taken.

Back-patch to 9.6, where this was introduced (by 7d9a4737c2).

Discussion: https://postgr.es/m/CAEZATCVd6pMkz=BrZEgBKyqqJrt2xghr=fNc8+Z=5xC6cgWrWA@mail.gmail.com
src/backend/utils/adt/numeric.c
src/test/regress/expected/numeric.out
src/test/regress/sql/numeric.sql