OLD | NEW |
(Empty) | |
| 1 # 2007 May 12 |
| 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 tests a special case in the b-tree code that can be |
| 12 # hit by the "IN" operator (or EXISTS, NOT IN, etc.). |
| 13 # |
| 14 # $Id: in2.test,v 1.3 2008/07/12 14:52:20 drh Exp $ |
| 15 |
| 16 set testdir [file dirname $argv0] |
| 17 source $testdir/tester.tcl |
| 18 |
| 19 do_test in2-1 { |
| 20 execsql { |
| 21 CREATE TABLE a(i INTEGER PRIMARY KEY, a); |
| 22 } |
| 23 } {} |
| 24 |
| 25 set ::N 2000 |
| 26 |
| 27 do_test in2-2 { |
| 28 db transaction { |
| 29 for {set ::ii 0} {$::ii < $::N} {incr ::ii} { |
| 30 execsql {INSERT INTO a VALUES($::ii, $::ii)} |
| 31 } |
| 32 execsql {INSERT INTO a VALUES(4000, '')} |
| 33 |
| 34 for {set ::ii 0} {$::ii < $::N} {incr ::ii} { |
| 35 set ::t [format "x%04d" $ii] |
| 36 execsql {INSERT INTO a VALUES(NULL, $::t)} |
| 37 } |
| 38 } |
| 39 } {} |
| 40 |
| 41 # Each iteration of this loop builds a slightly different b-tree to |
| 42 # evaluate the "IN (...)" operator in the SQL statement. The contents |
| 43 # of the b-tree are (in sorted order): |
| 44 # |
| 45 # $::ii integers. |
| 46 # a string of zero length. |
| 47 # $::N short strings. |
| 48 # |
| 49 # Records are inserted in sorted order. |
| 50 # |
| 51 # The string of zero-length is stored in a b-tree cell with 3 bytes |
| 52 # of payload. Moving this cell from a leaf node to a internal node |
| 53 # during b-tree balancing was causing an assertion failure. |
| 54 # |
| 55 # This bug only applied to b-trees generated to evaluate IN (..) |
| 56 # clauses, as it is impossible for persistent b-trees (SQL tables + |
| 57 # indices) to contain cells smaller than 4 bytes. |
| 58 # |
| 59 for {set ::ii 3} {$::ii < $::N} {incr ::ii} { |
| 60 do_test in2-$::ii { |
| 61 execsql { |
| 62 SELECT 1 IN (SELECT a FROM a WHERE (i < $::ii) OR (i >= $::N)) |
| 63 } |
| 64 } {1} |
| 65 } |
| 66 |
| 67 finish_test |
OLD | NEW |