Changeset: 7d723859b37b for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB/rev/7d723859b37b
Added Files:
sql/test/BugTracker-2025/Tests/7636_antijoin_crash.test
Modified Files:
sql/backends/monet5/rel_bin.c
sql/test/BugTracker-2025/Tests/All
Branch: Mar2025
Log Message:
Open to other compare expressions. Fix #7636
diffs (38 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
@@ -3591,7 +3591,6 @@ rel2bin_antijoin(backend *be, sql_rel *r
li = ls;
if (!en->next && (constval || stmt_has_null(ls) /*||
stmt_has_null(rs) (change into check for fk)*/)) {
- assert(e->flag == cmp_equal);
join = stmt_tdiff2(be, ls, rs, NULL);
jexps = NULL;
} else {
diff --git a/sql/test/BugTracker-2025/Tests/7636_antijoin_crash.test
b/sql/test/BugTracker-2025/Tests/7636_antijoin_crash.test
new file mode 100644
--- /dev/null
+++ b/sql/test/BugTracker-2025/Tests/7636_antijoin_crash.test
@@ -0,0 +1,14 @@
+statement ok
+CREATE TABLE t0(c0 INT)
+
+statement ok
+CREATE TABLE t1(c0 INT)
+
+statement ok
+INSERT INTO t0 VALUES(0)
+
+statement ok
+INSERT INTO t1 VALUES(1)
+
+statement ok
+SELECT * FROM t0 WHERE NOT EXISTS (SELECT 1 FROM t1 WHERE t0.c0 != t1.c0)
diff --git a/sql/test/BugTracker-2025/Tests/All
b/sql/test/BugTracker-2025/Tests/All
--- a/sql/test/BugTracker-2025/Tests/All
+++ b/sql/test/BugTracker-2025/Tests/All
@@ -10,3 +10,4 @@ HAVE_HGE?7637_str_to_decimal
7632-crash-leftjoin-exists
7633-crash-leftjoin-any
7634_join_with_subquery_crash
+7636_antijoin_crash
_______________________________________________
checkin-list mailing list -- [email protected]
To unsubscribe send an email to [email protected]
