1# 2012 January 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# 12 13set testdir [file dirname $argv0] 14source $testdir/tester.tcl 15set testprefix corruptF 16 17# Do not use a codec for tests in this file, as the database file is 18# manipulated directly using tcl scripts (using the [hexio_write] command). 19# 20do_not_use_codec 21 22proc str {i} { format %08d $i } 23 24# Create a 6 page database containing a single table - t1. Table t1 25# consists of page 2 (the root page) and pages 5 and 6 (leaf pages). 26# Database pages 3 and 4 are on the free list. 27# 28proc create_test_db {} { 29 catch { db close } 30 forcedelete test.db 31 sqlite3 db test.db 32 db func str str 33 execsql { 34 PRAGMA auto_vacuum = 0; 35 PRAGMA page_size = 1024; 36 CREATE TABLE t1(x); /* root page = 2 */ 37 CREATE TABLE t2(x); /* root page = 3 */ 38 CREATE TABLE t3(x); /* root page = 4 */ 39 40 INSERT INTO t1 VALUES(str(1)); 41 INSERT INTO t1 SELECT str(rowid+1) FROM t1; 42 INSERT INTO t1 SELECT str(rowid+2) FROM t1; 43 INSERT INTO t1 SELECT str(rowid+4) FROM t1; 44 INSERT INTO t1 SELECT str(rowid+8) FROM t1; 45 INSERT INTO t1 SELECT str(rowid+16) FROM t1; 46 INSERT INTO t1 SELECT str(rowid+32) FROM t1; 47 INSERT INTO t1 SELECT str(rowid+64) FROM t1; 48 DROP TABLE t2; 49 DROP TABLE t3; 50 } 51 db close 52} 53 54do_test 1.1 { create_test_db } {} 55 56# Check the db is as we expect. 6 pages in total, with 3 and 4 on the free 57# list. Page 3 is the free list trunk and page 4 is a leaf. 58# 59do_test 1.2 { file size test.db } [expr 6*1024] 60do_test 1.3 { hexio_read test.db 32 4 } 00000003 61do_test 1.4 { hexio_read test.db [expr 2*1024] 12 } 000000000000000100000004 62 63# Change the free-list entry to page 6 and reopen the db file. 64do_test 1.5 { 65 hexio_write test.db [expr 2*1024 + 8] 00000006 66 sqlite3 db test.db 67} {} 68 69# Now create a new table in the database file. The root of the new table 70# is page 6, which is also the right-most leaf page in table t1. 71# 72do_execsql_test 1.6 { 73 CREATE TABLE t4(x); 74 SELECT * FROM sqlite_master; 75} { 76 table t1 t1 2 {CREATE TABLE t1(x)} 77 table t4 t4 6 {CREATE TABLE t4(x)} 78} 79 80# At one point this was causing an assert to fail. 81# 82# This statement opens a cursor on table t1 and does a full table scan. As 83# each row is visited, it is copied into table t4. There is no temporary 84# table. 85# 86# When the t1 cursor reaches page 6 (which is both the right-most leaf of 87# t1 and the root of t4), it continues to iterate through the keys within 88# it (which at this point are keys that have been inserted into t4). And 89# for each row visited, another row is inserted into page 6 - it being the 90# root page of t4. Eventually, page 6 becomes full and the height of the 91# b-tree for table t4 increased. From the point of view of the t1 cursor, 92# this unexpectedly reduces the number of keys on page 6 in the middle of 93# its iteration, which causes an assert() to fail. 94# 95db_save_and_close 96if 1 { 97for {set i 0} {$i < 128} {incr i} { 98 db_restore_and_reopen 99 do_test 1.7.$i { 100 set res [ 101 catchsql { INSERT INTO t4 SELECT x FROM t1 WHERE rowid>$i } 102 ] 103 if {$res == "0 {}" || $res == "1 {database disk image is malformed}"} { 104 set res "" 105 } 106 set res 107 } {} 108} 109} 110 111do_test 2.1 { create_test_db } {} 112do_test 2.2 { file size test.db } [expr 6*1024] 113do_test 2.3 { hexio_read test.db 32 4 } 00000003 114do_test 2.4 { hexio_read test.db [expr 2*1024] 12 } 000000000000000100000004 115 116# Change the free-list entry to page 5 and reopen the db file. 117do_test 2.5 { 118 hexio_write test.db [expr 2*1024 + 8] 00000005 119 sqlite3 db test.db 120} {} 121 122# Now create a new table in the database file. The root of the new table 123# is page 5, which is also the right-most leaf page in table t1. 124# 125do_execsql_test 2.6 { 126 CREATE TABLE t4(x); 127 SELECT * FROM sqlite_master; 128} { 129 table t1 t1 2 {CREATE TABLE t1(x)} 130 table t4 t4 5 {CREATE TABLE t4(x)} 131} 132 133db_save_and_close 134for {set i 127} {$i >= 0} {incr i -1} { 135 db_restore_and_reopen 136 do_test 2.7.$i { 137 set res [ 138 catchsql { 139 INSERT INTO t4 SELECT x FROM t1 WHERE rowid<$i ORDER BY rowid DESC 140 } 141 ] 142 if {$res == "0 {}" || $res == "1 {database disk image is malformed}"} { 143 set res "" 144 } 145 set res 146 } {} 147} 148 149finish_test 150 151