Index: third_party/sqlite/sqlite-src-3170000/test/btree01.test |
diff --git a/third_party/sqlite/sqlite-src-3170000/test/btree01.test b/third_party/sqlite/sqlite-src-3170000/test/btree01.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..25f2c6897b95dae1052095eb00409ad62babcc18 |
--- /dev/null |
+++ b/third_party/sqlite/sqlite-src-3170000/test/btree01.test |
@@ -0,0 +1,132 @@ |
+# 2014-11-27 |
+# |
+# 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. |
+# |
+#*********************************************************************** |
+# |
+# This file contains test cases for b-tree logic. |
+# |
+ |
+set testdir [file dirname $argv0] |
+source $testdir/tester.tcl |
+set testprefix btree01 |
+ |
+# The refactoring on the b-tree balance() routine in check-in |
+# http://www.sqlite.org/src/info/face33bea1ba3a (2014-10-27) |
+# caused the integrity_check on the following SQL to fail. |
+# |
+do_execsql_test btree01-1.1 { |
+ PRAGMA page_size=65536; |
+ CREATE TABLE t1(a INTEGER PRIMARY KEY, b BLOB); |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; |
+ UPDATE t1 SET b=zeroblob(3000); |
+ UPDATE t1 SET b=zeroblob(64000) WHERE a=2; |
+ PRAGMA integrity_check; |
+} {ok} |
+ |
+# The previous test is sufficient to prevent a regression. But we |
+# add a number of additional tests to stress the balancer in similar |
+# ways, looking for related problems. |
+# |
+for {set i 1} {$i<=30} {incr i} { |
+ do_test btree01-1.2.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; |
+ UPDATE t1 SET b=zeroblob(3000); |
+ UPDATE t1 SET b=zeroblob(64000) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+for {set i 1} {$i<=30} {incr i} { |
+ do_test btree01-1.3.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; |
+ UPDATE t1 SET b=zeroblob(2000); |
+ UPDATE t1 SET b=zeroblob(64000) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+for {set i 1} {$i<=30} {incr i} { |
+ do_test btree01-1.4.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; |
+ UPDATE t1 SET b=zeroblob(6499) WHERE (a%3)==0; |
+ UPDATE t1 SET b=zeroblob(6499) WHERE (a%3)==1; |
+ UPDATE t1 SET b=zeroblob(6499) WHERE (a%3)==2; |
+ UPDATE t1 SET b=zeroblob(64000) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+for {set i 1} {$i<=30} {incr i} { |
+ do_test btree01-1.5.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6542) FROM c; |
+ UPDATE t1 SET b=zeroblob(2331); |
+ UPDATE t1 SET b=zeroblob(65496) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+for {set i 1} {$i<=30} {incr i} { |
+ do_test btree01-1.6.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6542) FROM c; |
+ UPDATE t1 SET b=zeroblob(2332); |
+ UPDATE t1 SET b=zeroblob(65496) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+for {set i 1} {$i<=30} {incr i} { |
+ do_test btree01-1.7.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<30) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; |
+ UPDATE t1 SET b=zeroblob(1); |
+ UPDATE t1 SET b=zeroblob(65000) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+for {set i 1} {$i<=31} {incr i} { |
+ do_test btree01-1.8.$i { |
+ db eval { |
+ DELETE FROM t1; |
+ WITH RECURSIVE |
+ c(i) AS (VALUES(1) UNION ALL SELECT i+1 FROM c WHERE i<31) |
+ INSERT INTO t1(a,b) SELECT i, zeroblob(6500) FROM c; |
+ UPDATE t1 SET b=zeroblob(4000); |
+ UPDATE t1 SET b=zeroblob(65000) WHERE a=$::i; |
+ PRAGMA integrity_check; |
+ } |
+ } {ok} |
+} |
+ |
+finish_test |