/ Hex Artifact Content
Login

Artifact bb50042cf9a1f1023d73af325d47eb02a6bb11e3c52f8812644b220c5d4bca35:


0000: 23 20 32 30 30 34 20 41 75 67 75 73 74 20 33 30  # 2004 August 30
0010: 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20  .#.# The author 
0020: 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69  disclaims copyri
0030: 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72  ght to this sour
0040: 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61  ce code.  In pla
0050: 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20  ce of.# a legal 
0060: 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20  notice, here is 
0070: 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20  a blessing:.#.# 
0080: 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f     May you do go
0090: 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e  od and not evil.
00a0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69  .#    May you fi
00b0: 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66  nd forgiveness f
00c0: 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20  or yourself and 
00d0: 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a  forgive others..
00e0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61  #    May you sha
00f0: 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72  re freely, never
0100: 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61   taking more tha
0110: 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a  n 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 2a 2a 0a 23 20 54 68 69 73 20 66 69  ******.# This fi
0170: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65  le implements re
0180: 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66  gression tests f
0190: 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72  or SQLite librar
01a0: 79 2e 0a 23 0a 23 20 54 68 69 73 20 66 69 6c 65  y..#.# This file
01b0: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73 74   implements test
01c0: 73 20 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 53  s to make sure S
01d0: 51 4c 69 74 65 20 64 6f 65 73 20 6e 6f 74 20 63  QLite does not c
01e0: 72 61 73 68 20 6f 72 0a 23 20 73 65 67 66 61 75  rash or.# segfau
01f0: 6c 74 20 69 66 20 69 74 20 73 65 65 73 20 61 20  lt if it sees a 
0200: 63 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 65  corrupt database
0210: 20 66 69 6c 65 2e 0a 23 0a 23 20 24 49 64 3a 20   file..#.# $Id: 
0220: 63 6f 72 72 75 70 74 32 2e 74 65 73 74 2c 76 20  corrupt2.test,v 
0230: 31 2e 32 30 20 32 30 30 39 2f 30 34 2f 30 36 20  1.20 2009/04/06 
0240: 31 37 3a 35 30 3a 30 33 20 64 61 6e 69 65 6c 6b  17:50:03 danielk
0250: 31 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20  1977 Exp $..set 
0260: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0270: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0280: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0290: 73 74 65 72 2e 74 63 6c 0a 73 65 74 20 74 65 73  ster.tcl.set tes
02a0: 74 70 72 65 66 69 78 20 63 6f 72 72 75 70 74 32  tprefix corrupt2
02b0: 0a 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20 61  ..# Do not use a
02c0: 20 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74 73   codec for tests
02d0: 20 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20 61   in this file, a
02e0: 73 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66  s the database f
02f0: 69 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c  ile is.# manipul
0300: 61 74 65 64 20 64 69 72 65 63 74 6c 79 20 75 73  ated directly us
0310: 69 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73 20  ing tcl scripts 
0320: 28 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78 69  (using the [hexi
0330: 6f 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64  o_write] command
0340: 29 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f  )..#.do_not_use_
0350: 63 6f 64 65 63 0a 0a 23 20 54 68 65 73 65 20 74  codec..# These t
0360: 65 73 74 73 20 64 65 61 6c 20 77 69 74 68 20 63  ests deal with c
0370: 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20  orrupt database 
0380: 66 69 6c 65 73 0a 23 0a 64 61 74 61 62 61 73 65  files.#.database
0390: 5f 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a  _may_be_corrupt.
03a0: 0a 73 65 74 20 70 72 65 73 71 6c 20 22 22 0a 63  .set presql "".c
03b0: 61 74 63 68 20 7b 20 73 65 74 20 70 72 65 73 71  atch { set presq
03c0: 6c 20 22 24 3a 3a 47 28 70 65 72 6d 3a 70 72 65  l "$::G(perm:pre
03d0: 73 71 6c 29 3b 22 20 7d 0a 75 6e 73 65 74 20 2d  sql);" }.unset -
03e0: 6e 6f 63 6f 6d 70 6c 61 69 6e 20 3a 3a 47 28 70  nocomplain ::G(p
03f0: 65 72 6d 3a 70 72 65 73 71 6c 29 0a 0a 23 20 54  erm:presql)..# T
0400: 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73  he following tes
0410: 74 73 20 2d 20 63 6f 72 72 75 70 74 32 2d 31 2e  ts - corrupt2-1.
0420: 2a 20 2d 20 63 72 65 61 74 65 20 73 6f 6d 65 20  * - create some 
0430: 64 61 74 61 62 61 73 65 73 20 63 6f 72 72 75 70  databases corrup
0440: 74 65 64 20 69 6e 0a 23 20 73 70 65 63 69 66 69  ted in.# specifi
0450: 63 20 77 61 79 73 20 61 6e 64 20 65 6e 73 75 72  c ways and ensur
0460: 65 20 74 68 61 74 20 53 51 4c 69 74 65 20 64 65  e that SQLite de
0470: 74 65 63 74 73 20 74 68 65 6d 20 61 73 20 63 6f  tects them as co
0480: 72 72 75 70 74 2e 0a 23 0a 64 6f 5f 74 65 73 74  rrupt..#.do_test
0490: 20 63 6f 72 72 75 70 74 32 2d 31 2e 31 20 7b 0a   corrupt2-1.1 {.
04a0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
04b0: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
04c0: 75 6d 3d 30 3b 0a 20 20 20 20 50 52 41 47 4d 41  um=0;.    PRAGMA
04d0: 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32 34 3b   page_size=1024;
04e0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
04f0: 45 20 61 62 63 28 61 2c 20 62 2c 20 63 29 3b 0a  E abc(a, b, c);.
0500: 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73    }.} {}..do_tes
0510: 74 20 63 6f 72 72 75 70 74 32 2d 31 2e 32 20 7b  t corrupt2-1.2 {
0520: 0a 0a 20 20 23 20 43 6f 72 72 75 70 74 20 74 68  ..  # Corrupt th
0530: 65 20 31 36 20 62 79 74 65 20 6d 61 67 69 63 20  e 16 byte magic 
0540: 73 74 72 69 6e 67 20 61 74 20 74 68 65 20 73 74  string at the st
0550: 61 72 74 20 6f 66 20 74 68 65 20 66 69 6c 65 0a  art of the file.
0560: 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63 6f    forcedelete co
0570: 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63 65  rrupt.db.  force
0580: 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e 64  delete corrupt.d
0590: 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66 6f 72 63  b-journal.  forc
05a0: 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20 63 6f  ecopy test.db co
05b0: 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20 66  rrupt.db.  set f
05c0: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
05d0: 62 20 52 44 57 52 5d 0a 20 20 73 65 65 6b 20 24  b RDWR].  seek $
05e0: 66 20 38 20 73 74 61 72 74 0a 20 20 70 75 74 73  f 8 start.  puts
05f0: 20 24 66 20 62 6c 61 68 0a 20 20 63 6c 6f 73 65   $f blah.  close
0600: 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33 20 64   $f..  sqlite3 d
0610: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  b2 corrupt.db.  
0620: 63 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20 24  catchsql ".    $
0630: 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20 53 45 4c  ::presql.    SEL
0640: 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74  ECT * FROM sqlit
0650: 65 5f 6d 61 73 74 65 72 3b 0a 20 20 22 20 64 62  e_master;.  " db
0660: 32 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69 73 20  2.} {1 {file is 
0670: 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65 7d 7d  not a database}}
0680: 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
0690: 74 32 2d 31 2e 33 20 7b 0a 20 20 64 62 32 20 63  t2-1.3 {.  db2 c
06a0: 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72 75 70  lose..  # Corrup
06b0: 74 20 74 68 65 20 70 61 67 65 2d 73 69 7a 65 20  t the page-size 
06c0: 28 62 79 74 65 73 20 31 36 20 61 6e 64 20 31 37  (bytes 16 and 17
06d0: 20 6f 66 20 70 61 67 65 20 31 29 2e 0a 20 20 66   of page 1)..  f
06e0: 6f 72 63 65 64 65 6c 65 74 65 20 63 6f 72 72 75  orcedelete corru
06f0: 70 74 2e 64 62 0a 20 20 66 6f 72 63 65 64 65 6c  pt.db.  forcedel
0700: 65 74 65 20 63 6f 72 72 75 70 74 2e 64 62 2d 6a  ete corrupt.db-j
0710: 6f 75 72 6e 61 6c 0a 20 20 66 6f 72 63 65 63 6f  ournal.  forceco
0720: 70 79 20 74 65 73 74 2e 64 62 20 63 6f 72 72 75  py test.db corru
0730: 70 74 2e 64 62 0a 20 20 73 65 74 20 66 20 5b 6f  pt.db.  set f [o
0740: 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62 20 52  pen corrupt.db R
0750: 44 57 52 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72  DWR].  fconfigur
0760: 65 20 24 66 20 2d 65 6e 63 6f 64 69 6e 67 20 62  e $f -encoding b
0770: 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 20  inary.  seek $f 
0780: 31 36 20 73 74 61 72 74 0a 20 20 70 75 74 73 20  16 start.  puts 
0790: 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 20 22 5c  -nonewline $f "\
07a0: 78 30 30 5c 78 46 46 22 0a 20 20 63 6c 6f 73 65  x00\xFF".  close
07b0: 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33 20 64   $f..  sqlite3 d
07c0: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20  b2 corrupt.db.  
07d0: 63 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20 24  catchsql ".    $
07e0: 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20 53 45 4c  ::presql.    SEL
07f0: 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74  ECT * FROM sqlit
0800: 65 5f 6d 61 73 74 65 72 3b 0a 20 20 22 20 64 62  e_master;.  " db
0810: 32 0a 7d 20 7b 31 20 7b 66 69 6c 65 20 69 73 20  2.} {1 {file is 
0820: 6e 6f 74 20 61 20 64 61 74 61 62 61 73 65 7d 7d  not a database}}
0830: 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
0840: 74 32 2d 31 2e 34 20 7b 0a 20 20 64 62 32 20 63  t2-1.4 {.  db2 c
0850: 6c 6f 73 65 0a 0a 20 20 23 20 43 6f 72 72 75 70  lose..  # Corrup
0860: 74 20 74 68 65 20 66 72 65 65 2d 62 6c 6f 63 6b  t the free-block
0870: 20 6c 69 73 74 20 6f 6e 20 70 61 67 65 20 31 2e   list on page 1.
0880: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63  .  forcedelete c
0890: 6f 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63  orrupt.db.  forc
08a0: 65 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e  edelete corrupt.
08b0: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66 6f 72  db-journal.  for
08c0: 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20 63  cecopy test.db c
08d0: 6f 72 72 75 70 74 2e 64 62 0a 20 20 73 65 74 20  orrupt.db.  set 
08e0: 66 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e  f [open corrupt.
08f0: 64 62 20 52 44 57 52 5d 0a 20 20 66 63 6f 6e 66  db RDWR].  fconf
0900: 69 67 75 72 65 20 24 66 20 2d 65 6e 63 6f 64 69  igure $f -encodi
0910: 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65 6b  ng binary.  seek
0920: 20 24 66 20 31 30 31 20 73 74 61 72 74 0a 20 20   $f 101 start.  
0930: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
0940: 24 66 20 22 5c 78 46 46 5c 78 46 46 22 0a 20 20  $f "\xFF\xFF".  
0950: 63 6c 6f 73 65 20 24 66 0a 0a 20 20 73 71 6c 69  close $f..  sqli
0960: 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74 2e  te3 db2 corrupt.
0970: 64 62 0a 20 20 23 20 4e 6f 74 65 3a 20 54 68 69  db.  # Note: Thi
0980: 73 20 74 65 73 74 20 69 73 20 6e 6f 20 6c 6f 6e  s test is no lon
0990: 67 65 72 20 6d 65 61 6e 69 6e 67 66 75 6c 20 64  ger meaningful d
09a0: 75 65 20 74 6f 20 74 68 65 20 64 65 66 65 72 72  ue to the deferr
09b0: 65 64 20 63 6f 6d 70 75 74 61 74 69 6f 6e 0a 20  ed computation. 
09c0: 20 23 20 6f 66 20 4d 65 6d 50 61 67 65 2e 6e 46   # of MemPage.nF
09d0: 72 65 65 20 0a 20 20 63 61 74 63 68 73 71 6c 20  ree .  catchsql 
09e0: 7b 50 52 41 47 4d 41 20 71 75 69 63 6b 5f 63 68  {PRAGMA quick_ch
09f0: 65 63 6b 7d 20 64 62 32 0a 7d 20 7b 30 20 7b 7b  eck} db2.} {0 {{
0a00: 2a 2a 2a 20 69 6e 20 64 61 74 61 62 61 73 65 20  *** in database 
0a10: 6d 61 69 6e 20 2a 2a 2a 0a 50 61 67 65 20 31 3a  main ***.Page 1:
0a20: 20 66 72 65 65 20 73 70 61 63 65 20 63 6f 72 72   free space corr
0a30: 75 70 74 69 6f 6e 7d 7d 7d 0a 0a 64 6f 5f 74 65  uption}}}..do_te
0a40: 73 74 20 63 6f 72 72 75 70 74 32 2d 31 2e 35 20  st corrupt2-1.5 
0a50: 7b 0a 20 20 64 62 32 20 63 6c 6f 73 65 0a 0a 20  {.  db2 close.. 
0a60: 20 23 20 43 6f 72 72 75 70 74 20 74 68 65 20 66   # Corrupt the f
0a70: 72 65 65 2d 62 6c 6f 63 6b 20 6c 69 73 74 20 6f  ree-block list o
0a80: 6e 20 70 61 67 65 20 31 2e 0a 20 20 66 6f 72 63  n page 1..  forc
0a90: 65 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e  edelete corrupt.
0aa0: 64 62 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65  db.  forcedelete
0ab0: 20 63 6f 72 72 75 70 74 2e 64 62 2d 6a 6f 75 72   corrupt.db-jour
0ac0: 6e 61 6c 0a 20 20 66 6f 72 63 65 63 6f 70 79 20  nal.  forcecopy 
0ad0: 74 65 73 74 2e 64 62 20 63 6f 72 72 75 70 74 2e  test.db corrupt.
0ae0: 64 62 0a 20 20 73 65 74 20 66 20 5b 6f 70 65 6e  db.  set f [open
0af0: 20 63 6f 72 72 75 70 74 2e 64 62 20 52 44 57 52   corrupt.db RDWR
0b00: 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24  ].  fconfigure $
0b10: 66 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69 6e 61  f -encoding bina
0b20: 72 79 0a 20 20 73 65 65 6b 20 24 66 20 31 30 31  ry.  seek $f 101
0b30: 20 73 74 61 72 74 0a 20 20 70 75 74 73 20 2d 6e   start.  puts -n
0b40: 6f 6e 65 77 6c 69 6e 65 20 24 66 20 22 5c 78 30  onewline $f "\x0
0b50: 30 5c 78 43 38 22 0a 20 20 73 65 65 6b 20 24 66  0\xC8".  seek $f
0b60: 20 32 30 30 20 73 74 61 72 74 0a 20 20 70 75 74   200 start.  put
0b70: 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 20  s -nonewline $f 
0b80: 22 5c 78 30 30 5c 78 30 30 22 0a 20 20 70 75 74  "\x00\x00".  put
0b90: 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 20  s -nonewline $f 
0ba0: 22 5c 78 31 30 5c 78 30 30 22 0a 20 20 63 6c 6f  "\x10\x00".  clo
0bb0: 73 65 20 24 66 0a 0a 20 20 73 71 6c 69 74 65 33  se $f..  sqlite3
0bc0: 20 64 62 32 20 63 6f 72 72 75 70 74 2e 64 62 0a   db2 corrupt.db.
0bd0: 20 20 63 61 74 63 68 73 71 6c 20 7b 50 52 41 47    catchsql {PRAG
0be0: 4d 41 20 71 75 69 63 6b 5f 63 68 65 63 6b 7d 20  MA quick_check} 
0bf0: 64 62 32 0a 7d 20 7b 30 20 7b 7b 2a 2a 2a 20 69  db2.} {0 {{*** i
0c00: 6e 20 64 61 74 61 62 61 73 65 20 6d 61 69 6e 20  n database main 
0c10: 2a 2a 2a 0a 50 61 67 65 20 31 3a 20 66 72 65 65  ***.Page 1: free
0c20: 20 73 70 61 63 65 20 63 6f 72 72 75 70 74 69 6f   space corruptio
0c30: 6e 7d 7d 7d 0a 64 62 32 20 63 6c 6f 73 65 0a 0a  n}}}.db2 close..
0c40: 23 20 43 6f 72 72 75 70 74 20 61 20 64 61 74 61  # Corrupt a data
0c50: 62 61 73 65 20 62 79 20 68 61 76 69 6e 67 20 32  base by having 2
0c60: 20 69 6e 64 69 63 65 73 20 6f 66 20 74 68 65 20   indices of the 
0c70: 73 61 6d 65 20 6e 61 6d 65 3a 0a 64 6f 5f 74 65  same name:.do_te
0c80: 73 74 20 63 6f 72 72 75 70 74 32 2d 32 2e 31 20  st corrupt2-2.1 
0c90: 7b 0a 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65  {..  forcedelete
0ca0: 20 63 6f 72 72 75 70 74 2e 64 62 0a 20 20 66 6f   corrupt.db.  fo
0cb0: 72 63 65 64 65 6c 65 74 65 20 63 6f 72 72 75 70  rcedelete corrup
0cc0: 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 66  t.db-journal.  f
0cd0: 6f 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62  orcecopy test.db
0ce0: 20 63 6f 72 72 75 70 74 2e 64 62 0a 0a 20 20 73   corrupt.db..  s
0cf0: 71 6c 69 74 65 33 20 64 62 32 20 63 6f 72 72 75  qlite3 db2 corru
0d00: 70 74 2e 64 62 20 0a 20 20 73 71 6c 69 74 65 33  pt.db .  sqlite3
0d10: 5f 64 62 5f 63 6f 6e 66 69 67 20 64 62 32 20 44  _db_config db2 D
0d20: 45 46 45 4e 53 49 56 45 20 30 0a 20 20 65 78 65  EFENSIVE 0.  exe
0d30: 63 73 71 6c 20 22 0a 20 20 20 20 24 3a 3a 70 72  csql ".    $::pr
0d40: 65 73 71 6c 0a 20 20 20 20 43 52 45 41 54 45 20  esql.    CREATE 
0d50: 49 4e 44 45 58 20 61 31 20 4f 4e 20 61 62 63 28  INDEX a1 ON abc(
0d60: 61 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49  a);.    CREATE I
0d70: 4e 44 45 58 20 61 32 20 4f 4e 20 61 62 63 28 62  NDEX a2 ON abc(b
0d80: 29 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 77 72  );.    PRAGMA wr
0d90: 69 74 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20  itable_schema = 
0da0: 31 3b 0a 20 20 20 20 55 50 44 41 54 45 20 73 71  1;.    UPDATE sq
0db0: 6c 69 74 65 5f 6d 61 73 74 65 72 20 0a 20 20 20  lite_master .   
0dc0: 20 20 20 53 45 54 20 6e 61 6d 65 20 3d 20 27 61     SET name = 'a
0dd0: 33 27 2c 20 73 71 6c 20 3d 20 27 43 52 45 41 54  3', sql = 'CREAT
0de0: 45 20 49 4e 44 45 58 20 61 33 27 20 7c 7c 20 73  E INDEX a3' || s
0df0: 75 62 73 74 72 28 73 71 6c 2c 20 31 36 2c 20 31  ubstr(sql, 16, 1
0e00: 30 30 30 30 29 0a 20 20 20 20 20 20 57 48 45 52  0000).      WHER
0e10: 45 20 74 79 70 65 20 3d 20 27 69 6e 64 65 78 27  E type = 'index'
0e20: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 77 72 69  ;.    PRAGMA wri
0e30: 74 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20 30  table_schema = 0
0e40: 3b 0a 20 20 22 20 64 62 32 0a 0a 20 20 64 62 32  ;.  " db2..  db2
0e50: 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33   close.  sqlite3
0e60: 20 64 62 32 20 63 6f 72 72 75 70 74 2e 64 62 20   db2 corrupt.db 
0e70: 0a 20 20 63 61 74 63 68 73 71 6c 20 22 0a 20 20  .  catchsql ".  
0e80: 20 20 24 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20    $::presql.    
0e90: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71  SELECT * FROM sq
0ea0: 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20 22  lite_master;.  "
0eb0: 20 64 62 32 0a 7d 20 7b 31 20 7b 6d 61 6c 66 6f   db2.} {1 {malfo
0ec0: 72 6d 65 64 20 64 61 74 61 62 61 73 65 20 73 63  rmed database sc
0ed0: 68 65 6d 61 20 28 61 33 29 20 2d 20 69 6e 64 65  hema (a3) - inde
0ee0: 78 20 61 33 20 61 6c 72 65 61 64 79 20 65 78 69  x a3 already exi
0ef0: 73 74 73 7d 7d 0a 0a 64 62 32 20 63 6c 6f 73 65  sts}}..db2 close
0f00: 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  ..do_test corrup
0f10: 74 32 2d 33 2e 31 20 7b 0a 20 20 66 6f 72 63 65  t2-3.1 {.  force
0f20: 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e 64  delete corrupt.d
0f30: 62 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20  b.  forcedelete 
0f40: 63 6f 72 72 75 70 74 2e 64 62 2d 6a 6f 75 72 6e  corrupt.db-journ
0f50: 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32  al.  sqlite3 db2
0f60: 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 0a 20 20   corrupt.db ..  
0f70: 65 78 65 63 73 71 6c 20 22 0a 20 20 20 20 24 3a  execsql ".    $:
0f80: 3a 70 72 65 73 71 6c 0a 20 20 20 20 50 52 41 47  :presql.    PRAG
0f90: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  MA auto_vacuum =
0fa0: 20 31 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 70   1;.    PRAGMA p
0fb0: 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b  age_size = 1024;
0fc0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0fd0: 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20  E t1(a, b, c);. 
0fe0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0ff0: 74 32 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20  t2(a, b, c);.   
1000: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
1010: 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f  VALUES(randomblo
1020: 62 28 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c  b(100), randombl
1030: 6f 62 28 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62  ob(100), randomb
1040: 6c 6f 62 28 31 30 30 29 29 3b 0a 20 20 20 20 49  lob(100));.    I
1050: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
1060: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a  LECT * FROM t2;.
1070: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1080: 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  t2 SELECT * FROM
1090: 20 74 32 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t2;.    INSERT 
10a0: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 2a  INTO t2 SELECT *
10b0: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 49 4e   FROM t2;.    IN
10c0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
10d0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20  ECT * FROM t2;. 
10e0: 20 22 20 64 62 32 0a 0a 20 20 64 62 32 20 63 6c   " db2..  db2 cl
10f0: 6f 73 65 0a 0a 20 20 23 20 4f 6e 20 74 68 65 20  ose..  # On the 
1100: 72 6f 6f 74 20 70 61 67 65 20 6f 66 20 74 61 62  root page of tab
1110: 6c 65 20 74 32 20 28 70 61 67 65 20 34 29 2c 20  le t2 (page 4), 
1120: 73 65 74 20 6f 6e 65 20 6f 66 20 74 68 65 20 63  set one of the c
1130: 68 69 6c 64 20 70 61 67 65 2d 6e 75 6d 62 65 72  hild page-number
1140: 73 0a 20 20 23 20 74 6f 20 30 2e 20 54 68 69 73  s.  # to 0. This
1150: 20 63 6f 72 72 75 70 74 69 6f 6e 20 77 69 6c 6c   corruption will
1160: 20 62 65 20 64 65 74 65 63 74 65 64 20 77 68 65   be detected whe
1170: 6e 20 53 51 4c 69 74 65 20 61 74 74 65 6d 70 74  n SQLite attempt
1180: 73 20 74 6f 20 75 70 64 61 74 65 0a 20 20 23 20  s to update.  # 
1190: 74 68 65 20 70 6f 69 6e 74 65 72 2d 6d 61 70 20  the pointer-map 
11a0: 61 66 74 65 72 20 6d 6f 76 69 6e 67 20 74 68 65  after moving the
11b0: 20 63 6f 6e 74 65 6e 74 20 6f 66 20 70 61 67 65   content of page
11c0: 20 34 20 74 6f 20 70 61 67 65 20 33 20 61 73 20   4 to page 3 as 
11d0: 70 61 72 74 0a 20 20 23 20 6f 66 20 74 68 65 20  part.  # of the 
11e0: 44 52 4f 50 20 54 41 42 4c 45 20 6f 70 65 72 61  DROP TABLE opera
11f0: 74 69 6f 6e 20 62 65 6c 6f 77 2e 0a 20 20 23 0a  tion below..  #.
1200: 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63    set fd [open c
1210: 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20  orrupt.db r+].  
1220: 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64 20 2d  fconfigure $fd -
1230: 65 6e 63 6f 64 69 6e 67 20 62 69 6e 61 72 79 20  encoding binary 
1240: 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e  -translation bin
1250: 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20 5b  ary.  seek $fd [
1260: 65 78 70 72 20 31 30 32 34 2a 33 20 2b 20 31 32  expr 1024*3 + 12
1270: 5d 0a 20 20 73 65 74 20 7a 43 65 6c 6c 6f 66 66  ].  set zCelloff
1280: 73 65 74 20 5b 72 65 61 64 20 24 66 64 20 32 5d  set [read $fd 2]
1290: 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24  .  binary scan $
12a0: 7a 43 65 6c 6c 6f 66 66 73 65 74 20 53 20 69 43  zCelloffset S iC
12b0: 65 6c 6c 6f 66 66 73 65 74 0a 20 20 73 65 65 6b  elloffset.  seek
12c0: 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34 2a   $fd [expr 1024*
12d0: 33 20 2b 20 24 69 43 65 6c 6c 6f 66 66 73 65 74  3 + $iCelloffset
12e0: 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c  ].  puts -nonewl
12f0: 69 6e 65 20 24 66 64 20 22 5c 30 30 5c 30 30 5c  ine $fd "\00\00\
1300: 30 30 5c 30 30 22 20 0a 20 20 63 6c 6f 73 65 20  00\00" .  close 
1310: 24 66 64 0a 0a 20 20 73 71 6c 69 74 65 33 20 64  $fd..  sqlite3 d
1320: 62 32 20 63 6f 72 72 75 70 74 2e 64 62 20 0a 20  b2 corrupt.db . 
1330: 20 63 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20   catchsql ".    
1340: 24 3a 3a 70 72 65 73 71 6c 0a 20 20 20 20 44 52  $::presql.    DR
1350: 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 22  OP TABLE t1;.  "
1360: 20 64 62 32 0a 7d 20 7b 31 20 7b 64 61 74 61 62   db2.} {1 {datab
1370: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1380: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64  s malformed}}..d
1390: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d  o_test corrupt2-
13a0: 34 2e 31 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  4.1 {.  catchsql
13b0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
13c0: 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 20 64 62 32  FROM t2;.  } db2
13d0: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
13e0: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
13f0: 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 62 32 20 63  lformed}}..db2 c
1400: 6c 6f 73 65 0a 0a 75 6e 73 65 74 20 2d 6e 6f 63  lose..unset -noc
1410: 6f 6d 70 6c 61 69 6e 20 72 65 73 75 6c 74 0a 64  omplain result.d
1420: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d  o_test corrupt2-
1430: 35 2e 31 20 7b 0a 20 20 66 6f 72 63 65 64 65 6c  5.1 {.  forcedel
1440: 65 74 65 20 63 6f 72 72 75 70 74 2e 64 62 0a 20  ete corrupt.db. 
1450: 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63 6f 72   forcedelete cor
1460: 72 75 70 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a  rupt.db-journal.
1470: 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 63 6f    sqlite3 db2 co
1480: 72 72 75 70 74 2e 64 62 20 0a 0a 20 20 65 78 65  rrupt.db ..  exe
1490: 63 73 71 6c 20 22 0a 20 20 20 20 24 3a 3a 70 72  csql ".    $::pr
14a0: 65 73 71 6c 0a 20 20 20 20 50 52 41 47 4d 41 20  esql.    PRAGMA 
14b0: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b  auto_vacuum = 0;
14c0: 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65  .    PRAGMA page
14d0: 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20  _size = 1024;.  
14e0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
14f0: 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20  1(a, b, c);.    
1500: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
1510: 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 49 4e  a, b, c);.    IN
1520: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
1530: 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  UES(randomblob(1
1540: 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  00), randomblob(
1550: 31 30 30 29 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  100), randomblob
1560: 28 31 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45  (100));.    INSE
1570: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
1580: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20  T * FROM t2;.   
1590: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
15a0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
15b0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
15c0: 4f 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52  O t2 SELECT * FR
15d0: 4f 4d 20 74 32 3b 0a 20 20 20 20 49 4e 53 45 52  OM t2;.    INSER
15e0: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
15f0: 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20   * FROM t2;.    
1600: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
1610: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b  ELECT * FROM t2;
1620: 0a 20 20 22 20 64 62 32 0a 0a 20 20 64 62 32 20  .  " db2..  db2 
1630: 63 6c 6f 73 65 0a 0a 20 20 23 20 54 68 69 73 20  close..  # This 
1640: 62 6c 6f 63 6b 20 6c 69 6e 6b 73 20 61 20 70 61  block links a pa
1650: 67 65 20 66 72 6f 6d 20 74 61 62 6c 65 20 74 32  ge from table t2
1660: 20 69 6e 74 6f 20 74 68 65 20 74 31 20 74 61 62   into the t1 tab
1670: 6c 65 20 73 74 72 75 63 74 75 72 65 2e 0a 20 20  le structure..  
1680: 23 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e  #.  set fd [open
1690: 20 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a   corrupt.db r+].
16a0: 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64    fconfigure $fd
16b0: 20 2d 65 6e 63 6f 64 69 6e 67 20 62 69 6e 61 72   -encoding binar
16c0: 79 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62  y -translation b
16d0: 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64  inary.  seek $fd
16e0: 20 5b 65 78 70 72 20 31 30 32 34 20 2b 20 31 32   [expr 1024 + 12
16f0: 5d 0a 20 20 73 65 74 20 7a 43 65 6c 6c 6f 66 66  ].  set zCelloff
1700: 73 65 74 20 5b 72 65 61 64 20 24 66 64 20 32 5d  set [read $fd 2]
1710: 0a 20 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24  .  binary scan $
1720: 7a 43 65 6c 6c 6f 66 66 73 65 74 20 53 20 69 43  zCelloffset S iC
1730: 65 6c 6c 6f 66 66 73 65 74 0a 20 20 73 65 65 6b  elloffset.  seek
1740: 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34 20   $fd [expr 1024 
1750: 2b 20 24 69 43 65 6c 6c 6f 66 66 73 65 74 5d 0a  + $iCelloffset].
1760: 20 20 73 65 74 20 7a 43 68 69 6c 64 50 61 67 65    set zChildPage
1770: 20 5b 72 65 61 64 20 24 66 64 20 34 5d 0a 20 20   [read $fd 4].  
1780: 73 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20 32  seek $fd [expr 2
1790: 2a 31 30 32 34 20 2b 20 31 32 5d 0a 20 20 73 65  *1024 + 12].  se
17a0: 74 20 7a 43 65 6c 6c 6f 66 66 73 65 74 20 5b 72  t zCelloffset [r
17b0: 65 61 64 20 24 66 64 20 32 5d 0a 20 20 62 69 6e  ead $fd 2].  bin
17c0: 61 72 79 20 73 63 61 6e 20 24 7a 43 65 6c 6c 6f  ary scan $zCello
17d0: 66 66 73 65 74 20 53 20 69 43 65 6c 6c 6f 66 66  ffset S iCelloff
17e0: 73 65 74 0a 20 20 73 65 65 6b 20 24 66 64 20 5b  set.  seek $fd [
17f0: 65 78 70 72 20 32 2a 31 30 32 34 20 2b 20 24 69  expr 2*1024 + $i
1800: 43 65 6c 6c 6f 66 66 73 65 74 5d 0a 20 20 70 75  Celloffset].  pu
1810: 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66  ts -nonewline $f
1820: 64 20 24 7a 43 68 69 6c 64 50 61 67 65 0a 20 20  d $zChildPage.  
1830: 63 6c 6f 73 65 20 24 66 64 0a 0a 20 20 73 71 6c  close $fd..  sql
1840: 69 74 65 33 20 64 62 32 20 63 6f 72 72 75 70 74  ite3 db2 corrupt
1850: 2e 64 62 20 0a 20 20 64 62 32 20 65 76 61 6c 20  .db .  db2 eval 
1860: 24 3a 3a 70 72 65 73 71 6c 0a 20 20 64 62 32 20  $::presql.  db2 
1870: 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77  eval {SELECT row
1880: 69 64 20 46 52 4f 4d 20 74 31 7d 20 7b 0a 20 20  id FROM t1} {.  
1890: 20 20 73 65 74 20 72 65 73 75 6c 74 20 5b 64 62    set result [db
18a0: 32 20 65 76 61 6c 20 7b 70 72 61 67 6d 61 20 69  2 eval {pragma i
18b0: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 7d 5d  ntegrity_check}]
18c0: 0a 20 20 20 20 62 72 65 61 6b 0a 20 20 7d 0a 20  .    break.  }. 
18d0: 20 73 65 74 20 72 65 73 75 6c 74 0a 7d 20 7b 7b   set result.} {{
18e0: 2a 2a 2a 20 69 6e 20 64 61 74 61 62 61 73 65 20  *** in database 
18f0: 6d 61 69 6e 20 2a 2a 2a 0a 4f 6e 20 74 72 65 65  main ***.On tree
1900: 20 70 61 67 65 20 32 20 63 65 6c 6c 20 30 3a 20   page 2 cell 0: 
1910: 32 6e 64 20 72 65 66 65 72 65 6e 63 65 20 74 6f  2nd reference to
1920: 20 70 61 67 65 20 31 30 0a 50 61 67 65 20 34 20   page 10.Page 4 
1930: 69 73 20 6e 65 76 65 72 20 75 73 65 64 7d 7d 0a  is never used}}.
1940: 0a 64 62 32 20 63 6c 6f 73 65 0a 0a 70 72 6f 63  .db2 close..proc
1950: 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74   corruption_test
1960: 20 7b 61 72 67 73 7d 20 7b 0a 20 20 73 65 74 20   {args} {.  set 
1970: 41 28 2d 63 6f 72 72 75 70 74 29 20 7b 7d 0a 20  A(-corrupt) {}. 
1980: 20 73 65 74 20 41 28 2d 73 71 6c 70 72 65 70 29   set A(-sqlprep)
1990: 20 7b 7d 0a 20 20 73 65 74 20 41 28 2d 74 63 6c   {}.  set A(-tcl
19a0: 70 72 65 70 29 20 7b 7d 0a 20 20 61 72 72 61 79  prep) {}.  array
19b0: 20 73 65 74 20 41 20 24 61 72 67 73 0a 0a 20 20   set A $args..  
19c0: 63 61 74 63 68 20 7b 64 62 20 63 6c 6f 73 65 7d  catch {db close}
19d0: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 63  .  forcedelete c
19e0: 6f 72 72 75 70 74 2e 64 62 0a 20 20 66 6f 72 63  orrupt.db.  forc
19f0: 65 64 65 6c 65 74 65 20 63 6f 72 72 75 70 74 2e  edelete corrupt.
1a00: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 0a 20 20 73 71  db-journal..  sq
1a10: 6c 69 74 65 33 20 64 62 20 63 6f 72 72 75 70 74  lite3 db corrupt
1a20: 2e 64 62 20 0a 20 20 73 71 6c 69 74 65 33 5f 64  .db .  sqlite3_d
1a30: 62 5f 63 6f 6e 66 69 67 20 64 62 20 44 45 46 45  b_config db DEFE
1a40: 4e 53 49 56 45 20 30 0a 20 20 64 62 20 65 76 61  NSIVE 0.  db eva
1a50: 6c 20 24 3a 3a 70 72 65 73 71 6c 0a 20 20 65 76  l $::presql.  ev
1a60: 61 6c 20 24 41 28 2d 74 63 6c 70 72 65 70 29 0a  al $A(-tclprep).
1a70: 20 20 64 62 20 65 76 61 6c 20 24 41 28 2d 73 71    db eval $A(-sq
1a80: 6c 70 72 65 70 29 0a 20 20 64 62 20 63 6c 6f 73  lprep).  db clos
1a90: 65 0a 0a 20 20 65 76 61 6c 20 24 41 28 2d 63 6f  e..  eval $A(-co
1aa0: 72 72 75 70 74 29 0a 0a 20 20 73 71 6c 69 74 65  rrupt)..  sqlite
1ab0: 33 20 64 62 20 63 6f 72 72 75 70 74 2e 64 62 0a  3 db corrupt.db.
1ac0: 20 20 65 76 61 6c 20 24 41 28 2d 74 65 73 74 29    eval $A(-test)
1ad0: 0a 7d 0a 0a 69 66 63 61 70 61 62 6c 65 20 61 75  .}..ifcapable au
1ae0: 74 6f 76 61 63 75 75 6d 20 7b 0a 20 20 23 20 54  tovacuum {.  # T
1af0: 68 65 20 74 65 73 74 73 20 77 69 74 68 69 6e 20  he tests within 
1b00: 74 68 69 73 20 62 6c 6f 63 6b 20 2d 20 63 6f 72  this block - cor
1b10: 72 75 70 74 32 2d 36 2e 2a 20 2d 20 61 69 6d 20  rupt2-6.* - aim 
1b20: 74 6f 20 74 65 73 74 20 63 6f 72 72 75 70 74 69  to test corrupti
1b30: 6f 6e 0a 20 20 23 20 64 65 74 65 63 74 69 6f 6e  on.  # detection
1b40: 20 77 69 74 68 69 6e 20 61 6e 20 69 6e 63 72 65   within an incre
1b50: 6d 65 6e 74 61 6c 2d 76 61 63 75 75 6d 2e 20 57  mental-vacuum. W
1b60: 68 65 6e 20 61 6e 20 69 6e 63 72 65 6d 65 6e 74  hen an increment
1b70: 61 6c 2d 76 61 63 75 75 6d 0a 20 20 23 20 73 74  al-vacuum.  # st
1b80: 65 70 20 69 73 20 65 78 65 63 75 74 65 64 2c 20  ep is executed, 
1b90: 74 68 65 20 6c 61 73 74 20 6e 6f 6e 2d 66 72 65  the last non-fre
1ba0: 65 20 70 61 67 65 20 6f 66 20 74 68 65 20 64 61  e page of the da
1bb0: 74 61 62 61 73 65 20 66 69 6c 65 20 69 73 20 0a  tabase file is .
1bc0: 20 20 23 20 6d 6f 76 65 64 20 69 6e 74 6f 20 61    # moved into a
1bd0: 20 66 72 65 65 20 73 70 61 63 65 20 69 6e 20 74   free space in t
1be0: 68 65 20 62 6f 64 79 20 6f 66 20 74 68 65 20 66  he body of the f
1bf0: 69 6c 65 2e 20 41 66 74 65 72 20 64 6f 69 6e 67  ile. After doing
1c00: 20 73 6f 2c 0a 20 20 23 20 74 68 65 20 70 61 67   so,.  # the pag
1c10: 65 20 72 65 66 65 72 65 6e 63 65 20 69 6e 20 74  e reference in t
1c20: 68 65 20 70 61 72 65 6e 74 20 70 61 67 65 20 6d  he parent page m
1c30: 75 73 74 20 62 65 20 75 70 64 61 74 65 64 20 74  ust be updated t
1c40: 6f 20 72 65 66 65 72 0a 20 20 23 20 74 6f 20 74  o refer.  # to t
1c50: 68 65 20 6e 65 77 20 6c 6f 63 61 74 69 6f 6e 2e  he new location.
1c60: 20 54 68 65 73 65 20 74 65 73 74 73 20 74 65 73   These tests tes
1c70: 74 20 74 68 65 20 6f 75 74 63 6f 6d 65 20 6f 66  t the outcome of
1c80: 20 63 6f 72 72 75 70 74 69 6e 67 0a 20 20 23 20   corrupting.  # 
1c90: 74 68 61 74 20 70 61 67 65 20 72 65 66 65 72 65  that page refere
1ca0: 6e 63 65 20 62 65 66 6f 72 65 20 70 65 72 66 6f  nce before perfo
1cb0: 72 6d 69 6e 67 20 74 68 65 20 69 6e 63 72 65 6d  rming the increm
1cc0: 65 6e 74 61 6c 20 76 61 63 75 75 6d 2e 0a 20 20  ental vacuum..  
1cd0: 23 0a 0a 20 20 23 20 54 68 65 20 6c 61 73 74 20  #..  # The last 
1ce0: 70 61 67 65 20 69 6e 20 74 68 65 20 64 61 74 61  page in the data
1cf0: 62 61 73 65 20 70 61 67 65 20 69 73 20 74 68 65  base page is the
1d00: 20 73 65 63 6f 6e 64 20 70 61 67 65 20 0a 20 20   second page .  
1d10: 23 20 69 6e 20 61 6e 20 6f 76 65 72 66 6c 6f 77  # in an overflow
1d20: 20 63 68 61 69 6e 2e 0a 20 20 23 0a 20 20 63 6f   chain..  #.  co
1d30: 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73  rruption_test -s
1d40: 71 6c 70 72 65 70 20 7b 0a 20 20 20 20 50 52 41  qlprep {.    PRA
1d50: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20  GMA auto_vacuum 
1d60: 3d 20 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a 20  = incremental;. 
1d70: 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73     PRAGMA page_s
1d80: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20  ize = 1024;.    
1d90: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
1da0: 61 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52  a, b);.    INSER
1db0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
1dc0: 28 31 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  (1, randomblob(2
1dd0: 35 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52  500));.    INSER
1de0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
1df0: 28 32 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  (2, randomblob(2
1e00: 35 30 30 29 29 3b 0a 20 20 20 20 44 45 4c 45 54  500));.    DELET
1e10: 45 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  E FROM t1 WHERE 
1e20: 61 20 3d 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72  a = 1;.  } -corr
1e30: 75 70 74 20 7b 0a 20 20 20 20 68 65 78 69 6f 5f  upt {.    hexio_
1e40: 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62  write corrupt.db
1e50: 20 5b 65 78 70 72 20 31 30 32 34 2a 35 5d 20 30   [expr 1024*5] 0
1e60: 30 30 30 30 30 30 38 0a 20 20 7d 20 2d 74 65 73  0000008.  } -tes
1e70: 74 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  t {.    do_test 
1e80: 63 6f 72 72 75 70 74 32 2d 36 2e 31 20 7b 0a 20  corrupt2-6.1 {. 
1e90: 20 20 20 20 20 63 61 74 63 68 73 71 6c 20 22 20       catchsql " 
1ea0: 24 3a 3a 70 72 65 73 71 6c 20 70 72 61 67 6d 61  $::presql pragma
1eb0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63   incremental_vac
1ec0: 75 75 6d 20 3d 20 31 20 22 0a 20 20 20 20 7d 20  uum = 1 ".    } 
1ed0: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73  {1 {database dis
1ee0: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
1ef0: 72 6d 65 64 7d 7d 0a 20 20 7d 0a 0a 20 20 23 20  rmed}}.  }..  # 
1f00: 54 68 65 20 6c 61 73 74 20 70 61 67 65 20 69 6e  The last page in
1f10: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 70 61   the database pa
1f20: 67 65 20 69 73 20 61 20 6e 6f 6e 2d 72 6f 6f 74  ge is a non-root
1f30: 20 62 2d 74 72 65 65 20 70 61 67 65 2e 0a 20 20   b-tree page..  
1f40: 23 0a 20 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74  #.  corruption_t
1f50: 65 73 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20  est -sqlprep {. 
1f60: 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76     PRAGMA auto_v
1f70: 61 63 75 75 6d 20 3d 20 69 6e 63 72 65 6d 65 6e  acuum = incremen
1f80: 74 61 6c 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  tal;.    PRAGMA 
1f90: 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34  page_size = 1024
1fa0: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
1fb0: 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45 52 20  LE t1(a INTEGER 
1fc0: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b  PRIMARY KEY, b);
1fd0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1fe0: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61   t1 VALUES(1, ra
1ff0: 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30 29 29 3b  ndomblob(2500));
2000: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
2010: 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 72 61   t1 VALUES(2, ra
2020: 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 29 3b 0a 20  ndomblob(50));. 
2030: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
2040: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
2050: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
2060: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
2070: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
2080: 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f   NULL, randomblo
2090: 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  b(50) FROM t1;. 
20a0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
20b0: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
20c0: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
20d0: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
20e0: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
20f0: 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f   NULL, randomblo
2100: 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  b(50) FROM t1;. 
2110: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
2120: 31 20 57 48 45 52 45 20 61 20 3d 20 31 3b 0a 20  1 WHERE a = 1;. 
2130: 20 7d 20 2d 63 6f 72 72 75 70 74 20 7b 0a 20 20   } -corrupt {.  
2140: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 63 6f    hexio_write co
2150: 72 72 75 70 74 2e 64 62 20 5b 65 78 70 72 20 31  rrupt.db [expr 1
2160: 30 32 34 2a 32 20 2b 20 38 5d 20 30 30 30 30 30  024*2 + 8] 00000
2170: 30 30 39 0a 20 20 7d 20 2d 74 65 73 74 20 7b 0a  009.  } -test {.
2180: 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72      do_test corr
2190: 75 70 74 32 2d 36 2e 32 20 7b 0a 20 20 20 20 20  upt2-6.2 {.     
21a0: 20 63 61 74 63 68 73 71 6c 20 22 20 24 3a 3a 70   catchsql " $::p
21b0: 72 65 73 71 6c 20 70 72 61 67 6d 61 20 69 6e 63  resql pragma inc
21c0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20  remental_vacuum 
21d0: 3d 20 31 20 22 0a 20 20 20 20 7d 20 7b 31 20 7b  = 1 ".    } {1 {
21e0: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
21f0: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
2200: 7d 7d 0a 20 20 7d 0a 0a 20 20 23 20 53 65 74 20  }}.  }..  # Set 
2210: 75 70 20 61 20 70 6f 69 6e 74 65 72 2d 6d 61 70  up a pointer-map
2220: 20 65 6e 74 72 79 20 73 6f 20 74 68 61 74 20 74   entry so that t
2230: 68 65 20 6c 61 73 74 20 70 61 67 65 20 6f 66 20  he last page of 
2240: 74 68 65 20 64 61 74 61 62 61 73 65 0a 20 20 23  the database.  #
2250: 20 66 69 6c 65 20 61 70 70 65 61 72 73 20 74 6f   file appears to
2260: 20 62 65 20 61 20 62 2d 74 72 65 65 20 72 6f 6f   be a b-tree roo
2270: 74 20 70 61 67 65 2e 20 54 68 69 73 20 73 68 6f  t page. This sho
2280: 75 6c 64 20 62 65 20 64 65 74 65 63 74 65 64 0a  uld be detected.
2290: 20 20 23 20 61 73 20 63 6f 72 72 75 70 74 69 6f    # as corruptio
22a0: 6e 2e 0a 20 20 23 0a 20 20 63 6f 72 72 75 70 74  n..  #.  corrupt
22b0: 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65  ion_test -sqlpre
22c0: 70 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61  p {.    PRAGMA a
22d0: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e 63  uto_vacuum = inc
22e0: 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 20 20 50 52  remental;.    PR
22f0: 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d  AGMA page_size =
2300: 20 31 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54   1024;.    CREAT
2310: 45 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54  E TABLE t1(a INT
2320: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
2330: 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , b);.    INSERT
2340: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
2350: 31 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35  1, randomblob(25
2360: 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  00));.    INSERT
2370: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
2380: 32 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35  2, randomblob(25
2390: 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  00));.    INSERT
23a0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
23b0: 33 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 35  3, randomblob(25
23c0: 30 30 29 29 3b 0a 20 20 20 20 44 45 4c 45 54 45  00));.    DELETE
23d0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61   FROM t1 WHERE a
23e0: 20 3d 20 31 3b 0a 20 20 7d 20 2d 63 6f 72 72 75   = 1;.  } -corru
23f0: 70 74 20 7b 0a 20 20 20 20 73 65 74 20 6e 50 61  pt {.    set nPa
2400: 67 65 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73  ge [expr [file s
2410: 69 7a 65 20 63 6f 72 72 75 70 74 2e 64 62 5d 20  ize corrupt.db] 
2420: 2f 20 31 30 32 34 5d 0a 20 20 20 20 68 65 78 69  / 1024].    hexi
2430: 6f 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e  o_write corrupt.
2440: 64 62 20 5b 65 78 70 72 20 31 30 32 34 20 2b 20  db [expr 1024 + 
2450: 28 24 6e 50 61 67 65 2d 33 29 2a 35 5d 20 30 31  ($nPage-3)*5] 01
2460: 30 30 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73  0000000.  } -tes
2470: 74 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  t {.    do_test 
2480: 63 6f 72 72 75 70 74 32 2d 36 2e 33 20 7b 0a 20  corrupt2-6.3 {. 
2490: 20 20 20 20 20 63 61 74 63 68 73 71 6c 20 22 20       catchsql " 
24a0: 24 3a 3a 70 72 65 73 71 6c 20 70 72 61 67 6d 61  $::presql pragma
24b0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63   incremental_vac
24c0: 75 75 6d 20 3d 20 31 20 22 0a 20 20 20 20 7d 20  uum = 1 ".    } 
24d0: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73  {1 {database dis
24e0: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
24f0: 72 6d 65 64 7d 7d 0a 20 20 7d 0a 0a 20 20 69 66  rmed}}.  }..  if
2500: 20 7b 21 5b 6e 6f 6e 7a 65 72 6f 5f 72 65 73 65   {![nonzero_rese
2510: 72 76 65 64 5f 62 79 74 65 73 5d 7d 20 7b 0a 20  rved_bytes]} {. 
2520: 20 20 20 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65     corruption_te
2530: 73 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20  st -sqlprep {.  
2540: 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f      PRAGMA auto_
2550: 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20  vacuum = 1;.    
2560: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
2570: 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 20  ze = 1024;.     
2580: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
2590: 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (a INTEGER PRIMA
25a0: 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20  RY KEY, b);.    
25b0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
25c0: 20 56 41 4c 55 45 53 28 31 2c 20 72 61 6e 64 6f   VALUES(1, rando
25d0: 6d 62 6c 6f 62 28 32 35 30 30 29 29 3b 0a 20 20  mblob(2500));.  
25e0: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
25f0: 74 31 20 57 48 45 52 45 20 61 20 3d 20 31 3b 0a  t1 WHERE a = 1;.
2600: 20 20 20 20 7d 20 2d 63 6f 72 72 75 70 74 20 7b      } -corrupt {
2610: 0a 20 20 20 20 20 20 73 65 74 20 6e 41 70 70 65  .      set nAppe
2620: 6e 64 20 5b 65 78 70 72 20 31 30 32 34 2a 32 30  nd [expr 1024*20
2630: 37 20 2d 20 5b 66 69 6c 65 20 73 69 7a 65 20 63  7 - [file size c
2640: 6f 72 72 75 70 74 2e 64 62 5d 5d 0a 20 20 20 20  orrupt.db]].    
2650: 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 63    set fd [open c
2660: 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a 20 20  orrupt.db r+].  
2670: 20 20 20 20 73 65 65 6b 20 24 66 64 20 30 20 65      seek $fd 0 e
2680: 6e 64 0a 20 20 20 20 20 20 70 75 74 73 20 2d 6e  nd.      puts -n
2690: 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20 5b 73 74  onewline $fd [st
26a0: 72 69 6e 67 20 72 65 70 65 61 74 20 78 20 24 6e  ring repeat x $n
26b0: 41 70 70 65 6e 64 5d 0a 20 20 20 20 20 20 63 6c  Append].      cl
26c0: 6f 73 65 20 24 66 64 0a 20 20 20 20 20 20 68 65  ose $fd.      he
26d0: 78 69 6f 5f 77 72 69 74 65 20 63 6f 72 72 75 70  xio_write corrup
26e0: 74 2e 64 62 20 32 38 20 30 30 30 30 30 30 30 30  t.db 28 00000000
26f0: 0a 20 20 20 20 7d 20 2d 74 65 73 74 20 7b 0a 20  .    } -test {. 
2700: 20 20 20 20 20 64 6f 5f 74 65 73 74 20 63 6f 72       do_test cor
2710: 72 75 70 74 32 2d 36 2e 34 20 7b 0a 20 20 20 20  rupt2-6.4 {.    
2720: 20 20 20 20 63 61 74 63 68 73 71 6c 20 22 20 0a      catchsql " .
2730: 20 20 20 20 20 20 20 20 20 20 24 3a 3a 70 72 65            $::pre
2740: 73 71 6c 20 0a 20 20 20 20 20 20 20 20 20 20 42  sql .          B
2750: 45 47 49 4e 20 45 58 43 4c 55 53 49 56 45 3b 0a  EGIN EXCLUSIVE;.
2760: 20 20 20 20 20 20 20 20 20 20 43 4f 4d 4d 49 54            COMMIT
2770: 3b 0a 20 20 20 20 20 20 20 20 22 0a 20 20 20 20  ;.        ".    
2780: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
2790: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
27a0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 20 20 20 20 7d  alformed}}.    }
27b0: 0a 20 20 7d 0a 7d 0a 0a 0a 73 65 74 20 73 71 6c  .  }.}...set sql
27c0: 70 72 65 70 20 7b 0a 20 20 50 52 41 47 4d 41 20  prep {.  PRAGMA 
27d0: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b  auto_vacuum = 0;
27e0: 0a 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73  .  PRAGMA page_s
27f0: 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 43 52  ize = 1024;.  CR
2800: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20  EATE TABLE t1(a 
2810: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
2820: 4b 45 59 2c 20 62 29 3b 0a 20 20 43 52 45 41 54  KEY, b);.  CREAT
2830: 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31  E INDEX i1 ON t1
2840: 28 62 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  (b);.  INSERT IN
2850: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20  TO t1 VALUES(1, 
2860: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 29 3b  randomblob(50));
2870: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
2880: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
2890: 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52  andomblob(50) FR
28a0: 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20  OM t1;.  INSERT 
28b0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e  INTO t1 SELECT N
28c0: 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  ULL, randomblob(
28d0: 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49  50) FROM t1;.  I
28e0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
28f0: 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f  LECT NULL, rando
2900: 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d 20 74  mblob(50) FROM t
2910: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  1;.  INSERT INTO
2920: 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c   t1 SELECT NULL,
2930: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 29 20   randomblob(50) 
2940: 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52  FROM t1;.  INSER
2950: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
2960: 20 4e 55 4c 4c 2c 20 72 61 6e 64 6f 6d 62 6c 6f   NULL, randomblo
2970: 62 28 35 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20  b(50) FROM t1;. 
2980: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
2990: 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e  SELECT NULL, ran
29a0: 64 6f 6d 62 6c 6f 62 28 35 30 29 20 46 52 4f 4d  domblob(50) FROM
29b0: 20 74 31 3b 0a 7d 0a 0a 63 6f 72 72 75 70 74 69   t1;.}..corrupti
29c0: 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72 65 70  on_test -sqlprep
29d0: 20 24 73 71 6c 70 72 65 70 20 2d 63 6f 72 72 75   $sqlprep -corru
29e0: 70 74 20 7b 0a 20 20 23 20 53 65 74 20 74 68 65  pt {.  # Set the
29f0: 20 70 61 67 65 2d 66 6c 61 67 73 20 6f 66 20 6f   page-flags of o
2a00: 6e 65 20 6f 66 20 74 68 65 20 6c 65 61 66 20 70  ne of the leaf p
2a10: 61 67 65 73 20 6f 66 20 74 68 65 20 69 6e 64 65  ages of the inde
2a20: 78 20 42 2d 54 72 65 65 20 74 6f 0a 20 20 23 20  x B-Tree to.  # 
2a30: 30 78 30 44 20 28 69 6e 74 65 72 70 72 65 74 65  0x0D (interprete
2a40: 64 20 62 79 20 53 51 4c 69 74 65 20 61 73 20 22  d by SQLite as "
2a50: 6c 65 61 66 20 70 61 67 65 20 6f 66 20 61 20 74  leaf page of a t
2a60: 61 62 6c 65 20 42 2d 54 72 65 65 22 29 2e 0a 20  able B-Tree").. 
2a70: 20 23 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65   #.  set fd [ope
2a80: 6e 20 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d  n corrupt.db r+]
2a90: 0a 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66  .  fconfigure $f
2aa0: 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62  d -translation b
2ab0: 69 6e 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20  inary -encoding 
2ac0: 62 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66  binary.  seek $f
2ad0: 64 20 5b 65 78 70 72 20 31 30 32 34 2a 32 20 2b  d [expr 1024*2 +
2ae0: 20 38 5d 20 0a 20 20 73 65 74 20 7a 52 69 67 68   8] .  set zRigh
2af0: 74 43 68 69 6c 64 20 5b 72 65 61 64 20 24 66 64  tChild [read $fd
2b00: 20 34 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61   4].  binary sca
2b10: 6e 20 24 7a 52 69 67 68 74 43 68 69 6c 64 20 49  n $zRightChild I
2b20: 20 69 52 69 67 68 74 43 68 69 6c 64 0a 20 20 73   iRightChild.  s
2b30: 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30  eek $fd [expr 10
2b40: 32 34 2a 28 24 69 52 69 67 68 74 43 68 69 6c 64  24*($iRightChild
2b50: 2d 31 29 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e  -1)].  puts -non
2b60: 65 77 6c 69 6e 65 20 24 66 64 20 22 5c 78 30 44  ewline $fd "\x0D
2b70: 22 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 20  ".  close $fd.} 
2b80: 2d 74 65 73 74 20 7b 0a 20 20 64 6f 5f 74 65 73  -test {.  do_tes
2b90: 74 20 63 6f 72 72 75 70 74 32 2d 37 2e 31 20 7b  t corrupt2-7.1 {
2ba0: 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 22 20  .    catchsql " 
2bb0: 24 3a 3a 70 72 65 73 71 6c 20 53 45 4c 45 43 54  $::presql SELECT
2bc0: 20 62 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52   b FROM t1 ORDER
2bd0: 20 42 59 20 62 20 41 53 43 20 22 0a 20 20 7d 20   BY b ASC ".  } 
2be0: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73  {1 {database dis
2bf0: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
2c00: 72 6d 65 64 7d 7d 0a 7d 0a 0a 63 6f 72 72 75 70  rmed}}.}..corrup
2c10: 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72  tion_test -sqlpr
2c20: 65 70 20 24 73 71 6c 70 72 65 70 20 2d 63 6f 72  ep $sqlprep -cor
2c30: 72 75 70 74 20 7b 0a 20 20 23 20 4d 65 73 73 20  rupt {.  # Mess 
2c40: 75 70 20 74 68 65 20 70 61 67 65 2d 68 65 61 64  up the page-head
2c50: 65 72 20 6f 66 20 6f 6e 65 20 6f 66 20 74 68 65  er of one of the
2c60: 20 6c 65 61 66 20 70 61 67 65 73 20 6f 66 20 74   leaf pages of t
2c70: 68 65 20 69 6e 64 65 78 20 42 2d 54 72 65 65 2e  he index B-Tree.
2c80: 0a 20 20 23 20 54 68 65 20 63 6f 72 72 75 70 74  .  # The corrupt
2c90: 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65 64 20  ion is detected 
2ca0: 61 73 20 70 61 72 74 20 6f 66 20 61 6e 20 4f 50  as part of an OP
2cb0: 5f 50 72 65 76 20 6f 70 63 6f 64 65 2e 0a 20 20  _Prev opcode..  
2cc0: 23 0a 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e  #.  set fd [open
2cd0: 20 63 6f 72 72 75 70 74 2e 64 62 20 72 2b 5d 0a   corrupt.db r+].
2ce0: 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64    fconfigure $fd
2cf0: 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69   -translation bi
2d00: 6e 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20 62  nary -encoding b
2d10: 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64  inary.  seek $fd
2d20: 20 5b 65 78 70 72 20 31 30 32 34 2a 32 20 2b 20   [expr 1024*2 + 
2d30: 31 32 5d 20 0a 20 20 73 65 74 20 7a 43 65 6c 6c  12] .  set zCell
2d40: 4f 66 66 73 65 74 20 5b 72 65 61 64 20 24 66 64  Offset [read $fd
2d50: 20 32 5d 0a 20 20 62 69 6e 61 72 79 20 73 63 61   2].  binary sca
2d60: 6e 20 24 7a 43 65 6c 6c 4f 66 66 73 65 74 20 53  n $zCellOffset S
2d70: 20 69 43 65 6c 6c 4f 66 66 73 65 74 0a 20 20 73   iCellOffset.  s
2d80: 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30  eek $fd [expr 10
2d90: 32 34 2a 32 20 2b 20 24 69 43 65 6c 6c 4f 66 66  24*2 + $iCellOff
2da0: 73 65 74 5d 0a 20 20 73 65 74 20 7a 43 68 69 6c  set].  set zChil
2db0: 64 20 5b 72 65 61 64 20 24 66 64 20 34 5d 0a 20  d [read $fd 4]. 
2dc0: 20 62 69 6e 61 72 79 20 73 63 61 6e 20 24 7a 43   binary scan $zC
2dd0: 68 69 6c 64 20 49 20 69 43 68 69 6c 64 0a 20 20  hild I iChild.  
2de0: 73 65 65 6b 20 24 66 64 20 5b 65 78 70 72 20 31  seek $fd [expr 1
2df0: 30 32 34 2a 28 24 69 43 68 69 6c 64 2d 31 29 2b  024*($iChild-1)+
2e00: 33 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77  3].  puts -nonew
2e10: 6c 69 6e 65 20 24 66 64 20 22 5c 78 46 46 46 46  line $fd "\xFFFF
2e20: 22 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a 7d 20  ".  close $fd.} 
2e30: 2d 74 65 73 74 20 7b 0a 20 20 64 6f 5f 74 65 73  -test {.  do_tes
2e40: 74 20 63 6f 72 72 75 70 74 32 2d 37 2e 31 20 7b  t corrupt2-7.1 {
2e50: 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 22 20  .    catchsql " 
2e60: 24 3a 3a 70 72 65 73 71 6c 20 53 45 4c 45 43 54  $::presql SELECT
2e70: 20 62 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52   b FROM t1 ORDER
2e80: 20 42 59 20 62 20 44 45 53 43 20 22 0a 20 20 7d   BY b DESC ".  }
2e90: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
2ea0: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
2eb0: 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a 63 6f 72 72 75  ormed}}.}..corru
2ec0: 70 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70  ption_test -sqlp
2ed0: 72 65 70 20 24 73 71 6c 70 72 65 70 20 2d 63 6f  rep $sqlprep -co
2ee0: 72 72 75 70 74 20 7b 0a 20 20 23 20 53 65 74 20  rrupt {.  # Set 
2ef0: 74 68 65 20 70 61 67 65 2d 66 6c 61 67 73 20 6f  the page-flags o
2f00: 66 20 6f 6e 65 20 6f 66 20 74 68 65 20 6c 65 61  f one of the lea
2f10: 66 20 70 61 67 65 73 20 6f 66 20 74 68 65 20 74  f pages of the t
2f20: 61 62 6c 65 20 42 2d 54 72 65 65 20 74 6f 0a 20  able B-Tree to. 
2f30: 20 23 20 30 78 30 41 20 28 69 6e 74 65 72 70 72   # 0x0A (interpr
2f40: 65 74 65 64 20 62 79 20 53 51 4c 69 74 65 20 61  eted by SQLite a
2f50: 73 20 22 6c 65 61 66 20 70 61 67 65 20 6f 66 20  s "leaf page of 
2f60: 61 6e 20 69 6e 64 65 78 20 42 2d 54 72 65 65 22  an index B-Tree"
2f70: 29 2e 0a 20 20 23 0a 20 20 73 65 74 20 66 64 20  )..  #.  set fd 
2f80: 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64 62  [open corrupt.db
2f90: 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75 72   r+].  fconfigur
2fa0: 65 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74 69  e $fd -translati
2fb0: 6f 6e 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f 64  on binary -encod
2fc0: 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65 65  ing binary.  see
2fd0: 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32 34  k $fd [expr 1024
2fe0: 2a 31 20 2b 20 38 5d 20 0a 20 20 73 65 74 20 7a  *1 + 8] .  set z
2ff0: 52 69 67 68 74 43 68 69 6c 64 20 5b 72 65 61 64  RightChild [read
3000: 20 24 66 64 20 34 5d 0a 20 20 62 69 6e 61 72 79   $fd 4].  binary
3010: 20 73 63 61 6e 20 24 7a 52 69 67 68 74 43 68 69   scan $zRightChi
3020: 6c 64 20 49 20 69 52 69 67 68 74 43 68 69 6c 64  ld I iRightChild
3030: 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65 78 70  .  seek $fd [exp
3040: 72 20 31 30 32 34 2a 28 24 69 52 69 67 68 74 43  r 1024*($iRightC
3050: 68 69 6c 64 2d 31 29 5d 0a 20 20 70 75 74 73 20  hild-1)].  puts 
3060: 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24 66 64 20 22  -nonewline $fd "
3070: 5c 78 30 41 22 0a 20 20 63 6c 6f 73 65 20 24 66  \x0A".  close $f
3080: 64 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64 6f  d.} -test {.  do
3090: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 38  _test corrupt2-8
30a0: 2e 31 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71  .1 {.    catchsq
30b0: 6c 20 22 20 24 3a 3a 70 72 65 73 71 6c 20 53 45  l " $::presql SE
30c0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
30d0: 48 45 52 45 20 72 6f 77 69 64 3d 31 30 30 30 20  HERE rowid=1000 
30e0: 22 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61  ".  } {1 {databa
30f0: 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73  se disk image is
3100: 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a   malformed}}.}..
3110: 63 6f 72 72 75 70 74 69 6f 6e 5f 74 65 73 74 20  corruption_test 
3120: 2d 73 71 6c 70 72 65 70 20 7b 0a 20 20 43 52 45  -sqlprep {.  CRE
3130: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20  ATE TABLE t1(a, 
3140: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3150: 42 4c 45 20 74 38 28 61 2c 20 62 2c 20 63 29 3b  BLE t8(a, b, c);
3160: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 45   CREATE TABLE tE
3170: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3180: 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20  ATE TABLE t2(a, 
3190: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
31a0: 42 4c 45 20 74 39 28 61 2c 20 62 2c 20 63 29 3b  BLE t9(a, b, c);
31b0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 46   CREATE TABLE tF
31c0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
31d0: 41 54 45 20 54 41 42 4c 45 20 74 33 28 61 2c 20  ATE TABLE t3(a, 
31e0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
31f0: 42 4c 45 20 74 41 28 61 2c 20 62 2c 20 63 29 3b  BLE tA(a, b, c);
3200: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 47   CREATE TABLE tG
3210: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3220: 41 54 45 20 54 41 42 4c 45 20 74 34 28 61 2c 20  ATE TABLE t4(a, 
3230: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3240: 42 4c 45 20 74 42 28 61 2c 20 62 2c 20 63 29 3b  BLE tB(a, b, c);
3250: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 48   CREATE TABLE tH
3260: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3270: 41 54 45 20 54 41 42 4c 45 20 74 35 28 61 2c 20  ATE TABLE t5(a, 
3280: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3290: 42 4c 45 20 74 43 28 61 2c 20 62 2c 20 63 29 3b  BLE tC(a, b, c);
32a0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 49   CREATE TABLE tI
32b0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
32c0: 41 54 45 20 54 41 42 4c 45 20 74 36 28 61 2c 20  ATE TABLE t6(a, 
32d0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
32e0: 42 4c 45 20 74 44 28 61 2c 20 62 2c 20 63 29 3b  BLE tD(a, b, c);
32f0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 4a   CREATE TABLE tJ
3300: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3310: 41 54 45 20 54 41 42 4c 45 20 78 31 28 61 2c 20  ATE TABLE x1(a, 
3320: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3330: 42 4c 45 20 78 38 28 61 2c 20 62 2c 20 63 29 3b  BLE x8(a, b, c);
3340: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 45   CREATE TABLE xE
3350: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3360: 41 54 45 20 54 41 42 4c 45 20 78 32 28 61 2c 20  ATE TABLE x2(a, 
3370: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3380: 42 4c 45 20 78 39 28 61 2c 20 62 2c 20 63 29 3b  BLE x9(a, b, c);
3390: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 46   CREATE TABLE xF
33a0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
33b0: 41 54 45 20 54 41 42 4c 45 20 78 33 28 61 2c 20  ATE TABLE x3(a, 
33c0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
33d0: 42 4c 45 20 78 41 28 61 2c 20 62 2c 20 63 29 3b  BLE xA(a, b, c);
33e0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 47   CREATE TABLE xG
33f0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3400: 41 54 45 20 54 41 42 4c 45 20 78 34 28 61 2c 20  ATE TABLE x4(a, 
3410: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3420: 42 4c 45 20 78 42 28 61 2c 20 62 2c 20 63 29 3b  BLE xB(a, b, c);
3430: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 48   CREATE TABLE xH
3440: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
3450: 41 54 45 20 54 41 42 4c 45 20 78 35 28 61 2c 20  ATE TABLE x5(a, 
3460: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
3470: 42 4c 45 20 78 43 28 61 2c 20 62 2c 20 63 29 3b  BLE xC(a, b, c);
3480: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 49   CREATE TABLE xI
3490: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
34a0: 41 54 45 20 54 41 42 4c 45 20 78 36 28 61 2c 20  ATE TABLE x6(a, 
34b0: 62 2c 20 63 29 3b 20 43 52 45 41 54 45 20 54 41  b, c); CREATE TA
34c0: 42 4c 45 20 78 44 28 61 2c 20 62 2c 20 63 29 3b  BLE xD(a, b, c);
34d0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 78 4a   CREATE TABLE xJ
34e0: 28 61 2c 20 62 2c 20 63 29 3b 0a 7d 20 2d 63 6f  (a, b, c);.} -co
34f0: 72 72 75 70 74 20 7b 0a 20 20 73 65 74 20 66 64  rrupt {.  set fd
3500: 20 5b 6f 70 65 6e 20 63 6f 72 72 75 70 74 2e 64   [open corrupt.d
3510: 62 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75  b r+].  fconfigu
3520: 72 65 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74  re $fd -translat
3530: 69 6f 6e 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f  ion binary -enco
3540: 64 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65  ding binary.  se
3550: 65 6b 20 24 66 64 20 31 30 38 0a 20 20 73 65 74  ek $fd 108.  set
3560: 20 7a 52 69 67 68 74 43 68 69 6c 64 20 5b 72 65   zRightChild [re
3570: 61 64 20 24 66 64 20 34 5d 0a 20 20 62 69 6e 61  ad $fd 4].  bina
3580: 72 79 20 73 63 61 6e 20 24 7a 52 69 67 68 74 43  ry scan $zRightC
3590: 68 69 6c 64 20 49 20 69 52 69 67 68 74 43 68 69  hild I iRightChi
35a0: 6c 64 0a 20 20 73 65 65 6b 20 24 66 64 20 5b 65  ld.  seek $fd [e
35b0: 78 70 72 20 31 30 32 34 2a 28 24 69 52 69 67 68  xpr 1024*($iRigh
35c0: 74 43 68 69 6c 64 2d 31 29 2b 33 5d 0a 20 20 70  tChild-1)+3].  p
35d0: 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20 24  uts -nonewline $
35e0: 66 64 20 22 5c 78 30 30 5c 78 30 30 22 0a 20 20  fd "\x00\x00".  
35f0: 63 6c 6f 73 65 20 24 66 64 0a 7d 20 2d 74 65 73  close $fd.} -tes
3600: 74 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f  t {.  do_test co
3610: 72 72 75 70 74 32 2d 39 2e 31 20 7b 0a 20 20 20  rrupt2-9.1 {.   
3620: 20 63 61 74 63 68 73 71 6c 20 22 20 24 3a 3a 70   catchsql " $::p
3630: 72 65 73 71 6c 20 53 45 4c 45 43 54 20 73 71 6c  resql SELECT sql
3640: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
3650: 74 65 72 20 22 0a 20 20 7d 20 7b 31 20 7b 64 61  ter ".  } {1 {da
3660: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
3670: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
3680: 0a 7d 0a 0a 63 6f 72 72 75 70 74 69 6f 6e 5f 74  .}..corruption_t
3690: 65 73 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a 20  est -sqlprep {. 
36a0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
36b0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 43 52 45  (a, b, c);.  CRE
36c0: 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20  ATE TABLE t2(a, 
36d0: 62 2c 20 63 29 3b 0a 20 20 50 52 41 47 4d 41 20  b, c);.  PRAGMA 
36e0: 77 72 69 74 61 62 6c 65 5f 73 63 68 65 6d 61 20  writable_schema 
36f0: 3d 20 31 3b 0a 20 20 55 50 44 41 54 45 20 73 71  = 1;.  UPDATE sq
3700: 6c 69 74 65 5f 6d 61 73 74 65 72 20 53 45 54 20  lite_master SET 
3710: 72 6f 6f 74 70 61 67 65 20 3d 20 4e 55 4c 4c 20  rootpage = NULL 
3720: 57 48 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 32  WHERE name = 't2
3730: 27 3b 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 64  ';.} -test {.  d
3740: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d  o_test corrupt2-
3750: 31 30 2e 31 20 7b 0a 20 20 20 20 63 61 74 63 68  10.1 {.    catch
3760: 73 71 6c 20 22 20 24 3a 3a 70 72 65 73 71 6c 20  sql " $::presql 
3770: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
3780: 20 22 0a 20 20 7d 20 7b 31 20 7b 6d 61 6c 66 6f   ".  } {1 {malfo
3790: 72 6d 65 64 20 64 61 74 61 62 61 73 65 20 73 63  rmed database sc
37a0: 68 65 6d 61 20 28 74 32 29 7d 7d 0a 20 20 64 6f  hema (t2)}}.  do
37b0: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32 2d 31  _test corrupt2-1
37c0: 30 2e 32 20 7b 0a 20 20 20 20 73 71 6c 69 74 65  0.2 {.    sqlite
37d0: 33 5f 65 72 72 63 6f 64 65 20 64 62 0a 20 20 7d  3_errcode db.  }
37e0: 20 7b 53 51 4c 49 54 45 5f 43 4f 52 52 55 50 54   {SQLITE_CORRUPT
37f0: 7d 0a 7d 0a 0a 63 6f 72 72 75 70 74 69 6f 6e 5f  }.}..corruption_
3800: 74 65 73 74 20 2d 73 71 6c 70 72 65 70 20 7b 0a  test -sqlprep {.
3810: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
3820: 63 75 75 6d 20 3d 20 69 6e 63 72 65 6d 65 6e 74  cuum = increment
3830: 61 6c 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42  al;.  CREATE TAB
3840: 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45 52 20  LE t1(a INTEGER 
3850: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b  PRIMARY KEY, b);
3860: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
3870: 74 32 28 61 20 49 4e 54 45 47 45 52 20 50 52 49  t2(a INTEGER PRI
3880: 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20  MARY KEY, b);.  
3890: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
38a0: 41 4c 55 45 53 28 31 2c 20 72 61 6e 64 73 74 72  ALUES(1, randstr
38b0: 28 31 30 30 2c 31 30 30 29 29 3b 0a 20 20 49 4e  (100,100));.  IN
38c0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
38d0: 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74  ECT NULL, randst
38e0: 72 28 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20  r(100,100) FROM 
38f0: 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  t1;.  INSERT INT
3900: 4f 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c  O t1 SELECT NULL
3910: 2c 20 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30  , randstr(100,10
3920: 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e  0) FROM t1;.  IN
3930: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
3940: 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74  ECT NULL, randst
3950: 72 28 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20  r(100,100) FROM 
3960: 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  t1;.  INSERT INT
3970: 4f 20 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c  O t1 SELECT NULL
3980: 2c 20 72 61 6e 64 73 74 72 28 31 30 30 2c 31 30  , randstr(100,10
3990: 30 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e  0) FROM t1;.  IN
39a0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c  SERT INTO t1 SEL
39b0: 45 43 54 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74  ECT NULL, randst
39c0: 72 28 31 30 30 2c 31 30 30 29 20 46 52 4f 4d 20  r(100,100) FROM 
39d0: 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  t1;.  INSERT INT
39e0: 4f 20 74 32 20 53 45 4c 45 43 54 20 2a 20 46 52  O t2 SELECT * FR
39f0: 4f 4d 20 74 31 3b 0a 20 20 44 45 4c 45 54 45 20  OM t1;.  DELETE 
3a00: 46 52 4f 4d 20 74 31 3b 0a 7d 20 2d 63 6f 72 72  FROM t1;.} -corr
3a10: 75 70 74 20 7b 0a 20 20 73 65 74 20 6f 66 66 73  upt {.  set offs
3a20: 65 74 20 5b 65 78 70 72 20 5b 66 69 6c 65 20 73  et [expr [file s
3a30: 69 7a 65 20 63 6f 72 72 75 70 74 2e 64 62 5d 20  ize corrupt.db] 
3a40: 2d 20 31 30 32 34 5d 0a 20 20 68 65 78 69 6f 5f  - 1024].  hexio_
3a50: 77 72 69 74 65 20 63 6f 72 72 75 70 74 2e 64 62  write corrupt.db
3a60: 20 24 6f 66 66 73 65 74 20 46 46 20 0a 20 20 68   $offset FF .  h
3a70: 65 78 69 6f 5f 77 72 69 74 65 20 63 6f 72 72 75  exio_write corru
3a80: 70 74 2e 64 62 20 32 34 20 20 20 31 32 33 34 35  pt.db 24   12345
3a90: 36 37 38 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20  678.} -test {.  
3aa0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32  do_test corrupt2
3ab0: 2d 31 31 2e 31 20 7b 0a 20 20 20 20 63 61 74 63  -11.1 {.    catc
3ac0: 68 73 71 6c 20 22 20 24 3a 3a 70 72 65 73 71 6c  hsql " $::presql
3ad0: 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e   PRAGMA incremen
3ae0: 74 61 6c 5f 76 61 63 75 75 6d 20 22 0a 20 20 7d  tal_vacuum ".  }
3af0: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
3b00: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
3b10: 6f 72 6d 65 64 7d 7d 0a 7d 0a 63 6f 72 72 75 70  ormed}}.}.corrup
3b20: 74 69 6f 6e 5f 74 65 73 74 20 2d 73 71 6c 70 72  tion_test -sqlpr
3b30: 65 70 20 7b 0a 20 20 50 52 41 47 4d 41 20 61 75  ep {.  PRAGMA au
3b40: 74 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e 63 72  to_vacuum = incr
3b50: 65 6d 65 6e 74 61 6c 3b 0a 20 20 43 52 45 41 54  emental;.  CREAT
3b60: 45 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54  E TABLE t1(a INT
3b70: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
3b80: 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45 20 54  , b);.  CREATE T
3b90: 41 42 4c 45 20 74 32 28 61 20 49 4e 54 45 47 45  ABLE t2(a INTEGE
3ba0: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62  R PRIMARY KEY, b
3bb0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
3bc0: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 72 61   t1 VALUES(1, ra
3bd0: 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29 29 3b  ndstr(100,100));
3be0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
3bf0: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
3c00: 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29 20  andstr(100,100) 
3c10: 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52  FROM t1;.  INSER
3c20: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
3c30: 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31   NULL, randstr(1
3c40: 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b  00,100) FROM t1;
3c50: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
3c60: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
3c70: 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29 20  andstr(100,100) 
3c80: 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52  FROM t1;.  INSER
3c90: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54  T INTO t1 SELECT
3ca0: 20 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 31   NULL, randstr(1
3cb0: 30 30 2c 31 30 30 29 20 46 52 4f 4d 20 74 31 3b  00,100) FROM t1;
3cc0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
3cd0: 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72  1 SELECT NULL, r
3ce0: 61 6e 64 73 74 72 28 31 30 30 2c 31 30 30 29 20  andstr(100,100) 
3cf0: 46 52 4f 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52  FROM t1;.  INSER
3d00: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
3d10: 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20 44 45   * FROM t1;.  DE
3d20: 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a 7d 20  LETE FROM t1;.} 
3d30: 2d 63 6f 72 72 75 70 74 20 7b 0a 20 20 73 65 74  -corrupt {.  set
3d40: 20 70 67 6e 6f 20 5b 65 78 70 72 20 5b 66 69 6c   pgno [expr [fil
3d50: 65 20 73 69 7a 65 20 63 6f 72 72 75 70 74 2e 64  e size corrupt.d
3d60: 62 5d 20 2f 20 31 30 32 34 5d 0a 20 20 68 65 78  b] / 1024].  hex
3d70: 69 6f 5f 77 72 69 74 65 20 63 6f 72 72 75 70 74  io_write corrupt
3d80: 2e 64 62 20 5b 65 78 70 72 20 31 30 32 34 2b 35  .db [expr 1024+5
3d90: 2a 28 24 70 67 6e 6f 2d 33 29 5d 20 30 33 20 0a  *($pgno-3)] 03 .
3da0: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 63 6f    hexio_write co
3db0: 72 72 75 70 74 2e 64 62 20 32 34 20 20 20 31 32  rrupt.db 24   12
3dc0: 33 34 35 36 37 38 0a 7d 20 2d 74 65 73 74 20 7b  345678.} -test {
3dd0: 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75  .  do_test corru
3de0: 70 74 32 2d 31 32 2e 31 20 7b 0a 20 20 20 20 63  pt2-12.1 {.    c
3df0: 61 74 63 68 73 71 6c 20 22 20 24 3a 3a 70 72 65  atchsql " $::pre
3e00: 73 71 6c 20 50 52 41 47 4d 41 20 69 6e 63 72 65  sql PRAGMA incre
3e10: 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20 22 0a  mental_vacuum ".
3e20: 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65    } {1 {database
3e30: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
3e40: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a 69 66  alformed}}.}..if
3e50: 63 61 70 61 62 6c 65 20 61 75 74 6f 76 61 63 75  capable autovacu
3e60: 75 6d 20 7b 0a 20 20 23 20 49 74 20 69 73 20 6e  um {.  # It is n
3e70: 6f 74 20 70 6f 73 73 69 62 6c 65 20 66 6f 72 20  ot possible for 
3e80: 74 68 65 20 6c 61 73 74 20 70 61 67 65 20 69 6e  the last page in
3e90: 20 61 20 64 61 74 61 62 61 73 65 20 66 69 6c 65   a database file
3ea0: 20 74 6f 20 62 65 20 74 68 65 0a 20 20 23 20 70   to be the.  # p
3eb0: 65 6e 64 69 6e 67 2d 62 79 74 65 20 70 61 67 65  ending-byte page
3ec0: 20 28 41 4b 41 20 74 68 65 20 6c 6f 63 6b 69 6e   (AKA the lockin
3ed0: 67 20 70 61 67 65 29 2e 20 54 68 69 73 20 74 65  g page). This te
3ee0: 73 74 20 76 65 72 69 66 69 65 73 20 74 68 61 74  st verifies that
3ef0: 20 69 66 0a 20 20 23 20 61 6e 20 61 74 74 65 6d   if.  # an attem
3f00: 70 74 20 69 73 20 6d 61 64 65 20 74 6f 20 63 6f  pt is made to co
3f10: 6d 6d 69 74 20 61 20 74 72 61 6e 73 61 63 74 69  mmit a transacti
3f20: 6f 6e 20 74 6f 20 73 75 63 68 20 61 6e 20 61 75  on to such an au
3f30: 74 6f 2d 76 61 63 75 75 6d 20 0a 20 20 23 20 64  to-vacuum .  # d
3f40: 61 74 61 62 61 73 65 20 53 51 4c 49 54 45 5f 43  atabase SQLITE_C
3f50: 4f 52 52 55 50 54 20 69 73 20 72 65 74 75 72 6e  ORRUPT is return
3f60: 65 64 2e 0a 20 20 23 0a 20 20 63 6f 72 72 75 70  ed..  #.  corrup
3f70: 74 69 6f 6e 5f 74 65 73 74 20 2d 74 63 6c 70 72  tion_test -tclpr
3f80: 65 70 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c  ep {.    db eval
3f90: 20 7b 20 0a 20 20 20 20 20 20 50 52 41 47 4d 41   { .      PRAGMA
3fa0: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 66   auto_vacuum = f
3fb0: 75 6c 6c 3b 0a 20 20 20 20 20 20 50 52 41 47 4d  ull;.      PRAGM
3fc0: 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30  A page_size = 10
3fd0: 32 34 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45  24;.      CREATE
3fe0: 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45   TABLE t1(a INTE
3ff0: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  GER PRIMARY KEY,
4000: 20 62 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52   b);.      INSER
4010: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
4020: 28 4e 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 35  (NULL, randstr(5
4030: 30 2c 35 30 29 29 3b 0a 20 20 20 20 7d 0a 20 20  0,50));.    }.  
4040: 20 20 66 6f 72 20 7b 73 65 74 20 69 69 20 30 7d    for {set ii 0}
4050: 20 7b 24 69 69 20 3c 20 31 30 7d 20 7b 69 6e 63   {$ii < 10} {inc
4060: 72 20 69 69 7d 20 7b 0a 20 20 20 20 20 20 64 62  r ii} {.      db
4070: 20 65 76 61 6c 20 22 20 24 3a 3a 70 72 65 73 71   eval " $::presq
4080: 6c 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31  l INSERT INTO t1
4090: 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 72 61   SELECT NULL, ra
40a0: 6e 64 73 74 72 28 35 30 2c 35 30 29 20 46 52 4f  ndstr(50,50) FRO
40b0: 4d 20 74 31 20 22 0a 20 20 20 20 7d 0a 20 20 7d  M t1 ".    }.  }
40c0: 20 2d 63 6f 72 72 75 70 74 20 7b 0a 20 20 20 20   -corrupt {.    
40d0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 32  do_test corrupt2
40e0: 2d 31 33 2e 31 20 7b 0a 20 20 20 20 20 20 66 69  -13.1 {.      fi
40f0: 6c 65 20 73 69 7a 65 20 63 6f 72 72 75 70 74 2e  le size corrupt.
4100: 64 62 0a 20 20 20 20 7d 20 24 3a 3a 73 71 6c 69  db.    } $::sqli
4110: 74 65 5f 70 65 6e 64 69 6e 67 5f 62 79 74 65 0a  te_pending_byte.
4120: 20 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20      hexio_write 
4130: 63 6f 72 72 75 70 74 2e 64 62 20 5b 65 78 70 72  corrupt.db [expr
4140: 20 24 3a 3a 73 71 6c 69 74 65 5f 70 65 6e 64 69   $::sqlite_pendi
4150: 6e 67 5f 62 79 74 65 2b 31 30 32 33 5d 20 30 30  ng_byte+1023] 00
4160: 0a 20 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65  .    hexio_write
4170: 20 63 6f 72 72 75 70 74 2e 64 62 20 32 38 20 30   corrupt.db 28 0
4180: 30 30 30 30 30 30 30 0a 20 20 7d 20 2d 74 65 73  0000000.  } -tes
4190: 74 20 7b 0a 20 20 20 20 64 6f 5f 74 65 73 74 20  t {.    do_test 
41a0: 63 6f 72 72 75 70 74 32 2d 31 33 2e 32 20 7b 0a  corrupt2-13.2 {.
41b0: 20 20 20 20 20 20 66 69 6c 65 20 73 69 7a 65 20        file size 
41c0: 63 6f 72 72 75 70 74 2e 64 62 0a 20 20 20 20 7d  corrupt.db.    }
41d0: 20 5b 65 78 70 72 20 24 3a 3a 73 71 6c 69 74 65   [expr $::sqlite
41e0: 5f 70 65 6e 64 69 6e 67 5f 62 79 74 65 20 2b 20  _pending_byte + 
41f0: 31 30 32 34 5d 0a 20 20 20 20 64 6f 5f 74 65 73  1024].    do_tes
4200: 74 20 63 6f 72 72 75 70 74 32 2d 31 33 2e 33 20  t corrupt2-13.3 
4210: 7b 0a 20 20 20 20 20 20 63 61 74 63 68 73 71 6c  {.      catchsql
4220: 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74   { DELETE FROM t
4230: 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 3c 20  1 WHERE rowid < 
4240: 33 30 3b 20 7d 0a 20 20 20 20 7d 20 7b 31 20 7b  30; }.    } {1 {
4250: 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d  database disk im
4260: 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64  age is malformed
4270: 7d 7d 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d  }}.  }.}..#-----
4280: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
42a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
42b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
42c0: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68 61 74  ----.# Test that
42d0: 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74   PRAGMA integrit
42e0: 79 5f 63 68 65 63 6b 20 64 65 74 65 63 74 73 20  y_check detects 
42f0: 63 61 73 65 73 20 77 68 65 72 65 20 74 68 65 20  cases where the 
4300: 66 72 65 65 6c 69 73 74 2d 63 6f 75 6e 74 0a 23  freelist-count.#
4310: 20 68 65 61 64 65 72 20 66 69 65 6c 64 20 69 73   header field is
4320: 20 73 6d 61 6c 6c 65 72 20 74 68 61 6e 20 74 68   smaller than th
4330: 65 20 61 63 74 75 61 6c 20 6e 75 6d 62 65 72 20  e actual number 
4340: 6f 66 20 70 61 67 65 73 20 6f 6e 20 74 68 65 20  of pages on the 
4350: 66 72 65 65 6c 69 73 74 2e 0a 23 0a 0a 72 65 73  freelist..#..res
4360: 65 74 5f 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c  et_db.do_execsql
4370: 5f 74 65 73 74 20 31 34 2e 30 20 7b 0a 20 20 50  _test 14.0 {.  P
4380: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
4390: 6d 20 3d 20 30 3b 0a 20 20 43 52 45 41 54 45 20  m = 0;.  CREATE 
43a0: 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 49  TABLE t1(x);.  I
43b0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
43c0: 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f 62 28  LUES(randomblob(
43d0: 33 35 30 30 29 29 3b 0a 20 20 44 45 4c 45 54 45  3500));.  DELETE
43e0: 20 46 52 4f 4d 20 74 31 3b 0a 7d 0a 0a 64 6f 5f   FROM t1;.}..do_
43f0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 34 2e  execsql_test 14.
4400: 31 20 7b 0a 20 20 50 52 41 47 4d 41 20 69 6e 74  1 {.  PRAGMA int
4410: 65 67 72 69 74 79 5f 63 68 65 63 6b 3b 0a 20 20  egrity_check;.  
4420: 50 52 41 47 4d 41 20 66 72 65 65 6c 69 73 74 5f  PRAGMA freelist_
4430: 63 6f 75 6e 74 3b 0a 7d 20 7b 6f 6b 20 33 7d 0a  count;.} {ok 3}.
4440: 0a 23 20 54 68 65 72 65 20 61 72 65 20 6e 6f 77  .# There are now
4450: 20 33 20 66 72 65 65 20 70 61 67 65 73 2e 20 4d   3 free pages. M
4460: 6f 64 69 66 79 20 74 68 65 20 68 65 61 64 65 72  odify the header
4470: 2d 66 69 65 6c 64 20 73 6f 20 74 68 61 74 20 69  -field so that i
4480: 74 20 0a 23 20 28 69 6e 63 6f 72 72 65 63 74 6c  t .# (incorrectl
4490: 79 29 20 73 61 79 73 20 74 68 61 74 20 6a 75 73  y) says that jus
44a0: 74 20 32 20 61 72 65 20 66 72 65 65 2e 0a 64 6f  t 2 are free..do
44b0: 5f 74 65 73 74 20 31 34 2e 32 20 7b 0a 20 20 64  _test 14.2 {.  d
44c0: 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f  b close.  hexio_
44d0: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 33 36  write test.db 36
44e0: 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69   [hexio_render_i
44f0: 6e 74 33 32 20 32 5d 0a 20 20 73 71 6c 69 74 65  nt32 2].  sqlite
4500: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65  3 db test.db.  e
4510: 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20  xecsql { PRAGMA 
4520: 66 72 65 65 6c 69 73 74 5f 63 6f 75 6e 74 20 7d  freelist_count }
4530: 0a 7d 20 7b 32 7d 0a 0a 64 6f 5f 65 78 65 63 73  .} {2}..do_execs
4540: 71 6c 5f 74 65 73 74 20 31 34 2e 33 20 7b 0a 20  ql_test 14.3 {. 
4550: 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74   PRAGMA integrit
4560: 79 5f 63 68 65 63 6b 3b 0a 7d 20 7b 7b 2a 2a 2a  y_check;.} {{***
4570: 20 69 6e 20 64 61 74 61 62 61 73 65 20 6d 61 69   in database mai
4580: 6e 20 2a 2a 2a 0a 4d 61 69 6e 20 66 72 65 65 6c  n ***.Main freel
4590: 69 73 74 3a 20 73 69 7a 65 20 69 73 20 33 20 62  ist: size is 3 b
45a0: 75 74 20 73 68 6f 75 6c 64 20 62 65 20 32 7d 7d  ut should be 2}}
45b0: 0a 0a 23 20 55 73 65 20 32 20 6f 66 20 74 68 65  ..# Use 2 of the
45c0: 20 66 72 65 65 20 70 61 67 65 73 20 6f 6e 20 74   free pages on t
45d0: 68 65 20 66 72 65 65 2d 6c 69 73 74 2e 0a 23 0a  he free-list..#.
45e0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
45f0: 31 34 2e 34 20 7b 0a 20 20 49 4e 53 45 52 54 20  14.4 {.  INSERT 
4600: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 72  INTO t1 VALUES(r
4610: 61 6e 64 6f 6d 62 6c 6f 62 28 32 35 30 30 29 29  andomblob(2500))
4620: 3b 0a 20 20 50 52 41 47 4d 41 20 66 72 65 65 6c  ;.  PRAGMA freel
4630: 69 73 74 5f 63 6f 75 6e 74 3b 0a 7d 20 7b 30 7d  ist_count;.} {0}
4640: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
4650: 74 20 31 34 2e 35 20 7b 0a 20 20 50 52 41 47 4d  t 14.5 {.  PRAGM
4660: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
4670: 6b 3b 0a 7d 20 7b 7b 2a 2a 2a 20 69 6e 20 64 61  k;.} {{*** in da
4680: 74 61 62 61 73 65 20 6d 61 69 6e 20 2a 2a 2a 0a  tabase main ***.
4690: 4d 61 69 6e 20 66 72 65 65 6c 69 73 74 3a 20 73  Main freelist: s
46a0: 69 7a 65 20 69 73 20 31 20 62 75 74 20 73 68 6f  ize is 1 but sho
46b0: 75 6c 64 20 62 65 20 30 7d 7d 0a 0a 0a 66 69 6e  uld be 0}}...fin
46c0: 69 73 68 5f 74 65 73 74 0a 0a 66 69 6e 69 73 68  ish_test..finish
46d0: 5f 74 65 73 74 0a                                _test.