Import SQLite 3.7.6.3.

third_party/sqlite/src/test/incrvacuum2.test

 # 2007 May 04
 #
 # 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 implements regression tests for SQLite library.  The
 # focus of this file is testing the incremental vacuum feature.
 #
 # $Id: incrvacuum2.test,v 1.6 2009/07/25 13:42:50 danielk1977 Exp $
 
 set testdir [file dirname $argv0]
 source $testdir/tester.tcl
 
 # If this build of the library does not support auto-vacuum, omit this
 # whole file.
 ifcapable {!autovacuum || !pragma} {
   finish_test
   return
 }
 
+set testprefix incrvacuum2
 
 # Create a database in incremental vacuum mode that has many
 # pages on the freelist.
 #
 do_test incrvacuum2-1.1 {
   execsql {
     PRAGMA page_size=1024;
     PRAGMA auto_vacuum=incremental;
     CREATE TABLE t1(x);
     INSERT INTO t1 VALUES(zeroblob(30000));
@@ skipping 88 matching lines @@
 } {}
 do_test incrvacuum2-3.2 {
   execsql {
     BEGIN;
     DELETE FROM abc;
     PRAGMA incremental_vacuum;
     COMMIT;
   }
 } {}
 
-integrity_check incremental2-3.3
+integrity_check incrvacuum2-3.3
+
+ifcapable wal {
+  # At one point, when a specific page was being extracted from the b-tree
+  # free-list (e.g. during an incremental-vacuum), all trunk pages that
+  # occurred before the specific page in the free-list trunk were being
+  # written to the journal or wal file. This is not necessary. Only the 
+  # extracted page and the page that contains the pointer to it need to
+  # be journalled.
+  #
+  # This problem was fixed by [d03d63d77e] (just before 3.7.6 release).
+  #
+  # This test case builds a database containing many free pages. Then runs
+  # "PRAGMA incremental_vacuum(1)" until the db contains zero free pages.
+  # Each "PRAGMA incremental_vacuum(1)" should modify at most 4 pages. The
+  # worst case is when a trunk page is removed from the end of the db file.
+  # In this case pages written are:
+  #
+  #   1. The previous trunk page (that contains a pointer to the recycled
+  #      trunk page), and
+  #   2. The leaf page transformed into a trunk page to replace the recycled
+  #      page, and
+  #   3. The trunk page that contained a pointer to the leaf page used 
+  #      in (2), and
+  #   4. Page 1. Page 1 is always updated, even in WAL mode, since it contains
+  #      the "number of free-list pages" field.
+  #
+  db close
+  forcedelete test.db
+  sqlite3 db test.db
+
+  do_execsql_test 4.1 {
+    PRAGMA page_size = 512;
+    PRAGMA auto_vacuum = 2;
+    CREATE TABLE t1(x);
+    INSERT INTO t1 VALUES(randomblob(400));
+    INSERT INTO t1 SELECT * FROM t1;            --    2
+    INSERT INTO t1 SELECT * FROM t1;            --    4
+    INSERT INTO t1 SELECT * FROM t1;            --    8
+    INSERT INTO t1 SELECT * FROM t1;            --   16
+    INSERT INTO t1 SELECT * FROM t1;            --   32
+    INSERT INTO t1 SELECT * FROM t1;            --  128
+    INSERT INTO t1 SELECT * FROM t1;            --  256
+    INSERT INTO t1 SELECT * FROM t1;            --  512
+    INSERT INTO t1 SELECT * FROM t1;            -- 1024
+    INSERT INTO t1 SELECT * FROM t1;            -- 2048
+    INSERT INTO t1 SELECT * FROM t1;            -- 4096
+    INSERT INTO t1 SELECT * FROM t1;            -- 8192
+    DELETE FROM t1 WHERE oid>512;
+    DELETE FROM t1;
+  }
+
+  do_test 4.2 {
+    execsql { 
+      PRAGMA journal_mode = WAL;
+      PRAGMA incremental_vacuum(1);
+      PRAGMA wal_checkpoint;
+    }
+    file size test.db-wal
+  } {1640}
+
+  do_test 4.3 {
+    db close
+    sqlite3 db test.db
+    set maxsz 0
+    while {[file size test.db] > [expr 512*3]} {
+      execsql { PRAGMA journal_mode = WAL }
+      execsql { PRAGMA wal_checkpoint }
+      execsql { PRAGMA incremental_vacuum(1) }
+      set newsz [file size test.db-wal]
+      if {$newsz>$maxsz} {set maxsz $newsz}
+    }
+    set maxsz 
+  } {2176}
+}
 
 finish_test