Import SQLite 3.10.2.

third_party/sqlite/src/test/corrupt2.test

 # 2004 August 30
 #
 # 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.
 #
 # This file implements tests to make sure SQLite does not crash or
 # segfault if it sees a corrupt database file.
 #
 # $Id: corrupt2.test,v 1.20 2009/04/06 17:50:03 danielk1977 Exp $
 
 set testdir [file dirname $argv0]
 source $testdir/tester.tcl
+set testprefix corrupt2
 
 # 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
 
 # These tests deal with corrupt database files
 #
 database_may_be_corrupt
 
@@ skipping 212 matching lines @@
 
   sqlite3 db2 corrupt.db 
   db2 eval $::presql
   db2 eval {SELECT rowid FROM t1} {
     set result [db2 eval {pragma integrity_check}]
     break
   }
   set result
 } {{*** in database main ***
 On tree page 2 cell 0: 2nd reference to page 10
-On tree page 2 cell 1: Child page depth differs
 Page 4 is never used}}
 
 db2 close
 
 proc corruption_test {args} {
   set A(-corrupt) {}
   set A(-sqlprep) {}
   set A(-tclprep) {}
   array set A $args
 
@@ skipping 289 matching lines @@
   } -test {
     do_test corrupt2-13.2 {
       file size corrupt.db
     } [expr $::sqlite_pending_byte + 1024]
     do_test corrupt2-13.3 {
       catchsql { DELETE FROM t1 WHERE rowid < 30; }
     } {1 {database disk image is malformed}}
   }
 }
 
+#-------------------------------------------------------------------------
+# Test that PRAGMA integrity_check detects cases where the freelist-count
+# header field is smaller than the actual number of pages on the freelist.
+#
+
+reset_db
+do_execsql_test 14.0 {
+  PRAGMA auto_vacuum = 0;
+  CREATE TABLE t1(x);
+  INSERT INTO t1 VALUES(randomblob(3500));
+  DELETE FROM t1;
+}
+
+do_execsql_test 14.1 {
+  PRAGMA integrity_check;
+  PRAGMA freelist_count;
+} {ok 3}
+
+# There are now 3 free pages. Modify the header-field so that it 
+# (incorrectly) says that just 2 are free.
+do_test 14.2 {
+  db close
+  hexio_write test.db 36 [hexio_render_int32 2]
+  sqlite3 db test.db
+  execsql { PRAGMA freelist_count }
+} {2}
+
+do_execsql_test 14.3 {
+  PRAGMA integrity_check;
+} {{*** in database main ***
+Main freelist: free-page count in header is too small}}
+
+# Use 2 of the free pages on the free-list.
+#
+do_execsql_test 14.4 {
+  INSERT INTO t1 VALUES(randomblob(2500));
+  PRAGMA freelist_count;
+} {0}
+
+do_execsql_test 14.5 {
+  PRAGMA integrity_check;
+} {{*** in database main ***
+Page 3 is never used}}
+
+
 finish_test
+
+finish_test