Changeset: a9215d64a06a for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/a9215d64a06a
Modified Files:
        sql/test/SQLancer/Tests/sqlancer23.test
Branch: default
Log Message:

One more query with wrong result (issue with exists operator)


diffs (27 lines):

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
@@ -121,6 +121,23 @@ SELECT 1 FROM t0 RIGHT OUTER JOIN (SELEC
 ----
 1
 
+query I nosort
+SELECT 1 FROM (SELECT TRUE) v0(c0) WHERE NOT EXISTS (SELECT v0.c0 FROM (SELECT 
1 WHERE FALSE) x(x)) = TRUE
+----
+1
+
+query I nosort
+SELECT 1 FROM (SELECT TRUE) v0(c0) WHERE EXISTS (SELECT v0.c0 FROM (SELECT 1 
WHERE FALSE) x(x)) = FALSE
+----
+1
+
+# this one is right
+query I nosort
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT CAST(NOT EXISTS (SELECT v0.c0 
FROM (SELECT 1 WHERE FALSE)
+x(x)) = TRUE AS INT) as count FROM (SELECT TRUE) v0(c0)) as res
+----
+1
+
 # 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)
_______________________________________________
checkin-list mailing list -- checkin-list@monetdb.org
To unsubscribe send an email to checkin-list-le...@monetdb.org

Reply via email to