Changeset: 3e02a8f14568 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=3e02a8f14568
Added Files:
sql/test/SQLancer/Tests/sqlancer13.test
Modified Files:
sql/backends/monet5/rel_bin.c
sql/test/SQLancer/Tests/All
Branch: default
Log Message:
Query with wrong results and remove redundant check
diffs (85 lines):
diff --git a/sql/backends/monet5/rel_bin.c b/sql/backends/monet5/rel_bin.c
--- a/sql/backends/monet5/rel_bin.c
+++ b/sql/backends/monet5/rel_bin.c
@@ -2711,7 +2711,7 @@ rel2bin_semijoin(backend *be, sql_rel *r
stmt *left = NULL, *right = NULL, *join = NULL, *jl, *jr, *c, *lcand =
NULL;
int semijoin_only = 0, l_is_base = 0;
- if (rel->op == op_anti && !list_empty(rel->exps) &&
list_length(rel->exps) == 1 && ((sql_exp*)rel->exps->h->data)->flag ==
mark_notin)
+ if (rel->op == op_anti && list_length(rel->exps) == 1 &&
((sql_exp*)rel->exps->h->data)->flag == mark_notin)
return rel2bin_antijoin(be, rel, refs);
if (rel->l) { /* first construct the left sub relation */
diff --git a/sql/test/SQLancer/Tests/All b/sql/test/SQLancer/Tests/All
--- a/sql/test/SQLancer/Tests/All
+++ b/sql/test/SQLancer/Tests/All
@@ -10,3 +10,4 @@ sqlancer09
sqlancer10
sqlancer11
sqlancer12
+sqlancer13
diff --git a/sql/test/SQLancer/Tests/sqlancer13.test
b/sql/test/SQLancer/Tests/sqlancer13.test
new file mode 100644
--- /dev/null
+++ b/sql/test/SQLancer/Tests/sqlancer13.test
@@ -0,0 +1,60 @@
+statement ok
+START TRANSACTION
+
+statement ok
+CREATE TABLE "t0" ("c0" DOUBLE PRECISION NOT NULL,"c1" DOUBLE PRECISION NOT
NULL,"c3" VARCHAR(262),
+ CONSTRAINT "t0_c1_c0_pkey" PRIMARY KEY ("c1", "c0"),CONSTRAINT
"t0_c1_unique" UNIQUE ("c1"),CONSTRAINT "t0_c0_c1_unique" UNIQUE ("c0", "c1"))
+
+statement ok
+COPY 9 RECORDS INTO "t0" FROM stdin USING DELIMITERS E'\t',E'\n','"'
+<COPY_INTO_DATA>
+0.07173150209697887 0.3762572797867427 "⫦"
+0.07173150209697887 0.7497553638422215 "⫦"
+0.07173150209697887 0.89932406 "⫦"
+0.07173150209697887 0.07273821484427745 "⫦"
+0.8777133490819231 0.1691861742790084 "-1570122933"
+7 0.09299678140556933 "2"
+0 1.0368e+09 "-555907821"
+-7.2367456e-09 9 "yTP&ZZRpc"
+0.7609541233251694 0.3262794048812502 "-1e500"
+
+statement ok
+CREATE TABLE "t2" ("c1" DOUBLE PRECISION)
+
+statement ok
+COPY 16 RECORDS INTO "t2" FROM stdin USING DELIMITERS E'\t',E'\n','"'
+<COPY_INTO_DATA>
+1
+1
+1
+1
+1
+1
+1
+1
+1
+1
+134379065
+1
+NULL
+3
+15
+0.6251660224137027
+
+query I rowsort
+SELECT 1 FROM t2 WHERE NULL <> ALL(SELECT 1 FROM t2)
+----
+
+
+query T rowsort
+SELECT t0.c3 FROM t0, t2 WHERE NULLIF(t0.c3, t0.c3) <> ALL(SELECT DISTINCT '1'
FROM t0)
+----
+
+
+query I rowsort
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT CAST(NULLIF(t0.c3, t0.c3) <>
ALL(SELECT DISTINCT '1' FROM t0) AS INT) as count FROM t0, t2) as res
+----
+NULL
+
+statement ok
+ROLLBACK
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list
