/ Hex Artifact Content
Login

Artifact e3006aaf579d2ed7f1b94bf4cc695d3c784fa5af:


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 57 65 20 6d 75 73 74 20 68 61  ec..# We must ha
0340: 76 65 20 74 68 65 20 70 61 67 65 5f 73 69 7a 65  ve the page_size
0350: 20 70 72 61 67 6d 61 20 66 6f 72 20 74 68 65 73   pragma for thes
0360: 65 20 74 65 73 74 73 20 74 6f 20 77 6f 72 6b 2e  e tests to work.
0370: 0a 23 0a 69 66 63 61 70 61 62 6c 65 20 21 70 61  .#.ifcapable !pa
0380: 67 65 72 5f 70 72 61 67 6d 61 73 20 7b 0a 20 20  ger_pragmas {.  
0390: 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65  finish_test.  re
03a0: 74 75 72 6e 0a 7d 0a 0a 23 20 43 72 65 61 74 65  turn.}..# Create
03b0: 20 61 20 64 61 74 61 62 61 73 65 20 77 69 74 68   a database with
03c0: 20 61 6e 20 6f 76 65 72 66 6c 6f 77 20 70 61 67   an overflow pag
03d0: 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72  e..#.do_test cor
03e0: 72 75 70 74 33 2d 31 2e 31 20 7b 0a 20 20 73 65  rupt3-1.1 {.  se
03f0: 74 20 62 69 67 73 74 72 69 6e 67 20 5b 73 74 72  t bigstring [str
0400: 69 6e 67 20 72 65 70 65 61 74 20 30 31 32 33 34  ing repeat 01234
0410: 35 36 37 38 39 20 32 30 30 5d 0a 20 20 65 78 65  56789 200].  exe
0420: 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d  csql {.    PRAGM
0430: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3d 4f 46  A auto_vacuum=OF
0440: 46 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61  F;.    PRAGMA pa
0450: 67 65 5f 73 69 7a 65 3d 31 30 32 34 3b 0a 20 20  ge_size=1024;.  
0460: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0470: 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1(x);.    INSERT
0480: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0490: 24 62 69 67 73 74 72 69 6e 67 29 3b 0a 20 20 7d  $bigstring);.  }
04a0: 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74 65 73  .  file size tes
04b0: 74 2e 64 62 0a 7d 20 5b 65 78 70 72 20 7b 31 30  t.db.} [expr {10
04c0: 32 34 2a 33 7d 5d 0a 0a 23 20 56 65 72 69 66 79  24*3}]..# Verify
04d0: 20 74 68 61 74 20 74 68 65 20 66 69 6c 65 20 66   that the file f
04e0: 6f 72 6d 61 74 20 69 73 20 61 73 20 77 65 20 65  ormat is as we e
04f0: 78 70 65 63 74 2e 20 20 54 68 65 20 70 61 67 65  xpect.  The page
0500: 20 73 69 7a 65 0a 23 20 73 68 6f 75 6c 64 20 62   size.# should b
0510: 65 20 31 30 32 34 20 62 79 74 65 73 2e 20 20 54  e 1024 bytes.  T
0520: 68 65 20 6f 6e 6c 79 20 72 65 63 6f 72 64 20 73  he only record s
0530: 68 6f 75 6c 64 20 68 61 76 65 20 61 20 73 69 6e  hould have a sin
0540: 67 6c 65 0a 23 20 6f 76 65 72 66 6c 6f 77 20 70  gle.# overflow p
0550: 61 67 65 2e 20 20 54 68 65 20 6f 76 65 72 66 6c  age.  The overfl
0560: 6f 77 20 70 61 67 65 20 69 73 20 70 61 67 65 20  ow page is page 
0570: 33 2e 20 20 54 68 65 20 70 6f 69 6e 74 65 72 20  3.  The pointer 
0580: 74 6f 0a 23 20 74 68 65 20 6f 76 65 72 66 6c 6f  to.# the overflo
0590: 77 20 70 61 67 65 20 69 73 20 6f 6e 20 74 68 65  w page is on the
05a0: 20 6c 61 73 74 20 34 20 62 79 74 65 73 20 6f 66   last 4 bytes of
05b0: 20 70 61 67 65 20 32 2e 0a 23 0a 64 6f 5f 74 65   page 2..#.do_te
05c0: 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 32 20  st corrupt3-1.2 
05d0: 7b 0a 20 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e  {.  hexio_get_in
05e0: 74 20 5b 68 65 78 69 6f 5f 72 65 61 64 20 74 65  t [hexio_read te
05f0: 73 74 2e 64 62 20 31 36 20 32 5d 0a 7d 20 31 30  st.db 16 2].} 10
0600: 32 34 20 20 20 3b 23 20 54 68 65 20 70 61 67 65  24   ;# The page
0610: 20 73 69 7a 65 20 69 73 20 31 30 32 34 0a 64 6f   size is 1024.do
0620: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31  _test corrupt3-1
0630: 2e 33 20 7b 0a 20 20 68 65 78 69 6f 5f 67 65 74  .3 {.  hexio_get
0640: 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 64  _int [hexio_read
0650: 20 74 65 73 74 2e 64 62 20 32 30 20 31 5d 0a 7d   test.db 20 1].}
0660: 20 30 20 20 20 20 20 20 3b 23 20 55 6e 75 73 65   0      ;# Unuse
0670: 64 20 62 79 74 65 73 20 70 65 72 20 70 61 67 65  d bytes per page
0680: 20 69 73 20 30 0a 64 6f 5f 74 65 73 74 20 63 6f   is 0.do_test co
0690: 72 72 75 70 74 33 2d 31 2e 34 20 7b 0a 20 20 68  rrupt3-1.4 {.  h
06a0: 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65  exio_get_int [he
06b0: 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62  xio_read test.db
06c0: 20 32 30 34 34 20 34 5d 0a 7d 20 33 20 20 20 20   2044 4].} 3    
06d0: 20 20 3b 23 20 4f 76 65 72 66 6c 6f 77 20 70 61    ;# Overflow pa
06e0: 67 65 20 69 73 20 33 0a 64 6f 5f 74 65 73 74 20  ge is 3.do_test 
06f0: 63 6f 72 72 75 70 74 33 2d 31 2e 35 20 7b 0a 20  corrupt3-1.5 {. 
0700: 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b   hexio_get_int [
0710: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
0720: 64 62 20 32 30 34 38 20 34 5d 0a 7d 20 30 20 20  db 2048 4].} 0  
0730: 20 20 20 20 3b 23 20 46 69 72 73 74 20 63 68 61      ;# First cha
0740: 69 6e 65 64 20 6f 76 65 72 66 6c 6f 77 20 69 73  ined overflow is
0750: 20 30 0a 0a 69 6e 74 65 67 72 69 74 79 5f 63 68   0..integrity_ch
0760: 65 63 6b 20 63 6f 72 72 75 70 74 33 2d 31 2e 36  eck corrupt3-1.6
0770: 0a 0a 23 20 4d 61 6b 65 20 74 68 65 20 6f 76 65  ..# Make the ove
0780: 72 66 6c 6f 77 20 63 68 61 69 6e 20 6c 6f 6f 70  rflow chain loop
0790: 20 62 61 63 6b 20 6f 6e 20 69 74 73 65 6c 66 2e   back on itself.
07a0: 20 20 20 53 65 65 20 69 66 20 74 68 65 0a 23 20     See if the.# 
07b0: 63 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65  corruption is de
07c0: 74 65 63 74 65 64 2e 20 20 20 28 41 63 74 75 61  tected.   (Actua
07d0: 6c 6c 79 2c 20 74 68 65 20 6c 61 73 74 20 70 6f  lly, the last po
07e0: 69 6e 74 65 72 20 69 6e 0a 23 20 61 6e 20 6f 76  inter in.# an ov
07f0: 65 72 66 6c 6f 77 20 63 68 61 69 6e 20 69 73 20  erflow chain is 
0800: 69 67 6e 6f 72 65 64 2c 20 73 6f 20 74 68 69 73  ignored, so this
0810: 20 69 73 20 6e 6f 74 20 61 6e 20 65 72 72 6f 72   is not an error
0820: 2e 29 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72  .).#.do_test cor
0830: 72 75 70 74 33 2d 31 2e 37 20 7b 0a 20 20 64 62  rupt3-1.7 {.  db
0840: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
0850: 72 69 74 65 20 74 65 73 74 2e 64 62 20 32 30 34  rite test.db 204
0860: 38 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f  8 [hexio_render_
0870: 69 6e 74 33 32 20 33 5d 0a 20 20 73 71 6c 69 74  int32 3].  sqlit
0880: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
0890: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53  catchsql {.    S
08a0: 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 74 31 0a  ELECT x FROM t1.
08b0: 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 30 20 24 62    }.} [list 0 $b
08c0: 69 67 73 74 72 69 6e 67 5d 0a 69 6e 74 65 67 72  igstring].integr
08d0: 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75 70  ity_check corrup
08e0: 74 33 2d 31 2e 38 0a 0a 23 20 43 68 61 6e 67 65  t3-1.8..# Change
08f0: 20 74 68 65 20 70 6f 69 6e 74 65 72 20 66 6f 72   the pointer for
0900: 20 74 68 65 20 66 69 72 73 74 20 70 61 67 65 20   the first page 
0910: 6f 66 20 74 68 65 20 6f 76 65 72 66 6c 6f 77 0a  of the overflow.
0920: 23 20 63 68 61 6e 67 65 20 74 6f 20 62 65 20 61  # change to be a
0930: 20 6e 6f 6e 2d 65 78 69 73 74 61 6e 74 20 70 61   non-existant pa
0940: 67 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f  ge..#.do_test co
0950: 72 72 75 70 74 33 2d 31 2e 39 20 7b 0a 20 20 64  rrupt3-1.9 {.  d
0960: 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f  b close.  hexio_
0970: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 32 30  write test.db 20
0980: 34 34 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72  44 [hexio_render
0990: 5f 69 6e 74 33 32 20 34 5d 0a 20 20 73 71 6c 69  _int32 4].  sqli
09a0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
09b0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
09c0: 53 45 4c 45 43 54 20 73 75 62 73 74 72 28 78 2c  SELECT substr(x,
09d0: 31 2c 31 30 29 20 46 52 4f 4d 20 74 31 0a 20 20  1,10) FROM t1.  
09e0: 7d 0a 7d 20 5b 6c 69 73 74 20 30 20 30 31 32 33  }.} [list 0 0123
09f0: 34 35 36 37 38 39 5d 0a 64 6f 5f 74 65 73 74 20  456789].do_test 
0a00: 63 6f 72 72 75 70 74 33 2d 31 2e 31 30 20 7b 0a  corrupt3-1.10 {.
0a10: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
0a20: 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74   PRAGMA integrit
0a30: 79 5f 63 68 65 63 6b 0a 20 20 7d 0a 7d 20 7b 30  y_check.  }.} {0
0a40: 20 7b 7b 2a 2a 2a 20 69 6e 20 64 61 74 61 62 61   {{*** in databa
0a50: 73 65 20 6d 61 69 6e 20 2a 2a 2a 0a 4f 6e 20 74  se main ***.On t
0a60: 72 65 65 20 70 61 67 65 20 32 20 63 65 6c 6c 20  ree page 2 cell 
0a70: 30 3a 20 69 6e 76 61 6c 69 64 20 70 61 67 65 20  0: invalid page 
0a80: 6e 75 6d 62 65 72 20 34 0a 50 61 67 65 20 33 20  number 4.Page 3 
0a90: 69 73 20 6e 65 76 65 72 20 75 73 65 64 7d 7d 7d  is never used}}}
0aa0: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
0ab0: 33 2d 31 2e 31 31 20 7b 0a 20 20 64 62 20 63 6c  3-1.11 {.  db cl
0ac0: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
0ad0: 65 20 74 65 73 74 2e 64 62 20 32 30 34 34 20 5b  e test.db 2044 [
0ae0: 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74  hexio_render_int
0af0: 33 32 20 30 5d 0a 20 20 73 71 6c 69 74 65 33 20  32 0].  sqlite3 
0b00: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74  db test.db.  cat
0b10: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
0b20: 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 31 30  CT substr(x,1,10
0b30: 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20  ) FROM t1.  }.} 
0b40: 5b 6c 69 73 74 20 31 20 7b 64 61 74 61 62 61 73  [list 1 {databas
0b50: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
0b60: 6d 61 6c 66 6f 72 6d 65 64 7d 5d 0a 64 6f 5f 74  malformed}].do_t
0b70: 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 31  est corrupt3-1.1
0b80: 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  2 {.  catchsql {
0b90: 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 74 65  .    PRAGMA inte
0ba0: 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 7d 0a  grity_check.  }.
0bb0: 7d 20 7b 30 20 7b 7b 2a 2a 2a 20 69 6e 20 64 61  } {0 {{*** in da
0bc0: 74 61 62 61 73 65 20 6d 61 69 6e 20 2a 2a 2a 0a  tabase main ***.
0bd0: 4f 6e 20 74 72 65 65 20 70 61 67 65 20 32 20 63  On tree page 2 c
0be0: 65 6c 6c 20 30 3a 20 31 20 6f 66 20 31 20 70 61  ell 0: 1 of 1 pa
0bf0: 67 65 73 20 6d 69 73 73 69 6e 67 20 66 72 6f 6d  ges missing from
0c00: 20 6f 76 65 72 66 6c 6f 77 20 6c 69 73 74 20 73   overflow list s
0c10: 74 61 72 74 69 6e 67 20 61 74 20 30 0a 50 61 67  tarting at 0.Pag
0c20: 65 20 33 20 69 73 20 6e 65 76 65 72 20 75 73 65  e 3 is never use
0c30: 64 7d 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73  d}}}..finish_tes
0c40: 74 0a                                            t.