Changeset: e874b7d8502c for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/e874b7d8502c Added Files: sql/test/SQLancer/Tests/sqlancer24.test Modified Files: sql/test/SQLancer/Tests/All sql/test/SQLancer/Tests/sqlancer23.test Branch: subqueryfun Log Message:
Split failing queries into new branch diffs (155 lines): 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 @@ -21,3 +21,4 @@ sqlancer20 sqlancer21 sqlancer22 sqlancer23 +sqlancer24 diff --git a/sql/test/SQLancer/Tests/sqlancer23.test b/sql/test/SQLancer/Tests/sqlancer23.test --- a/sql/test/SQLancer/Tests/sqlancer23.test +++ b/sql/test/SQLancer/Tests/sqlancer23.test @@ -163,62 +163,6 @@ SELECT 1 FROM t0, (SELECT 1 FROM (SELECT WHERE CASE WHEN TRUE THEN 2 = ANY(VALUES (vx.vx)) WHEN FALSE THEN t0.c0 = t0.c0 END ---- -query I nosort -SELECT x.x FROM (VALUES (NULL),(2)) x(x) WHERE 1 <> ALL(VALUES (x.x)) ----- -2 - -query I nosort -SELECT 1 FROM (SELECT DISTINCT 1) x(x) WHERE NOT EXISTS ((SELECT 2 WHERE FALSE) EXCEPT (SELECT x.x WHERE FALSE)) ----- -1 - -# this one is right -query I nosort -SELECT NOT EXISTS ((SELECT 2 WHERE FALSE) EXCEPT (SELECT x.x WHERE FALSE)) FROM (SELECT DISTINCT 1) x(x) ----- -1 - -query I nosort -SELECT 1 FROM (SELECT 1) x(x) WHERE (SELECT (SELECT min(CASE WHEN TRUE THEN x.x END)) FROM (SELECT 'a') x(x)) = 'a' ----- -1 - -query I nosort -SELECT 1 FROM (SELECT TRUE) x(x) WHERE FALSE OR NOT EXISTS (SELECT 1 WHERE x.x AND FALSE) ----- -1 - -query I nosort -SELECT 1 FROM (SELECT CAST(NULL AS INT)) x(x) WHERE sql_max(TRUE, EXISTS ((SELECT x.x) INTERSECT (SELECT 1))) ----- -1 - -query I nosort -SELECT 1 FROM (SELECT 1) x(x) CROSS JOIN LATERAL (SELECT 1 WHERE x.x BETWEEN x.x AND x.x) y(y) ----- -1 - -query I nosort -SELECT 1 FROM (SELECT 1) x(x) HAVING min((SELECT x.x)) = 1 ----- -1 - -query I nosort -SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING corr((SELECT x.x), (SELECT y.y)) = 0) FROM (SELECT 1) y(y) ----- -NULL - -query I nosort -SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING corr((SELECT x.x), (SELECT x.x + y.y)) = 0) FROM (SELECT 1) y(y) ----- -NULL - -query I nosort -SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING corr(1, (SELECT x.x + y.y)) = 0) FROM (SELECT 1) y(y) ----- -NULL - # Postgres doesn't give an error here, but we are confident it must statement error GDK reported error: mergejoin: more than one match SELECT 1 FROM t0 CROSS JOIN LATERAL (SELECT (VALUES (y.y), (y.y)) FROM (SELECT 1) y(y) WHERE t0.c0 = 2) x(x) @@ -292,8 +236,5 @@ SELECT (SELECT min(min(x.x + y.y)) FROM statement error 42000!SELECT: cannot use non GROUP BY column 'x.x' in query results without an aggregate function SELECT (VALUES (prod(x.x - 1)), (x.x)) FROM (VALUES (1), (0.058128458)) x(x) -statement error 42000!CORR: aggregate functions cannot be nested -SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING min(min((SELECT x.x))) = 0) FROM (SELECT 1) y(y) - statement error 42000!COUNT: aggregate functions not allowed in WHERE clause SELECT (SELECT 1 WHERE count(*) = 1) diff --git a/sql/test/SQLancer/Tests/sqlancer24.test b/sql/test/SQLancer/Tests/sqlancer24.test new file mode 100644 --- /dev/null +++ b/sql/test/SQLancer/Tests/sqlancer24.test @@ -0,0 +1,67 @@ +statement ok +START TRANSACTION + +statement ok +CREATE TABLE t0 (c0 INT) + +query I nosort +SELECT x.x FROM (VALUES (NULL),(2)) x(x) WHERE 1 <> ALL(VALUES (x.x)) +---- +2 + +query I nosort +SELECT 1 FROM (SELECT DISTINCT 1) x(x) WHERE NOT EXISTS ((SELECT 2 WHERE FALSE) EXCEPT (SELECT x.x WHERE FALSE)) +---- +1 + +# this one is right +query I nosort +SELECT NOT EXISTS ((SELECT 2 WHERE FALSE) EXCEPT (SELECT x.x WHERE FALSE)) FROM (SELECT DISTINCT 1) x(x) +---- +1 + +query I nosort +SELECT 1 FROM (SELECT 1) x(x) WHERE (SELECT (SELECT min(CASE WHEN TRUE THEN x.x END)) FROM (SELECT 'a') x(x)) = 'a' +---- +1 + +query I nosort +SELECT 1 FROM (SELECT TRUE) x(x) WHERE FALSE OR NOT EXISTS (SELECT 1 WHERE x.x AND FALSE) +---- +1 + +query I nosort +SELECT 1 FROM (SELECT CAST(NULL AS INT)) x(x) WHERE sql_max(TRUE, EXISTS ((SELECT x.x) INTERSECT (SELECT 1))) +---- +1 + +#query I nosort +#SELECT 1 FROM (SELECT 1) x(x) CROSS JOIN LATERAL (SELECT 1 WHERE x.x BETWEEN x.x AND x.x) y(y) +#---- +#1 + +query I nosort +SELECT 1 FROM (SELECT 1) x(x) HAVING min((SELECT x.x)) = 1 +---- +1 + +query I nosort +SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING corr((SELECT x.x), (SELECT y.y)) = 0) FROM (SELECT 1) y(y) +---- +NULL + +query I nosort +SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING corr((SELECT x.x), (SELECT x.x + y.y)) = 0) FROM (SELECT 1) y(y) +---- +NULL + +query I nosort +SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING corr(1, (SELECT x.x + y.y)) = 0) FROM (SELECT 1) y(y) +---- +NULL + +statement ok +ROLLBACK + +statement error 42000!CORR: aggregate functions cannot be nested +SELECT (SELECT 1 FROM (SELECT 1) x(x) HAVING min(min((SELECT x.x))) = 0) FROM (SELECT 1) y(y) _______________________________________________ checkin-list mailing list -- [email protected] To unsubscribe send an email to [email protected]
