diff options
| author | Dean Rasheed <dean.a.rasheed@gmail.com> | 2023-11-09 09:50:23 +0000 |
|---|---|---|
| committer | Dean Rasheed <dean.a.rasheed@gmail.com> | 2023-11-09 09:50:23 +0000 |
| commit | 0e3e8fbd3a8b1660b02a5bb032dc1f50e1d66b19 (patch) | |
| tree | dd7bb4e35697c78cc4823b45f71641bd23f13fc6 /src | |
| parent | a7db71ed2787e7dbf2c41473a2b7df2fcb55abd0 (diff) | |
| download | postgresql-0e3e8fbd3a8b1660b02a5bb032dc1f50e1d66b19.tar.gz postgresql-0e3e8fbd3a8b1660b02a5bb032dc1f50e1d66b19.zip | |
Fix corner-case 64-bit integer subtraction bug on some platforms.
When computing "0 - INT64_MIN", most platforms would report an
overflow error, which is correct. However, platforms without integer
overflow builtins or 128-bit integers would fail to spot the overflow,
and incorrectly return INT64_MIN.
Back-patch to all supported branches.
Patch be me. Thanks to Jian He for initial investigation, and Laurenz
Albe and Tom Lane for review.
Discussion: https://postgr.es/m/CAEZATCUNK-AZSD0jVdgkk0N%3DNcAXBWeAEX-QU9AnJPensikmdQ%40mail.gmail.com
Diffstat (limited to 'src')
| -rw-r--r-- | src/include/common/int.h | 6 | ||||
| -rw-r--r-- | src/test/regress/expected/int8.out | 2 | ||||
| -rw-r--r-- | src/test/regress/sql/int8.sql | 1 |
3 files changed, 8 insertions, 1 deletions
diff --git a/src/include/common/int.h b/src/include/common/int.h index 450800894ed..487124473d2 100644 --- a/src/include/common/int.h +++ b/src/include/common/int.h @@ -200,8 +200,12 @@ pg_sub_s64_overflow(int64 a, int64 b, int64 *result) *result = (int64) res; return false; #else + /* + * Note: overflow is also possible when a == 0 and b < 0 (specifically, + * when b == PG_INT64_MIN). + */ if ((a < 0 && b > 0 && a < PG_INT64_MIN + b) || - (a > 0 && b < 0 && a > PG_INT64_MAX + b)) + (a >= 0 && b < 0 && a > PG_INT64_MAX + b)) { *result = 0x5EED; /* to avoid spurious warnings */ return true; diff --git a/src/test/regress/expected/int8.out b/src/test/regress/expected/int8.out index 9542d622bab..fddc09f6305 100644 --- a/src/test/regress/expected/int8.out +++ b/src/test/regress/expected/int8.out @@ -679,6 +679,8 @@ select -('-9223372036854775807'::int8); select -('-9223372036854775808'::int8); ERROR: bigint out of range +select 0::int8 - '-9223372036854775808'::int8; +ERROR: bigint out of range select '9223372036854775800'::int8 + '9223372036854775800'::int8; ERROR: bigint out of range select '-9223372036854775800'::int8 + '-9223372036854775800'::int8; diff --git a/src/test/regress/sql/int8.sql b/src/test/regress/sql/int8.sql index 33f664dd02c..fffb28906a1 100644 --- a/src/test/regress/sql/int8.sql +++ b/src/test/regress/sql/int8.sql @@ -132,6 +132,7 @@ select '9223372036854775808'::int8; select -('-9223372036854775807'::int8); select -('-9223372036854775808'::int8); +select 0::int8 - '-9223372036854775808'::int8; select '9223372036854775800'::int8 + '9223372036854775800'::int8; select '-9223372036854775800'::int8 + '-9223372036854775800'::int8; |