Changeset: f3634fe48f60 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=f3634fe48f60
Modified Files:
sql/test/SQLancer/Tests/sqlancer05.sql
Branch: Oct2020
Log Message:
SQLancer query with wrong results
diffs (31 lines):
diff --git a/sql/test/SQLancer/Tests/sqlancer05.sql
b/sql/test/SQLancer/Tests/sqlancer05.sql
--- a/sql/test/SQLancer/Tests/sqlancer05.sql
+++ b/sql/test/SQLancer/Tests/sqlancer05.sql
@@ -77,3 +77,27 @@ INSERT INTO t2 VALUES (CASE WHEN TRUE TH
INSERT INTO t2 VALUES(NOT ((CASE WHEN TRUE THEN TIMESTAMP '1970-01-11
13:04:02' ELSE TIMESTAMP '1970-01-02 23:25:05' END)
NOT BETWEEN SYMMETRIC (COALESCE(TIMESTAMP '1969-12-30 12:07:22', TIMESTAMP
'1970-01-05 05:04:47')) AND (CASE WHEN TRUE THEN TIMESTAMP '1970-01-01
20:00:35' END)), 2);
ROLLBACK;
+
+START TRANSACTION;
+CREATE TABLE "sys"."t1" ("c0" TIMESTAMP NOT NULL,CONSTRAINT "t1_c0_pkey"
PRIMARY KEY ("c0"));
+CREATE TABLE "sys"."t2" ("c0" TIMESTAMP);
+COPY 3 RECORDS INTO "sys"."t2" FROM stdin USING DELIMITERS E'\t',E'\n','"';
+"1970-01-25 08:23:04.000000"
+"1970-01-06 08:19:06.000000"
+"1970-01-19 15:18:44.000000"
+
+create view v0(c0) as (select all -1454749390 from t2, t1 where not
+((interval '990585801' month) in (interval '1558064353' month, interval
'1877885111' month, interval '1286819945' month)))
+with check option;
+
+SELECT count(ALL + (((v0.c0)/(((v0.c0)^(v0.c0)))))) FROM v0 ORDER BY v0.c0 ASC
NULLS LAST, v0.c0 DESC NULLS FIRST, v0.c0 DESC NULLS LAST;
+ -- 0
+SELECT CAST(SUM(agg0) AS BIGINT) FROM (
+SELECT count(ALL + (((v0.c0)/(((v0.c0)^(v0.c0)))))) as agg0 FROM v0 WHERE
CAST(CAST(v0.c0 AS STRING) AS BOOLEAN)
+UNION ALL
+SELECT count(ALL + (((v0.c0)/(((v0.c0)^(v0.c0)))))) as agg0 FROM v0 WHERE NOT
(CAST(CAST(v0.c0 AS STRING) AS BOOLEAN))
+UNION ALL
+SELECT count(ALL + (((v0.c0)/(((v0.c0)^(v0.c0)))))) as agg0 FROM v0 WHERE
(CAST(CAST(v0.c0 AS STRING) AS BOOLEAN)) IS NULL)
+as asdf;
+ -- 0
+ROLLBACK;
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
