Return to corrupt3.test CVS log

Up to [ELWIX - Embedded LightWeight unIX -] / embedaddon / sqlite3 / test

Annotation of embedaddon/sqlite3/test/corrupt3.test, revision 1.1.1.1

1.1       misho       1: # 2007 April 6
                      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: # This file implements regression tests for SQLite library.
                     12: #
                     13: # This file implements tests to make sure SQLite does not crash or
                     14: # segfault if it sees a corrupt database file.
                     15: #
                     16: # $Id: corrupt3.test,v 1.2 2007/04/06 21:42:22 drh Exp $
                     17: 
                     18: set testdir [file dirname $argv0]
                     19: source $testdir/tester.tcl
                     20: 
                     21: # Do not use a codec for tests in this file, as the database file is
                     22: # manipulated directly using tcl scripts (using the [hexio_write] command).
                     23: #
                     24: do_not_use_codec
                     25: 
                     26: # We must have the page_size pragma for these tests to work.
                     27: #
                     28: ifcapable !pager_pragmas||direct_read {
                     29:   finish_test
                     30:   return
                     31: }
                     32: 
                     33: # Create a database with an overflow page.
                     34: #
                     35: do_test corrupt3-1.1 {
                     36:   set bigstring [string repeat 0123456789 200]
                     37:   execsql {
                     38:     PRAGMA auto_vacuum=OFF;
                     39:     PRAGMA page_size=1024;
                     40:     CREATE TABLE t1(x);
                     41:     INSERT INTO t1 VALUES($bigstring);
                     42:   }
                     43:   file size test.db
                     44: } [expr {1024*3}]
                     45: 
                     46: # Verify that the file format is as we expect.  The page size
                     47: # should be 1024 bytes.  The only record should have a single
                     48: # overflow page.  The overflow page is page 3.  The pointer to
                     49: # the overflow page is on the last 4 bytes of page 2.
                     50: #
                     51: do_test corrupt3-1.2 {
                     52:   hexio_get_int [hexio_read test.db 16 2]
                     53: } 1024   ;# The page size is 1024
                     54: do_test corrupt3-1.3 {
                     55:   hexio_get_int [hexio_read test.db 20 1]
                     56: } 0      ;# Unused bytes per page is 0
                     57: do_test corrupt3-1.4 {
                     58:   hexio_get_int [hexio_read test.db 2044 4]
                     59: } 3      ;# Overflow page is 3
                     60: do_test corrupt3-1.5 {
                     61:   hexio_get_int [hexio_read test.db 2048 4]
                     62: } 0      ;# First chained overflow is 0
                     63: 
                     64: integrity_check corrupt3-1.6
                     65: 
                     66: # Make the overflow chain loop back on itself.   See if the
                     67: # corruption is detected.   (Actually, the last pointer in
                     68: # an overflow chain is ignored, so this is not an error.)
                     69: #
                     70: do_test corrupt3-1.7 {
                     71:   db close
                     72:   hexio_write test.db 2048 [hexio_render_int32 3]
                     73:   sqlite3 db test.db
                     74:   catchsql {
                     75:     SELECT x FROM t1
                     76:   }
                     77: } [list 0 $bigstring]
                     78: integrity_check corrupt3-1.8
                     79: 
                     80: # Change the pointer for the first page of the overflow
                     81: # change to be a non-existant page.
                     82: #
                     83: do_test corrupt3-1.9 {
                     84:   db close
                     85:   hexio_write test.db 2044 [hexio_render_int32 4]
                     86:   sqlite3 db test.db
                     87:   catchsql {
                     88:     SELECT substr(x,1,10) FROM t1
                     89:   }
                     90: } [list 0 0123456789]
                     91: do_test corrupt3-1.10 {
                     92:   catchsql {
                     93:     PRAGMA integrity_check
                     94:   }
                     95: } {0 {{*** in database main ***
                     96: On tree page 2 cell 0: invalid page number 4
                     97: Page 3 is never used}}}
                     98: do_test corrupt3-1.11 {
                     99:   db close
                    100:   hexio_write test.db 2044 [hexio_render_int32 0]
                    101:   sqlite3 db test.db
                    102:   catchsql {
                    103:     SELECT substr(x,1,10) FROM t1
                    104:   }
                    105: } [list 1 {database disk image is malformed}]
                    106: do_test corrupt3-1.12 {
                    107:   catchsql {
                    108:     PRAGMA integrity_check
                    109:   }
                    110: } {0 {{*** in database main ***
                    111: On tree page 2 cell 0: 1 of 1 pages missing from overflow list starting at 0
                    112: Page 3 is never used}}}
                    113: 
                    114: finish_test