MonetDB: Oct2020 - SQLancer query with wrong results. Looking in...

2021-01-21 Thread Pedro Ferreira
Changeset: 533522f0ebfe for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=533522f0ebfe
Modified Files:
sql/test/SQLancer/Tests/sqlancer02.sql
Branch: Oct2020
Log Message:

SQLancer query with wrong results. Looking into it


diffs (27 lines):

diff --git a/sql/test/SQLancer/Tests/sqlancer02.sql 
b/sql/test/SQLancer/Tests/sqlancer02.sql
--- a/sql/test/SQLancer/Tests/sqlancer02.sql
+++ b/sql/test/SQLancer/Tests/sqlancer02.sql
@@ -360,3 +360,23 @@ from v54 as l1v54, v1 as l1v1 where l1v5
 
 select 1 from v20 as l0v20, v27 as l0v27, v1 as l0v1 where (l0v20.vc0) in (-3, 
l0v20.vc0, l0v27.vc1);
 ROLLBACK;
+
+START TRANSACTION;
+CREATE TABLE "t1" ("c0" BOOLEAN NOT NULL,CONSTRAINT "t1_c0_pkey" PRIMARY KEY 
("c0"),CONSTRAINT "t1_c0_unique" UNIQUE ("c0"));
+INSERT INTO "t1" VALUES (false), (true);
+
+create view v5(vc0) as (values (1), (4));
+
+create view v8(vc1) as ((select l0t1.c0 from t1 as l0t1) union distinct 
(select false));
+
+SELECT v5.vc0 FROM v5, v8 JOIN (VALUES (0.3, 10.0),(0.5, 8.0)) AS sub0 ON 
+true WHERE least(CASE v5.vc0 WHEN v5.vc0 THEN v8.vc1 END, true);
+   -- 1
+   -- 1
+   -- 4
+   -- 4
+
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT CAST(least(CASE v5.vc0 WHEN 
v5.vc0 THEN v8.vc1 END, true) AS INT) as count
+FROM v5, v8 JOIN (VALUES (0.3, 10.0),(0.5, 8.0)) AS sub0 ON true) as res;
+   -- 4
+ROLLBACK;
___
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list


MonetDB: Oct2020 - SQLancer query with wrong results. Looking in...

2021-01-19 Thread Pedro Ferreira
Changeset: 2242e7df83bc for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=2242e7df83bc
Modified Files:
sql/test/SQLancer/Tests/sqlancer02.sql
Branch: Oct2020
Log Message:

SQLancer query with wrong results. Looking into it


diffs (58 lines):

diff --git a/sql/test/SQLancer/Tests/sqlancer02.sql 
b/sql/test/SQLancer/Tests/sqlancer02.sql
--- a/sql/test/SQLancer/Tests/sqlancer02.sql
+++ b/sql/test/SQLancer/Tests/sqlancer02.sql
@@ -258,3 +258,54 @@ 0.3672199296718357
 update t2 set c1 = (scale_down(t2.c1, 
0.39861114390109142480156378951505757868289947509765625))
 where (scale_up(-1155480997, 0.5434124050282382)) is not null;
 ROLLBACK;
+
+START TRANSACTION;
+CREATE TABLE "sys"."t1" ("c0" BOOLEAN NOT NULL,"c1" DECIMAL(18,3) NOT 
NULL,CONSTRAINT "t1_c0_c1_pkey" PRIMARY KEY ("c0", "c1"));
+COPY 8 RECORDS INTO "sys"."t1" FROM stdin USING DELIMITERS E'\t',E'\n','"';
+false  0.970
+true   0.249
+false  0.901
+true   0.416
+true   0.150
+true   -1.000
+true   0.305
+false  0.310
+
+CREATE TABLE "sys"."t2" ("c0" DOUBLE NOT NULL,"c1" CHAR(21),"c2" DOUBLE);
+COPY 16 RECORDS INTO "sys"."t2" FROM stdin USING DELIMITERS E'\t',E'\n','"';
+1  NULLNULL
+1  NULLNULL
+0.20096332264638103NULL-8177017368
+0.6291712421744081 NULL3
+0.5608280161984844 "\n)GV3\n4w,"   NULL
+0.2283066361977384 "DoiQ2" NULL
+0.4162827659910059 ""  NULL
+0.7076516986629799 "2" NULL
+0.0724600616400724 "true"  9
+0.03951652412329898""  1.5639034457363068
+0.4631650256727575 "0.10356338203734772"   0.2836868317291048
+-7.88997488NULLNULL
+0.9604713389860059 NULLNULL
+0.7959037091231439 NULLNULL
+0.38681017904242443NULLNULL
+-4.411138449465319 NULLNULL
+
+SELECT ALL t1.c0 FROM t1, t2 CROSS JOIN ((SELECT "isauuid"(COALESCE(t2.c1, 
t2.c1)) FROM t2 WHERE ((TRUE)AND(TRUE)))OR
+(TRUE)))OR(TRUE)))OR(FALSE)))AND(TRUE))) EXCEPT (SELECT ALL ((CASE 
0.54967607103225102349597364082001149654388427734375
+WHEN 0.05049592582495154857724628527648746967315673828125 THEN t2.c2 
END)>(greatest(t2.c2, t2.c0))) FROM t2
+RIGHT OUTER JOIN (SELECT ALL l1t1.c0, CASE WHEN l1t1.c0 THEN l1t1.c0 WHEN 
l1t1.c0 THEN l1t1.c0 WHEN l1t1.c0
+THEN l1t1.c0 END FROM t2 AS l1t2, t1 AS l1t1 WHERE l1t1.c0) AS sub0 ON 
((FALSE)OR(TRUE))
+CROSS JOIN (VALUES (r'-|cQ5', least(6, 4), CASE 0.13214429 WHEN 
0.92287980834693872367324729566462337970733642578125
+THEN r'Bv*氅.x' END), (r'', 0.7763767959438655, "insert"(r'RR6Mw+', 5, 
-65604773, r'1225096844'))) AS sub1)) AS sub0
+CROSS JOIN (VALUES (2, ((0.53827864)>>("day"(DATE '1969-12-27'))), 
CAST(((2)+(-1758578278)) AS REAL))) AS sub1
+WHERE (3.0) IS NOT NULL;
+
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT ALL CAST((3.0) IS NOT NULL AS 
INT) as count FROM t1, t2 CROSS JOIN
+((SELECT "isauuid"(COALESCE(t2.c1, t2.c1)) FROM t2 WHERE 
((TRUE)AND(TRUE)))OR(TRUE)))OR(TRUE)))OR(FALSE)))AND(TRUE)))
+EXCEPT ALL (SELECT ALL ((CASE 
0.54967607103225102349597364082001149654388427734375 WHEN 
0.05049592582495154857724628527648746967315673828125
+THEN t2.c2 END)>(greatest(t2.c2, t2.c0))) FROM t2 RIGHT OUTER JOIN (SELECT 
l1t1.c0, CASE WHEN l1t1.c0 THEN l1t1.c0
+WHEN l1t1.c0 THEN l1t1.c0 WHEN l1t1.c0 THEN l1t1.c0 END FROM t2 AS l1t2, t1 AS 
l1t1 WHERE l1t1.c0) AS sub0 ON ((FALSE)OR(TRUE))
+CROSS JOIN (VALUES (r'-|cQ5', least(6, 4), CASE 0.13214429 WHEN 
0.92287980834693872367324729566462337970733642578125
+THEN r'Bv*氅.x' END), (r'', 0.7763767959438655, "insert"(r'RR6Mw+', 5, 
-65604773, r'1225096844'))) AS sub1)) AS sub0
+CROSS JOIN (VALUES (2, ((0.53827864)>>("day"(DATE '1969-12-27'))), 
CAST(((2)+(-1758578278)) AS REAL))) AS sub1) as res;
+ROLLBACK;
___
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list


MonetDB: Oct2020 - SQLancer query with wrong results, looking in...

2021-01-11 Thread Pedro Ferreira
Changeset: aca03aa564e4 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=aca03aa564e4
Modified Files:
sql/test/SQLancer/Tests/sqlancer09.sql
Branch: Oct2020
Log Message:

SQLancer query with wrong results, looking into it


diffs (10 lines):

diff --git a/sql/test/SQLancer/Tests/sqlancer09.sql 
b/sql/test/SQLancer/Tests/sqlancer09.sql
--- a/sql/test/SQLancer/Tests/sqlancer09.sql
+++ b/sql/test/SQLancer/Tests/sqlancer09.sql
@@ -398,3 +398,6 @@ SELECT CAST(SUM(agg0) as BIGINT) FROM (
 create or replace view v11(vc0) as (values ('<'), ('a'));
 SELECT 1 FROM v11 WHERE v11.vc0 LIKE '' IS NULL;
 ROLLBACK;
+
+SELECT 1 HAVING group_concat('') NOT LIKE '3' IS NULL;
+   -- empty
___
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list