Changeset: 1ba64d9a304d for MonetDB URL: https://dev.monetdb.org/hg/MonetDB/rev/1ba64d9a304d Added Files: sql/test/BugTracker-2026/Tests/8017-create-where-exists-select-acos-bug.test Modified Files: sql/test/BugTracker-2026/Tests/All Branch: Dec2025 Log Message:
Add test for issue #8017 diffs (108 lines): diff --git a/sql/test/BugTracker-2026/Tests/8017-create-where-exists-select-acos-bug.test b/sql/test/BugTracker-2026/Tests/8017-create-where-exists-select-acos-bug.test new file mode 100644 --- /dev/null +++ b/sql/test/BugTracker-2026/Tests/8017-create-where-exists-select-acos-bug.test @@ -0,0 +1,95 @@ +statement ok +CREATE TABLE t8017 (x INT) + +statement ok rowcount 1 +INSERT INTO t8017 VALUES (2) + +-- ACOS(x) is an unused EXISTS projection and must not be evaluated. +query I nosort +SELECT COUNT(*) AS result +FROM t8017 AS outer_row +WHERE EXISTS ( + SELECT ACOS(inner_row.x) + FROM t8017 AS inner_row +) +---- +1 + +statement ok +CREATE VIEW t8017_view AS +SELECT COUNT(*) AS result +FROM t8017 AS outer_row +WHERE EXISTS ( + SELECT ACOS(inner_row.x) + FROM t8017 AS inner_row +) + +query I nosort +SELECT result FROM t8017_view +---- +1 + +-- next statement fails with 22003!Math exception: Invalid argument +statement ok +CREATE TEMPORARY TABLE t8017_tmp AS +SELECT COUNT(*) AS result +FROM t8017 AS outer_row +WHERE EXISTS ( + SELECT ACOS(inner_row.x) + FROM t8017 AS inner_row +) +ON COMMIT PRESERVE ROWS + +query I nosort +SELECT result FROM t8017_tmp +---- +1 + +-- next statement fails with 22003!Math exception: Invalid argument +statement ok +CREATE TABLE t8017_ctas AS +SELECT COUNT(*) AS result +FROM t8017 AS outer_row +WHERE EXISTS ( + SELECT ACOS(inner_row.x) + FROM t8017 AS inner_row +) + +query I nosort +SELECT result FROM t8017_ctas +---- +1 + +statement ok +CREATE TABLE t8017_target (result BIGINT) + +-- next statement fails with 22003!Math exception: Invalid argument +statement ok rowcount 1 +INSERT INTO t8017_target +SELECT COUNT(*) AS result +FROM t8017 AS outer_row +WHERE EXISTS ( + SELECT ACOS(inner_row.x) + FROM t8017 AS inner_row +) + +query I nosort +SELECT result FROM t8017_target +---- +1 + +statement ok +DROP TABLE IF EXISTS t8017_target + +statement ok +DROP TABLE IF EXISTS t8017_ctas + +statement ok +DROP TABLE IF EXISTS t8017_tmp + +statement ok +DROP VIEW IF EXISTS t8017_view + +statement ok +DROP TABLE t8017 + diff --git a/sql/test/BugTracker-2026/Tests/All b/sql/test/BugTracker-2026/Tests/All --- a/sql/test/BugTracker-2026/Tests/All +++ b/sql/test/BugTracker-2026/Tests/All @@ -194,3 +194,4 @@ KNOWNFAIL?8010-first_value-last_value-pa KNOWNFAIL?8013-triple-same-predicate-bug KNOWNFAIL?8014-rel_bin-exp_bin-assert-failure KNOWNFAIL?8015-join-subquery-NULL-bug +KNOWNFAIL?8017-create-where-exists-select-acos-bug _______________________________________________ checkin-list mailing list -- [email protected] To unsubscribe send an email to [email protected]
