Merge branch 'rightlib' into mergelibs-241120-1113

1 files changed, 474 insertions, 0 deletions

diff --git a/yql/essentials/tests/postgresql/cases/int4.err b/yql/essentials/tests/postgresql/cases/int4.err
new file mode 100644
index 0000000000..b2ba1e827d
--- /dev/null
+++ b/yql/essentials/tests/postgresql/cases/int4.err
@@ -0,0 +1,474 @@
+<sql-statement>
+--
+-- INT4
+--
+CREATE TABLE INT4_TBL(f1 int4);
+</sql-statement>
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('   0  ');
+</sql-statement>
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('123456     ');
+</sql-statement>
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('    -123456');
+</sql-statement>
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('34.5');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('34.5');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: "34.5"
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('34.5');
+	^
+<sql-statement>
+-- largest and smallest values
+INSERT INTO INT4_TBL(f1) VALUES ('2147483647');
+</sql-statement>
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('-2147483647');
+</sql-statement>
+<sql-statement>
+-- bad input values -- should give errors
+INSERT INTO INT4_TBL(f1) VALUES ('1000000000000');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	-- bad input values -- should give errors
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  value "1000000000000" is out of range for type integer
+
+        	-- bad input values -- should give errors
+	^
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('asdf');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('asdf');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: "asdf"
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('asdf');
+	^
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('     ');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('     ');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: "     "
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('     ');
+	^
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('   asdf   ');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('   asdf   ');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: "   asdf   "
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('   asdf   ');
+	^
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('- 1234');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('- 1234');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: "- 1234"
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('- 1234');
+	^
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('123       5');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('123       5');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: "123       5"
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('123       5');
+	^
+<sql-statement>
+INSERT INTO INT4_TBL(f1) VALUES ('');
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtFill!
+    	INSERT INTO INT4_TBL(f1) VALUES ('');
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  invalid input syntax for type integer: ""
+
+        	INSERT INTO INT4_TBL(f1) VALUES ('');
+	^
+<sql-statement>
+SELECT * FROM INT4_TBL;
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 <> int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 <> int4 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 = int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 = int4 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 < int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 < int4 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 <= int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 <= int4 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 > int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 > int4 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 >= int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.* FROM INT4_TBL i WHERE i.f1 >= int4 '0';
+</sql-statement>
+<sql-statement>
+-- positive odds
+SELECT i.* FROM INT4_TBL i WHERE (i.f1 % int2 '2') = int2 '1';
+</sql-statement>
+<sql-statement>
+-- any evens
+SELECT i.* FROM INT4_TBL i WHERE (i.f1 % int4 '2') = int2 '0';
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 * int2 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtMap!
+    	SELECT i.f1, i.f1 * int2 '2' AS x FROM INT4_TBL i;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT i.f1, i.f1 * int2 '2' AS x FROM INT4_TBL i;
+	^
+<sql-statement>
+SELECT i.f1, i.f1 * int2 '2' AS x FROM INT4_TBL i
+WHERE abs(f1) < 1073741824;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 * int4 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtMap!
+    	SELECT i.f1, i.f1 * int4 '2' AS x FROM INT4_TBL i;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT i.f1, i.f1 * int4 '2' AS x FROM INT4_TBL i;
+	^
+<sql-statement>
+SELECT i.f1, i.f1 * int4 '2' AS x FROM INT4_TBL i
+WHERE abs(f1) < 1073741824;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 + int2 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtMap!
+    	SELECT i.f1, i.f1 + int2 '2' AS x FROM INT4_TBL i;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT i.f1, i.f1 + int2 '2' AS x FROM INT4_TBL i;
+	^
+<sql-statement>
+SELECT i.f1, i.f1 + int2 '2' AS x FROM INT4_TBL i
+WHERE f1 < 2147483646;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 + int4 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtMap!
+    	SELECT i.f1, i.f1 + int4 '2' AS x FROM INT4_TBL i;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT i.f1, i.f1 + int4 '2' AS x FROM INT4_TBL i;
+	^
+<sql-statement>
+SELECT i.f1, i.f1 + int4 '2' AS x FROM INT4_TBL i
+WHERE f1 < 2147483646;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 - int2 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtMap!
+    	SELECT i.f1, i.f1 - int2 '2' AS x FROM INT4_TBL i;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT i.f1, i.f1 - int2 '2' AS x FROM INT4_TBL i;
+	^
+<sql-statement>
+SELECT i.f1, i.f1 - int2 '2' AS x FROM INT4_TBL i
+WHERE f1 > -2147483647;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 - int4 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: YtMap!
+    	SELECT i.f1, i.f1 - int4 '2' AS x FROM INT4_TBL i;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT i.f1, i.f1 - int4 '2' AS x FROM INT4_TBL i;
+	^
+<sql-statement>
+SELECT i.f1, i.f1 - int4 '2' AS x FROM INT4_TBL i
+WHERE f1 > -2147483647;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 / int2 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+<sql-statement>
+SELECT i.f1, i.f1 / int4 '2' AS x FROM INT4_TBL i;
+</sql-statement>
+<sql-statement>
+--
+-- more complex expressions
+--
+-- variations on unary minus parsing
+SELECT -2+3 AS one;
+</sql-statement>
+<sql-statement>
+SELECT 4-2 AS two;
+</sql-statement>
+<sql-statement>
+SELECT 2- -1 AS three;
+</sql-statement>
+<sql-statement>
+SELECT 2 - -2 AS four;
+</sql-statement>
+<sql-statement>
+SELECT int2 '2' * int2 '2' = int2 '16' / int2 '4' AS true;
+</sql-statement>
+<sql-statement>
+SELECT int4 '2' * int2 '2' = int2 '16' / int4 '4' AS true;
+</sql-statement>
+<sql-statement>
+SELECT int2 '2' * int4 '2' = int4 '16' / int2 '4' AS true;
+</sql-statement>
+<sql-statement>
+SELECT int4 '1000' < int4 '999' AS false;
+</sql-statement>
+<sql-statement>
+SELECT 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 AS ten;
+</sql-statement>
+<sql-statement>
+SELECT 2 + 2 / 2 AS three;
+</sql-statement>
+<sql-statement>
+SELECT (2 + 2) / 2 AS two;
+</sql-statement>
+<sql-statement>
+-- corner case
+SELECT (-1::int4<<31)::text;
+</sql-statement>
+<sql-statement>
+SELECT ((-1::int4<<31)+1)::text;
+</sql-statement>
+<sql-statement>
+-- check sane handling of INT_MIN overflow cases
+SELECT (-2147483648)::int4 * (-1)::int4;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	-- check sane handling of INT_MIN overflow cases
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	-- check sane handling of INT_MIN overflow cases
+	^
+<sql-statement>
+SELECT (-2147483648)::int4 / (-1)::int4;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT (-2147483648)::int4 / (-1)::int4;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT (-2147483648)::int4 / (-1)::int4;
+	^
+<sql-statement>
+SELECT (-2147483648)::int4 % (-1)::int4;
+</sql-statement>
+<sql-statement>
+SELECT (-2147483648)::int4 * (-1)::int2;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT (-2147483648)::int4 * (-1)::int2;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT (-2147483648)::int4 * (-1)::int2;
+	^
+<sql-statement>
+SELECT (-2147483648)::int4 / (-1)::int2;
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT (-2147483648)::int4 / (-1)::int2;
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT (-2147483648)::int4 / (-1)::int2;
+	^
+<sql-statement>
+SELECT (-2147483648)::int4 % (-1)::int2;
+</sql-statement>
+<sql-statement>
+-- check rounding when casting from float
+SELECT x, x::int4 AS int4_value
+FROM (VALUES (-2.5::float8),
+             (-1.5::float8),
+             (-0.5::float8),
+             (0.0::float8),
+             (0.5::float8),
+             (1.5::float8),
+             (2.5::float8)) t(x);
+</sql-statement>
+<sql-statement>
+-- check rounding when casting from numeric
+SELECT x, x::int4 AS int4_value
+FROM (VALUES (-2.5::numeric),
+             (-1.5::numeric),
+             (-0.5::numeric),
+             (0.0::numeric),
+             (0.5::numeric),
+             (1.5::numeric),
+             (2.5::numeric)) t(x);
+</sql-statement>
+<sql-statement>
+-- test gcd()
+SELECT a, b, gcd(a, b), gcd(a, -b), gcd(b, a), gcd(-b, a)
+FROM (VALUES (0::int4, 0::int4),
+             (0::int4, 6410818::int4),
+             (61866666::int4, 6410818::int4),
+             (-61866666::int4, 6410818::int4),
+             ((-2147483648)::int4, 1::int4),
+             ((-2147483648)::int4, 2147483647::int4),
+             ((-2147483648)::int4, 1073741824::int4)) AS v(a, b);
+</sql-statement>
+-stdin-:<main>: Error: Type annotation
+
+    -stdin-:<main>:1:1: Error: At function: RemovePrefixMembers, At function: PgSelect, At function: PgSetItem
+    	-- test gcd()
+	^
+        -stdin-:<main>:1:1: Error: Duplicated member: gcd
+        	-- test gcd()
+	^
+<sql-statement>
+SELECT gcd((-2147483648)::int4, 0::int4); -- overflow
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT gcd((-2147483648)::int4, 0::int4); -- overflow
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT gcd((-2147483648)::int4, 0::int4); -- overflow
+	^
+<sql-statement>
+SELECT gcd((-2147483648)::int4, (-2147483648)::int4); -- overflow
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT gcd((-2147483648)::int4, (-2147483648)::int4); -- overflow
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT gcd((-2147483648)::int4, (-2147483648)::int4); -- overflow
+	^
+<sql-statement>
+-- test lcm()
+SELECT a, b, lcm(a, b), lcm(a, -b), lcm(b, a), lcm(-b, a)
+FROM (VALUES (0::int4, 0::int4),
+             (0::int4, 42::int4),
+             (42::int4, 42::int4),
+             (330::int4, 462::int4),
+             (-330::int4, 462::int4),
+             ((-2147483648)::int4, 0::int4)) AS v(a, b);
+</sql-statement>
+-stdin-:<main>: Error: Type annotation
+
+    -stdin-:<main>:1:1: Error: At function: RemovePrefixMembers, At function: PgSelect, At function: PgSetItem
+    	-- test lcm()
+	^
+        -stdin-:<main>:1:1: Error: Duplicated member: lcm
+        	-- test lcm()
+	^
+<sql-statement>
+SELECT lcm((-2147483648)::int4, 1::int4); -- overflow
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT lcm((-2147483648)::int4, 1::int4); -- overflow
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT lcm((-2147483648)::int4, 1::int4); -- overflow
+	^
+<sql-statement>
+SELECT lcm(2147483647::int4, 2147483646::int4); -- overflow
+</sql-statement>
+-stdin-:<main>: Fatal: Execution
+
+    -stdin-:<main>:1:1: Fatal: Execution of node: Result
+    	SELECT lcm(2147483647::int4, 2147483646::int4); -- overflow
+	^
+        -stdin-:<main>:1:1: Fatal: ERROR:  integer out of range
+
+        	SELECT lcm(2147483647::int4, 2147483646::int4); -- overflow
+	^