AryaWu/sqlite
0
1# 2016 July 292#3# The author disclaims copyright to this source code. In place of4# a legal notice, here is a blessing:5#6# May you do good and not evil.7# May you find forgiveness for yourself and forgive others.8# May you share freely, never taking more than you give.9#10#***********************************************************************11# This file implements regression tests for SQLite library. The12# focus of this file is syntax errors involving row-value constructors13# and sub-selects that return multiple arguments.14#15 16set testdir [file dirname $argv0]17source $testdir/tester.tcl18set ::testprefix rowvalue419 20#-------------------------------------------------------------------------21# Test some error conditions:22# 23# * row values used where they are not supported,24# * row values or sub-selects that contain/return the wrong number25# of elements.26#27do_execsql_test 1.0 {28 CREATE TABLE t1(a, b, c);29 CREATE INDEX t1bac ON t1(b, a, c);30}31 32foreach {tn e} {33 1 "(1, 2, 3)"34 2 "1 + (1, 2)"35 3 "(1,2,3) == (1, 2)"36} {37 do_catchsql_test 1.$tn "SELECT $e" {1 {row value misused}}38}39 40foreach {tn s error} {41 1 "SELECT * FROM t1 WHERE a = (1, 2)" {row value misused}42 2 "SELECT * FROM t1 WHERE b = (1, 2)" {row value misused}43 3 "SELECT * FROM t1 WHERE NOT (b = (1, 2))" {row value misused}44 4 "SELECT * FROM t1 LIMIT (1, 2)" {row value misused}45 5 "SELECT (a, b) IN (SELECT * FROM t1) FROM t1" 46 {sub-select returns 3 columns - expected 2}47 48 6 "SELECT * FROM t1 WHERE (a, b) IN (SELECT * FROM t1)" 49 {sub-select returns 3 columns - expected 2}50 7 "SELECT * FROM t1 WHERE (c, c) <= 1" {row value misused}51 8 "SELECT * FROM t1 WHERE (b, b) <= 1" {row value misused}52} {53 do_catchsql_test 2.$tn "$s" [list 1 $error]54}55 56#-------------------------------------------------------------------------57do_execsql_test 2.0 {58 CREATE TABLE t2(a, b, c, d);59 INSERT INTO t2 VALUES(1, 1, 1, 1);60 INSERT INTO t2 VALUES(1, 1, 2, 2);61 INSERT INTO t2 VALUES(1, 1, 3, 3);62 INSERT INTO t2 VALUES(1, 2, 1, 4);63 INSERT INTO t2 VALUES(1, 2, 2, 5);64 INSERT INTO t2 VALUES(1, 2, 3, 6);65 INSERT INTO t2 VALUES(1, 3, 1, 7);66 INSERT INTO t2 VALUES(1, 3, 2, 8);67 INSERT INTO t2 VALUES(1, 3, 3, 9);68 69 INSERT INTO t2 VALUES(2, 1, 1, 10);70 INSERT INTO t2 VALUES(2, 1, 2, 11);71 INSERT INTO t2 VALUES(2, 1, 3, 12);72 INSERT INTO t2 VALUES(2, 2, 1, 13);73 INSERT INTO t2 VALUES(2, 2, 2, 14);74 INSERT INTO t2 VALUES(2, 2, 3, 15);75 INSERT INTO t2 VALUES(2, 3, 1, 16);76 INSERT INTO t2 VALUES(2, 3, 2, 17);77 INSERT INTO t2 VALUES(2, 3, 3, 18);78 79 INSERT INTO t2 VALUES(3, 1, 1, 19);80 INSERT INTO t2 VALUES(3, 1, 2, 20);81 INSERT INTO t2 VALUES(3, 1, 3, 21);82 INSERT INTO t2 VALUES(3, 2, 1, 22);83 INSERT INTO t2 VALUES(3, 2, 2, 23);84 INSERT INTO t2 VALUES(3, 2, 3, 24);85 INSERT INTO t2 VALUES(3, 3, 1, 25);86 INSERT INTO t2 VALUES(3, 3, 2, 26);87 INSERT INTO t2 VALUES(3, 3, 3, 27);88}89 90foreach {nm idx} {91 idx1 {}92 idx2 { CREATE INDEX t2abc ON t2(a, b, c); }93 idx3 { CREATE INDEX t2abc ON t2(a, b DESC, c); }94 idx4 { CREATE INDEX t2abc ON t2(a DESC, b DESC, c DESC); }95 idx5 { CREATE INDEX t2abc ON t2(a ASC, b ASC, c ASC); }96 idx6 { CREATE INDEX t2abc ON t2(a DESC, b, c); }97 idx7 { CREATE INDEX t2abc ON t2(a DESC, b DESC) }98 idx8 { CREATE INDEX t2abc ON t2(c, b, a); }99 idx9 { CREATE INDEX t2d ON t2(d); }100 idx10 { CREATE INDEX t2abc ON t2(a DESC, b, c DESC); }101} {102 drop_all_indexes103 execsql $idx104 105 foreach {tn where res} {106 1 "(a, b, c) < (2, 2, 2)" {1 2 3 4 5 6 7 8 9 10 11 12 13}107 2 "(a, b, c) <= (2, 2, 2)" {1 2 3 4 5 6 7 8 9 10 11 12 13 14}108 3 "(a, b, c) > (2, 2, 2)" {15 16 17 18 19 20 21 22 23 24 25 26 27}109 4 "(a, b, c) >= (2, 2, 2)" {14 15 16 17 18 19 20 21 22 23 24 25 26 27}110 5 "(a, b, c) >= (2, 2, NULL)" {16 17 18 19 20 21 22 23 24 25 26 27}111 6 "(a, b, c) <= (2, 2, NULL)" {1 2 3 4 5 6 7 8 9 10 11 12}112 7 "(a, b, c) >= (2, NULL, NULL)" {19 20 21 22 23 24 25 26 27}113 8 "(a, b, c) <= (2, NULL, NULL)" {1 2 3 4 5 6 7 8 9}114 115 9 "(a, b, c) < (SELECT a, b, c FROM t2 WHERE d=14)" 116 {1 2 3 4 5 6 7 8 9 10 11 12 13}117 118 10 "(a, b, c) = (SELECT a, b, c FROM t2 WHERE d=14)" 14119 120 11 "a = 2 AND (b, c) > (2, 2)" {15 16 17 18}121 12 "a = 2 AND (b, c) < (3, 3) AND (b, c) > (1, 1)" {11 12 13 14 15 16 17}122 } {123 set result [db eval "SELECT d FROM t2 WHERE $where"]124 do_test 2.1.$nm.$tn { lsort -integer $result } $res125 }126 127 foreach {tn e res} {128 1 "(2, 1) IN (SELECT a, b FROM t2)" 1129 2 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d)" 1130 3 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 9)" 0131 4 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 10)" 1132 133 5 "(3, 3) = (SELECT a, b FROM t2 ORDER BY d DESC LIMIT 1)" 1134 6 "(3, 3) = (SELECT a, b FROM t2 ORDER BY d ASC LIMIT 1)" 0135 7 "(1, NULL) = (SELECT a, b FROM t2 ORDER BY d ASC LIMIT 1)" {{}}136 137 8 "(3, 1) = (SELECT b, c FROM t2 ORDER BY d DESC LIMIT 1 OFFSET 2)" 1138 9 "(3, 1) = (SELECT b, c FROM t2 ORDER BY d ASC LIMIT 1 OFFSET 2)" 0139 10 "(1, NULL) = (SELECT b, c FROM t2 ORDER BY d ASC LIMIT 1 OFFSET 2)" {{}}140 141 11 "(3, 3) = (SELECT max(a), max(b) FROM t2)" 1142 12 "(3, 1) = (SELECT max(a), min(b) FROM t2)" 1143 13 "(NULL, NULL) = (SELECT max(a), min(b) FROM t2)" {{}}144 145 14 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 5 OFFSET 11)" 1146 15 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 5 OFFSET 12)" 0147 } {148 do_execsql_test 2.2.$nm.$tn "SELECT $e" $res149 }150}151 152ifcapable stat4 {153 do_execsql_test 3.0 {154 CREATE TABLE c1(a, b, c, d);155 INSERT INTO c1(a, b) VALUES(1, 'a');156 INSERT INTO c1(a, b) VALUES(1, 'b');157 INSERT INTO c1(a, b) VALUES(1, 'c');158 INSERT INTO c1(a, b) VALUES(1, 'd');159 INSERT INTO c1(a, b) VALUES(1, 'e');160 INSERT INTO c1(a, b) VALUES(1, 'f');161 INSERT INTO c1(a, b) VALUES(1, 'g');162 INSERT INTO c1(a, b) VALUES(1, 'h');163 INSERT INTO c1(a, b) VALUES(1, 'i');164 INSERT INTO c1(a, b) VALUES(1, 'j');165 INSERT INTO c1(a, b) VALUES(1, 'k');166 INSERT INTO c1(a, b) VALUES(1, 'l');167 INSERT INTO c1(a, b) VALUES(1, 'm');168 INSERT INTO c1(a, b) VALUES(1, 'n');169 INSERT INTO c1(a, b) VALUES(1, 'o');170 INSERT INTO c1(a, b) VALUES(1, 'p');171 INSERT INTO c1(a, b) VALUES(2, 'a');172 INSERT INTO c1(a, b) VALUES(2, 'b');173 INSERT INTO c1(a, b) VALUES(2, 'c');174 INSERT INTO c1(a, b) VALUES(2, 'd');175 INSERT INTO c1(a, b) VALUES(2, 'e');176 INSERT INTO c1(a, b) VALUES(2, 'f');177 INSERT INTO c1(a, b) VALUES(2, 'g');178 INSERT INTO c1(a, b) VALUES(2, 'h');179 180 INSERT INTO c1(c, d) SELECT a, b FROM c1;181 182 CREATE INDEX c1ab ON c1(a, b);183 CREATE INDEX c1cd ON c1(c, d);184 ANALYZE;185 }186 187 do_eqp_test 3.1.1 { SELECT * FROM c1 WHERE a=1 AND c=2 } \188 {SEARCH c1 USING INDEX c1cd (c=?)}189 190 do_eqp_test 3.1.2 { SELECT * FROM c1 WHERE a=1 AND b>'d' AND c=2 } \191 {SEARCH c1 USING INDEX c1cd (c=?)}192 193 do_eqp_test 3.1.3 { SELECT * FROM c1 WHERE a=1 AND b>'l' AND c=2 } \194 {SEARCH c1 USING INDEX c1ab (a=? AND b>?)}195 196 do_eqp_test 3.2.1 { SELECT * FROM c1 WHERE a=1 AND c>1 } \197 {SEARCH c1 USING INDEX c1cd (c>?)}198 199 do_eqp_test 3.2.2 { SELECT * FROM c1 WHERE a=1 AND c>0 } \200 {SEARCH c1 USING INDEX c1ab (a=?)}201 202 do_eqp_test 3.2.3 { SELECT * FROM c1 WHERE a=1 AND c>=1 } \203 {SEARCH c1 USING INDEX c1ab (a=?)}204 205 do_eqp_test 3.2.4 { SELECT * FROM c1 WHERE a=1 AND (c, d)>(1, 'c') } \206 {SEARCH c1 USING INDEX c1ab (a=?)}207 208 do_eqp_test 3.2.5 { SELECT * FROM c1 WHERE a=1 AND (c, d)>(1, 'o') } \209 {SEARCH c1 USING INDEX c1cd ((c,d)>(?,?))}210 211 do_eqp_test 3.2.6 { SELECT * FROM c1 WHERE a=1 AND (c, +b)>(1, 'c') } \212 {SEARCH c1 USING INDEX c1ab (a=?)}213 214}215 216#------------------------------------------------------------------------217 218do_execsql_test 5.0 {219 CREATE TABLE d1(x, y);220 CREATE TABLE d2(a, b, c);221 CREATE INDEX d2ab ON d2(a, b);222 CREATE INDEX d2c ON d2(c);223 224 WITH i(i) AS (225 VALUES(1) UNION ALL SELECT i+1 FROM i WHERE i<1000226 )227 INSERT INTO d2 SELECT i/100, i%100, i/100 FROM i;228 ANALYZE;229}230 231do_eqp_test 5.1 {232 SELECT * FROM d2 WHERE 233 (a, b) IN (SELECT x, y FROM d1) AND234 (c) IN (SELECT y FROM d1)235} {236 QUERY PLAN237 |--SEARCH d2 USING INDEX d2ab (a=? AND b=?)238 |--LIST SUBQUERY xxxxxx239 | |--SCAN d1240 | `--CREATE BLOOM FILTER241 `--LIST SUBQUERY xxxxxx242 |--SCAN d1243 `--CREATE BLOOM FILTER244}245 246do_execsql_test 6.0 {247 CREATE TABLE e1(a, b, c, d, e);248 CREATE INDEX e1ab ON e1(a, b);249 CREATE INDEX e1cde ON e1(c, d, e);250}251 252do_eqp_test 6.1 {253 SELECT * FROM e1 WHERE (a, b) > (?, ?)254} {SEARCH e1 USING INDEX e1ab ((a,b)>(?,?))}255 256do_eqp_test 6.2 {257 SELECT * FROM e1 WHERE (a, b) < (?, ?)258} {SEARCH e1 USING INDEX e1ab ((a,b)<(?,?))}259 260do_eqp_test 6.3 {261 SELECT * FROM e1 WHERE c = ? AND (d, e) > (?, ?)262} {SEARCH e1 USING INDEX e1cde (c=? AND (d,e)>(?,?))}263 264do_eqp_test 6.4 {265 SELECT * FROM e1 WHERE c = ? AND (d, e) < (?, ?)266} {SEARCH e1 USING INDEX e1cde (c=? AND (d,e)<(?,?))}267 268do_eqp_test 6.5 {269 SELECT * FROM e1 WHERE (d, e) BETWEEN (?, ?) AND (?, ?) AND c = ?270} {SEARCH e1 USING INDEX e1cde (c=? AND (d,e)>(?,?) AND (d,e)<(?,?))}271 272#-------------------------------------------------------------------------273 274do_execsql_test 7.1 {275 CREATE TABLE f1(a, b, c);276 CREATE INDEX f1ab ON f1(a, b);277}278 279do_catchsql_test 7.2 {280 SELECT (a COLLATE nocase, b) IN (SELECT a, b FROM f1) FROM f1;281} {0 {}}282 283do_catchsql_test 7.3 {284 SELECT (a COLLATE nose, b) IN (SELECT a, b FROM f1) FROM f1;285} {1 {no such collation sequence: nose}}286 287do_catchsql_test 7.4 {288 SELECT * FROM f1 WHERE (?, ? COLLATE nose) > (a, b);289} {1 {no such collation sequence: nose}}290 291#-------------------------------------------------------------------------292drop_all_tables293do_execsql_test 8.1 {294 CREATE TABLE c1(x, y);295 CREATE TABLE c2(a, b, c);296 CREATE INDEX c2ab ON c2(a, b);297 CREATE INDEX c2c ON c2(c);298 299 CREATE TABLE c3(d);300}301do_catchsql_test 8.2 {302 SELECT * FROM c2 CROSS JOIN c3 WHERE 303 ( (a, b) == (SELECT x, y FROM c1) AND c3.d = c ) OR304 ( c == (SELECT x, y FROM c1) AND c3.d = c )305} {1 {row value misused}}306 307finish_test308