| Index: third_party/sqlite/sqlite-src-3100200/test/corruptI.test
|
| diff --git a/third_party/sqlite/sqlite-src-3100200/test/corruptI.test b/third_party/sqlite/sqlite-src-3100200/test/corruptI.test
|
| deleted file mode 100644
|
| index 64323d9608ea75c311b7a840507ae5872c9cd827..0000000000000000000000000000000000000000
|
| --- a/third_party/sqlite/sqlite-src-3100200/test/corruptI.test
|
| +++ /dev/null
|
| @@ -1,263 +0,0 @@
|
| -# 2014-01-20
|
| -#
|
| -# The author disclaims copyright to this source code. In place of
|
| -# a legal notice, here is a blessing:
|
| -#
|
| -# May you do good and not evil.
|
| -# May you find forgiveness for yourself and forgive others.
|
| -# May you share freely, never taking more than you give.
|
| -#
|
| -#***********************************************************************
|
| -#
|
| -
|
| -set testdir [file dirname $argv0]
|
| -source $testdir/tester.tcl
|
| -set testprefix corruptI
|
| -
|
| -if {[permutation]=="mmap"} {
|
| - finish_test
|
| - return
|
| -}
|
| -
|
| -# Do not use a codec for tests in this file, as the database file is
|
| -# manipulated directly using tcl scripts (using the [hexio_write] command).
|
| -#
|
| -do_not_use_codec
|
| -database_may_be_corrupt
|
| -
|
| -# Initialize the database.
|
| -#
|
| -do_execsql_test 1.1 {
|
| - PRAGMA page_size=1024;
|
| - PRAGMA auto_vacuum=0;
|
| - CREATE TABLE t1(a);
|
| - CREATE INDEX i1 ON t1(a);
|
| - INSERT INTO t1 VALUES('abcdefghijklmnop');
|
| -} {}
|
| -db close
|
| -
|
| -do_test 1.2 {
|
| - set offset [hexio_get_int [hexio_read test.db [expr 2*1024 + 8] 2]]
|
| - set off [expr 2*1024 + $offset + 1]
|
| - hexio_write test.db $off 7f06
|
| - sqlite3 db test.db
|
| - catchsql { SELECT * FROM t1 WHERE a = 10 }
|
| -} {0 {}}
|
| -
|
| -do_test 1.3 {
|
| - db close
|
| - set offset [hexio_get_int [hexio_read test.db [expr 2*1024 + 8] 2]]
|
| - set off [expr 2*1024 + $offset + 1]
|
| - hexio_write test.db $off FFFF7f02
|
| - sqlite3 db test.db
|
| - catchsql { SELECT * FROM t1 WHERE a = 10 }
|
| -} {1 {database disk image is malformed}}
|
| -
|
| -do_test 2.0 {
|
| - execsql {
|
| - CREATE TABLE r(x);
|
| - INSERT INTO r VALUES('ABCDEFGHIJK');
|
| - CREATE INDEX r1 ON r(x);
|
| - }
|
| - set pg [db one {SELECT rootpage FROM sqlite_master WHERE name = 'r1'}]
|
| -} {5}
|
| -
|
| -do_test 2.1 {
|
| - db close
|
| - set offset [hexio_get_int [hexio_read test.db [expr (5-1)*1024 + 8] 2]]
|
| - set off [expr (5-1)*1024 + $offset + 1]
|
| - hexio_write test.db $off FFFF0004
|
| - sqlite3 db test.db
|
| - catchsql { SELECT * FROM r WHERE x >= 10.0 }
|
| -} {1 {database disk image is malformed}}
|
| -
|
| -do_test 2.2 {
|
| - catchsql { SELECT * FROM r WHERE x >= 10 }
|
| -} {1 {database disk image is malformed}}
|
| -
|
| -if {[db one {SELECT sqlite_compileoption_used('ENABLE_OVERSIZE_CELL_CHECK')}]} {
|
| - # The following tests only work if OVERSIZE_CELL_CHECK is disabled
|
| -} else {
|
| - reset_db
|
| - do_execsql_test 3.1 {
|
| - PRAGMA auto_vacuum=0;
|
| - PRAGMA page_size = 512;
|
| - CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
|
| - WITH s(a, b) AS (
|
| - SELECT 2, 'abcdefghij'
|
| - UNION ALL
|
| - SELECT a+2, b FROM s WHERe a < 40
|
| - )
|
| - INSERT INTO t1 SELECT * FROM s;
|
| - } {}
|
| -
|
| - do_test 3.2 {
|
| - hexio_write test.db [expr 512+3] 0054
|
| - db close
|
| - sqlite3 db test.db
|
| - execsql { INSERT INTO t1 VALUES(5, 'klmnopqrst') }
|
| - execsql { INSERT INTO t1 VALUES(7, 'klmnopqrst') }
|
| - } {}
|
| -
|
| - db close
|
| - sqlite3 db test.db
|
| - do_catchsql_test 3.3 {
|
| - INSERT INTO t1 VALUES(9, 'klmnopqrst');
|
| - } {1 {database disk image is malformed}}
|
| -} ;# end-if !defined(ENABLE_OVERSIZE_CELL_CHECK)
|
| -
|
| -
|
| -#-------------------------------------------------------------------------
|
| -# Test that an assert() failure discovered by AFL corrupt database file
|
| -# testing has been fixed.
|
| -#
|
| -reset_db
|
| -do_execsql_test 4.0 {
|
| - PRAGMA page_size = 65536;
|
| - PRAGMA autovacuum = 0;
|
| - CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
|
| - INSERT INTO t1 VALUES(-1, 'abcdefghij');
|
| - INSERT INTO t1 VALUES(0, 'abcdefghij');
|
| -}
|
| -
|
| -set root [db one {SELECT rootpage FROM sqlite_master}]
|
| -set offset [expr ($root-1) * 65536]
|
| -
|
| -ifcapable oversize_cell_check {
|
| - set res {1 {database disk image is malformed}}
|
| -} else {
|
| - set res {0 {}}
|
| -}
|
| -do_test 4.1 {
|
| - db close
|
| - hexio_write test.db [expr $offset + 8 + 2] 0000
|
| - hexio_write test.db [expr $offset + 5] 0000
|
| - sqlite3 db test.db
|
| - catchsql { DELETE FROM t1 WHERE a=0 }
|
| -} $res
|
| -
|
| -
|
| -#-------------------------------------------------------------------------
|
| -# Database properties:
|
| -#
|
| -# * Incremental vacuum mode.
|
| -# * Database root table has a single leaf page.
|
| -# * Free list consists of a single trunk page.
|
| -#
|
| -# The db is then corrupted by adding the root table leaf page as a free-list
|
| -# leaf page (so that it is referenced twice).
|
| -#
|
| -# Then, a new table is created. The new root page is the current free-list
|
| -# trunk. This means that the root table leaf page is made into the new
|
| -# free list trunk, which corrupts its header. Then, when the new entry is
|
| -# inserted into the root table, things would get chaotic.
|
| -#
|
| -reset_db
|
| -do_test 5.0 {
|
| - execsql {
|
| - PRAGMA page_size = 512;
|
| - PRAGMA auto_vacuum = 2;
|
| - }
|
| - for {set i 3} {1} {incr i} {
|
| - execsql "CREATE TABLE t${i}(x)"
|
| - if {[db one {PRAGMA page_count}]>$i} break
|
| - }
|
| - set nPage [db one {PRAGMA page_count}]
|
| - execsql {
|
| - CREATE TABLE t100(x);
|
| - DROP TABLE t100;
|
| - }
|
| -} {}
|
| -
|
| -do_execsql_test 5.1 {
|
| - PRAGMA page_count
|
| -} [expr $nPage+1]
|
| -
|
| -do_test 5.2 {
|
| - # The last page of the db is now the only leaf of the sqlite_master table.
|
| - # Corrupt the db by adding it to the free-list as well (the second last
|
| - # page of the db is the free-list trunk).
|
| - db close
|
| - hexio_write test.db [expr 512*($nPage-1)] [
|
| - format "%.8X%.8X%.8X" 0 1 [expr $nPage+1]
|
| - ]
|
| -} {12}
|
| -
|
| -do_test 5.3 {
|
| - sqlite3 db test.db
|
| - catchsql { CREATE TABLE tx(x); }
|
| -} {1 {database disk image is malformed}}
|
| -
|
| -
|
| -#-------------------------------------------------------------------------
|
| -# Set the payload size of a cell to just less than 2^32 bytes (not
|
| -# possible in an uncorrupted db). Then try to delete the cell. At one
|
| -# point this led to an integer overflow that caused an assert() to fail.
|
| -#
|
| -reset_db
|
| -do_execsql_test 6.0 {
|
| - PRAGMA page_size = 512;
|
| - PRAGMA auto_vacuum=0;
|
| - CREATE TABLE t1(x);
|
| - INSERT INTO t1 VALUES(zeroblob(300));
|
| - INSERT INTO t1 VALUES(zeroblob(600));
|
| -} {}
|
| -do_test 6.1 {
|
| - db close
|
| - hexio_write test.db 616 8FFFFFFF7F02
|
| - sqlite3 db test.db
|
| - breakpoint
|
| - execsql { DELETE FROM t1 WHERE rowid=2 }
|
| -} {}
|
| -
|
| -#-------------------------------------------------------------------------
|
| -# See what happens if the sqlite_master entry associated with a PRIMARY
|
| -# KEY or UNIQUE index is removed.
|
| -#
|
| -reset_db
|
| -do_execsql_test 7.0 {
|
| - PRAGMA auto_vacuum=0;
|
| - CREATE TABLE t1(x PRIMARY KEY, y);
|
| - INSERT INTO t1 VALUES('a', 'A');
|
| - INSERT INTO t1 VALUES('b', 'A');
|
| - INSERT INTO t1 VALUES('c', 'A');
|
| - SELECT name FROM sqlite_master;
|
| -} {t1 sqlite_autoindex_t1_1}
|
| -do_execsql_test 7.1 {
|
| - PRAGMA writable_schema = 1;
|
| - DELETE FROM sqlite_master WHERE name = 'sqlite_autoindex_t1_1';
|
| -}
|
| -do_test 7.2 {
|
| - db close
|
| - sqlite3 db test.db
|
| - catchsql { UPDATE t1 SET x='d' AND y='D' WHERE rowid = 2 }
|
| -} {1 {database disk image is malformed}}
|
| -
|
| -#-------------------------------------------------------------------------
|
| -# At one point an assert() would fail if attempt was made to free page 1.
|
| -#
|
| -reset_db
|
| -do_execsql_test 8.0 {
|
| - PRAGMA auto_vacuum=0;
|
| - CREATE TABLE t1(x);
|
| - INSERT INTO t1 VALUES(zeroblob(300));
|
| - INSERT INTO t1 VALUES(zeroblob(300));
|
| - INSERT INTO t1 VALUES(zeroblob(300));
|
| - INSERT INTO t1 VALUES(zeroblob(300));
|
| -} {}
|
| -
|
| -do_test 8.1 {
|
| - db close
|
| - hexio_write test.db [expr 1024 + 8] 00000001
|
| - sqlite3 db test.db
|
| - catchsql { DELETE FROM t1 }
|
| -} {1 {database disk image is malformed}}
|
| -
|
| -do_test 8.2 {
|
| - db close
|
| - sqlite3 db test.db
|
| - execsql { PRAGMA integrity_check }
|
| -} {/.*in database main.*/}
|
| -
|
| -
|
| -finish_test
|
|
|