/ Hex Artifact Content
Login

Artifact e676f478fe602915d721472811f6f410b75ddc7e:


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 54 68 69 73 20 6d 6f 64 75 6c 65 20 75 73 65   This module use
02a0: 73 20 68 61 72 64 2d 63 6f 64 65 64 20 6f 66 66  s hard-coded off
02b0: 73 65 74 73 20 77 68 69 63 68 20 64 6f 20 6e 6f  sets which do no
02c0: 74 20 77 6f 72 6b 20 69 66 20 74 68 65 20 72 65  t work if the re
02d0: 73 65 72 76 65 64 5f 62 79 74 65 73 0a 23 20 76  served_bytes.# v
02e0: 61 6c 75 65 20 69 73 20 6e 6f 6e 7a 65 72 6f 2e  alue is nonzero.
02f0: 0a 69 66 20 7b 5b 6e 6f 6e 7a 65 72 6f 5f 72 65  .if {[nonzero_re
0300: 73 65 72 76 65 64 5f 62 79 74 65 73 5d 7d 20 7b  served_bytes]} {
0310: 66 69 6e 69 73 68 5f 74 65 73 74 3b 20 72 65 74  finish_test; ret
0320: 75 72 6e 3b 7d 0a 0a 23 20 54 68 65 73 65 20 74  urn;}..# These t
0330: 65 73 74 73 20 64 65 61 6c 20 77 69 74 68 20 63  ests deal with c
0340: 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20  orrupt database 
0350: 66 69 6c 65 73 0a 23 0a 64 61 74 61 62 61 73 65  files.#.database
0360: 5f 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a  _may_be_corrupt.
0370: 0a 23 20 57 65 20 6d 75 73 74 20 68 61 76 65 20  .# We must have 
0380: 74 68 65 20 70 61 67 65 5f 73 69 7a 65 20 70 72  the page_size pr
0390: 61 67 6d 61 20 66 6f 72 20 74 68 65 73 65 20 74  agma for these t
03a0: 65 73 74 73 20 74 6f 20 77 6f 72 6b 2e 0a 23 0a  ests to work..#.
03b0: 69 66 63 61 70 61 62 6c 65 20 21 70 61 67 65 72  ifcapable !pager
03c0: 5f 70 72 61 67 6d 61 73 7c 7c 64 69 72 65 63 74  _pragmas||direct
03d0: 5f 72 65 61 64 20 7b 0a 20 20 66 69 6e 69 73 68  _read {.  finish
03e0: 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d  _test.  return.}
03f0: 0a 0a 23 20 43 72 65 61 74 65 20 61 20 64 61 74  ..# Create a dat
0400: 61 62 61 73 65 20 77 69 74 68 20 61 6e 20 6f 76  abase with an ov
0410: 65 72 66 6c 6f 77 20 70 61 67 65 2e 0a 23 0a 64  erflow page..#.d
0420: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d  o_test corrupt3-
0430: 31 2e 31 20 7b 0a 20 20 73 65 74 20 62 69 67 73  1.1 {.  set bigs
0440: 74 72 69 6e 67 20 5b 73 74 72 69 6e 67 20 72 65  tring [string re
0450: 70 65 61 74 20 30 31 32 33 34 35 36 37 38 39 20  peat 0123456789 
0460: 32 30 30 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b  200].  execsql {
0470: 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f  .    PRAGMA auto
0480: 5f 76 61 63 75 75 6d 3d 4f 46 46 3b 0a 20 20 20  _vacuum=OFF;.   
0490: 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a   PRAGMA page_siz
04a0: 65 3d 31 30 32 34 3b 0a 20 20 20 20 43 52 45 41  e=1024;.    CREA
04b0: 54 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a  TE TABLE t1(x);.
04c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
04d0: 74 31 20 56 41 4c 55 45 53 28 24 62 69 67 73 74  t1 VALUES($bigst
04e0: 72 69 6e 67 29 3b 0a 20 20 7d 0a 20 20 66 69 6c  ring);.  }.  fil
04f0: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 0a 7d  e size test.db.}
0500: 20 5b 65 78 70 72 20 7b 31 30 32 34 2a 33 7d 5d   [expr {1024*3}]
0510: 0a 0a 23 20 56 65 72 69 66 79 20 74 68 61 74 20  ..# Verify that 
0520: 74 68 65 20 66 69 6c 65 20 66 6f 72 6d 61 74 20  the file format 
0530: 69 73 20 61 73 20 77 65 20 65 78 70 65 63 74 2e  is as we expect.
0540: 20 20 54 68 65 20 70 61 67 65 20 73 69 7a 65 0a    The page size.
0550: 23 20 73 68 6f 75 6c 64 20 62 65 20 31 30 32 34  # should be 1024
0560: 20 62 79 74 65 73 2e 20 20 54 68 65 20 6f 6e 6c   bytes.  The onl
0570: 79 20 72 65 63 6f 72 64 20 73 68 6f 75 6c 64 20  y record should 
0580: 68 61 76 65 20 61 20 73 69 6e 67 6c 65 0a 23 20  have a single.# 
0590: 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 2e 20 20  overflow page.  
05a0: 54 68 65 20 6f 76 65 72 66 6c 6f 77 20 70 61 67  The overflow pag
05b0: 65 20 69 73 20 70 61 67 65 20 33 2e 20 20 54 68  e is page 3.  Th
05c0: 65 20 70 6f 69 6e 74 65 72 20 74 6f 0a 23 20 74  e pointer to.# t
05d0: 68 65 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65  he overflow page
05e0: 20 69 73 20 6f 6e 20 74 68 65 20 6c 61 73 74 20   is on the last 
05f0: 34 20 62 79 74 65 73 20 6f 66 20 70 61 67 65 20  4 bytes of page 
0600: 32 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72  2..#.do_test cor
0610: 72 75 70 74 33 2d 31 2e 32 20 7b 0a 20 20 68 65  rupt3-1.2 {.  he
0620: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
0630: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
0640: 31 36 20 32 5d 0a 7d 20 31 30 32 34 20 20 20 3b  16 2].} 1024   ;
0650: 23 20 54 68 65 20 70 61 67 65 20 73 69 7a 65 20  # The page size 
0660: 69 73 20 31 30 32 34 0a 64 6f 5f 74 65 73 74 20  is 1024.do_test 
0670: 63 6f 72 72 75 70 74 33 2d 31 2e 33 20 7b 0a 20  corrupt3-1.3 {. 
0680: 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b   hexio_get_int [
0690: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
06a0: 64 62 20 32 30 20 31 5d 0a 7d 20 30 20 20 20 20  db 20 1].} 0    
06b0: 20 20 3b 23 20 55 6e 75 73 65 64 20 62 79 74 65    ;# Unused byte
06c0: 73 20 70 65 72 20 70 61 67 65 20 69 73 20 30 0a  s per page is 0.
06d0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33  do_test corrupt3
06e0: 2d 31 2e 34 20 7b 0a 20 20 68 65 78 69 6f 5f 67  -1.4 {.  hexio_g
06f0: 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65  et_int [hexio_re
0700: 61 64 20 74 65 73 74 2e 64 62 20 32 30 34 34 20  ad test.db 2044 
0710: 34 5d 0a 7d 20 33 20 20 20 20 20 20 3b 23 20 4f  4].} 3      ;# O
0720: 76 65 72 66 6c 6f 77 20 70 61 67 65 20 69 73 20  verflow page is 
0730: 33 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  3.do_test corrup
0740: 74 33 2d 31 2e 35 20 7b 0a 20 20 68 65 78 69 6f  t3-1.5 {.  hexio
0750: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f  _get_int [hexio_
0760: 72 65 61 64 20 74 65 73 74 2e 64 62 20 32 30 34  read test.db 204
0770: 38 20 34 5d 0a 7d 20 30 20 20 20 20 20 20 3b 23  8 4].} 0      ;#
0780: 20 46 69 72 73 74 20 63 68 61 69 6e 65 64 20 6f   First chained o
0790: 76 65 72 66 6c 6f 77 20 69 73 20 30 0a 0a 69 6e  verflow is 0..in
07a0: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f  tegrity_check co
07b0: 72 72 75 70 74 33 2d 31 2e 36 0a 0a 23 20 4d 61  rrupt3-1.6..# Ma
07c0: 6b 65 20 74 68 65 20 6f 76 65 72 66 6c 6f 77 20  ke the overflow 
07d0: 63 68 61 69 6e 20 6c 6f 6f 70 20 62 61 63 6b 20  chain loop back 
07e0: 6f 6e 20 69 74 73 65 6c 66 2e 20 20 20 53 65 65  on itself.   See
07f0: 20 69 66 20 74 68 65 0a 23 20 63 6f 72 72 75 70   if the.# corrup
0800: 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64  tion is detected
0810: 2e 20 20 20 28 41 63 74 75 61 6c 6c 79 2c 20 74  .   (Actually, t
0820: 68 65 20 6c 61 73 74 20 70 6f 69 6e 74 65 72 20  he last pointer 
0830: 69 6e 0a 23 20 61 6e 20 6f 76 65 72 66 6c 6f 77  in.# an overflow
0840: 20 63 68 61 69 6e 20 69 73 20 69 67 6e 6f 72 65   chain is ignore
0850: 64 2c 20 73 6f 20 74 68 69 73 20 69 73 20 6e 6f  d, so this is no
0860: 74 20 61 6e 20 65 72 72 6f 72 2e 29 0a 23 0a 64  t an error.).#.d
0870: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d  o_test corrupt3-
0880: 31 2e 37 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  1.7 {.  db close
0890: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
08a0: 65 73 74 2e 64 62 20 32 30 34 38 20 5b 68 65 78  est.db 2048 [hex
08b0: 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20  io_render_int32 
08c0: 33 5d 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  3].  sqlite3 db 
08d0: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
08e0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
08f0: 78 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  x FROM t1.  }.} 
0900: 5b 6c 69 73 74 20 30 20 24 62 69 67 73 74 72 69  [list 0 $bigstri
0910: 6e 67 5d 0a 69 6e 74 65 67 72 69 74 79 5f 63 68  ng].integrity_ch
0920: 65 63 6b 20 63 6f 72 72 75 70 74 33 2d 31 2e 38  eck corrupt3-1.8
0930: 0a 0a 23 20 43 68 61 6e 67 65 20 74 68 65 20 70  ..# Change the p
0940: 6f 69 6e 74 65 72 20 66 6f 72 20 74 68 65 20 66  ointer for the f
0950: 69 72 73 74 20 70 61 67 65 20 6f 66 20 74 68 65  irst page of the
0960: 20 6f 76 65 72 66 6c 6f 77 0a 23 20 63 68 61 6e   overflow.# chan
0970: 67 65 20 74 6f 20 62 65 20 61 20 6e 6f 6e 2d 65  ge to be a non-e
0980: 78 69 73 74 61 6e 74 20 70 61 67 65 2e 0a 23 0a  xistant page..#.
0990: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33  do_test corrupt3
09a0: 2d 31 2e 39 20 7b 0a 20 20 64 62 20 63 6c 6f 73  -1.9 {.  db clos
09b0: 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  e.  hexio_write 
09c0: 74 65 73 74 2e 64 62 20 32 30 34 34 20 5b 68 65  test.db 2044 [he
09d0: 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32  xio_render_int32
09e0: 20 34 5d 0a 20 20 73 71 6c 69 74 65 33 20 64 62   4].  sqlite3 db
09f0: 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68   test.db.  catch
0a00: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
0a10: 20 73 75 62 73 74 72 28 78 2c 31 2c 31 30 29 20   substr(x,1,10) 
0a20: 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c  FROM t1.  }.} [l
0a30: 69 73 74 20 30 20 30 31 32 33 34 35 36 37 38 39  ist 0 0123456789
0a40: 5d 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ].do_test corrup
0a50: 74 33 2d 31 2e 31 30 20 7b 0a 20 20 63 61 74 63  t3-1.10 {.  catc
0a60: 68 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d  hsql {.    PRAGM
0a70: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
0a80: 6b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7b 2a 2a 2a  k.  }.} {0 {{***
0a90: 20 69 6e 20 64 61 74 61 62 61 73 65 20 6d 61 69   in database mai
0aa0: 6e 20 2a 2a 2a 0a 4f 6e 20 74 72 65 65 20 70 61  n ***.On tree pa
0ab0: 67 65 20 32 20 63 65 6c 6c 20 30 3a 20 69 6e 76  ge 2 cell 0: inv
0ac0: 61 6c 69 64 20 70 61 67 65 20 6e 75 6d 62 65 72  alid page number
0ad0: 20 34 0a 50 61 67 65 20 33 20 69 73 20 6e 65 76   4.Page 3 is nev
0ae0: 65 72 20 75 73 65 64 7d 7d 7d 0a 64 6f 5f 74 65  er used}}}.do_te
0af0: 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 31 31  st corrupt3-1.11
0b00: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20   {.  db close.  
0b10: 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74  hexio_write test
0b20: 2e 64 62 20 32 30 34 34 20 5b 68 65 78 69 6f 5f  .db 2044 [hexio_
0b30: 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 30 5d 0a  render_int32 0].
0b40: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
0b50: 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c 20  t.db.  catchsql 
0b60: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75 62  {.    SELECT sub
0b70: 73 74 72 28 78 2c 31 2c 31 30 29 20 46 52 4f 4d  str(x,1,10) FROM
0b80: 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20   t1.  }.} [list 
0b90: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
0ba0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
0bb0: 6d 65 64 7d 5d 0a 64 6f 5f 74 65 73 74 20 63 6f  med}].do_test co
0bc0: 72 72 75 70 74 33 2d 31 2e 31 32 20 7b 0a 20 20  rrupt3-1.12 {.  
0bd0: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 50  catchsql {.    P
0be0: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
0bf0: 63 68 65 63 6b 0a 20 20 7d 0a 7d 20 7b 30 20 7b  check.  }.} {0 {
0c00: 7b 2a 2a 2a 20 69 6e 20 64 61 74 61 62 61 73 65  {*** in database
0c10: 20 6d 61 69 6e 20 2a 2a 2a 0a 4f 6e 20 74 72 65   main ***.On tre
0c20: 65 20 70 61 67 65 20 32 20 63 65 6c 6c 20 30 3a  e page 2 cell 0:
0c30: 20 31 20 6f 66 20 31 20 70 61 67 65 73 20 6d 69   1 of 1 pages mi
0c40: 73 73 69 6e 67 20 66 72 6f 6d 20 6f 76 65 72 66  ssing from overf
0c50: 6c 6f 77 20 6c 69 73 74 20 73 74 61 72 74 69 6e  low list startin
0c60: 67 20 61 74 20 30 0a 50 61 67 65 20 33 20 69 73  g at 0.Page 3 is
0c70: 20 6e 65 76 65 72 20 75 73 65 64 7d 7d 7d 0a 0a   never used}}}..
0c80: 66 69 6e 69 73 68 5f 74 65 73 74 0a              finish_test.