Changeset: e36d0aef5916 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=e36d0aef5916
Modified Files:
sql/test/SQLancer/Tests/sqlancer06.sql
Branch: Oct2020
Log Message:
SQLancer query with wrong results
diffs (23 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
@@ -447,3 +447,19 @@ SELECT CAST(SUM(count) AS BIGINT) FROM (
AND (t1.c1), (FALSE) = FALSE, (DATE '1970-01-01') NOT IN (DATE '1970-01-02',
DATE '1970-01-02')), FALSE) AS INT) as count FROM t1) as res;
-- 3
ROLLBACK;
+
+START TRANSACTION;
+CREATE TABLE "t0" ("c0" BOOLEAN NOT NULL,"c1" INTERVAL MONTH,CONSTRAINT
"t0_c0_pkey" PRIMARY KEY ("c0"));
+INSERT INTO "t0" VALUES (false, NULL);
+CREATE TABLE "t1" ("c0" BOOLEAN);
+CREATE TABLE "t2" ("c1" DOUBLE PRECISION NOT NULL,"c2" DECIMAL(18,3) NOT
NULL,CONSTRAINT "t2_c2_pkey" PRIMARY KEY ("c2"),CONSTRAINT "t2_c2_unique"
UNIQUE ("c2"),CONSTRAINT "t2_c1_c2_unique" UNIQUE ("c1", "c2"));
+INSERT INTO "t2" VALUES (0.9896628791758083, 0.017);
+INSERT INTO "t2" VALUES (-808084788, 0.922);
+
+SELECT t0.c0 FROM t0 WHERE (t0.c0 <> ALL(SELECT TRUE FROM t0, t1) AND t0.c0) =
FALSE;
+ -- False
+SELECT t0.c0 FROM t0 WHERE (((((((t0.c0 <> ALL(SELECT ALL t0.c0 FROM t0, t2,
t1))OR(t0.c0)))AND(t0.c0)))OR(t0.c0))) = FALSE;
+ -- False
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT CAST((((((((t0.c0 <> ALL(SELECT
t0.c0 FROM t0, t2, t1))OR(t0.c0)))AND(t0.c0)))OR(t0.c0))) = FALSE AS INT) as
count FROM t0) as res;
+ -- 1
+ROLLBACK;
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
