Update mojo sdk to rev 1dc8a9a5db73d3718d99917fadf31f5fb2ebad4f
[chromium-blink-merge.git] / third_party / sqlite / src / test / corruptH.test
blobee2bb1ee48646814880aa0c3ab9f4e26c1f8010a
1 # 2014-01-20
3 # The author disclaims copyright to this source code.  In place of
4 # a legal notice, here is a blessing:
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.
10 #***********************************************************************
13 set testdir [file dirname $argv0]
14 source $testdir/tester.tcl
15 set testprefix corruptH
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).
20 do_not_use_codec
21 database_may_be_corrupt
23 # The corruption migrations tested by the code in this file are not detected
24 # mmap mode.
26 # The reason is that in mmap mode, the different queries may use different
27 # PgHdr objects for the same page (same data, but different PgHdr container 
28 # objects). And so the corruption is not detected. 
30 if {[permutation]=="mmap"} {
31   finish_test
32   return
35 # Initialize the database.
37 do_execsql_test 1.1 {
38   PRAGMA page_size=1024;
40   CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
41   INSERT INTO t1 VALUES(1, 'one');
42   INSERT INTO t1 VALUES(2, 'two');
44   CREATE TABLE t2(x);
45   INSERT INTO t2 VALUES(randomblob(200));
46   INSERT INTO t2 SELECT randomblob(200) FROM t2;
47   INSERT INTO t2 SELECT randomblob(200) FROM t2;
48   INSERT INTO t2 SELECT randomblob(200) FROM t2;
49   INSERT INTO t2 SELECT randomblob(200) FROM t2;
50   INSERT INTO t2 SELECT randomblob(200) FROM t2;
51   INSERT INTO t2 SELECT randomblob(200) FROM t2;
52 } {}
54 # Corrupt the file so that the root page of t1 is also linked into t2 as
55 # a leaf page.
57 do_test 1.2 {
58   db eval { SELECT name, rootpage FROM sqlite_master } { 
59     set r($name) $rootpage 
60   }
61   db close
62   hexio_write test.db [expr {($r(t2)-1)*1024 + 11}] [format %.2X $r(t1)]
63   sqlite3 db test.db
64 } {}
66 do_test 1.3 {
67 breakpoint
68   db eval { PRAGMA secure_delete=1 }
69   list [catch {
70     db eval { SELECT * FROM t1 WHERE a IN (1, 2) } {
71       db eval { DELETE FROM t2 }
72     }
73   } msg] $msg
74 } {1 {database disk image is malformed}}
76 #-------------------------------------------------------------------------
77 reset_db
79 # Initialize the database.
81 do_execsql_test 2.1 {
82   PRAGMA auto_vacuum=0;
83   PRAGMA page_size=1024;
85   CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
86   INSERT INTO t1 VALUES(1, 'one');
87   INSERT INTO t1 VALUES(2, 'two');
89   CREATE TABLE t3(x);
91   CREATE TABLE t2(x PRIMARY KEY) WITHOUT ROWID;
92   INSERT INTO t2 VALUES(randomblob(100));
94   DROP TABLE t3;
95 } {}
97 do_test 2.2 {
98   db eval { SELECT name, rootpage FROM sqlite_master } { 
99     set r($name) $rootpage 
100   }
101   db close
102   set fl [hexio_get_int [hexio_read test.db 32 4]]
104   hexio_write test.db [expr {($fl-1) * 1024 + 0}] 00000000 
105   hexio_write test.db [expr {($fl-1) * 1024 + 4}] 00000001 
106   hexio_write test.db [expr {($fl-1) * 1024 + 8}] [format %.8X $r(t1)]
107   hexio_write test.db 36 00000002
109   sqlite3 db test.db
110 } {}
113 # The trick here is that the root page of the tree scanned by the outer 
114 # query is also currently on the free-list. So while the first seek on
115 # the table (for a==1) works, by the time the second is attempted The 
116 # "INSERT INTO t2..." statements have recycled the root page of t1 and
117 # used it as an index leaf. Normally, BtreeMovetoUnpacked() detects
118 # that the PgHdr object associated with said root page does not match
119 # the cursor (as it is now marked with PgHdr.intKey==0) and returns
120 # SQLITE_CORRUPT. 
122 set res23 {1 {database disk image is malformed}}
123 do_test 2.3 {
124   list [catch {
125   set res [list]
126   db eval { SELECT * FROM t1 WHERE a IN (1, 2) } {
127     db eval { 
128       INSERT INTO t2 SELECT randomblob(100) FROM t2;
129       INSERT INTO t2 SELECT randomblob(100) FROM t2;
130       INSERT INTO t2 SELECT randomblob(100) FROM t2;
131       INSERT INTO t2 SELECT randomblob(100) FROM t2;
132       INSERT INTO t2 SELECT randomblob(100) FROM t2;
133     }
134     lappend res $b
135   }
136   set res
137   } msg] $msg
138 } $res23
140 #-------------------------------------------------------------------------
141 reset_db
143 # Initialize the database.
145 do_execsql_test 3.1 {
146   PRAGMA page_size=1024;
148   CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
149   INSERT INTO t1 VALUES(1, 'one');
150   INSERT INTO t1 VALUES(2, 'two');
152   CREATE TABLE t2(c INTEGER PRAGMA KEY, d);
153   INSERT INTO t2 VALUES(1, randomblob(1100));
154 } {}
156 do_test 3.2 {
157   db eval { SELECT name, rootpage FROM sqlite_master } { 
158     set r($name) $rootpage 
159   }
160   db close
162   hexio_write test.db [expr {($r(t2)-1) * 1024 + 1020}] 00000002
164   sqlite3 db test.db
165 } {}
167 do_test 3.3 {
168   list [catch {
169   db eval { SELECT * FROM t1 WHERE a IN (1, 2) } {
170     db eval { 
171       DELETE FROM t2 WHERE c=1;
172     }
173   }
174   } msg] $msg
175 } {1 {database disk image is malformed}}
177 finish_test