Changeset: 88f6790a060a for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=88f6790a060a
Modified Files:
sql/test/SQLancer/Tests/sqlancer06.sql
Branch: Oct2020
Log Message:
SQLancer SIGSEV at rewrite_compare. Enough bugs for now
diffs (32 lines):
diff --git a/sql/test/SQLancer/Tests/sqlancer06.sql
b/sql/test/SQLancer/Tests/sqlancer06.sql
--- a/sql/test/SQLancer/Tests/sqlancer06.sql
+++ b/sql/test/SQLancer/Tests/sqlancer06.sql
@@ -386,6 +386,10 @@ INSERT INTO "t1" VALUES (TIME '21:28:54'
INSERT INTO "t1" VALUES (TIME '08:15:08', TIME '20:32:11');
CREATE TABLE "t2" ("c0" BOOLEAN NOT NULL,"c1" BOOLEAN,CONSTRAINT "t2_c0_pkey"
PRIMARY KEY ("c0"),CONSTRAINT "t2_c0_unique" UNIQUE ("c0"),CONSTRAINT
"t2_c1_unique" UNIQUE ("c1"));
+SELECT t1.c2 FROM t2 RIGHT OUTER JOIN t1 ON (t2.c1) WHERE (SELECT TIME
'10:00:00') = ALL(SELECT t0.c2 FROM t0, t2);
+ -- NULL
+ -- NULL
+ -- 20:32:11
SELECT t1.c2 FROM t2 RIGHT OUTER JOIN t1 ON (t2.c1) WHERE (SELECT t1.c2 FROM
t1) = ALL(SELECT t0.c2 FROM t0, t2);
-- NULL
-- NULL
@@ -399,3 +403,17 @@ SELECT CAST(SUM(count) AS BIGINT) FROM (
((SELECT t2.c0 FROM t2, t0 WHERE t2.c1)))))OR((SELECT ALL t1.c2 FROM t1, t2) =
ALL(SELECT t0.c2 FROM t0, t1, t2))) AS INT) as count FROM t2 RIGHT OUTER JOIN
t1 ON NOT (t2.c1)) as res;
-- 3
ROLLBACK;
+
+START TRANSACTION;
+CREATE TABLE "t0"("c0" INTERVAL SECOND);
+INSERT INTO "t0" VALUES (INTERVAL '350200327' SECOND);
+CREATE TABLE "t1"("c0" INTERVAL SECOND);
+INSERT INTO "t1" VALUES (INTERVAL '1236176693' SECOND);
+CREATE TABLE "t2"("c0" INTERVAL SECOND NOT NULL);
+INSERT INTO "t2" VALUES (INTERVAL '1253074618' SECOND);
+
+SELECT t1.c0 > COALESCE((SELECT INTERVAL '1' SECOND FROM t2), (SELECT t1.c0
FROM t1)) FROM t1;
+ -- True
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT ALL CAST((t1.c0) NOT BETWEEN
ASYMMETRIC (COALESCE((SELECT DISTINCT INTERVAL '1584712456' SECOND FROM t2),
(SELECT t1.c0 FROM t2, t1, t0))) AND (t1.c0) AS INT) as count FROM t1) as res;
+ -- 1
+ROLLBACK;
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
