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