Artifact
747c0d5993ee85a739600f17957cd6ab360f1d8d:
- File
test/corrupt3.test
— part of check-in
[1c522123]
at
2015-07-01 17:13:45
on branch integrity-check-refactor
— Rework the PRAGMA integrity_check logic. Simplify the checkTreePage() routine
and clean up the error messages generated.
(user:
drh
size: 3209)
0000: 23 20 32 30 30 37 20 41 70 72 69 6c 20 36 0a 23 # 2007 April 6.#
0010: 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 .# The author di
0020: 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 sclaims copyrigh
0030: 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 t to this source
0040: 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 code. In place
0050: 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f of.# a legal no
0060: 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 tice, here is a
0070: 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 blessing:.#.#
0080: 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 May you do good
0090: 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 and not evil..#
00a0: 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 May you find
00b0: 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 forgiveness for
00c0: 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f yourself and fo
00d0: 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 rgive others..#
00e0: 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 May you share
00f0: 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 freely, never t
0100: 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 aking more than
0110: 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a you give..#.#***
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0160: 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66 69 6c 65 ****.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 implements regr
0180: 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 ession tests for
0190: 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e SQLite library.
01a0: 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 .#.# This file i
01b0: 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 mplements tests
01c0: 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c to make sure SQL
01d0: 69 74 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61 ite does not cra
01e0: 73 68 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74 sh or.# segfault
01f0: 20 69 66 20 69 74 20 73 65 65 73 20 61 20 63 6f if it sees a co
0200: 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66 rrupt database f
0210: 69 6c 65 2e 0a 23 0a 23 20 24 49 64 3a 20 63 6f ile..#.# $Id: co
0220: 72 72 75 70 74 33 2e 74 65 73 74 2c 76 20 31 2e rrupt3.test,v 1.
0230: 32 20 32 30 30 37 2f 30 34 2f 30 36 20 32 31 3a 2 2007/04/06 21:
0240: 34 32 3a 32 32 20 64 72 68 20 45 78 70 20 24 0a 42:22 drh Exp $.
0250: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 .set testdir [fi
0260: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 le dirname $argv
0270: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 0].source $testd
0280: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 ir/tester.tcl..#
0290: 20 44 6f 20 6e 6f 74 20 75 73 65 20 61 20 63 6f Do not use a co
02a0: 64 65 63 20 66 6f 72 20 74 65 73 74 73 20 69 6e dec for tests in
02b0: 20 74 68 69 73 20 66 69 6c 65 2c 20 61 73 20 74 this file, as t
02c0: 68 65 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 he database file
02d0: 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c 61 74 65 is.# manipulate
02e0: 64 20 64 69 72 65 63 74 6c 79 20 75 73 69 6e 67 d directly using
02f0: 20 74 63 6c 20 73 63 72 69 70 74 73 20 28 75 73 tcl scripts (us
0300: 69 6e 67 20 74 68 65 20 5b 68 65 78 69 6f 5f 77 ing the [hexio_w
0310: 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64 29 2e 0a rite] command)..
0320: 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f 63 6f 64 #.do_not_use_cod
0330: 65 63 0a 0a 23 20 54 68 65 73 65 20 74 65 73 74 ec..# These test
0340: 73 20 64 65 61 6c 20 77 69 74 68 20 63 6f 72 72 s deal with corr
0350: 75 70 74 20 64 61 74 61 62 61 73 65 20 66 69 6c upt database fil
0360: 65 73 0a 23 0a 64 61 74 61 62 61 73 65 5f 6d 61 es.#.database_ma
0370: 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a 23 20 y_be_corrupt..#
0380: 57 65 20 6d 75 73 74 20 68 61 76 65 20 74 68 65 We must have the
0390: 20 70 61 67 65 5f 73 69 7a 65 20 70 72 61 67 6d page_size pragm
03a0: 61 20 66 6f 72 20 74 68 65 73 65 20 74 65 73 74 a for these test
03b0: 73 20 74 6f 20 77 6f 72 6b 2e 0a 23 0a 69 66 63 s to work..#.ifc
03c0: 61 70 61 62 6c 65 20 21 70 61 67 65 72 5f 70 72 apable !pager_pr
03d0: 61 67 6d 61 73 7c 7c 64 69 72 65 63 74 5f 72 65 agmas||direct_re
03e0: 61 64 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 ad {. finish_te
03f0: 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 st. return.}..#
0400: 20 43 72 65 61 74 65 20 61 20 64 61 74 61 62 61 Create a databa
0410: 73 65 20 77 69 74 68 20 61 6e 20 6f 76 65 72 66 se with an overf
0420: 6c 6f 77 20 70 61 67 65 2e 0a 23 0a 64 6f 5f 74 low page..#.do_t
0430: 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 31 est corrupt3-1.1
0440: 20 7b 0a 20 20 73 65 74 20 62 69 67 73 74 72 69 {. set bigstri
0450: 6e 67 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61 ng [string repea
0460: 74 20 30 31 32 33 34 35 36 37 38 39 20 32 30 30 t 0123456789 200
0470: 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 ]. execsql {.
0480: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 PRAGMA auto_va
0490: 63 75 75 6d 3d 4f 46 46 3b 0a 20 20 20 20 50 52 cuum=OFF;. PR
04a0: 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 AGMA page_size=1
04b0: 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20 024;. CREATE
04c0: 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 20 TABLE t1(x);.
04d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
04e0: 56 41 4c 55 45 53 28 24 62 69 67 73 74 72 69 6e VALUES($bigstrin
04f0: 67 29 3b 0a 20 20 7d 0a 20 20 66 69 6c 65 20 73 g);. }. file s
0500: 69 7a 65 20 74 65 73 74 2e 64 62 0a 7d 20 5b 65 ize test.db.} [e
0510: 78 70 72 20 7b 31 30 32 34 2a 33 7d 5d 0a 0a 23 xpr {1024*3}]..#
0520: 20 56 65 72 69 66 79 20 74 68 61 74 20 74 68 65 Verify that the
0530: 20 66 69 6c 65 20 66 6f 72 6d 61 74 20 69 73 20 file format is
0540: 61 73 20 77 65 20 65 78 70 65 63 74 2e 20 20 54 as we expect. T
0550: 68 65 20 70 61 67 65 20 73 69 7a 65 0a 23 20 73 he page size.# s
0560: 68 6f 75 6c 64 20 62 65 20 31 30 32 34 20 62 79 hould be 1024 by
0570: 74 65 73 2e 20 20 54 68 65 20 6f 6e 6c 79 20 72 tes. The only r
0580: 65 63 6f 72 64 20 73 68 6f 75 6c 64 20 68 61 76 ecord should hav
0590: 65 20 61 20 73 69 6e 67 6c 65 0a 23 20 6f 76 65 e a single.# ove
05a0: 72 66 6c 6f 77 20 70 61 67 65 2e 20 20 54 68 65 rflow page. The
05b0: 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 20 69 overflow page i
05c0: 73 20 70 61 67 65 20 33 2e 20 20 54 68 65 20 70 s page 3. The p
05d0: 6f 69 6e 74 65 72 20 74 6f 0a 23 20 74 68 65 20 ointer to.# the
05e0: 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 20 69 73 overflow page is
05f0: 20 6f 6e 20 74 68 65 20 6c 61 73 74 20 34 20 62 on the last 4 b
0600: 79 74 65 73 20 6f 66 20 70 61 67 65 20 32 2e 0a ytes of page 2..
0610: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 #.do_test corrup
0620: 74 33 2d 31 2e 32 20 7b 0a 20 20 68 65 78 69 6f t3-1.2 {. hexio
0630: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f _get_int [hexio_
0640: 72 65 61 64 20 74 65 73 74 2e 64 62 20 31 36 20 read test.db 16
0650: 32 5d 0a 7d 20 31 30 32 34 20 20 20 3b 23 20 54 2].} 1024 ;# T
0660: 68 65 20 70 61 67 65 20 73 69 7a 65 20 69 73 20 he page size is
0670: 31 30 32 34 0a 64 6f 5f 74 65 73 74 20 63 6f 72 1024.do_test cor
0680: 72 75 70 74 33 2d 31 2e 33 20 7b 0a 20 20 68 65 rupt3-1.3 {. he
0690: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 xio_get_int [hex
06a0: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 io_read test.db
06b0: 32 30 20 31 5d 0a 7d 20 30 20 20 20 20 20 20 3b 20 1].} 0 ;
06c0: 23 20 55 6e 75 73 65 64 20 62 79 74 65 73 20 70 # Unused bytes p
06d0: 65 72 20 70 61 67 65 20 69 73 20 30 0a 64 6f 5f er page is 0.do_
06e0: 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e test corrupt3-1.
06f0: 34 20 7b 0a 20 20 68 65 78 69 6f 5f 67 65 74 5f 4 {. hexio_get_
0700: 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 64 20 int [hexio_read
0710: 74 65 73 74 2e 64 62 20 32 30 34 34 20 34 5d 0a test.db 2044 4].
0720: 7d 20 33 20 20 20 20 20 20 3b 23 20 4f 76 65 72 } 3 ;# Over
0730: 66 6c 6f 77 20 70 61 67 65 20 69 73 20 33 0a 64 flow page is 3.d
0740: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d o_test corrupt3-
0750: 31 2e 35 20 7b 0a 20 20 68 65 78 69 6f 5f 67 65 1.5 {. hexio_ge
0760: 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 t_int [hexio_rea
0770: 64 20 74 65 73 74 2e 64 62 20 32 30 34 38 20 34 d test.db 2048 4
0780: 5d 0a 7d 20 30 20 20 20 20 20 20 3b 23 20 46 69 ].} 0 ;# Fi
0790: 72 73 74 20 63 68 61 69 6e 65 64 20 6f 76 65 72 rst chained over
07a0: 66 6c 6f 77 20 69 73 20 30 0a 0a 69 6e 74 65 67 flow is 0..integ
07b0: 72 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75 rity_check corru
07c0: 70 74 33 2d 31 2e 36 0a 0a 23 20 4d 61 6b 65 20 pt3-1.6..# Make
07d0: 74 68 65 20 6f 76 65 72 66 6c 6f 77 20 63 68 61 the overflow cha
07e0: 69 6e 20 6c 6f 6f 70 20 62 61 63 6b 20 6f 6e 20 in loop back on
07f0: 69 74 73 65 6c 66 2e 20 20 20 53 65 65 20 69 66 itself. See if
0800: 20 74 68 65 0a 23 20 63 6f 72 72 75 70 74 69 6f the.# corruptio
0810: 6e 20 69 73 20 64 65 74 65 63 74 65 64 2e 20 20 n is detected.
0820: 20 28 41 63 74 75 61 6c 6c 79 2c 20 74 68 65 20 (Actually, the
0830: 6c 61 73 74 20 70 6f 69 6e 74 65 72 20 69 6e 0a last pointer in.
0840: 23 20 61 6e 20 6f 76 65 72 66 6c 6f 77 20 63 68 # an overflow ch
0850: 61 69 6e 20 69 73 20 69 67 6e 6f 72 65 64 2c 20 ain is ignored,
0860: 73 6f 20 74 68 69 73 20 69 73 20 6e 6f 74 20 61 so this is not a
0870: 6e 20 65 72 72 6f 72 2e 29 0a 23 0a 64 6f 5f 74 n error.).#.do_t
0880: 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 37 est corrupt3-1.7
0890: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 {. db close.
08a0: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 hexio_write test
08b0: 2e 64 62 20 32 30 34 38 20 5b 68 65 78 69 6f 5f .db 2048 [hexio_
08c0: 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 33 5d 0a render_int32 3].
08d0: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 sqlite3 db tes
08e0: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20 t.db. catchsql
08f0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 78 20 46 {. SELECT x F
0900: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 ROM t1. }.} [li
0910: 73 74 20 30 20 24 62 69 67 73 74 72 69 6e 67 5d st 0 $bigstring]
0920: 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b .integrity_check
0930: 20 63 6f 72 72 75 70 74 33 2d 31 2e 38 0a 0a 23 corrupt3-1.8..#
0940: 20 43 68 61 6e 67 65 20 74 68 65 20 70 6f 69 6e Change the poin
0950: 74 65 72 20 66 6f 72 20 74 68 65 20 66 69 72 73 ter for the firs
0960: 74 20 70 61 67 65 20 6f 66 20 74 68 65 20 6f 76 t page of the ov
0970: 65 72 66 6c 6f 77 0a 23 20 63 68 61 6e 67 65 20 erflow.# change
0980: 74 6f 20 62 65 20 61 20 6e 6f 6e 2d 65 78 69 73 to be a non-exis
0990: 74 61 6e 74 20 70 61 67 65 2e 0a 23 0a 64 6f 5f tant page..#.do_
09a0: 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e test corrupt3-1.
09b0: 39 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 9 {. db close.
09c0: 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 hexio_write tes
09d0: 74 2e 64 62 20 32 30 34 34 20 5b 68 65 78 69 6f t.db 2044 [hexio
09e0: 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 34 5d _render_int32 4]
09f0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 . sqlite3 db te
0a00: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c st.db. catchsql
0a10: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75 {. SELECT su
0a20: 62 73 74 72 28 78 2c 31 2c 31 30 29 20 46 52 4f bstr(x,1,10) FRO
0a30: 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 M t1. }.} [list
0a40: 20 30 20 30 31 32 33 34 35 36 37 38 39 5d 0a 64 0 0123456789].d
0a50: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d o_test corrupt3-
0a60: 31 2e 31 30 20 7b 0a 20 20 63 61 74 63 68 73 71 1.10 {. catchsq
0a70: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 l {. PRAGMA i
0a80: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 ntegrity_check.
0a90: 20 7d 0a 7d 20 7b 30 20 7b 7b 2a 2a 2a 20 69 6e }.} {0 {{*** in
0aa0: 20 64 61 74 61 62 61 73 65 20 6d 61 69 6e 20 2a database main *
0ab0: 2a 2a 0a 50 61 67 65 20 32 20 63 65 6c 6c 20 30 **.Page 2 cell 0
0ac0: 3a 20 69 6e 76 61 6c 69 64 20 70 61 67 65 20 6e : invalid page n
0ad0: 75 6d 62 65 72 20 34 0a 50 61 67 65 20 33 20 69 umber 4.Page 3 i
0ae0: 73 20 6e 65 76 65 72 20 75 73 65 64 7d 7d 7d 0a s never used}}}.
0af0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 do_test corrupt3
0b00: 2d 31 2e 31 31 20 7b 0a 20 20 64 62 20 63 6c 6f -1.11 {. db clo
0b10: 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 se. hexio_write
0b20: 20 74 65 73 74 2e 64 62 20 32 30 34 34 20 5b 68 test.db 2044 [h
0b30: 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 exio_render_int3
0b40: 32 20 30 5d 0a 20 20 73 71 6c 69 74 65 33 20 64 2 0]. sqlite3 d
0b50: 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 b test.db. catc
0b60: 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 hsql {. SELEC
0b70: 54 20 73 75 62 73 74 72 28 78 2c 31 2c 31 30 29 T substr(x,1,10)
0b80: 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b FROM t1. }.} [
0b90: 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73 65 list 1 {database
0ba0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d disk image is m
0bb0: 61 6c 66 6f 72 6d 65 64 7d 5d 0a 64 6f 5f 74 65 alformed}].do_te
0bc0: 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 31 32 st corrupt3-1.12
0bd0: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a {. catchsql {.
0be0: 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 PRAGMA integ
0bf0: 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 7d 0a 7d rity_check. }.}
0c00: 20 7b 30 20 7b 7b 2a 2a 2a 20 69 6e 20 64 61 74 {0 {{*** in dat
0c10: 61 62 61 73 65 20 6d 61 69 6e 20 2a 2a 2a 0a 50 abase main ***.P
0c20: 61 67 65 20 32 20 63 65 6c 6c 20 30 3a 20 31 20 age 2 cell 0: 1
0c30: 6f 66 20 31 20 70 61 67 65 73 20 6d 69 73 73 69 of 1 pages missi
0c40: 6e 67 20 66 72 6f 6d 20 6f 76 65 72 66 6c 6f 77 ng from overflow
0c50: 20 6c 69 73 74 20 73 74 61 72 74 69 6e 67 20 61 list starting a
0c60: 74 20 30 0a 50 61 67 65 20 33 20 69 73 20 6e 65 t 0.Page 3 is ne
0c70: 76 65 72 20 75 73 65 64 7d 7d 7d 0a 0a 66 69 6e ver used}}}..fin
0c80: 69 73 68 5f 74 65 73 74 0a ish_test.