OLD | NEW |
| (Empty) |
1 # 2014-11-27 | |
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 # This file contains test cases for b-tree logic. | |
13 # | |
14 | |
15 set testdir [file dirname $argv0] | |
16 source $testdir/tester.tcl | |
17 set testprefix btree01 | |
18 | |
19 # The refactoring on the b-tree balance() routine in check-in | |
20 # http://www.sqlite.org/src/info/face33bea1ba3a (2014-10-27) | |
21 # caused the integrity_check on the following SQL to fail. | |
22 # | |
23 do_execsql_test btree01-1.1 { | |
24 PRAGMA page_size=65536; | |
25 CREATE TABLE t1(a INTEGER PRIMARY KEY, b BLOB); | |
26 WITH RECURSIVE | |
27 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
28 INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; | |
29 UPDATE t1 SET b=zeroblob(3000); | |
30 UPDATE t1 SET b=zeroblob(64000) WHERE a=2; | |
31 PRAGMA integrity_check; | |
32 } {ok} | |
33 | |
34 # The previous test is sufficient to prevent a regression. But we | |
35 # add a number of additional tests to stress the balancer in similar | |
36 # ways, looking for related problems. | |
37 # | |
38 for {set i 1} {$i<=30} {incr i} { | |
39 do_test btree01-1.2.$i { | |
40 db eval { | |
41 DELETE FROM t1; | |
42 WITH RECURSIVE | |
43 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
44 INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; | |
45 UPDATE t1 SET b=zeroblob(3000); | |
46 UPDATE t1 SET b=zeroblob(64000) WHERE a=$::i; | |
47 PRAGMA integrity_check; | |
48 } | |
49 } {ok} | |
50 } | |
51 for {set i 1} {$i<=30} {incr i} { | |
52 do_test btree01-1.3.$i { | |
53 db eval { | |
54 DELETE FROM t1; | |
55 WITH RECURSIVE | |
56 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
57 INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; | |
58 UPDATE t1 SET b=zeroblob(2000); | |
59 UPDATE t1 SET b=zeroblob(64000) WHERE a=$::i; | |
60 PRAGMA integrity_check; | |
61 } | |
62 } {ok} | |
63 } | |
64 for {set i 1} {$i<=30} {incr i} { | |
65 do_test btree01-1.4.$i { | |
66 db eval { | |
67 DELETE FROM t1; | |
68 WITH RECURSIVE | |
69 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
70 INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; | |
71 UPDATE t1 SET b=zeroblob(6499) WHERE (a%3)==0; | |
72 UPDATE t1 SET b=zeroblob(6499) WHERE (a%3)==1; | |
73 UPDATE t1 SET b=zeroblob(6499) WHERE (a%3)==2; | |
74 UPDATE t1 SET b=zeroblob(64000) WHERE a=$::i; | |
75 PRAGMA integrity_check; | |
76 } | |
77 } {ok} | |
78 } | |
79 for {set i 1} {$i<=30} {incr i} { | |
80 do_test btree01-1.5.$i { | |
81 db eval { | |
82 DELETE FROM t1; | |
83 WITH RECURSIVE | |
84 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
85 INSERT INTO t1(a,b) SELECT i, zeroblob(6542) FROM c; | |
86 UPDATE t1 SET b=zeroblob(2331); | |
87 UPDATE t1 SET b=zeroblob(65496) WHERE a=$::i; | |
88 PRAGMA integrity_check; | |
89 } | |
90 } {ok} | |
91 } | |
92 for {set i 1} {$i<=30} {incr i} { | |
93 do_test btree01-1.6.$i { | |
94 db eval { | |
95 DELETE FROM t1; | |
96 WITH RECURSIVE | |
97 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
98 INSERT INTO t1(a,b) SELECT i, zeroblob(6542) FROM c; | |
99 UPDATE t1 SET b=zeroblob(2332); | |
100 UPDATE t1 SET b=zeroblob(65496) WHERE a=$::i; | |
101 PRAGMA integrity_check; | |
102 } | |
103 } {ok} | |
104 } | |
105 for {set i 1} {$i<=30} {incr i} { | |
106 do_test btree01-1.7.$i { | |
107 db eval { | |
108 DELETE FROM t1; | |
109 WITH RECURSIVE | |
110 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) | |
111 INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; | |
112 UPDATE t1 SET b=zeroblob(1); | |
113 UPDATE t1 SET b=zeroblob(65000) WHERE a=$::i; | |
114 PRAGMA integrity_check; | |
115 } | |
116 } {ok} | |
117 } | |
118 for {set i 1} {$i<=31} {incr i} { | |
119 do_test btree01-1.8.$i { | |
120 db eval { | |
121 DELETE FROM t1; | |
122 WITH RECURSIVE | |
123 c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<31) | |
124 INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; | |
125 UPDATE t1 SET b=zeroblob(4000); | |
126 UPDATE t1 SET b=zeroblob(65000) WHERE a=$::i; | |
127 PRAGMA integrity_check; | |
128 } | |
129 } {ok} | |
130 } | |
131 | |
132 finish_test | |
OLD | NEW |