mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-01-12 18:34:36 +08:00
542320c2bd
The previous coding in get_const_expr() tried to avoid quoting integer, float, and numeric literals if at all possible. While that looks nice, it means that dumped expressions might re-parse to something that's semantically equivalent but not the exact same parsetree; for example a FLOAT8 constant would re-parse as a NUMERIC constant with a cast to FLOAT8. Though the result would be the same after constant-folding, this is problematic in certain contexts. In particular, Jeff Davis pointed out that this could cause unexpected failures in ALTER INHERIT operations because of child tables having not-exactly-equivalent CHECK expressions. Therefore, favor correctness over legibility and dump such constants in quotes except in the limited cases where they'll be interpreted as the same type even without any casting. This results in assorted small changes in the regression test outputs, and will affect display of user-defined views and rules similarly. The odds of that causing problems in the field seem non-negligible; given the lack of previous complaints, it seems best not to change this in the back branches.
92 lines
1.8 KiB
Plaintext
92 lines
1.8 KiB
Plaintext
-- float8 check
|
|
CREATE TABLE float8tmp (a float8);
|
|
\copy float8tmp from 'data/float8.data'
|
|
SET enable_seqscan=on;
|
|
SELECT count(*) FROM float8tmp WHERE a < -1890.0;
|
|
count
|
|
-------
|
|
237
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a <= -1890.0;
|
|
count
|
|
-------
|
|
238
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a = -1890.0;
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a >= -1890.0;
|
|
count
|
|
-------
|
|
307
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a > -1890.0;
|
|
count
|
|
-------
|
|
306
|
|
(1 row)
|
|
|
|
SELECT a, a <-> '-1890.0' FROM float8tmp ORDER BY a <-> '-1890.0' LIMIT 3;
|
|
a | ?column?
|
|
--------------+------------
|
|
-1890 | 0
|
|
-2003.634512 | 113.634512
|
|
-1769.73634 | 120.26366
|
|
(3 rows)
|
|
|
|
CREATE INDEX float8idx ON float8tmp USING gist ( a );
|
|
SET enable_seqscan=off;
|
|
SELECT count(*) FROM float8tmp WHERE a < -1890.0::float8;
|
|
count
|
|
-------
|
|
237
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a <= -1890.0::float8;
|
|
count
|
|
-------
|
|
238
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a = -1890.0::float8;
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a >= -1890.0::float8;
|
|
count
|
|
-------
|
|
307
|
|
(1 row)
|
|
|
|
SELECT count(*) FROM float8tmp WHERE a > -1890.0::float8;
|
|
count
|
|
-------
|
|
306
|
|
(1 row)
|
|
|
|
EXPLAIN (COSTS OFF)
|
|
SELECT a, a <-> '-1890.0' FROM float8tmp ORDER BY a <-> '-1890.0' LIMIT 3;
|
|
QUERY PLAN
|
|
-----------------------------------------------------
|
|
Limit
|
|
-> Index Only Scan using float8idx on float8tmp
|
|
Order By: (a <-> '-1890'::double precision)
|
|
(3 rows)
|
|
|
|
SELECT a, a <-> '-1890.0' FROM float8tmp ORDER BY a <-> '-1890.0' LIMIT 3;
|
|
a | ?column?
|
|
--------------+------------
|
|
-1890 | 0
|
|
-2003.634512 | 113.634512
|
|
-1769.73634 | 120.26366
|
|
(3 rows)
|
|
|