ed07d0ea76
a compound with different result datatypes on two or more arms of the compound, then the overall column type becomes BLOB (ANY). FossilOrigin-Name: 6ebb178c6b688ebd632e91a5ec4c748567833037c679ab3d72fb770deb230fe1
127 lines
3.0 KiB
Plaintext
127 lines
3.0 KiB
Plaintext
# 2017 April 29
|
|
#
|
|
# The author disclaims copyright to this source code. In place of
|
|
# a legal notice, here is a blessing:
|
|
#
|
|
# May you do good and not evil.
|
|
# May you find forgiveness for yourself and forgive others.
|
|
# May you share freely, never taking more than you give.
|
|
#
|
|
#***********************************************************************
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
set testprefix pushdown
|
|
|
|
do_execsql_test 1.0 {
|
|
CREATE TABLE t1(a, b, c);
|
|
INSERT INTO t1 VALUES(1, 'b1', 'c1');
|
|
INSERT INTO t1 VALUES(2, 'b2', 'c2');
|
|
INSERT INTO t1 VALUES(3, 'b3', 'c3');
|
|
INSERT INTO t1 VALUES(4, 'b4', 'c4');
|
|
CREATE INDEX i1 ON t1(a, c);
|
|
}
|
|
|
|
proc f {val} {
|
|
lappend ::L $val
|
|
return 0
|
|
}
|
|
db func f f
|
|
|
|
do_test 1.1 {
|
|
set L [list]
|
|
execsql { SELECT * FROM t1 WHERE a=2 AND f(b) AND f(c) }
|
|
set L
|
|
} {c2}
|
|
|
|
do_test 1.2 {
|
|
set L [list]
|
|
execsql { SELECT * FROM t1 WHERE a=3 AND f(c) AND f(b) }
|
|
set L
|
|
} {c3}
|
|
|
|
do_execsql_test 1.3 {
|
|
DROP INDEX i1;
|
|
CREATE INDEX i1 ON t1(a, b);
|
|
}
|
|
do_test 1.4 {
|
|
set L [list]
|
|
execsql { SELECT * FROM t1 WHERE a=2 AND f(b) AND f(c) }
|
|
set L
|
|
} {b2}
|
|
|
|
do_test 1.5 {
|
|
set L [list]
|
|
execsql { SELECT * FROM t1 WHERE a=3 AND f(c) AND f(b) }
|
|
set L
|
|
} {b3}
|
|
|
|
#-----------------------------------------------
|
|
|
|
do_execsql_test 2.0 {
|
|
CREATE TABLE u1(a, b, c);
|
|
CREATE TABLE u2(x, y, z);
|
|
|
|
INSERT INTO u1 VALUES('a1', 'b1', 'c1');
|
|
INSERT INTO u2 VALUES('a1', 'b1', 'c1');
|
|
}
|
|
|
|
do_test 2.1 {
|
|
set L [list]
|
|
execsql {
|
|
SELECT * FROM u1 WHERE f('one')=123 AND 123=(
|
|
SELECT x FROM u2 WHERE x=a AND f('two')
|
|
)
|
|
}
|
|
set L
|
|
} {one}
|
|
|
|
do_test 2.2 {
|
|
set L [list]
|
|
execsql {
|
|
SELECT * FROM u1 WHERE 123=(
|
|
SELECT x FROM u2 WHERE x=a AND f('two')
|
|
) AND f('three')=123
|
|
}
|
|
set L
|
|
} {three}
|
|
|
|
# 2022-11-25 dbsqlfuzz crash-3a548de406a50e896c1bf7142692d35d339d697f
|
|
# Disable the push-down optimization for compound subqueries if any
|
|
# arm of the compound has an incompatible affinity.
|
|
#
|
|
reset_db
|
|
do_execsql_test 3.1 {
|
|
CREATE TABLE t0(c0 INT);
|
|
INSERT INTO t0 VALUES(0);
|
|
CREATE TABLE t1_a(a INTEGER PRIMARY KEY, b TEXT);
|
|
INSERT INTO t1_a VALUES(1,'one');
|
|
CREATE TABLE t1_b(c INTEGER PRIMARY KEY, d TEXT);
|
|
INSERT INTO t1_b VALUES(2,'two');
|
|
CREATE VIEW v0 AS SELECT CAST(t0.c0 AS INTEGER) AS c0 FROM t0;
|
|
CREATE VIEW v1(a,b) AS SELECT a, b FROM t1_a UNION ALL SELECT c, 0 FROM t1_b;
|
|
SELECT v1.a, quote(v1.b), t0.c0 AS cd FROM t0 LEFT JOIN v0 ON v0.c0!=0,v1;
|
|
} {
|
|
1 'one' 0
|
|
2 0 0
|
|
}
|
|
do_execsql_test 3.2 {
|
|
SELECT a, quote(b), cd FROM (
|
|
SELECT v1.a, v1.b, t0.c0 AS cd FROM t0 LEFT JOIN v0 ON v0.c0!=0, v1
|
|
) WHERE a=2 AND b='0' AND cd=0;
|
|
} {}
|
|
do_execsql_test 3.3 {
|
|
SELECT a, quote(b), cd FROM (
|
|
SELECT v1.a, v1.b, t0.c0 AS cd FROM t0 LEFT JOIN v0 ON v0.c0!=0, v1
|
|
) WHERE a=1 AND b='one' AND cd=0;
|
|
} {1 'one' 0}
|
|
do_execsql_test 3.4 {
|
|
SELECT a, quote(b), cd FROM (
|
|
SELECT v1.a, v1.b, t0.c0 AS cd FROM t0 LEFT JOIN v0 ON v0.c0!=0, v1
|
|
) WHERE a=2 AND b=0 AND cd=0;
|
|
} {
|
|
2 0 0
|
|
}
|
|
|
|
finish_test
|