/ Hex Artifact Content
Login

Artifact 889d7cdb811800303aa722d7813fe8a4299cf726:


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 7c 7c 64 69 72  ger_pragmas||dir
0390: 65 63 74 5f 72 65 61 64 20 7b 0a 20 20 66 69 6e  ect_read {.  fin
03a0: 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72  ish_test.  retur
03b0: 6e 0a 7d 0a 0a 23 20 43 72 65 61 74 65 20 61 20  n.}..# Create a 
03c0: 64 61 74 61 62 61 73 65 20 77 69 74 68 20 61 6e  database with an
03d0: 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 2e 0a   overflow page..
03e0: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  #.do_test corrup
03f0: 74 33 2d 31 2e 31 20 7b 0a 20 20 73 65 74 20 62  t3-1.1 {.  set b
0400: 69 67 73 74 72 69 6e 67 20 5b 73 74 72 69 6e 67  igstring [string
0410: 20 72 65 70 65 61 74 20 30 31 32 33 34 35 36 37   repeat 01234567
0420: 38 39 20 32 30 30 5d 0a 20 20 65 78 65 63 73 71  89 200].  execsq
0430: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61  l {.    PRAGMA a
0440: 75 74 6f 5f 76 61 63 75 75 6d 3d 4f 46 46 3b 0a  uto_vacuum=OFF;.
0450: 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f      PRAGMA page_
0460: 73 69 7a 65 3d 31 30 32 34 3b 0a 20 20 20 20 43  size=1024;.    C
0470: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78  REATE TABLE t1(x
0480: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0490: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 24 62 69  TO t1 VALUES($bi
04a0: 67 73 74 72 69 6e 67 29 3b 0a 20 20 7d 0a 20 20  gstring);.  }.  
04b0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
04c0: 62 0a 7d 20 5b 65 78 70 72 20 7b 31 30 32 34 2a  b.} [expr {1024*
04d0: 33 7d 5d 0a 0a 23 20 56 65 72 69 66 79 20 74 68  3}]..# Verify th
04e0: 61 74 20 74 68 65 20 66 69 6c 65 20 66 6f 72 6d  at the file form
04f0: 61 74 20 69 73 20 61 73 20 77 65 20 65 78 70 65  at is as we expe
0500: 63 74 2e 20 20 54 68 65 20 70 61 67 65 20 73 69  ct.  The page si
0510: 7a 65 0a 23 20 73 68 6f 75 6c 64 20 62 65 20 31  ze.# should be 1
0520: 30 32 34 20 62 79 74 65 73 2e 20 20 54 68 65 20  024 bytes.  The 
0530: 6f 6e 6c 79 20 72 65 63 6f 72 64 20 73 68 6f 75  only record shou
0540: 6c 64 20 68 61 76 65 20 61 20 73 69 6e 67 6c 65  ld have a single
0550: 0a 23 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65  .# overflow page
0560: 2e 20 20 54 68 65 20 6f 76 65 72 66 6c 6f 77 20  .  The overflow 
0570: 70 61 67 65 20 69 73 20 70 61 67 65 20 33 2e 20  page is page 3. 
0580: 20 54 68 65 20 70 6f 69 6e 74 65 72 20 74 6f 0a   The pointer to.
0590: 23 20 74 68 65 20 6f 76 65 72 66 6c 6f 77 20 70  # the overflow p
05a0: 61 67 65 20 69 73 20 6f 6e 20 74 68 65 20 6c 61  age is on the la
05b0: 73 74 20 34 20 62 79 74 65 73 20 6f 66 20 70 61  st 4 bytes of pa
05c0: 67 65 20 32 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  ge 2..#.do_test 
05d0: 63 6f 72 72 75 70 74 33 2d 31 2e 32 20 7b 0a 20  corrupt3-1.2 {. 
05e0: 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b   hexio_get_int [
05f0: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
0600: 64 62 20 31 36 20 32 5d 0a 7d 20 31 30 32 34 20  db 16 2].} 1024 
0610: 20 20 3b 23 20 54 68 65 20 70 61 67 65 20 73 69    ;# The page si
0620: 7a 65 20 69 73 20 31 30 32 34 0a 64 6f 5f 74 65  ze is 1024.do_te
0630: 73 74 20 63 6f 72 72 75 70 74 33 2d 31 2e 33 20  st corrupt3-1.3 
0640: 7b 0a 20 20 68 65 78 69 6f 5f 67 65 74 5f 69 6e  {.  hexio_get_in
0650: 74 20 5b 68 65 78 69 6f 5f 72 65 61 64 20 74 65  t [hexio_read te
0660: 73 74 2e 64 62 20 32 30 20 31 5d 0a 7d 20 30 20  st.db 20 1].} 0 
0670: 20 20 20 20 20 3b 23 20 55 6e 75 73 65 64 20 62       ;# Unused b
0680: 79 74 65 73 20 70 65 72 20 70 61 67 65 20 69 73  ytes per page is
0690: 20 30 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75   0.do_test corru
06a0: 70 74 33 2d 31 2e 34 20 7b 0a 20 20 68 65 78 69  pt3-1.4 {.  hexi
06b0: 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f  o_get_int [hexio
06c0: 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 32 30  _read test.db 20
06d0: 34 34 20 34 5d 0a 7d 20 33 20 20 20 20 20 20 3b  44 4].} 3      ;
06e0: 23 20 4f 76 65 72 66 6c 6f 77 20 70 61 67 65 20  # Overflow page 
06f0: 69 73 20 33 0a 64 6f 5f 74 65 73 74 20 63 6f 72  is 3.do_test cor
0700: 72 75 70 74 33 2d 31 2e 35 20 7b 0a 20 20 68 65  rupt3-1.5 {.  he
0710: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
0720: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
0730: 32 30 34 38 20 34 5d 0a 7d 20 30 20 20 20 20 20  2048 4].} 0     
0740: 20 3b 23 20 46 69 72 73 74 20 63 68 61 69 6e 65   ;# First chaine
0750: 64 20 6f 76 65 72 66 6c 6f 77 20 69 73 20 30 0a  d overflow is 0.
0760: 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b  .integrity_check
0770: 20 63 6f 72 72 75 70 74 33 2d 31 2e 36 0a 0a 23   corrupt3-1.6..#
0780: 20 4d 61 6b 65 20 74 68 65 20 6f 76 65 72 66 6c   Make the overfl
0790: 6f 77 20 63 68 61 69 6e 20 6c 6f 6f 70 20 62 61  ow chain loop ba
07a0: 63 6b 20 6f 6e 20 69 74 73 65 6c 66 2e 20 20 20  ck on itself.   
07b0: 53 65 65 20 69 66 20 74 68 65 0a 23 20 63 6f 72  See if the.# cor
07c0: 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63  ruption is detec
07d0: 74 65 64 2e 20 20 20 28 41 63 74 75 61 6c 6c 79  ted.   (Actually
07e0: 2c 20 74 68 65 20 6c 61 73 74 20 70 6f 69 6e 74  , the last point
07f0: 65 72 20 69 6e 0a 23 20 61 6e 20 6f 76 65 72 66  er in.# an overf
0800: 6c 6f 77 20 63 68 61 69 6e 20 69 73 20 69 67 6e  low chain is ign
0810: 6f 72 65 64 2c 20 73 6f 20 74 68 69 73 20 69 73  ored, so this is
0820: 20 6e 6f 74 20 61 6e 20 65 72 72 6f 72 2e 29 0a   not an error.).
0830: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  #.do_test corrup
0840: 74 33 2d 31 2e 37 20 7b 0a 20 20 64 62 20 63 6c  t3-1.7 {.  db cl
0850: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
0860: 65 20 74 65 73 74 2e 64 62 20 32 30 34 38 20 5b  e test.db 2048 [
0870: 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74  hexio_render_int
0880: 33 32 20 33 5d 0a 20 20 73 71 6c 69 74 65 33 20  32 3].  sqlite3 
0890: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74  db test.db.  cat
08a0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
08b0: 43 54 20 78 20 46 52 4f 4d 20 74 31 0a 20 20 7d  CT x FROM t1.  }
08c0: 0a 7d 20 5b 6c 69 73 74 20 30 20 24 62 69 67 73  .} [list 0 $bigs
08d0: 74 72 69 6e 67 5d 0a 69 6e 74 65 67 72 69 74 79  tring].integrity
08e0: 5f 63 68 65 63 6b 20 63 6f 72 72 75 70 74 33 2d  _check corrupt3-
08f0: 31 2e 38 0a 0a 23 20 43 68 61 6e 67 65 20 74 68  1.8..# Change th
0900: 65 20 70 6f 69 6e 74 65 72 20 66 6f 72 20 74 68  e pointer for th
0910: 65 20 66 69 72 73 74 20 70 61 67 65 20 6f 66 20  e first page of 
0920: 74 68 65 20 6f 76 65 72 66 6c 6f 77 0a 23 20 63  the overflow.# c
0930: 68 61 6e 67 65 20 74 6f 20 62 65 20 61 20 6e 6f  hange to be a no
0940: 6e 2d 65 78 69 73 74 61 6e 74 20 70 61 67 65 2e  n-existant page.
0950: 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  .#.do_test corru
0960: 70 74 33 2d 31 2e 39 20 7b 0a 20 20 64 62 20 63  pt3-1.9 {.  db c
0970: 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69  lose.  hexio_wri
0980: 74 65 20 74 65 73 74 2e 64 62 20 32 30 34 34 20  te test.db 2044 
0990: 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e  [hexio_render_in
09a0: 74 33 32 20 34 5d 0a 20 20 73 71 6c 69 74 65 33  t32 4].  sqlite3
09b0: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
09c0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
09d0: 45 43 54 20 73 75 62 73 74 72 28 78 2c 31 2c 31  ECT substr(x,1,1
09e0: 30 29 20 46 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d  0) FROM t1.  }.}
09f0: 20 5b 6c 69 73 74 20 30 20 30 31 32 33 34 35 36   [list 0 0123456
0a00: 37 38 39 5d 0a 64 6f 5f 74 65 73 74 20 63 6f 72  789].do_test cor
0a10: 72 75 70 74 33 2d 31 2e 31 30 20 7b 0a 20 20 63  rupt3-1.10 {.  c
0a20: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 50 52  atchsql {.    PR
0a30: 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63  AGMA integrity_c
0a40: 68 65 63 6b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7b  heck.  }.} {0 {{
0a50: 2a 2a 2a 20 69 6e 20 64 61 74 61 62 61 73 65 20  *** in database 
0a60: 6d 61 69 6e 20 2a 2a 2a 0a 4f 6e 20 74 72 65 65  main ***.On tree
0a70: 20 70 61 67 65 20 32 20 63 65 6c 6c 20 30 3a 20   page 2 cell 0: 
0a80: 69 6e 76 61 6c 69 64 20 70 61 67 65 20 6e 75 6d  invalid page num
0a90: 62 65 72 20 34 0a 50 61 67 65 20 33 20 69 73 20  ber 4.Page 3 is 
0aa0: 6e 65 76 65 72 20 75 73 65 64 7d 7d 7d 0a 64 6f  never used}}}.do
0ab0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 33 2d 31  _test corrupt3-1
0ac0: 2e 31 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  .11 {.  db close
0ad0: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
0ae0: 65 73 74 2e 64 62 20 32 30 34 34 20 5b 68 65 78  est.db 2044 [hex
0af0: 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20  io_render_int32 
0b00: 30 5d 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  0].  sqlite3 db 
0b10: 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73  test.db.  catchs
0b20: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
0b30: 73 75 62 73 74 72 28 78 2c 31 2c 31 30 29 20 46  substr(x,1,10) F
0b40: 52 4f 4d 20 74 31 0a 20 20 7d 0a 7d 20 5b 6c 69  ROM t1.  }.} [li
0b50: 73 74 20 31 20 7b 64 61 74 61 62 61 73 65 20 64  st 1 {database d
0b60: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0b70: 66 6f 72 6d 65 64 7d 5d 0a 64 6f 5f 74 65 73 74  formed}].do_test
0b80: 20 63 6f 72 72 75 70 74 33 2d 31 2e 31 32 20 7b   corrupt3-1.12 {
0b90: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0ba0: 20 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69    PRAGMA integri
0bb0: 74 79 5f 63 68 65 63 6b 0a 20 20 7d 0a 7d 20 7b  ty_check.  }.} {
0bc0: 30 20 7b 7b 2a 2a 2a 20 69 6e 20 64 61 74 61 62  0 {{*** in datab
0bd0: 61 73 65 20 6d 61 69 6e 20 2a 2a 2a 0a 4f 6e 20  ase main ***.On 
0be0: 74 72 65 65 20 70 61 67 65 20 32 20 63 65 6c 6c  tree page 2 cell
0bf0: 20 30 3a 20 31 20 6f 66 20 31 20 70 61 67 65 73   0: 1 of 1 pages
0c00: 20 6d 69 73 73 69 6e 67 20 66 72 6f 6d 20 6f 76   missing from ov
0c10: 65 72 66 6c 6f 77 20 6c 69 73 74 20 73 74 61 72  erflow list star
0c20: 74 69 6e 67 20 61 74 20 30 0a 50 61 67 65 20 33  ting at 0.Page 3
0c30: 20 69 73 20 6e 65 76 65 72 20 75 73 65 64 7d 7d   is never used}}
0c40: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.