1# 2016 July 29 2# 3# The author disclaims copyright to this source code. In place of 4# 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. The 12# focus of this file is syntax errors involving row-value constructors 13# and sub-selects that return multiple arguments. 14# 15 16set testdir [file dirname $argv0] 17source $testdir/tester.tcl 18set ::testprefix rowvalue4 19 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 number 25# 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 {invalid use of row value}} 38} 39 40foreach {tn s error} { 41 1 "SELECT * FROM t1 WHERE a = (1, 2)" {invalid use of row value} 42 2 "SELECT * FROM t1 WHERE b = (1, 2)" {invalid use of row value} 43 3 "SELECT * FROM t1 WHERE NOT (b = (1, 2))" {invalid use of row value} 44 4 "SELECT * FROM t1 LIMIT (1, 2)" {invalid use of row value} 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} { 51 do_catchsql_test 2.$tn "$s" [list 1 $error] 52} 53 54#------------------------------------------------------------------------- 55do_execsql_test 2.0 { 56 CREATE TABLE t2(a, b, c, d); 57 INSERT INTO t2 VALUES(1, 1, 1, 1); 58 INSERT INTO t2 VALUES(1, 1, 2, 2); 59 INSERT INTO t2 VALUES(1, 1, 3, 3); 60 INSERT INTO t2 VALUES(1, 2, 1, 4); 61 INSERT INTO t2 VALUES(1, 2, 2, 5); 62 INSERT INTO t2 VALUES(1, 2, 3, 6); 63 INSERT INTO t2 VALUES(1, 3, 1, 7); 64 INSERT INTO t2 VALUES(1, 3, 2, 8); 65 INSERT INTO t2 VALUES(1, 3, 3, 9); 66 67 INSERT INTO t2 VALUES(2, 1, 1, 10); 68 INSERT INTO t2 VALUES(2, 1, 2, 11); 69 INSERT INTO t2 VALUES(2, 1, 3, 12); 70 INSERT INTO t2 VALUES(2, 2, 1, 13); 71 INSERT INTO t2 VALUES(2, 2, 2, 14); 72 INSERT INTO t2 VALUES(2, 2, 3, 15); 73 INSERT INTO t2 VALUES(2, 3, 1, 16); 74 INSERT INTO t2 VALUES(2, 3, 2, 17); 75 INSERT INTO t2 VALUES(2, 3, 3, 18); 76 77 INSERT INTO t2 VALUES(3, 1, 1, 19); 78 INSERT INTO t2 VALUES(3, 1, 2, 20); 79 INSERT INTO t2 VALUES(3, 1, 3, 21); 80 INSERT INTO t2 VALUES(3, 2, 1, 22); 81 INSERT INTO t2 VALUES(3, 2, 2, 23); 82 INSERT INTO t2 VALUES(3, 2, 3, 24); 83 INSERT INTO t2 VALUES(3, 3, 1, 25); 84 INSERT INTO t2 VALUES(3, 3, 2, 26); 85 INSERT INTO t2 VALUES(3, 3, 3, 27); 86} 87 88foreach {nm idx} { 89 idx1 {} 90 idx2 { CREATE INDEX t2abc ON t2(a, b, c); } 91 idx3 { CREATE INDEX t2abc ON t2(a, b DESC, c); } 92 idx4 { CREATE INDEX t2abc ON t2(a DESC, b DESC, c DESC); } 93 idx5 { CREATE INDEX t2abc ON t2(a ASC, b ASC, c ASC); } 94 idx6 { CREATE INDEX t2abc ON t2(a DESC, b, c); } 95 idx7 { CREATE INDEX t2abc ON t2(a DESC, b DESC) } 96 idx8 { CREATE INDEX t2abc ON t2(c, b, a); } 97 idx9 { CREATE INDEX t2d ON t2(d); } 98 idx10 { CREATE INDEX t2abc ON t2(a DESC, b, c DESC); } 99} { 100 drop_all_indexes 101 execsql $idx 102 103 foreach {tn where res} { 104 1 "(a, b, c) < (2, 2, 2)" {1 2 3 4 5 6 7 8 9 10 11 12 13} 105 2 "(a, b, c) <= (2, 2, 2)" {1 2 3 4 5 6 7 8 9 10 11 12 13 14} 106 3 "(a, b, c) > (2, 2, 2)" {15 16 17 18 19 20 21 22 23 24 25 26 27} 107 4 "(a, b, c) >= (2, 2, 2)" {14 15 16 17 18 19 20 21 22 23 24 25 26 27} 108 5 "(a, b, c) >= (2, 2, NULL)" {16 17 18 19 20 21 22 23 24 25 26 27} 109 6 "(a, b, c) <= (2, 2, NULL)" {1 2 3 4 5 6 7 8 9 10 11 12} 110 7 "(a, b, c) >= (2, NULL, NULL)" {19 20 21 22 23 24 25 26 27} 111 8 "(a, b, c) <= (2, NULL, NULL)" {1 2 3 4 5 6 7 8 9} 112 113 9 "(a, b, c) < (SELECT a, b, c FROM t2 WHERE d=14)" 114 {1 2 3 4 5 6 7 8 9 10 11 12 13} 115 116 10 "(a, b, c) = (SELECT a, b, c FROM t2 WHERE d=14)" 14 117 118 11 "a = 2 AND (b, c) > (2, 2)" {15 16 17 18} 119 12 "a = 2 AND (b, c) < (3, 3) AND (b, c) > (1, 1)" {11 12 13 14 15 16 17} 120 } { 121 set result [db eval "SELECT d FROM t2 WHERE $where"] 122 do_test 2.1.$nm.$tn { lsort -integer $result } $res 123 } 124 125 foreach {tn e res} { 126 1 "(2, 1) IN (SELECT a, b FROM t2)" 1 127 2 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d)" 1 128 3 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 9)" 0 129 4 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 10)" 1 130 131 5 "(3, 3) = (SELECT a, b FROM t2 ORDER BY d DESC LIMIT 1)" 1 132 6 "(3, 3) = (SELECT a, b FROM t2 ORDER BY d ASC LIMIT 1)" 0 133 7 "(1, NULL) = (SELECT a, b FROM t2 ORDER BY d ASC LIMIT 1)" {{}} 134 135 8 "(3, 1) = (SELECT b, c FROM t2 ORDER BY d DESC LIMIT 1 OFFSET 2)" 1 136 9 "(3, 1) = (SELECT b, c FROM t2 ORDER BY d ASC LIMIT 1 OFFSET 2)" 0 137 10 "(1, NULL) = (SELECT b, c FROM t2 ORDER BY d ASC LIMIT 1 OFFSET 2)" {{}} 138 139 11 "(3, 3) = (SELECT max(a), max(b) FROM t2)" 1 140 12 "(3, 1) = (SELECT max(a), min(b) FROM t2)" 1 141 13 "(NULL, NULL) = (SELECT max(a), min(b) FROM t2)" {{}} 142 143 14 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 5 OFFSET 11)" 1 144 15 "(2, 1) IN (SELECT a, b FROM t2 ORDER BY d LIMIT 5 OFFSET 12)" 0 145 } { 146 do_execsql_test 2.2.$nm.$tn "SELECT $e" $res 147 } 148} 149 150ifcapable stat4 { 151 do_execsql_test 3.0 { 152 CREATE TABLE c1(a, b, c, d); 153 INSERT INTO c1(a, b) VALUES(1, 'a'); 154 INSERT INTO c1(a, b) VALUES(1, 'b'); 155 INSERT INTO c1(a, b) VALUES(1, 'c'); 156 INSERT INTO c1(a, b) VALUES(1, 'd'); 157 INSERT INTO c1(a, b) VALUES(1, 'e'); 158 INSERT INTO c1(a, b) VALUES(1, 'f'); 159 INSERT INTO c1(a, b) VALUES(1, 'g'); 160 INSERT INTO c1(a, b) VALUES(1, 'h'); 161 INSERT INTO c1(a, b) VALUES(1, 'i'); 162 INSERT INTO c1(a, b) VALUES(1, 'j'); 163 INSERT INTO c1(a, b) VALUES(1, 'k'); 164 INSERT INTO c1(a, b) VALUES(1, 'l'); 165 INSERT INTO c1(a, b) VALUES(1, 'm'); 166 INSERT INTO c1(a, b) VALUES(1, 'n'); 167 INSERT INTO c1(a, b) VALUES(1, 'o'); 168 INSERT INTO c1(a, b) VALUES(1, 'p'); 169 INSERT INTO c1(a, b) VALUES(2, 'a'); 170 INSERT INTO c1(a, b) VALUES(2, 'b'); 171 INSERT INTO c1(a, b) VALUES(2, 'c'); 172 INSERT INTO c1(a, b) VALUES(2, 'd'); 173 INSERT INTO c1(a, b) VALUES(2, 'e'); 174 INSERT INTO c1(a, b) VALUES(2, 'f'); 175 INSERT INTO c1(a, b) VALUES(2, 'g'); 176 INSERT INTO c1(a, b) VALUES(2, 'h'); 177 178 INSERT INTO c1(c, d) SELECT a, b FROM c1; 179 180 CREATE INDEX c1ab ON c1(a, b); 181 CREATE INDEX c1cd ON c1(c, d); 182 ANALYZE; 183 } 184 185 do_eqp_test 3.1.1 { SELECT * FROM c1 WHERE a=1 AND c=2 } { 186 0 0 0 {SEARCH TABLE c1 USING INDEX c1cd (c=?)} 187 } 188 do_eqp_test 3.1.2 { SELECT * FROM c1 WHERE a=1 AND b>'d' AND c=2 } { 189 0 0 0 {SEARCH TABLE c1 USING INDEX c1cd (c=?)} 190 } 191 do_eqp_test 3.1.3 { SELECT * FROM c1 WHERE a=1 AND b>'l' AND c=2 } { 192 0 0 0 {SEARCH TABLE c1 USING INDEX c1ab (a=? AND b>?)} 193 } 194 195 do_eqp_test 3.2.1 { SELECT * FROM c1 WHERE a=1 AND c>1 } { 196 0 0 0 {SEARCH TABLE c1 USING INDEX c1cd (c>?)} 197 } 198 do_eqp_test 3.2.2 { SELECT * FROM c1 WHERE a=1 AND c>0 } { 199 0 0 0 {SEARCH TABLE c1 USING INDEX c1ab (a=?)} 200 } 201 do_eqp_test 3.2.3 { SELECT * FROM c1 WHERE a=1 AND c>=1 } { 202 0 0 0 {SEARCH TABLE c1 USING INDEX c1ab (a=?)} 203 } 204 do_eqp_test 3.2.4 { SELECT * FROM c1 WHERE a=1 AND (c, d)>(1, 'c') } { 205 0 0 0 {SEARCH TABLE c1 USING INDEX c1ab (a=?)} 206 } 207 do_eqp_test 3.2.5 { SELECT * FROM c1 WHERE a=1 AND (c, d)>(1, 'o') } { 208 0 0 0 {SEARCH TABLE c1 USING INDEX c1cd (c>?)} 209 } 210 do_eqp_test 3.2.6 { SELECT * FROM c1 WHERE a=1 AND (c, +b)>(1, 'c') } { 211 0 0 0 {SEARCH TABLE c1 USING INDEX c1ab (a=?)} 212 } 213} 214 215finish_test 216 217