mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-23 12:30:41 +02:00
Yet another bug in the ilk of commitsa7ee7c851
and741b88435
. In741b88435
, we took care to clear the memorized location of the downlink when we split the parent page, because splitting the parent page can move the downlink. But we missed that even *updating* a tuple on the parent can move it, because updating a tuple on a gist page is implemented as a delete+insert, so the updated tuple gets moved to the end of the page. This commit fixes the bug in two different ways (belt and suspenders): 1. Clear the downlink when we update a tuple on the parent page, even if it's not split. This the same approach as in commitsa7ee7c851
and741b88435
. I also noticed that gistFindCorrectParent did not clear the 'downlinkoffnum' when it stepped to the right sibling. Fix that too, as it seems like a clear bug even though I haven't been able to find a test case to hit that. 2. Change gistFindCorrectParent so that it treats 'downlinkoffnum' merely as a hint. It now always first checks if the downlink is still at that location, and if not, it scans the page like before. That's more robust if there are still more cases where we fail to clear 'downlinkoffnum' that we haven't yet uncovered. With this, it's no longer necessary to meticulously clear 'downlinkoffnum', so this makes the previous fixes unnecessary, but I didn't revert them because it still seems nice to clear it when we know that the downlink has moved. Also add the test case using the same test data that Alexander posted. I tried to reduce it to a smaller test, and I also tried to reproduce this with different test data, but I was not able to, so let's just include what we have. Backpatch to v12, like the previous fixes. Reported-by: Alexander Lakhin Discussion: https://www.postgresql.org/message-id/18129-caca016eaf0c3702@postgresql.org
971 lines
16 KiB
Plaintext
971 lines
16 KiB
Plaintext
CREATE EXTENSION intarray;
|
|
-- Check whether any of our opclasses fail amvalidate
|
|
SELECT amname, opcname
|
|
FROM pg_opclass opc LEFT JOIN pg_am am ON am.oid = opcmethod
|
|
WHERE opc.oid >= 16384 AND NOT amvalidate(opc.oid);
|
|
amname | opcname
|
|
--------+---------
|
|
(0 rows)
|
|
|
|
SELECT intset(1234);
|
|
intset
|
|
--------
|
|
{1234}
|
|
(1 row)
|
|
|
|
SELECT icount('{1234234,234234}');
|
|
icount
|
|
--------
|
|
2
|
|
(1 row)
|
|
|
|
SELECT sort('{1234234,-30,234234}');
|
|
sort
|
|
----------------------
|
|
{-30,234234,1234234}
|
|
(1 row)
|
|
|
|
SELECT sort('{1234234,-30,234234}','asc');
|
|
sort
|
|
----------------------
|
|
{-30,234234,1234234}
|
|
(1 row)
|
|
|
|
SELECT sort('{1234234,-30,234234}','desc');
|
|
sort
|
|
----------------------
|
|
{1234234,234234,-30}
|
|
(1 row)
|
|
|
|
SELECT sort_asc('{1234234,-30,234234}');
|
|
sort_asc
|
|
----------------------
|
|
{-30,234234,1234234}
|
|
(1 row)
|
|
|
|
SELECT sort_desc('{1234234,-30,234234}');
|
|
sort_desc
|
|
----------------------
|
|
{1234234,234234,-30}
|
|
(1 row)
|
|
|
|
SELECT uniq('{1234234,-30,-30,234234,-30}');
|
|
uniq
|
|
--------------------------
|
|
{1234234,-30,234234,-30}
|
|
(1 row)
|
|
|
|
SELECT uniq(sort_asc('{1234234,-30,-30,234234,-30}'));
|
|
uniq
|
|
----------------------
|
|
{-30,234234,1234234}
|
|
(1 row)
|
|
|
|
SELECT idx('{1234234,-30,-30,234234,-30}',-30);
|
|
idx
|
|
-----
|
|
2
|
|
(1 row)
|
|
|
|
SELECT subarray('{1234234,-30,-30,234234,-30}',2,3);
|
|
subarray
|
|
------------------
|
|
{-30,-30,234234}
|
|
(1 row)
|
|
|
|
SELECT subarray('{1234234,-30,-30,234234,-30}',-1,1);
|
|
subarray
|
|
----------
|
|
{-30}
|
|
(1 row)
|
|
|
|
SELECT subarray('{1234234,-30,-30,234234,-30}',0,-1);
|
|
subarray
|
|
--------------------------
|
|
{1234234,-30,-30,234234}
|
|
(1 row)
|
|
|
|
SELECT #'{1234234,234234}'::int[];
|
|
?column?
|
|
----------
|
|
2
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] + 1245;
|
|
?column?
|
|
--------------------
|
|
{123,623,445,1245}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] + 445;
|
|
?column?
|
|
-------------------
|
|
{123,623,445,445}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] + '{1245,87,445}';
|
|
?column?
|
|
---------------------------
|
|
{123,623,445,1245,87,445}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] - 623;
|
|
?column?
|
|
-----------
|
|
{123,445}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] - '{1623,623}';
|
|
?column?
|
|
-----------
|
|
{123,445}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] | 623;
|
|
?column?
|
|
---------------
|
|
{123,445,623}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] | 1623;
|
|
?column?
|
|
--------------------
|
|
{123,445,623,1623}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] | '{1623,623}';
|
|
?column?
|
|
--------------------
|
|
{123,445,623,1623}
|
|
(1 row)
|
|
|
|
SELECT '{123,623,445}'::int[] & '{1623,623}';
|
|
?column?
|
|
----------
|
|
{623}
|
|
(1 row)
|
|
|
|
SELECT '{-1,3,1}'::int[] & '{1,2}';
|
|
?column?
|
|
----------
|
|
{1}
|
|
(1 row)
|
|
|
|
SELECT '{1}'::int[] & '{2}'::int[];
|
|
?column?
|
|
----------
|
|
{}
|
|
(1 row)
|
|
|
|
SELECT array_dims('{1}'::int[] & '{2}'::int[]);
|
|
array_dims
|
|
------------
|
|
|
|
(1 row)
|
|
|
|
SELECT ('{1}'::int[] & '{2}'::int[]) = '{}'::int[];
|
|
?column?
|
|
----------
|
|
t
|
|
(1 row)
|
|
|
|
SELECT ('{}'::int[] & '{}'::int[]) = '{}'::int[];
|
|
?column?
|
|
----------
|
|
t
|
|
(1 row)
|
|
|
|
--test query_int
|
|
SELECT '1'::query_int;
|
|
query_int
|
|
-----------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT ' 1'::query_int;
|
|
query_int
|
|
-----------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT '1 '::query_int;
|
|
query_int
|
|
-----------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT ' 1 '::query_int;
|
|
query_int
|
|
-----------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT ' ! 1 '::query_int;
|
|
query_int
|
|
-----------
|
|
!1
|
|
(1 row)
|
|
|
|
SELECT '!1'::query_int;
|
|
query_int
|
|
-----------
|
|
!1
|
|
(1 row)
|
|
|
|
SELECT '1|2'::query_int;
|
|
query_int
|
|
-----------
|
|
1 | 2
|
|
(1 row)
|
|
|
|
SELECT '1|!2'::query_int;
|
|
query_int
|
|
-----------
|
|
1 | !2
|
|
(1 row)
|
|
|
|
SELECT '!1|2'::query_int;
|
|
query_int
|
|
-----------
|
|
!1 | 2
|
|
(1 row)
|
|
|
|
SELECT '!1|!2'::query_int;
|
|
query_int
|
|
-----------
|
|
!1 | !2
|
|
(1 row)
|
|
|
|
SELECT '!(!1|!2)'::query_int;
|
|
query_int
|
|
--------------
|
|
!( !1 | !2 )
|
|
(1 row)
|
|
|
|
SELECT '!(!1|2)'::query_int;
|
|
query_int
|
|
-------------
|
|
!( !1 | 2 )
|
|
(1 row)
|
|
|
|
SELECT '!(1|!2)'::query_int;
|
|
query_int
|
|
-------------
|
|
!( 1 | !2 )
|
|
(1 row)
|
|
|
|
SELECT '!(1|2)'::query_int;
|
|
query_int
|
|
------------
|
|
!( 1 | 2 )
|
|
(1 row)
|
|
|
|
SELECT '1&2'::query_int;
|
|
query_int
|
|
-----------
|
|
1 & 2
|
|
(1 row)
|
|
|
|
SELECT '!1&2'::query_int;
|
|
query_int
|
|
-----------
|
|
!1 & 2
|
|
(1 row)
|
|
|
|
SELECT '1&!2'::query_int;
|
|
query_int
|
|
-----------
|
|
1 & !2
|
|
(1 row)
|
|
|
|
SELECT '!1&!2'::query_int;
|
|
query_int
|
|
-----------
|
|
!1 & !2
|
|
(1 row)
|
|
|
|
SELECT '(1&2)'::query_int;
|
|
query_int
|
|
-----------
|
|
1 & 2
|
|
(1 row)
|
|
|
|
SELECT '1&(2)'::query_int;
|
|
query_int
|
|
-----------
|
|
1 & 2
|
|
(1 row)
|
|
|
|
SELECT '!(1)&2'::query_int;
|
|
query_int
|
|
-----------
|
|
!1 & 2
|
|
(1 row)
|
|
|
|
SELECT '!(1&2)'::query_int;
|
|
query_int
|
|
------------
|
|
!( 1 & 2 )
|
|
(1 row)
|
|
|
|
SELECT '1|2&3'::query_int;
|
|
query_int
|
|
-----------
|
|
1 | 2 & 3
|
|
(1 row)
|
|
|
|
SELECT '1|(2&3)'::query_int;
|
|
query_int
|
|
-----------
|
|
1 | 2 & 3
|
|
(1 row)
|
|
|
|
SELECT '(1|2)&3'::query_int;
|
|
query_int
|
|
---------------
|
|
( 1 | 2 ) & 3
|
|
(1 row)
|
|
|
|
SELECT '1|2&!3'::query_int;
|
|
query_int
|
|
------------
|
|
1 | 2 & !3
|
|
(1 row)
|
|
|
|
SELECT '1|!2&3'::query_int;
|
|
query_int
|
|
------------
|
|
1 | !2 & 3
|
|
(1 row)
|
|
|
|
SELECT '!1|2&3'::query_int;
|
|
query_int
|
|
------------
|
|
!1 | 2 & 3
|
|
(1 row)
|
|
|
|
SELECT '!1|(2&3)'::query_int;
|
|
query_int
|
|
------------
|
|
!1 | 2 & 3
|
|
(1 row)
|
|
|
|
SELECT '!(1|2)&3'::query_int;
|
|
query_int
|
|
----------------
|
|
!( 1 | 2 ) & 3
|
|
(1 row)
|
|
|
|
SELECT '(!1|2)&3'::query_int;
|
|
query_int
|
|
----------------
|
|
( !1 | 2 ) & 3
|
|
(1 row)
|
|
|
|
SELECT '1|(2|(4|(5|6)))'::query_int;
|
|
query_int
|
|
-------------------------------
|
|
1 | ( 2 | ( 4 | ( 5 | 6 ) ) )
|
|
(1 row)
|
|
|
|
SELECT '1|2|4|5|6'::query_int;
|
|
query_int
|
|
-------------------------------
|
|
( ( ( 1 | 2 ) | 4 ) | 5 ) | 6
|
|
(1 row)
|
|
|
|
SELECT '1&(2&(4&(5&6)))'::query_int;
|
|
query_int
|
|
-------------------
|
|
1 & 2 & 4 & 5 & 6
|
|
(1 row)
|
|
|
|
SELECT '1&2&4&5&6'::query_int;
|
|
query_int
|
|
-------------------
|
|
1 & 2 & 4 & 5 & 6
|
|
(1 row)
|
|
|
|
SELECT '1&(2&(4&(5|6)))'::query_int;
|
|
query_int
|
|
-----------------------
|
|
1 & 2 & 4 & ( 5 | 6 )
|
|
(1 row)
|
|
|
|
SELECT '1&(2&(4&(5|!6)))'::query_int;
|
|
query_int
|
|
------------------------
|
|
1 & 2 & 4 & ( 5 | !6 )
|
|
(1 row)
|
|
|
|
-- test non-error-throwing input
|
|
SELECT str as "query_int",
|
|
pg_input_is_valid(str,'query_int') as ok,
|
|
errinfo.sql_error_code,
|
|
errinfo.message,
|
|
errinfo.detail,
|
|
errinfo.hint
|
|
FROM (VALUES ('1&(2&(4&(5|6)))'),
|
|
('1#(2&(4&(5&6)))'),
|
|
('foo'))
|
|
AS a(str),
|
|
LATERAL pg_input_error_info(a.str, 'query_int') as errinfo;
|
|
query_int | ok | sql_error_code | message | detail | hint
|
|
-----------------+----+----------------+--------------+--------+------
|
|
1&(2&(4&(5|6))) | t | | | |
|
|
1#(2&(4&(5&6))) | f | 42601 | syntax error | |
|
|
foo | f | 42601 | syntax error | |
|
|
(3 rows)
|
|
|
|
CREATE TABLE test__int( a int[] );
|
|
\copy test__int from 'data/test__int.data'
|
|
ANALYZE test__int;
|
|
SELECT count(*) from test__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
SET enable_seqscan = off; -- not all of these would use index by default
|
|
CREATE INDEX text_idx on test__int using gist ( a gist__int_ops );
|
|
SELECT count(*) from test__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
INSERT INTO test__int SELECT array(SELECT x FROM generate_series(1, 1001) x); -- should fail
|
|
ERROR: input array is too big (199 maximum allowed, 1001 current), use gist__intbig_ops opclass instead
|
|
DROP INDEX text_idx;
|
|
CREATE INDEX text_idx on test__int using gist (a gist__int_ops(numranges = 0));
|
|
ERROR: value 0 out of bounds for option "numranges"
|
|
DETAIL: Valid values are between "1" and "252".
|
|
CREATE INDEX text_idx on test__int using gist (a gist__int_ops(numranges = 253));
|
|
ERROR: value 253 out of bounds for option "numranges"
|
|
DETAIL: Valid values are between "1" and "252".
|
|
CREATE INDEX text_idx on test__int using gist (a gist__int_ops(numranges = 252));
|
|
SELECT count(*) from test__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
DROP INDEX text_idx;
|
|
CREATE INDEX text_idx on test__int using gist (a gist__intbig_ops(siglen = 0));
|
|
ERROR: value 0 out of bounds for option "siglen"
|
|
DETAIL: Valid values are between "1" and "2024".
|
|
CREATE INDEX text_idx on test__int using gist (a gist__intbig_ops(siglen = 2025));
|
|
ERROR: value 2025 out of bounds for option "siglen"
|
|
DETAIL: Valid values are between "1" and "2024".
|
|
CREATE INDEX text_idx on test__int using gist (a gist__intbig_ops(siglen = 2024));
|
|
SELECT count(*) from test__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
DROP INDEX text_idx;
|
|
CREATE INDEX text_idx on test__int using gist ( a gist__intbig_ops );
|
|
SELECT count(*) from test__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
DROP INDEX text_idx;
|
|
CREATE INDEX text_idx on test__int using gin ( a gin__int_ops );
|
|
SELECT count(*) from test__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from test__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
DROP INDEX text_idx;
|
|
-- Repeat the same queries with an extended data set. The data set is the
|
|
-- same that we used before, except that each element in the array is
|
|
-- repeated three times, offset by 1000 and 2000. For example, {1, 5}
|
|
-- becomes {1, 1001, 2001, 5, 1005, 2005}.
|
|
--
|
|
-- That has proven to be unreasonably effective at exercising codepaths in
|
|
-- core GiST code related to splitting parent pages, which is not covered by
|
|
-- other tests. This is a bit out-of-place as the point is to test core GiST
|
|
-- code rather than this extension, but there is no suitable GiST opclass in
|
|
-- core that would reach the same codepaths.
|
|
CREATE TABLE more__int AS SELECT
|
|
-- Leave alone NULLs, empty arrays and the one row that we use to test
|
|
-- equality
|
|
CASE WHEN a IS NULL OR a = '{}' OR a = '{73,23,20}' THEN a ELSE
|
|
(select array_agg(u) || array_agg(u + 1000) || array_agg(u + 2000) from (select unnest(a) u) x)
|
|
END AS a, a as b
|
|
FROM test__int;
|
|
CREATE INDEX ON more__int using gist (a gist__int_ops(numranges = 252));
|
|
SELECT count(*) from more__int WHERE a && '{23,50}';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @@ '23|50';
|
|
count
|
|
-------
|
|
403
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @> '{23,50}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @@ '23&50';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @> '{20,23}';
|
|
count
|
|
-------
|
|
12
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a <@ '{73,23,20}';
|
|
count
|
|
-------
|
|
10
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a = '{73,23,20}';
|
|
count
|
|
-------
|
|
1
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @@ '50&68';
|
|
count
|
|
-------
|
|
9
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @> '{20,23}' or a @> '{50,68}';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @@ '(20&23)|(50&68)';
|
|
count
|
|
-------
|
|
21
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @@ '20 | !21';
|
|
count
|
|
-------
|
|
6566
|
|
(1 row)
|
|
|
|
SELECT count(*) from more__int WHERE a @@ '!20 & !21';
|
|
count
|
|
-------
|
|
6343
|
|
(1 row)
|
|
|
|
RESET enable_seqscan;
|