| OLD | NEW |
| (Empty) |
| 1 # 2009 August 06 | |
| 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 # | |
| 12 # This file implements regression tests for SQLite library. This file | |
| 13 # implements tests for range and LIKE constraints that use bound variables | |
| 14 # instead of literal constant arguments. | |
| 15 # | |
| 16 | |
| 17 set testdir [file dirname $argv0] | |
| 18 source $testdir/tester.tcl | |
| 19 set testprefix analyze3 | |
| 20 | |
| 21 ifcapable !stat4&&!stat3 { | |
| 22 finish_test | |
| 23 return | |
| 24 } | |
| 25 | |
| 26 #---------------------------------------------------------------------- | |
| 27 # Test Organization: | |
| 28 # | |
| 29 # analyze3-1.*: Test that the values of bound parameters are considered | |
| 30 # in the same way as constants when planning queries that | |
| 31 # use range constraints. | |
| 32 # | |
| 33 # analyze3-2.*: Test that the values of bound parameters are considered | |
| 34 # in the same way as constants when planning queries that | |
| 35 # use LIKE expressions in the WHERE clause. | |
| 36 # | |
| 37 # analyze3-3.*: Test that binding to a variable does not invalidate the | |
| 38 # query plan when there is no way in which replanning the | |
| 39 # query may produce a superior outcome. | |
| 40 # | |
| 41 # analyze3-4.*: Test that SQL or authorization callback errors occuring | |
| 42 # within sqlite3Reprepare() are handled correctly. | |
| 43 # | |
| 44 # analyze3-5.*: Check that the query plans of applicable statements are | |
| 45 # invalidated if the values of SQL parameter are modified | |
| 46 # using the clear_bindings() or transfer_bindings() APIs. | |
| 47 # | |
| 48 # analyze3-6.*: Test that the problem fixed by commit [127a5b776d] is fixed. | |
| 49 # | |
| 50 # analyze3-7.*: Test that some memory leaks discovered by fuzz testing | |
| 51 # have been fixed. | |
| 52 # | |
| 53 | |
| 54 proc getvar {varname} { uplevel #0 set $varname } | |
| 55 db function var getvar | |
| 56 | |
| 57 proc eqp {sql {db db}} { | |
| 58 uplevel execsql [list "EXPLAIN QUERY PLAN $sql"] $db | |
| 59 } | |
| 60 | |
| 61 proc sf_execsql {sql {db db}} { | |
| 62 set ::sqlite_search_count 0 | |
| 63 set r [uplevel [list execsql $sql $db]] | |
| 64 | |
| 65 concat $::sqlite_search_count [$db status step] $r | |
| 66 } | |
| 67 | |
| 68 #------------------------------------------------------------------------- | |
| 69 # | |
| 70 # analyze3-1.1.1: | |
| 71 # Create a table with two columns. Populate the first column (affinity | |
| 72 # INTEGER) with integer values from 100 to 1100. Create an index on this | |
| 73 # column. ANALYZE the table. | |
| 74 # | |
| 75 # analyze3-1.1.2 - 3.1.3 | |
| 76 # Show that there are two possible plans for querying the table with | |
| 77 # a range constraint on the indexed column - "full table scan" or "use | |
| 78 # the index". When the range is specified using literal values, SQLite | |
| 79 # is able to pick the best plan based on the samples in sqlite_stat3. | |
| 80 # | |
| 81 # analyze3-1.1.4 - 3.1.9 | |
| 82 # Show that using SQL variables produces the same results as using | |
| 83 # literal values to constrain the range scan. | |
| 84 # | |
| 85 # These tests also check that the compiler code considers column | |
| 86 # affinities when estimating the number of rows scanned by the "use | |
| 87 # index strategy". | |
| 88 # | |
| 89 do_test analyze3-1.1.1 { | |
| 90 execsql { | |
| 91 BEGIN; | |
| 92 CREATE TABLE t1(x INTEGER, y); | |
| 93 CREATE INDEX i1 ON t1(x); | |
| 94 } | |
| 95 for {set i 0} {$i < 1000} {incr i} { | |
| 96 execsql { INSERT INTO t1 VALUES($i+100, $i) } | |
| 97 } | |
| 98 execsql { | |
| 99 COMMIT; | |
| 100 ANALYZE; | |
| 101 } | |
| 102 | |
| 103 ifcapable stat4 { | |
| 104 execsql { SELECT count(*)>0 FROM sqlite_stat4; } | |
| 105 } else { | |
| 106 execsql { SELECT count(*)>0 FROM sqlite_stat3; } | |
| 107 } | |
| 108 } {1} | |
| 109 | |
| 110 do_execsql_test analyze3-1.1.x { | |
| 111 SELECT count(*) FROM t1 WHERE x>200 AND x<300; | |
| 112 SELECT count(*) FROM t1 WHERE x>0 AND x<1100; | |
| 113 } {99 1000} | |
| 114 | |
| 115 # The first of the following two SELECT statements visits 99 rows. So | |
| 116 # it is better to use the index. But the second visits every row in | |
| 117 # the table (1000 in total) so it is better to do a full-table scan. | |
| 118 # | |
| 119 do_eqp_test analyze3-1.1.2 { | |
| 120 SELECT sum(y) FROM t1 WHERE x>200 AND x<300 | |
| 121 } {0 0 0 {SEARCH TABLE t1 USING INDEX i1 (x>? AND x<?)}} | |
| 122 do_eqp_test analyze3-1.1.3 { | |
| 123 SELECT sum(y) FROM t1 WHERE x>0 AND x<1100 | |
| 124 } {0 0 0 {SCAN TABLE t1}} | |
| 125 | |
| 126 do_test analyze3-1.1.4 { | |
| 127 sf_execsql { SELECT sum(y) FROM t1 WHERE x>200 AND x<300 } | |
| 128 } {199 0 14850} | |
| 129 do_test analyze3-1.1.5 { | |
| 130 set l [string range "200" 0 end] | |
| 131 set u [string range "300" 0 end] | |
| 132 sf_execsql { SELECT sum(y) FROM t1 WHERE x>$l AND x<$u } | |
| 133 } {199 0 14850} | |
| 134 do_test analyze3-1.1.6 { | |
| 135 set l [expr int(200)] | |
| 136 set u [expr int(300)] | |
| 137 sf_execsql { SELECT sum(y) FROM t1 WHERE x>$l AND x<$u } | |
| 138 } {199 0 14850} | |
| 139 do_test analyze3-1.1.7 { | |
| 140 sf_execsql { SELECT sum(y) FROM t1 WHERE x>0 AND x<1100 } | |
| 141 } {999 999 499500} | |
| 142 do_test analyze3-1.1.8 { | |
| 143 set l [string range "0" 0 end] | |
| 144 set u [string range "1100" 0 end] | |
| 145 sf_execsql { SELECT sum(y) FROM t1 WHERE x>$l AND x<$u } | |
| 146 } {999 999 499500} | |
| 147 do_test analyze3-1.1.9 { | |
| 148 set l [expr int(0)] | |
| 149 set u [expr int(1100)] | |
| 150 sf_execsql { SELECT sum(y) FROM t1 WHERE x>$l AND x<$u } | |
| 151 } {999 999 499500} | |
| 152 | |
| 153 | |
| 154 # The following tests are similar to the block above. The difference is | |
| 155 # that the indexed column has TEXT affinity in this case. In the tests | |
| 156 # above the affinity is INTEGER. | |
| 157 # | |
| 158 do_test analyze3-1.2.1 { | |
| 159 execsql { | |
| 160 BEGIN; | |
| 161 CREATE TABLE t2(x TEXT, y); | |
| 162 INSERT INTO t2 SELECT * FROM t1; | |
| 163 CREATE INDEX i2 ON t2(x); | |
| 164 COMMIT; | |
| 165 ANALYZE; | |
| 166 } | |
| 167 } {} | |
| 168 do_execsql_test analyze3-2.1.x { | |
| 169 SELECT count(*) FROM t2 WHERE x>1 AND x<2; | |
| 170 SELECT count(*) FROM t2 WHERE x>0 AND x<99; | |
| 171 } {200 990} | |
| 172 do_eqp_test analyze3-1.2.2 { | |
| 173 SELECT sum(y) FROM t2 WHERE x>1 AND x<2 | |
| 174 } {0 0 0 {SEARCH TABLE t2 USING INDEX i2 (x>? AND x<?)}} | |
| 175 do_eqp_test analyze3-1.2.3 { | |
| 176 SELECT sum(y) FROM t2 WHERE x>0 AND x<99 | |
| 177 } {0 0 0 {SCAN TABLE t2}} | |
| 178 | |
| 179 do_test analyze3-1.2.4 { | |
| 180 sf_execsql { SELECT sum(y) FROM t2 WHERE x>12 AND x<20 } | |
| 181 } {161 0 4760} | |
| 182 do_test analyze3-1.2.5 { | |
| 183 set l [string range "12" 0 end] | |
| 184 set u [string range "20" 0 end] | |
| 185 sf_execsql {SELECT typeof($l), typeof($u), sum(y) FROM t2 WHERE x>$l AND x<$u} | |
| 186 } {161 0 text text 4760} | |
| 187 do_test analyze3-1.2.6 { | |
| 188 set l [expr int(12)] | |
| 189 set u [expr int(20)] | |
| 190 sf_execsql {SELECT typeof($l), typeof($u), sum(y) FROM t2 WHERE x>$l AND x<$u} | |
| 191 } {161 0 integer integer 4760} | |
| 192 do_test analyze3-1.2.7 { | |
| 193 sf_execsql { SELECT sum(y) FROM t2 WHERE x>0 AND x<99 } | |
| 194 } {999 999 490555} | |
| 195 do_test analyze3-1.2.8 { | |
| 196 set l [string range "0" 0 end] | |
| 197 set u [string range "99" 0 end] | |
| 198 sf_execsql {SELECT typeof($l), typeof($u), sum(y) FROM t2 WHERE x>$l AND x<$u} | |
| 199 } {999 999 text text 490555} | |
| 200 do_test analyze3-1.2.9 { | |
| 201 set l [expr int(0)] | |
| 202 set u [expr int(99)] | |
| 203 sf_execsql {SELECT typeof($l), typeof($u), sum(y) FROM t2 WHERE x>$l AND x<$u} | |
| 204 } {999 999 integer integer 490555} | |
| 205 | |
| 206 # Same tests a third time. This time, column x has INTEGER affinity and | |
| 207 # is not the leftmost column of the table. This triggered a bug causing | |
| 208 # SQLite to use sub-optimal query plans in 3.6.18 and earlier. | |
| 209 # | |
| 210 do_test analyze3-1.3.1 { | |
| 211 execsql { | |
| 212 BEGIN; | |
| 213 CREATE TABLE t3(y TEXT, x INTEGER); | |
| 214 INSERT INTO t3 SELECT y, x FROM t1; | |
| 215 CREATE INDEX i3 ON t3(x); | |
| 216 COMMIT; | |
| 217 ANALYZE; | |
| 218 } | |
| 219 } {} | |
| 220 do_execsql_test analyze3-1.3.x { | |
| 221 SELECT count(*) FROM t3 WHERE x>200 AND x<300; | |
| 222 SELECT count(*) FROM t3 WHERE x>0 AND x<1100 | |
| 223 } {99 1000} | |
| 224 do_eqp_test analyze3-1.3.2 { | |
| 225 SELECT sum(y) FROM t3 WHERE x>200 AND x<300 | |
| 226 } {0 0 0 {SEARCH TABLE t3 USING INDEX i3 (x>? AND x<?)}} | |
| 227 do_eqp_test analyze3-1.3.3 { | |
| 228 SELECT sum(y) FROM t3 WHERE x>0 AND x<1100 | |
| 229 } {0 0 0 {SCAN TABLE t3}} | |
| 230 | |
| 231 do_test analyze3-1.3.4 { | |
| 232 sf_execsql { SELECT sum(y) FROM t3 WHERE x>200 AND x<300 } | |
| 233 } {199 0 14850} | |
| 234 do_test analyze3-1.3.5 { | |
| 235 set l [string range "200" 0 end] | |
| 236 set u [string range "300" 0 end] | |
| 237 sf_execsql { SELECT sum(y) FROM t3 WHERE x>$l AND x<$u } | |
| 238 } {199 0 14850} | |
| 239 do_test analyze3-1.3.6 { | |
| 240 set l [expr int(200)] | |
| 241 set u [expr int(300)] | |
| 242 sf_execsql { SELECT sum(y) FROM t3 WHERE x>$l AND x<$u } | |
| 243 } {199 0 14850} | |
| 244 do_test analyze3-1.3.7 { | |
| 245 sf_execsql { SELECT sum(y) FROM t3 WHERE x>0 AND x<1100 } | |
| 246 } {999 999 499500} | |
| 247 do_test analyze3-1.3.8 { | |
| 248 set l [string range "0" 0 end] | |
| 249 set u [string range "1100" 0 end] | |
| 250 sf_execsql { SELECT sum(y) FROM t3 WHERE x>$l AND x<$u } | |
| 251 } {999 999 499500} | |
| 252 do_test analyze3-1.3.9 { | |
| 253 set l [expr int(0)] | |
| 254 set u [expr int(1100)] | |
| 255 sf_execsql { SELECT sum(y) FROM t3 WHERE x>$l AND x<$u } | |
| 256 } {999 999 499500} | |
| 257 | |
| 258 #------------------------------------------------------------------------- | |
| 259 # Test that the values of bound SQL variables may be used for the LIKE | |
| 260 # optimization. | |
| 261 # | |
| 262 drop_all_tables | |
| 263 do_test analyze3-2.1 { | |
| 264 execsql { | |
| 265 PRAGMA case_sensitive_like=off; | |
| 266 BEGIN; | |
| 267 CREATE TABLE t1(a, b TEXT COLLATE nocase); | |
| 268 CREATE INDEX i1 ON t1(b); | |
| 269 } | |
| 270 for {set i 0} {$i < 1000} {incr i} { | |
| 271 set t "" | |
| 272 append t [lindex {a b c d e f g h i j} [expr $i/100]] | |
| 273 append t [lindex {a b c d e f g h i j} [expr ($i/10)%10]] | |
| 274 append t [lindex {a b c d e f g h i j} [expr ($i%10)]] | |
| 275 execsql { INSERT INTO t1 VALUES($i, $t) } | |
| 276 } | |
| 277 execsql COMMIT | |
| 278 } {} | |
| 279 do_eqp_test analyze3-2.2 { | |
| 280 SELECT count(a) FROM t1 WHERE b LIKE 'a%' | |
| 281 } {0 0 0 {SEARCH TABLE t1 USING INDEX i1 (b>? AND b<?)}} | |
| 282 do_eqp_test analyze3-2.3 { | |
| 283 SELECT count(a) FROM t1 WHERE b LIKE '%a' | |
| 284 } {0 0 0 {SCAN TABLE t1}} | |
| 285 | |
| 286 # Return the first argument if like_match_blobs is true (the default) | |
| 287 # or the second argument if not | |
| 288 # | |
| 289 proc ilmb {a b} { | |
| 290 ifcapable like_match_blobs {return $a} | |
| 291 return $b | |
| 292 } | |
| 293 | |
| 294 do_test analyze3-2.4 { | |
| 295 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE 'a%' } | |
| 296 } [list [ilmb 102 101] 0 100] | |
| 297 do_test analyze3-2.5 { | |
| 298 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE '%a' } | |
| 299 } {999 999 100} | |
| 300 | |
| 301 do_test analyze3-2.6 { | |
| 302 set like "a%" | |
| 303 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE $like } | |
| 304 } [list [ilmb 102 101] 0 100] | |
| 305 do_test analyze3-2.7 { | |
| 306 set like "%a" | |
| 307 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE $like } | |
| 308 } {999 999 100} | |
| 309 do_test analyze3-2.8 { | |
| 310 set like "a" | |
| 311 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE $like } | |
| 312 } [list [ilmb 102 101] 0 0] | |
| 313 do_test analyze3-2.9 { | |
| 314 set like "ab" | |
| 315 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE $like } | |
| 316 } [list [ilmb 12 11] 0 0] | |
| 317 do_test analyze3-2.10 { | |
| 318 set like "abc" | |
| 319 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE $like } | |
| 320 } [list [ilmb 3 2] 0 1] | |
| 321 do_test analyze3-2.11 { | |
| 322 set like "a_c" | |
| 323 sf_execsql { SELECT count(*) FROM t1 WHERE b LIKE $like } | |
| 324 } [list [ilmb 102 101] 0 10] | |
| 325 | |
| 326 | |
| 327 #------------------------------------------------------------------------- | |
| 328 # This block of tests checks that statements are correctly marked as | |
| 329 # expired when the values bound to any parameters that may affect the | |
| 330 # query plan are modified. | |
| 331 # | |
| 332 drop_all_tables | |
| 333 db auth auth | |
| 334 proc auth {args} { | |
| 335 set ::auth 1 | |
| 336 return SQLITE_OK | |
| 337 } | |
| 338 | |
| 339 do_test analyze3-3.1 { | |
| 340 execsql { | |
| 341 BEGIN; | |
| 342 CREATE TABLE t1(a, b, c); | |
| 343 CREATE INDEX i1 ON t1(b); | |
| 344 } | |
| 345 for {set i 0} {$i < 100} {incr i} { | |
| 346 execsql { INSERT INTO t1 VALUES($i, $i, $i) } | |
| 347 } | |
| 348 execsql COMMIT | |
| 349 execsql ANALYZE | |
| 350 } {} | |
| 351 do_test analyze3-3.2.1 { | |
| 352 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE b>?" -1 dummy] | |
| 353 sqlite3_expired $S | |
| 354 } {0} | |
| 355 do_test analyze3-3.2.2 { | |
| 356 sqlite3_bind_text $S 1 "abc" 3 | |
| 357 sqlite3_expired $S | |
| 358 } {1} | |
| 359 do_test analyze3-3.2.4 { | |
| 360 sqlite3_finalize $S | |
| 361 } {SQLITE_OK} | |
| 362 | |
| 363 do_test analyze3-3.2.5 { | |
| 364 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE b=?" -1 dummy] | |
| 365 sqlite3_expired $S | |
| 366 } {0} | |
| 367 do_test analyze3-3.2.6 { | |
| 368 sqlite3_bind_text $S 1 "abc" 3 | |
| 369 sqlite3_expired $S | |
| 370 } {1} | |
| 371 do_test analyze3-3.2.7 { | |
| 372 sqlite3_finalize $S | |
| 373 } {SQLITE_OK} | |
| 374 | |
| 375 do_test analyze3-3.4.1 { | |
| 376 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE a=? AND b>?" -1 dummy] | |
| 377 sqlite3_expired $S | |
| 378 } {0} | |
| 379 do_test analyze3-3.4.2 { | |
| 380 sqlite3_bind_text $S 1 "abc" 3 | |
| 381 sqlite3_expired $S | |
| 382 } {0} | |
| 383 do_test analyze3-3.4.3 { | |
| 384 sqlite3_bind_text $S 2 "def" 3 | |
| 385 sqlite3_expired $S | |
| 386 } {1} | |
| 387 do_test analyze3-3.4.4 { | |
| 388 sqlite3_bind_text $S 2 "ghi" 3 | |
| 389 sqlite3_expired $S | |
| 390 } {1} | |
| 391 do_test analyze3-3.4.5 { | |
| 392 sqlite3_expired $S | |
| 393 } {1} | |
| 394 do_test analyze3-3.4.6 { | |
| 395 sqlite3_finalize $S | |
| 396 } {SQLITE_OK} | |
| 397 | |
| 398 do_test analyze3-3.5.1 { | |
| 399 set S [sqlite3_prepare_v2 db { | |
| 400 SELECT * FROM t1 WHERE a IN ( | |
| 401 ?1, ?2, ?3, ?4, ?5, ?6, ?7, ?8, ?9, ?10, | |
| 402 ?11, ?12, ?13, ?14, ?15, ?16, ?17, ?18, ?19, ?20, | |
| 403 ?21, ?22, ?23, ?24, ?25, ?26, ?27, ?28, ?29, ?30, ?31 | |
| 404 ) AND b>?32; | |
| 405 } -1 dummy] | |
| 406 sqlite3_expired $S | |
| 407 } {0} | |
| 408 do_test analyze3-3.5.2 { | |
| 409 sqlite3_bind_text $S 31 "abc" 3 | |
| 410 sqlite3_expired $S | |
| 411 } {0} | |
| 412 do_test analyze3-3.5.3 { | |
| 413 sqlite3_bind_text $S 32 "def" 3 | |
| 414 sqlite3_expired $S | |
| 415 } {1} | |
| 416 do_test analyze3-3.5.5 { | |
| 417 sqlite3_finalize $S | |
| 418 } {SQLITE_OK} | |
| 419 | |
| 420 do_test analyze3-3.6.1 { | |
| 421 set S [sqlite3_prepare_v2 db { | |
| 422 SELECT * FROM t1 WHERE a IN ( | |
| 423 ?1, ?2, ?3, ?4, ?5, ?6, ?7, ?8, ?9, ?10, | |
| 424 ?11, ?12, ?13, ?14, ?15, ?16, ?17, ?18, ?19, ?20, | |
| 425 ?21, ?22, ?23, ?24, ?25, ?26, ?27, ?28, ?29, ?30, ?31, ?32 | |
| 426 ) AND b>?33; | |
| 427 } -1 dummy] | |
| 428 sqlite3_expired $S | |
| 429 } {0} | |
| 430 do_test analyze3-3.6.2 { | |
| 431 sqlite3_bind_text $S 32 "abc" 3 | |
| 432 sqlite3_expired $S | |
| 433 } {1} | |
| 434 do_test analyze3-3.6.3 { | |
| 435 sqlite3_bind_text $S 33 "def" 3 | |
| 436 sqlite3_expired $S | |
| 437 } {1} | |
| 438 do_test analyze3-3.6.5 { | |
| 439 sqlite3_finalize $S | |
| 440 } {SQLITE_OK} | |
| 441 | |
| 442 do_test analyze3-3.7.1 { | |
| 443 set S [sqlite3_prepare_v2 db { | |
| 444 SELECT * FROM t1 WHERE a IN ( | |
| 445 ?1, ?2, ?3, ?4, ?5, ?6, ?7, ?8, ?9, ?33, | |
| 446 ?11, ?12, ?13, ?14, ?15, ?16, ?17, ?18, ?19, ?20, | |
| 447 ?21, ?22, ?23, ?24, ?25, ?26, ?27, ?28, ?29, ?30, ?31, ?32 | |
| 448 ) AND b>?10; | |
| 449 } -1 dummy] | |
| 450 sqlite3_expired $S | |
| 451 } {0} | |
| 452 do_test analyze3-3.7.2 { | |
| 453 sqlite3_bind_text $S 32 "abc" 3 | |
| 454 sqlite3_expired $S | |
| 455 } {0} | |
| 456 do_test analyze3-3.7.3 { | |
| 457 sqlite3_bind_text $S 33 "def" 3 | |
| 458 sqlite3_expired $S | |
| 459 } {0} | |
| 460 do_test analyze3-3.7.4 { | |
| 461 sqlite3_bind_text $S 10 "def" 3 | |
| 462 sqlite3_expired $S | |
| 463 } {1} | |
| 464 do_test analyze3-3.7.6 { | |
| 465 sqlite3_finalize $S | |
| 466 } {SQLITE_OK} | |
| 467 | |
| 468 do_test analyze3-3.8.1 { | |
| 469 execsql { | |
| 470 CREATE TABLE t4(x, y TEXT COLLATE NOCASE); | |
| 471 CREATE INDEX i4 ON t4(y); | |
| 472 } | |
| 473 } {} | |
| 474 do_test analyze3-3.8.2 { | |
| 475 set S [sqlite3_prepare_v2 db { | |
| 476 SELECT * FROM t4 WHERE x != ? AND y LIKE ? | |
| 477 } -1 dummy] | |
| 478 sqlite3_expired $S | |
| 479 } {0} | |
| 480 do_test analyze3-3.8.3 { | |
| 481 sqlite3_bind_text $S 1 "abc" 3 | |
| 482 sqlite3_expired $S | |
| 483 } {0} | |
| 484 do_test analyze3-3.8.4 { | |
| 485 sqlite3_bind_text $S 2 "def" 3 | |
| 486 sqlite3_expired $S | |
| 487 } {1} | |
| 488 do_test analyze3-3.8.7 { | |
| 489 sqlite3_bind_text $S 2 "ghi%" 4 | |
| 490 sqlite3_expired $S | |
| 491 } {1} | |
| 492 do_test analyze3-3.8.8 { | |
| 493 sqlite3_expired $S | |
| 494 } {1} | |
| 495 do_test analyze3-3.8.9 { | |
| 496 sqlite3_bind_text $S 2 "ghi%def" 7 | |
| 497 sqlite3_expired $S | |
| 498 } {1} | |
| 499 do_test analyze3-3.8.10 { | |
| 500 sqlite3_expired $S | |
| 501 } {1} | |
| 502 do_test analyze3-3.8.11 { | |
| 503 sqlite3_bind_text $S 2 "%ab" 3 | |
| 504 sqlite3_expired $S | |
| 505 } {1} | |
| 506 do_test analyze3-3.8.12 { | |
| 507 sqlite3_expired $S | |
| 508 } {1} | |
| 509 do_test analyze3-3.8.12 { | |
| 510 sqlite3_bind_text $S 2 "%de" 3 | |
| 511 sqlite3_expired $S | |
| 512 } {1} | |
| 513 do_test analyze3-3.8.13 { | |
| 514 sqlite3_expired $S | |
| 515 } {1} | |
| 516 do_test analyze3-3.8.14 { | |
| 517 sqlite3_finalize $S | |
| 518 } {SQLITE_OK} | |
| 519 | |
| 520 #------------------------------------------------------------------------- | |
| 521 # These tests check that errors encountered while repreparing an SQL | |
| 522 # statement within sqlite3Reprepare() are handled correctly. | |
| 523 # | |
| 524 | |
| 525 # Check a schema error. | |
| 526 # | |
| 527 do_test analyze3-4.1.1 { | |
| 528 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE a=? AND b>?" -1 dummy] | |
| 529 sqlite3_step $S | |
| 530 } {SQLITE_DONE} | |
| 531 do_test analyze3-4.1.2 { | |
| 532 sqlite3_reset $S | |
| 533 sqlite3_bind_text $S 2 "abc" 3 | |
| 534 execsql { DROP TABLE t1 } | |
| 535 sqlite3_step $S | |
| 536 } {SQLITE_ERROR} | |
| 537 do_test analyze3-4.1.3 { | |
| 538 sqlite3_finalize $S | |
| 539 } {SQLITE_ERROR} | |
| 540 | |
| 541 # Check an authorization error. | |
| 542 # | |
| 543 do_test analyze3-4.2.1 { | |
| 544 execsql { | |
| 545 BEGIN; | |
| 546 CREATE TABLE t1(a, b, c); | |
| 547 CREATE INDEX i1 ON t1(b); | |
| 548 } | |
| 549 for {set i 0} {$i < 100} {incr i} { | |
| 550 execsql { INSERT INTO t1 VALUES($i, $i, $i) } | |
| 551 } | |
| 552 execsql COMMIT | |
| 553 execsql ANALYZE | |
| 554 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE a=? AND b>?" -1 dummy] | |
| 555 sqlite3_step $S | |
| 556 } {SQLITE_DONE} | |
| 557 db auth auth | |
| 558 proc auth {args} { | |
| 559 if {[lindex $args 0] == "SQLITE_READ"} {return SQLITE_DENY} | |
| 560 return SQLITE_OK | |
| 561 } | |
| 562 do_test analyze3-4.2.2 { | |
| 563 sqlite3_reset $S | |
| 564 sqlite3_bind_text $S 2 "abc" 3 | |
| 565 sqlite3_step $S | |
| 566 } {SQLITE_AUTH} | |
| 567 do_test analyze3-4.2.4 { | |
| 568 sqlite3_finalize $S | |
| 569 } {SQLITE_AUTH} | |
| 570 | |
| 571 # Check the effect of an authorization error that occurs in a re-prepare | |
| 572 # performed by sqlite3_step() is the same as one that occurs within | |
| 573 # sqlite3Reprepare(). | |
| 574 # | |
| 575 do_test analyze3-4.3.1 { | |
| 576 db auth {} | |
| 577 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE a=? AND b>?" -1 dummy] | |
| 578 execsql { CREATE TABLE t2(d, e, f) } | |
| 579 db auth auth | |
| 580 sqlite3_step $S | |
| 581 } {SQLITE_AUTH} | |
| 582 do_test analyze3-4.3.2 { | |
| 583 sqlite3_finalize $S | |
| 584 } {SQLITE_AUTH} | |
| 585 db auth {} | |
| 586 | |
| 587 #------------------------------------------------------------------------- | |
| 588 # Test that modifying bound variables using the clear_bindings() or | |
| 589 # transfer_bindings() APIs works. | |
| 590 # | |
| 591 # analyze3-5.1.*: sqlite3_clear_bindings() | |
| 592 # analyze3-5.2.*: sqlite3_transfer_bindings() | |
| 593 # | |
| 594 do_test analyze3-5.1.1 { | |
| 595 drop_all_tables | |
| 596 execsql { | |
| 597 CREATE TABLE t1(x TEXT COLLATE NOCASE); | |
| 598 CREATE INDEX i1 ON t1(x); | |
| 599 INSERT INTO t1 VALUES('aaa'); | |
| 600 INSERT INTO t1 VALUES('abb'); | |
| 601 INSERT INTO t1 VALUES('acc'); | |
| 602 INSERT INTO t1 VALUES('baa'); | |
| 603 INSERT INTO t1 VALUES('bbb'); | |
| 604 INSERT INTO t1 VALUES('bcc'); | |
| 605 } | |
| 606 | |
| 607 set S [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE x LIKE ?" -1 dummy] | |
| 608 sqlite3_bind_text $S 1 "a%" 2 | |
| 609 set R [list] | |
| 610 while { "SQLITE_ROW" == [sqlite3_step $S] } { | |
| 611 lappend R [sqlite3_column_text $S 0] | |
| 612 } | |
| 613 concat [sqlite3_reset $S] $R | |
| 614 } {SQLITE_OK aaa abb acc} | |
| 615 do_test analyze3-5.1.2 { | |
| 616 sqlite3_clear_bindings $S | |
| 617 set R [list] | |
| 618 while { "SQLITE_ROW" == [sqlite3_step $S] } { | |
| 619 lappend R [sqlite3_column_text $S 0] | |
| 620 } | |
| 621 concat [sqlite3_reset $S] $R | |
| 622 } {SQLITE_OK} | |
| 623 do_test analyze3-5.1.3 { | |
| 624 sqlite3_finalize $S | |
| 625 } {SQLITE_OK} | |
| 626 | |
| 627 do_test analyze3-5.1.1 { | |
| 628 set S1 [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE x LIKE ?" -1 dummy] | |
| 629 sqlite3_bind_text $S1 1 "b%" 2 | |
| 630 set R [list] | |
| 631 while { "SQLITE_ROW" == [sqlite3_step $S1] } { | |
| 632 lappend R [sqlite3_column_text $S1 0] | |
| 633 } | |
| 634 concat [sqlite3_reset $S1] $R | |
| 635 } {SQLITE_OK baa bbb bcc} | |
| 636 | |
| 637 do_test analyze3-5.1.2 { | |
| 638 set S2 [sqlite3_prepare_v2 db "SELECT * FROM t1 WHERE x = ?" -1 dummy] | |
| 639 sqlite3_bind_text $S2 1 "a%" 2 | |
| 640 sqlite3_transfer_bindings $S2 $S1 | |
| 641 set R [list] | |
| 642 while { "SQLITE_ROW" == [sqlite3_step $S1] } { | |
| 643 lappend R [sqlite3_column_text $S1 0] | |
| 644 } | |
| 645 concat [sqlite3_reset $S1] $R | |
| 646 } {SQLITE_OK aaa abb acc} | |
| 647 do_test analyze3-5.1.3 { | |
| 648 sqlite3_finalize $S2 | |
| 649 sqlite3_finalize $S1 | |
| 650 } {SQLITE_OK} | |
| 651 | |
| 652 #------------------------------------------------------------------------- | |
| 653 | |
| 654 do_test analyze3-6.1 { | |
| 655 execsql { DROP TABLE IF EXISTS t1 } | |
| 656 execsql BEGIN | |
| 657 execsql { CREATE TABLE t1(a, b, c) } | |
| 658 for {set i 0} {$i < 1000} {incr i} { | |
| 659 execsql "INSERT INTO t1 VALUES([expr $i/100], 'x', [expr $i/10])" | |
| 660 } | |
| 661 execsql { | |
| 662 CREATE INDEX i1 ON t1(a, b); | |
| 663 CREATE INDEX i2 ON t1(c); | |
| 664 } | |
| 665 execsql COMMIT | |
| 666 execsql ANALYZE | |
| 667 } {} | |
| 668 | |
| 669 do_eqp_test analyze3-6-3 { | |
| 670 SELECT * FROM t1 WHERE a = 5 AND c = 13; | |
| 671 } {0 0 0 {SEARCH TABLE t1 USING INDEX i2 (c=?)}} | |
| 672 | |
| 673 do_eqp_test analyze3-6-2 { | |
| 674 SELECT * FROM t1 WHERE a = 5 AND b > 'w' AND c = 13; | |
| 675 } {0 0 0 {SEARCH TABLE t1 USING INDEX i2 (c=?)}} | |
| 676 | |
| 677 #----------------------------------------------------------------------------- | |
| 678 # 2015-04-20. | |
| 679 # Memory leak in sqlite3Stat4ProbeFree(). (Discovered while fuzzing.) | |
| 680 # | |
| 681 do_execsql_test analyze-7.1 { | |
| 682 DROP TABLE IF EXISTS t1; | |
| 683 CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c); | |
| 684 INSERT INTO t1 VALUES(1,1,'0000'); | |
| 685 CREATE INDEX t0b ON t1(b); | |
| 686 ANALYZE; | |
| 687 SELECT c FROM t1 WHERE b=3 AND a BETWEEN 30 AND hex(1); | |
| 688 } {} | |
| 689 | |
| 690 # At one point duplicate stat1 entries were causing a memory leak. | |
| 691 # | |
| 692 reset_db | |
| 693 do_execsql_test 7.2 { | |
| 694 CREATE TABLE t1(a,b,c); | |
| 695 CREATE INDEX t1a ON t1(a); | |
| 696 ANALYZE; | |
| 697 SELECT * FROM sqlite_stat1; | |
| 698 INSERT INTO sqlite_stat1(tbl,idx,stat) VALUES('t1','t1a','12000'); | |
| 699 INSERT INTO sqlite_stat1(tbl,idx,stat) VALUES('t1','t1a','12000'); | |
| 700 ANALYZE sqlite_master; | |
| 701 } | |
| 702 | |
| 703 finish_test | |
| OLD | NEW |