Return to in2.test CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / sqlite3 / test

Annotation of embedaddon/sqlite3/test/in2.test, revision 1.1.1.1

1.1       misho       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