Fuzzer 16: Between type mismatch

[LindsayWray]

Fuzzer issue #5984 no. 16

Problem query:

CREATE TABLE t0 (c1 USMALLINT);
SELECT 1 FROM (SELECT 1) t1(c0) JOIN t0 ON c1 BETWEEN c0 AND 1;
——
Assertion : left.GetType() == right.GetType() && result.GetType() == LogicalType::BOOLEAN

My findings:
The JOIN condition is split into filter expressions ( c0 <= c1 ) and (c1 <= 1) and after that,
an additional transitive filter is created to compare c0 with 1.
However the expression (c1 <= 1) seems to have cast the constant’s logical type to USMALLINT in a previous optimizer step, probably because it’s more efficient than casting the entire c1 column.
But this in turn causes a problem when comparing c0 with 1 (INT <= USMALLINT)

My current solution is to only create transitive filters when the logical types match.

This does not solve the second problem query from the fuzzer issue though, so that part still needs fixing :(

CREATE TABLE t0 (c0 INT);
SELECT 0 FROM t0 WHERE c0 IN (0) SIMILAR TO decode('a'::BLOB);

[Mytherin]

Thanks! LGTM