/ Hex Artifact Content
Login

Artifact 0d346c9fe064ca71281685a8a732fcc83461bb99:


0000: 23 20 32 30 30 34 20 41 75 67 75 73 74 20 33 30  # 2004 August 30
0010: 20 7b 7d 0a 23 0a 23 20 54 68 65 20 61 75 74 68   {}.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 0a 23 0a 23 20 54 68 69 73 20 66  rary..#.# This f
01b0: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74  ile implements t
01c0: 65 73 74 73 20 74 6f 20 6d 61 6b 65 20 73 75 72  ests to make sur
01d0: 65 20 53 51 4c 69 74 65 20 64 6f 65 73 20 6e 6f  e SQLite does no
01e0: 74 20 63 72 61 73 68 20 6f 72 0a 23 20 73 65 67  t crash or.# seg
01f0: 66 61 75 6c 74 20 69 66 20 69 74 20 73 65 65 73  fault if it sees
0200: 20 61 20 63 6f 72 72 75 70 74 20 64 61 74 61 62   a corrupt datab
0210: 61 73 65 20 66 69 6c 65 2e 0a 23 0a 23 20 24 49  ase file..#.# $I
0220: 64 3a 20 63 6f 72 72 75 70 74 2e 74 65 73 74 2c  d: corrupt.test,
0230: 76 20 31 2e 31 32 20 32 30 30 39 2f 30 37 2f 31  v 1.12 2009/07/1
0240: 33 20 30 39 3a 34 31 3a 34 35 20 64 61 6e 69 65  3 09:41:45 danie
0250: 6c 6b 31 39 37 37 20 45 78 70 20 24 0a 0a 63 61  lk1977 Exp $..ca
0260: 74 63 68 20 7b 66 69 6c 65 20 64 65 6c 65 74 65  tch {file delete
0270: 20 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20   -force test.db 
0280: 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 20  test.db-journal 
0290: 74 65 73 74 2e 62 75 7d 0a 0a 73 65 74 20 74 65  test.bu}..set te
02a0: 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e  stdir [file dirn
02b0: 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72  ame $argv0].sour
02c0: 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74  ce $testdir/test
02d0: 65 72 2e 74 63 6c 0a 0a 23 20 43 6f 6e 73 74 72  er.tcl..# Constr
02e0: 75 63 74 20 61 20 6c 61 72 67 65 20 64 61 74 61  uct a large data
02f0: 62 61 73 65 20 66 6f 72 20 74 65 73 74 69 6e 67  base for testing
0300: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  ..#.do_test corr
0310: 75 70 74 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63  upt-1.1 {.  exec
0320: 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b  sql {.    BEGIN;
0330: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0340: 45 20 74 31 28 78 29 3b 0a 20 20 20 20 49 4e 53  E t1(x);.    INS
0350: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0360: 45 53 28 72 61 6e 64 73 74 72 28 31 30 30 2c 31  ES(randstr(100,1
0370: 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  00));.    INSERT
0380: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0390: 72 61 6e 64 73 74 72 28 39 30 2c 39 30 29 29 3b  randstr(90,90));
03a0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
03b0: 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73   t1 VALUES(rands
03c0: 74 72 28 38 30 2c 38 30 29 29 3b 0a 20 20 20 20  tr(80,80));.    
03d0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
03e0: 45 4c 45 43 54 20 78 20 7c 7c 20 72 61 6e 64 73  ELECT x || rands
03f0: 74 72 28 35 2c 35 29 20 46 52 4f 4d 20 74 31 3b  tr(5,5) FROM t1;
0400: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0410: 20 74 31 20 53 45 4c 45 43 54 20 78 20 7c 7c 20   t1 SELECT x || 
0420: 72 61 6e 64 73 74 72 28 36 2c 36 29 20 46 52 4f  randstr(6,6) FRO
0430: 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  M t1;.    INSERT
0440: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
0450: 78 20 7c 7c 20 72 61 6e 64 73 74 72 28 37 2c 37  x || randstr(7,7
0460: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  ) FROM t1;.    I
0470: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0480: 4c 45 43 54 20 78 20 7c 7c 20 72 61 6e 64 73 74  LECT x || randst
0490: 72 28 38 2c 38 29 20 46 52 4f 4d 20 74 31 3b 0a  r(8,8) FROM t1;.
04a0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
04b0: 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74  t1 VALUES(randst
04c0: 72 28 33 30 30 30 2c 33 30 30 30 29 29 3b 0a 20  r(3000,3000));. 
04d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
04e0: 31 20 53 45 4c 45 43 54 20 78 20 7c 7c 20 72 61  1 SELECT x || ra
04f0: 6e 64 73 74 72 28 39 2c 39 29 20 46 52 4f 4d 20  ndstr(9,9) FROM 
0500: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
0510: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 78 20  NTO t1 SELECT x 
0520: 7c 7c 20 72 61 6e 64 73 74 72 28 31 30 2c 31 30  || randstr(10,10
0530: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49  ) FROM t1;.    I
0540: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0550: 4c 45 43 54 20 78 20 7c 7c 20 72 61 6e 64 73 74  LECT x || randst
0560: 72 28 31 31 2c 31 31 29 20 46 52 4f 4d 20 74 31  r(11,11) FROM t1
0570: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0580: 4f 20 74 31 20 53 45 4c 45 43 54 20 78 20 7c 7c  O t1 SELECT x ||
0590: 20 72 61 6e 64 73 74 72 28 31 32 2c 31 32 29 20   randstr(12,12) 
05a0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43 52 45  FROM t1;.    CRE
05b0: 41 54 45 20 49 4e 44 45 58 20 74 31 69 31 20 4f  ATE INDEX t1i1 O
05c0: 4e 20 74 31 28 78 29 3b 0a 20 20 20 20 43 52 45  N t1(x);.    CRE
05d0: 41 54 45 20 54 41 42 4c 45 20 74 32 20 41 53 20  ATE TABLE t2 AS 
05e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
05f0: 3b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  ;.    DELETE FRO
0600: 4d 20 74 32 20 57 48 45 52 45 20 72 6f 77 69 64  M t2 WHERE rowid
0610: 25 35 21 3d 30 3b 0a 20 20 20 20 43 4f 4d 4d 49  %5!=0;.    COMMI
0620: 54 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 69 6e 74 65  T;.  }.} {}.inte
0630: 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f 72 72  grity_check corr
0640: 75 70 74 2d 31 2e 32 0a 0a 23 20 43 6f 70 79 20  upt-1.2..# Copy 
0650: 66 69 6c 65 20 24 66 72 6f 6d 20 69 6e 74 6f 20  file $from into 
0660: 24 74 6f 0a 23 0a 70 72 6f 63 20 63 6f 70 79 5f  $to.#.proc copy_
0670: 66 69 6c 65 20 7b 66 72 6f 6d 20 74 6f 7d 20 7b  file {from to} {
0680: 0a 20 20 73 65 74 20 66 20 5b 6f 70 65 6e 20 24  .  set f [open $
0690: 66 72 6f 6d 5d 0a 20 20 66 63 6f 6e 66 69 67 75  from].  fconfigu
06a0: 72 65 20 24 66 20 2d 74 72 61 6e 73 6c 61 74 69  re $f -translati
06b0: 6f 6e 20 62 69 6e 61 72 79 0a 20 20 73 65 74 20  on binary.  set 
06c0: 74 20 5b 6f 70 65 6e 20 24 74 6f 20 77 5d 0a 20  t [open $to w]. 
06d0: 20 66 63 6f 6e 66 69 67 75 72 65 20 24 74 20 2d   fconfigure $t -
06e0: 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61  translation bina
06f0: 72 79 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77  ry.  puts -nonew
0700: 6c 69 6e 65 20 24 74 20 5b 72 65 61 64 20 24 66  line $t [read $f
0710: 20 5b 66 69 6c 65 20 73 69 7a 65 20 24 66 72 6f   [file size $fro
0720: 6d 5d 5d 0a 20 20 63 6c 6f 73 65 20 24 74 0a 20  m]].  close $t. 
0730: 20 63 6c 6f 73 65 20 24 66 0a 7d 0a 0a 23 20 53   close $f.}..# S
0740: 65 74 75 70 20 66 6f 72 20 74 68 65 20 74 65 73  etup for the tes
0750: 74 73 2e 20 20 4d 61 6b 65 20 61 20 62 61 63 6b  ts.  Make a back
0760: 75 70 20 63 6f 70 79 20 6f 66 20 74 68 65 20 67  up copy of the g
0770: 6f 6f 64 20 64 61 74 61 62 61 73 65 20 69 6e 20  ood database in 
0780: 74 65 73 74 2e 62 75 2e 0a 23 20 43 72 65 61 74  test.bu..# Creat
0790: 65 20 61 20 73 74 72 69 6e 67 20 6f 66 20 67 61  e a string of ga
07a0: 72 62 61 67 65 20 64 61 74 61 20 74 68 61 74 20  rbage data that 
07b0: 69 73 20 32 35 36 20 62 79 74 65 73 20 6c 6f 6e  is 256 bytes lon
07c0: 67 2e 0a 23 0a 63 6f 70 79 5f 66 69 6c 65 20 74  g..#.copy_file t
07d0: 65 73 74 2e 64 62 20 74 65 73 74 2e 62 75 0a 73  est.db test.bu.s
07e0: 65 74 20 66 73 69 7a 65 20 5b 66 69 6c 65 20 73  et fsize [file s
07f0: 69 7a 65 20 74 65 73 74 2e 64 62 5d 0a 73 65 74  ize test.db].set
0800: 20 6a 75 6e 6b 20 22 61 62 63 64 65 66 67 68 69   junk "abcdefghi
0810: 6a 6b 6c 6d 6e 6f 70 71 72 73 74 75 76 77 78 79  jklmnopqrstuvwxy
0820: 7a 30 31 32 33 34 35 36 37 38 39 41 42 43 44 45  z0123456789ABCDE
0830: 46 47 48 49 4a 4b 4c 4d 4e 4f 50 51 52 53 54 55  FGHIJKLMNOPQRSTU
0840: 56 57 58 59 5a 22 0a 77 68 69 6c 65 20 7b 5b 73  VWXYZ".while {[s
0850: 74 72 69 6e 67 20 6c 65 6e 67 74 68 20 24 6a 75  tring length $ju
0860: 6e 6b 5d 3c 32 35 36 7d 20 7b 61 70 70 65 6e 64  nk]<256} {append
0870: 20 6a 75 6e 6b 20 24 6a 75 6e 6b 7d 0a 73 65 74   junk $junk}.set
0880: 20 6a 75 6e 6b 20 5b 73 74 72 69 6e 67 20 72 61   junk [string ra
0890: 6e 67 65 20 24 6a 75 6e 6b 20 30 20 32 35 35 5d  nge $junk 0 255]
08a0: 0a 0a 23 20 47 6f 20 74 68 72 6f 75 67 68 20 74  ..# Go through t
08b0: 68 65 20 64 61 74 61 62 61 73 65 20 61 6e 64 20  he database and 
08c0: 77 72 69 74 65 20 67 61 72 62 61 67 65 20 64 61  write garbage da
08d0: 74 61 20 69 6e 74 6f 20 65 61 63 68 20 32 35 36  ta into each 256
08e0: 20 73 65 67 6d 65 6e 74 0a 23 20 6f 66 20 74 68   segment.# of th
08f0: 65 20 66 69 6c 65 2e 20 20 54 68 65 6e 20 64 6f  e file.  Then do
0900: 20 76 61 72 69 6f 75 73 20 6f 70 65 72 61 74 69   various operati
0910: 6f 6e 73 20 6f 6e 20 74 68 65 20 66 69 6c 65 20  ons on the file 
0920: 74 6f 20 6d 61 6b 65 20 73 75 72 65 20 74 68 61  to make sure tha
0930: 74 0a 23 20 74 68 65 20 64 61 74 61 62 61 73 65  t.# the database
0940: 20 65 6e 67 69 6e 65 20 63 61 6e 20 72 65 63 6f   engine can reco
0950: 76 65 72 20 67 72 61 63 65 66 75 6c 6c 79 20 66  ver gracefully f
0960: 72 6f 6d 20 74 68 65 20 63 6f 72 72 75 70 74 69  rom the corrupti
0970: 6f 6e 2e 0a 23 0a 66 6f 72 20 7b 73 65 74 20 69  on..#.for {set i
0980: 20 5b 65 78 70 72 20 7b 31 2a 32 35 36 7d 5d 7d   [expr {1*256}]}
0990: 20 7b 24 69 3c 24 66 73 69 7a 65 2d 32 35 36 7d   {$i<$fsize-256}
09a0: 20 7b 69 6e 63 72 20 69 20 32 35 36 7d 20 7b 0a   {incr i 256} {.
09b0: 20 20 73 65 74 20 74 6e 20 5b 65 78 70 72 20 7b    set tn [expr {
09c0: 24 69 2f 32 35 36 7d 5d 0a 20 20 64 62 20 63 6c  $i/256}].  db cl
09d0: 6f 73 65 0a 20 20 63 6f 70 79 5f 66 69 6c 65 20  ose.  copy_file 
09e0: 74 65 73 74 2e 62 75 20 74 65 73 74 2e 64 62 0a  test.bu test.db.
09f0: 20 20 73 65 74 20 66 64 20 5b 6f 70 65 6e 20 74    set fd [open t
0a00: 65 73 74 2e 64 62 20 72 2b 5d 0a 20 20 66 63 6f  est.db r+].  fco
0a10: 6e 66 69 67 75 72 65 20 24 66 64 20 2d 74 72 61  nfigure $fd -tra
0a20: 6e 73 6c 61 74 69 6f 6e 20 62 69 6e 61 72 79 0a  nslation binary.
0a30: 20 20 73 65 65 6b 20 24 66 64 20 24 69 0a 20 20    seek $fd $i.  
0a40: 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e 65 20  puts -nonewline 
0a50: 24 66 64 20 24 6a 75 6e 6b 0a 20 20 63 6c 6f 73  $fd $junk.  clos
0a60: 65 20 24 66 64 0a 20 20 64 6f 5f 74 65 73 74 20  e $fd.  do_test 
0a70: 63 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e 31 20  corrupt-2.$tn.1 
0a80: 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 20 64 62  {.    sqlite3 db
0a90: 20 74 65 73 74 2e 64 62 0a 20 20 20 20 63 61 74   test.db.    cat
0aa0: 63 68 73 71 6c 20 7b 53 45 4c 45 43 54 20 63 6f  chsql {SELECT co
0ab0: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 73 71 6c 69  unt(*) FROM sqli
0ac0: 74 65 5f 6d 61 73 74 65 72 7d 0a 20 20 20 20 73  te_master}.    s
0ad0: 65 74 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 20  et x {}.  } {}. 
0ae0: 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74   do_test corrupt
0af0: 2d 32 2e 24 74 6e 2e 32 20 7b 0a 20 20 20 20 63  -2.$tn.2 {.    c
0b00: 61 74 63 68 73 71 6c 20 7b 53 45 4c 45 43 54 20  atchsql {SELECT 
0b10: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31  count(*) FROM t1
0b20: 7d 0a 20 20 20 20 73 65 74 20 78 20 7b 7d 0a 20  }.    set x {}. 
0b30: 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20   } {}.  do_test 
0b40: 63 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e 33 20  corrupt-2.$tn.3 
0b50: 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b  {.    catchsql {
0b60: 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20  SELECT count(*) 
0b70: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 78 3e  FROM t1 WHERE x>
0b80: 27 61 62 63 64 65 66 27 7d 0a 20 20 20 20 73 65  'abcdef'}.    se
0b90: 74 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 20 20  t x {}.  } {}.  
0ba0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d  do_test corrupt-
0bb0: 32 2e 24 74 6e 2e 34 20 7b 0a 20 20 20 20 63 61  2.$tn.4 {.    ca
0bc0: 74 63 68 73 71 6c 20 7b 53 45 4c 45 43 54 20 63  tchsql {SELECT c
0bd0: 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 32 7d  ount(*) FROM t2}
0be0: 0a 20 20 20 20 73 65 74 20 78 20 7b 7d 0a 20 20  .    set x {}.  
0bf0: 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63  } {}.  do_test c
0c00: 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e 35 20 7b  orrupt-2.$tn.5 {
0c10: 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 43  .    catchsql {C
0c20: 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 20 41  REATE TABLE t3 A
0c30: 53 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  S SELECT * FROM 
0c40: 74 31 7d 0a 20 20 20 20 73 65 74 20 78 20 7b 7d  t1}.    set x {}
0c50: 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73  .  } {}.  do_tes
0c60: 74 20 63 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e  t corrupt-2.$tn.
0c70: 36 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c  6 {.    catchsql
0c80: 20 7b 44 52 4f 50 20 54 41 42 4c 45 20 74 31 7d   {DROP TABLE t1}
0c90: 0a 20 20 20 20 73 65 74 20 78 20 7b 7d 0a 20 20  .    set x {}.  
0ca0: 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63  } {}.  do_test c
0cb0: 6f 72 72 75 70 74 2d 32 2e 24 74 6e 2e 37 20 7b  orrupt-2.$tn.7 {
0cc0: 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 50  .    catchsql {P
0cd0: 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f  RAGMA integrity_
0ce0: 63 68 65 63 6b 7d 0a 20 20 20 20 73 65 74 20 78  check}.    set x
0cf0: 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 0a 20 20 23 20   {}.  } {}..  # 
0d00: 43 68 65 63 6b 20 74 68 61 74 20 6e 6f 20 70 61  Check that no pa
0d10: 67 65 20 72 65 66 65 72 65 6e 63 65 73 20 77 65  ge references we
0d20: 72 65 20 6c 65 61 6b 65 64 2e 0a 20 20 64 6f 5f  re leaked..  do_
0d30: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 32 2e 24  test corrupt-2.$
0d40: 74 6e 2e 38 20 7b 0a 20 20 20 20 73 65 74 20 62  tn.8 {.    set b
0d50: 74 20 5b 62 74 72 65 65 5f 66 72 6f 6d 5f 64 62  t [btree_from_db
0d60: 20 64 62 5d 0a 20 20 20 20 64 62 5f 65 6e 74 65   db].    db_ente
0d70: 72 20 64 62 0a 20 20 20 20 61 72 72 61 79 20 73  r db.    array s
0d80: 65 74 20 73 74 61 74 73 20 5b 62 74 72 65 65 5f  et stats [btree_
0d90: 70 61 67 65 72 5f 73 74 61 74 73 20 24 62 74 5d  pager_stats $bt]
0da0: 0a 20 20 20 20 64 62 5f 6c 65 61 76 65 20 64 62  .    db_leave db
0db0: 0a 20 20 20 20 73 65 74 20 73 74 61 74 73 28 72  .    set stats(r
0dc0: 65 66 29 0a 20 20 7d 20 7b 30 7d 0a 7d 20 20 0a  ef).  } {0}.}  .
0dd0: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
0de0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0df0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0e10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 46 6f 72  ----------.# For
0e20: 20 74 68 65 73 65 20 74 65 73 74 73 2c 20 73 77   these tests, sw
0e30: 61 70 20 74 68 65 20 72 6f 6f 74 70 61 67 65 20  ap the rootpage 
0e40: 65 6e 74 72 69 65 73 20 6f 66 20 74 31 20 28 61  entries of t1 (a
0e50: 20 74 61 62 6c 65 29 20 61 6e 64 20 74 31 69 31   table) and t1i1
0e60: 20 28 61 6e 0a 23 20 69 6e 64 65 78 20 6f 6e 20   (an.# index on 
0e70: 74 31 29 20 69 6e 20 73 71 6c 69 74 65 5f 6d 61  t1) in sqlite_ma
0e80: 73 74 65 72 2e 20 54 68 65 6e 20 70 65 72 66 6f  ster. Then perfo
0e90: 72 6d 20 61 20 66 65 77 20 64 69 66 66 65 72 65  rm a few differe
0ea0: 6e 74 20 71 75 65 72 69 65 73 0a 23 20 61 6e 64  nt queries.# and
0eb0: 20 6d 61 6b 65 20 73 75 72 65 20 74 68 69 73 20   make sure this 
0ec0: 69 73 20 64 65 74 65 63 74 65 64 20 61 73 20 63  is detected as c
0ed0: 6f 72 72 75 70 74 69 6f 6e 2e 0a 23 0a 64 6f 5f  orruption..#.do_
0ee0: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 33 2e 31  test corrupt-3.1
0ef0: 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20   {.  db close.  
0f00: 63 6f 70 79 5f 66 69 6c 65 20 74 65 73 74 2e 62  copy_file test.b
0f10: 75 20 74 65 73 74 2e 64 62 0a 20 20 73 71 6c 69  u test.db.  sqli
0f20: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
0f30: 20 6c 69 73 74 0a 7d 20 7b 7d 0a 64 6f 5f 74 65   list.} {}.do_te
0f40: 73 74 20 63 6f 72 72 75 70 74 2d 33 2e 32 20 7b  st corrupt-3.2 {
0f50: 0a 20 20 73 65 74 20 74 31 5f 72 20 5b 65 78 65  .  set t1_r [exe
0f60: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f 6f  csql {SELECT roo
0f70: 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74  tpage FROM sqlit
0f80: 65 5f 6d 61 73 74 65 72 20 57 48 45 52 45 20 6e  e_master WHERE n
0f90: 61 6d 65 20 3d 20 27 74 31 69 31 27 7d 5d 0a 20  ame = 't1i1'}]. 
0fa0: 20 73 65 74 20 74 31 69 31 5f 72 20 5b 65 78 65   set t1i1_r [exe
0fb0: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f 6f  csql {SELECT roo
0fc0: 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74  tpage FROM sqlit
0fd0: 65 5f 6d 61 73 74 65 72 20 57 48 45 52 45 20 6e  e_master WHERE n
0fe0: 61 6d 65 20 3d 20 27 74 31 27 7d 5d 0a 20 20 73  ame = 't1'}].  s
0ff0: 65 74 20 63 6f 6f 6b 69 65 20 5b 65 78 70 72 20  et cookie [expr 
1000: 5b 65 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41  [execsql {PRAGMA
1010: 20 73 63 68 65 6d 61 5f 76 65 72 73 69 6f 6e 7d   schema_version}
1020: 5d 20 2b 20 31 5d 0a 20 20 65 78 65 63 73 71 6c  ] + 1].  execsql
1030: 20 22 0a 20 20 20 20 50 52 41 47 4d 41 20 77 72   ".    PRAGMA wr
1040: 69 74 61 62 6c 65 5f 73 63 68 65 6d 61 20 3d 20  itable_schema = 
1050: 31 3b 0a 20 20 20 20 55 50 44 41 54 45 20 73 71  1;.    UPDATE sq
1060: 6c 69 74 65 5f 6d 61 73 74 65 72 20 53 45 54 20  lite_master SET 
1070: 72 6f 6f 74 70 61 67 65 20 3d 20 24 74 31 5f 72  rootpage = $t1_r
1080: 20 57 48 45 52 45 20 6e 61 6d 65 20 3d 20 27 74   WHERE name = 't
1090: 31 27 3b 0a 20 20 20 20 55 50 44 41 54 45 20 73  1';.    UPDATE s
10a0: 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 53 45 54  qlite_master SET
10b0: 20 72 6f 6f 74 70 61 67 65 20 3d 20 24 74 31 69   rootpage = $t1i
10c0: 31 5f 72 20 57 48 45 52 45 20 6e 61 6d 65 20 3d  1_r WHERE name =
10d0: 20 27 74 31 69 31 27 3b 0a 20 20 20 20 50 52 41   't1i1';.    PRA
10e0: 47 4d 41 20 77 72 69 74 61 62 6c 65 5f 73 63 68  GMA writable_sch
10f0: 65 6d 61 20 3d 20 30 3b 0a 20 20 20 20 50 52 41  ema = 0;.    PRA
1100: 47 4d 41 20 73 63 68 65 6d 61 5f 76 65 72 73 69  GMA schema_versi
1110: 6f 6e 20 3d 20 24 63 6f 6f 6b 69 65 3b 0a 20 20  on = $cookie;.  
1120: 22 0a 7d 20 7b 7d 0a 0a 23 20 54 68 69 73 20 6f  ".} {}..# This o
1130: 6e 65 20 74 65 73 74 73 20 74 68 65 20 63 61 73  ne tests the cas
1140: 65 20 63 61 75 67 68 74 20 62 79 20 63 6f 64 65  e caught by code
1150: 20 69 6e 20 63 68 65 63 6b 69 6e 20 5b 32 33 31   in checkin [231
1160: 33 5d 2e 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  3]..do_test corr
1170: 75 70 74 2d 33 2e 33 20 7b 0a 20 20 64 62 20 63  upt-3.3 {.  db c
1180: 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64  lose.  sqlite3 d
1190: 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63  b test.db.  catc
11a0: 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  hsql {.    INSER
11b0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
11c0: 28 27 61 62 63 27 29 3b 0a 20 20 7d 0a 7d 20 7b  ('abc');.  }.} {
11d0: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
11e0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
11f0: 6d 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 63 6f  med}}.do_test co
1200: 72 72 75 70 74 2d 33 2e 34 20 7b 0a 20 20 64 62  rrupt-3.4 {.  db
1210: 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33   close.  sqlite3
1220: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
1230: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
1240: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20  ECT * FROM t1;. 
1250: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
1260: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
1270: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 64 6f 5f 74  malformed}}.do_t
1280: 65 73 74 20 63 6f 72 72 75 70 74 2d 33 2e 35 20  est corrupt-3.5 
1290: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73  {.  db close.  s
12a0: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
12b0: 62 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  b.  catchsql {. 
12c0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
12d0: 20 74 31 20 57 48 45 52 45 20 6f 69 64 20 3d 20   t1 WHERE oid = 
12e0: 31 30 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64 61  10;.  }.} {1 {da
12f0: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
1300: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
1310: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
1320: 2d 33 2e 36 20 7b 0a 20 20 64 62 20 63 6c 6f 73  -3.6 {.  db clos
1330: 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74  e.  sqlite3 db t
1340: 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71  est.db.  catchsq
1350: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  l {.    SELECT *
1360: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 78   FROM t1 WHERE x
1370: 20 3d 20 27 61 62 63 64 65 27 3b 0a 20 20 7d 0a   = 'abcde';.  }.
1380: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
1390: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
13a0: 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73  formed}}..do_tes
13b0: 74 20 63 6f 72 72 75 70 74 2d 34 2e 31 20 7b 0a  t corrupt-4.1 {.
13c0: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c    db close.  fil
13d0: 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65 20  e delete -force 
13e0: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d  test.db test.db-
13f0: 6a 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65  journal.  sqlite
1400: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65  3 db test.db.  e
1410: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
1420: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
1430: 31 30 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45  1024;.    CREATE
1440: 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45   TABLE t1(a INTE
1450: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c  GER PRIMARY KEY,
1460: 20 62 20 54 45 58 54 29 3b 0a 20 20 7d 0a 20 20   b TEXT);.  }.  
1470: 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24  for {set i 0} {$
1480: 69 20 3c 20 31 30 7d 20 7b 69 6e 63 72 20 69 7d  i < 10} {incr i}
1490: 20 7b 0a 20 20 20 20 73 65 74 20 74 65 78 74 20   {.    set text 
14a0: 5b 73 74 72 69 6e 67 20 72 65 70 65 61 74 20 24  [string repeat $
14b0: 69 20 32 32 30 5d 0a 20 20 20 20 65 78 65 63 73  i 220].    execs
14c0: 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f  ql { INSERT INTO
14d0: 20 74 31 20 56 41 4c 55 45 53 28 24 69 2c 20 24   t1 VALUES($i, $
14e0: 74 65 78 74 29 20 7d 0a 20 20 7d 0a 20 20 65 78  text) }.  }.  ex
14f0: 65 63 73 71 6c 20 7b 20 43 52 45 41 54 45 20 49  ecsql { CREATE I
1500: 4e 44 45 58 20 69 31 20 4f 4e 20 74 31 28 62 29  NDEX i1 ON t1(b)
1510: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20   }.} {}.do_test 
1520: 63 6f 72 72 75 70 74 2d 34 2e 32 20 7b 0a 20 20  corrupt-4.2 {.  
1530: 73 65 74 20 69 52 6f 6f 74 20 5b 64 62 20 6f 6e  set iRoot [db on
1540: 65 20 7b 53 45 4c 45 43 54 20 72 6f 6f 74 70 61  e {SELECT rootpa
1550: 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d  ge FROM sqlite_m
1560: 61 73 74 65 72 20 57 48 45 52 45 20 6e 61 6d 65  aster WHERE name
1570: 20 3d 20 27 69 31 27 7d 5d 0a 20 20 73 65 74 20   = 'i1'}].  set 
1580: 69 4f 66 66 73 65 74 20 5b 68 65 78 69 6f 5f 67  iOffset [hexio_g
1590: 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65  et_int [hexio_re
15a0: 61 64 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72  ad test.db [expr
15b0: 20 31 32 2b 28 24 69 52 6f 6f 74 2d 31 29 2a 31   12+($iRoot-1)*1
15c0: 30 32 34 5d 20 32 5d 5d 0a 20 20 73 65 74 20 64  024] 2]].  set d
15d0: 61 74 61 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65  ata [hexio_rende
15e0: 72 5f 69 6e 74 33 32 20 5b 65 78 70 72 20 24 69  r_int32 [expr $i
15f0: 52 6f 6f 74 20 2d 20 31 5d 5d 0a 20 20 68 65 78  Root - 1]].  hex
1600: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
1610: 20 5b 65 78 70 72 20 28 24 69 52 6f 6f 74 2d 31   [expr ($iRoot-1
1620: 29 2a 31 30 32 34 20 2b 20 24 69 4f 66 66 73 65  )*1024 + $iOffse
1630: 74 5d 20 24 64 61 74 61 0a 20 20 64 62 20 63 6c  t] $data.  db cl
1640: 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62  ose.  sqlite3 db
1650: 20 74 65 73 74 2e 64 62 0a 0a 20 20 23 20 54 68   test.db..  # Th
1660: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 44 45 4c 45  e following DELE
1670: 54 45 20 73 74 61 74 65 6d 65 6e 74 20 61 74 74  TE statement att
1680: 65 6d 70 74 73 20 74 6f 20 64 65 6c 65 74 65 20  empts to delete 
1690: 61 20 63 65 6c 6c 20 73 74 6f 72 65 64 20 6f 6e  a cell stored on
16a0: 20 74 68 65 0a 20 20 23 20 72 6f 6f 74 20 70 61   the.  # root pa
16b0: 67 65 20 6f 66 20 69 6e 64 65 78 20 69 31 2e 20  ge of index i1. 
16c0: 41 66 74 65 72 20 74 68 69 73 20 63 65 6c 6c 20  After this cell 
16d0: 69 73 20 64 65 6c 65 74 65 64 20 69 74 20 6d 75  is deleted it mu
16e0: 73 74 20 62 65 20 72 65 70 6c 61 63 65 64 0a 20  st be replaced. 
16f0: 20 23 20 62 79 20 61 20 63 65 6c 6c 20 72 65 74   # by a cell ret
1700: 72 69 65 76 65 64 20 66 72 6f 6d 20 74 68 65 20  rieved from the 
1710: 63 68 69 6c 64 20 70 61 67 65 20 28 61 20 6c 65  child page (a le
1720: 61 66 29 20 6f 66 20 74 68 65 20 64 65 6c 65 74  af) of the delet
1730: 65 64 20 63 65 6c 6c 2e 0a 20 20 23 20 54 68 69  ed cell..  # Thi
1740: 73 20 77 69 6c 6c 20 66 61 69 6c 2c 20 61 73 20  s will fail, as 
1750: 74 68 65 20 62 6c 6f 63 6b 20 6d 6f 64 69 66 69  the block modifi
1760: 65 64 20 74 68 65 20 64 61 74 61 62 61 73 65 20  ed the database 
1770: 69 6d 61 67 65 20 73 6f 20 74 68 61 74 20 74 68  image so that th
1780: 65 0a 20 20 23 20 63 68 69 6c 64 20 70 61 67 65  e.  # child page
1790: 20 6f 66 20 74 68 65 20 64 65 6c 65 74 65 64 20   of the deleted 
17a0: 63 65 6c 6c 20 69 73 20 66 72 6f 6d 20 61 20 74  cell is from a t
17b0: 61 62 6c 65 20 28 69 6e 74 6b 65 79 29 20 62 2d  able (intkey) b-
17c0: 74 72 65 65 2c 20 6e 6f 74 20 61 6e 0a 20 20 23  tree, not an.  #
17d0: 20 69 6e 64 65 78 20 62 2d 74 72 65 65 20 61 73   index b-tree as
17e0: 20 65 78 70 65 63 74 65 64 2e 20 41 74 20 6f 6e   expected. At on
17f0: 65 20 70 6f 69 6e 74 20 74 68 69 73 20 77 61 73  e point this was
1800: 20 63 61 75 73 69 6e 67 20 61 6e 20 61 73 73 65   causing an asse
1810: 72 74 28 29 0a 20 20 23 20 74 6f 20 66 61 69 6c  rt().  # to fail
1820: 2e 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 44  ..  catchsql { D
1830: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48  ELETE FROM t1 WH
1840: 45 52 45 20 72 6f 77 69 64 20 3d 20 33 20 7d 0a  ERE rowid = 3 }.
1850: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
1860: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
1870: 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73  formed}}..do_tes
1880: 74 20 63 6f 72 72 75 70 74 2d 35 2e 31 20 7b 0a  t corrupt-5.1 {.
1890: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c    db close.  fil
18a0: 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65 20  e delete -force 
18b0: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d  test.db test.db-
18c0: 6a 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65  journal.  sqlite
18d0: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 20 20  3 db test.db..  
18e0: 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41  execsql { PRAGMA
18f0: 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32   page_size = 102
1900: 34 20 7d 0a 20 20 73 65 74 20 63 74 20 22 43 52  4 }.  set ct "CR
1910: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 63 30  EATE TABLE t1(c0
1920: 20 22 0a 20 20 73 65 74 20 69 20 30 0a 20 20 77   ".  set i 0.  w
1930: 68 69 6c 65 20 7b 5b 73 74 72 69 6e 67 20 6c 65  hile {[string le
1940: 6e 67 74 68 20 24 63 74 5d 20 3c 20 39 35 30 7d  ngth $ct] < 950}
1950: 20 7b 20 61 70 70 65 6e 64 20 63 74 20 22 2c 20   { append ct ", 
1960: 63 5b 69 6e 63 72 20 69 5d 22 20 7d 0a 20 20 61  c[incr i]" }.  a
1970: 70 70 65 6e 64 20 63 74 20 22 29 22 0a 20 20 65  ppend ct ")".  e
1980: 78 65 63 73 71 6c 20 24 63 74 0a 7d 20 7b 7d 0a  xecsql $ct.} {}.
1990: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
19a0: 2d 35 2e 32 20 7b 0a 20 20 64 62 20 63 6c 6f 73  -5.2 {.  db clos
19b0: 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  e.  hexio_write 
19c0: 74 65 73 74 2e 64 62 20 31 30 38 20 30 30 30 30  test.db 108 0000
19d0: 30 30 30 30 20 0a 20 20 73 71 6c 69 74 65 33 20  0000 .  sqlite3 
19e0: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74  db test.db.  cat
19f0: 63 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a  chsql { SELECT *
1a00: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
1a10: 74 65 72 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61  ter }.} {1 {data
1a20: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
1a30: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a  is malformed}}..
1a40: 23 20 41 74 20 6f 6e 65 20 70 6f 69 6e 74 2c 20  # At one point, 
1a50: 74 68 65 20 73 70 65 63 69 66 69 63 20 63 6f 72  the specific cor
1a60: 72 75 70 74 69 6f 6e 20 63 61 75 73 65 64 20 62  ruption caused b
1a70: 79 20 74 68 69 73 20 74 65 73 74 20 63 61 73 65  y this test case
1a80: 20 77 61 73 0a 23 20 63 61 75 73 69 6e 67 20 61   was.# causing a
1a90: 20 62 75 66 66 65 72 20 6f 76 65 72 77 72 69 74   buffer overwrit
1aa0: 65 2e 20 41 6c 74 68 6f 75 67 68 20 61 20 63 72  e. Although a cr
1ab0: 61 73 68 20 77 61 73 20 6e 65 76 65 72 20 64 65  ash was never de
1ac0: 6d 6f 6e 73 74 72 61 74 65 64 2c 0a 23 20 72 75  monstrated,.# ru
1ad0: 6e 6e 69 6e 67 20 74 68 69 73 20 74 65 73 74 63  nning this testc
1ae0: 61 73 65 20 75 6e 64 65 72 20 76 61 6c 67 72 69  ase under valgri
1af0: 6e 64 20 72 65 76 65 61 6c 65 64 20 74 68 65 20  nd revealed the 
1b00: 70 72 6f 62 6c 65 6d 2e 0a 64 6f 5f 74 65 73 74  problem..do_test
1b10: 20 63 6f 72 72 75 70 74 2d 36 2e 31 20 7b 0a 20   corrupt-6.1 {. 
1b20: 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c 65   db close.  file
1b30: 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65 20 74   delete -force t
1b40: 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a  est.db test.db-j
1b50: 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65 33  ournal.  sqlite3
1b60: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65 78   db test.db.  ex
1b70: 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 50 52 41  ecsql { .    PRA
1b80: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
1b90: 31 30 32 34 3b 20 43 52 45 41 54 45 20 54 41 42  1024; CREATE TAB
1ba0: 4c 45 20 74 31 28 78 29 3b 0a 20 20 7d 0a 0a 20  LE t1(x);.  }.. 
1bb0: 20 23 20 54 68 65 20 72 6f 6f 74 20 70 61 67 65   # The root page
1bc0: 20 6f 66 20 74 31 20 69 73 20 31 30 32 34 20 62   of t1 is 1024 b
1bd0: 79 74 65 73 20 69 6e 20 73 69 7a 65 2e 20 54 68  ytes in size. Th
1be0: 65 20 68 65 61 64 65 72 20 69 73 20 38 20 62 79  e header is 8 by
1bf0: 74 65 73 2c 20 61 6e 64 0a 20 20 23 20 65 61 63  tes, and.  # eac
1c00: 68 20 6f 66 20 74 68 65 20 63 65 6c 6c 73 20 69  h of the cells i
1c10: 6e 73 65 72 74 65 64 20 62 79 20 74 68 65 20 66  nserted by the f
1c20: 6f 6c 6c 6f 77 69 6e 67 20 49 4e 53 45 52 54 20  ollowing INSERT 
1c30: 73 74 61 74 65 6d 65 6e 74 73 20 63 6f 6e 73 75  statements consu
1c40: 6d 65 0a 20 20 23 20 31 36 20 62 79 74 65 73 20  me.  # 16 bytes 
1c50: 28 69 6e 63 6c 75 64 69 6e 67 20 74 68 65 20 32  (including the 2
1c60: 20 62 79 74 65 20 63 65 6c 6c 2d 6f 66 66 73 65   byte cell-offse
1c70: 74 20 61 72 72 61 79 20 65 6e 74 72 79 29 2e 20  t array entry). 
1c80: 53 6f 20 74 68 65 20 70 61 67 65 0a 20 20 23 20  So the page.  # 
1c90: 63 61 6e 20 63 6f 6e 74 61 69 6e 20 75 70 20 74  can contain up t
1ca0: 6f 20 36 33 20 63 65 6c 6c 73 2e 0a 20 20 66 6f  o 63 cells..  fo
1cb0: 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24 69 20  r {set i 0} {$i 
1cc0: 3c 20 36 33 7d 20 7b 69 6e 63 72 20 69 7d 20 7b  < 63} {incr i} {
1cd0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 49  .    execsql { I
1ce0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
1cf0: 4c 55 45 53 28 20 72 61 6e 64 6f 6d 62 6c 6f 62  LUES( randomblob
1d00: 28 31 30 29 20 29 20 7d 0a 20 20 7d 0a 0a 20 20  (10) ) }.  }..  
1d10: 23 20 46 72 65 65 20 74 68 65 20 63 65 6c 6c 20  # Free the cell 
1d20: 73 74 6f 72 65 64 20 72 69 67 68 74 20 61 74 20  stored right at 
1d30: 74 68 65 20 65 6e 64 20 6f 66 20 74 68 65 20 70  the end of the p
1d40: 61 67 65 20 28 61 74 20 6f 66 66 73 65 74 20 70  age (at offset p
1d50: 67 73 7a 2d 31 34 29 2e 0a 20 20 65 78 65 63 73  gsz-14)..  execs
1d60: 71 6c 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d  ql { DELETE FROM
1d70: 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64 3d   t1 WHERE rowid=
1d80: 31 20 7d 0a 20 20 73 65 74 20 72 6f 6f 74 70 61  1 }.  set rootpa
1d90: 67 65 20 5b 64 62 20 6f 6e 65 20 7b 53 45 4c 45  ge [db one {SELE
1da0: 43 54 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d  CT rootpage FROM
1db0: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 57   sqlite_master W
1dc0: 48 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 31 27  HERE name = 't1'
1dd0: 7d 5d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 0a 20  }].  db close.. 
1de0: 20 73 65 74 20 6f 66 66 73 65 74 20 5b 65 78 70   set offset [exp
1df0: 72 20 28 24 72 6f 6f 74 70 61 67 65 20 2a 20 31  r ($rootpage * 1
1e00: 30 32 34 29 2d 31 34 2b 32 5d 0a 20 20 68 65 78  024)-14+2].  hex
1e10: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
1e20: 20 24 6f 66 66 73 65 74 20 30 30 46 46 0a 20 20   $offset 00FF.  
1e30: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
1e40: 64 62 20 0a 0a 20 20 63 61 74 63 68 73 71 6c 20  db ..  catchsql 
1e50: 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31  { INSERT INTO t1
1e60: 20 56 41 4c 55 45 53 28 20 72 61 6e 64 6f 6d 62   VALUES( randomb
1e70: 6c 6f 62 28 31 30 29 20 29 20 7d 0a 7d 20 7b 31  lob(10) ) }.} {1
1e80: 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20   {database disk 
1e90: 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d  image is malform
1ea0: 65 64 7d 7d 0a 0a 69 66 63 61 70 61 62 6c 65 20  ed}}..ifcapable 
1eb0: 6f 76 65 72 73 69 7a 65 5f 63 65 6c 6c 5f 63 68  oversize_cell_ch
1ec0: 65 63 6b 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  eck {.  db close
1ed0: 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d  .  file delete -
1ee0: 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74 65  force test.db te
1ef0: 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20  st.db-journal.  
1f00: 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e  sqlite3 db test.
1f10: 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a  db.  execsql { .
1f20: 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f      PRAGMA page_
1f30: 73 69 7a 65 20 3d 20 31 30 32 34 3b 20 43 52 45  size = 1024; CRE
1f40: 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b  ATE TABLE t1(x);
1f50: 0a 20 20 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20  .  }..  do_test 
1f60: 63 6f 72 72 75 70 74 2d 37 2e 31 20 7b 0a 20 20  corrupt-7.1 {.  
1f70: 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20    for {set i 0} 
1f80: 7b 24 69 20 3c 20 33 39 7d 20 7b 69 6e 63 72 20  {$i < 39} {incr 
1f90: 69 7d 20 7b 0a 20 20 20 20 20 20 65 78 65 63 73  i} {.      execs
1fa0: 71 6c 20 7b 0a 20 20 20 20 20 20 20 20 49 4e 53  ql {.        INS
1fb0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
1fc0: 45 53 28 58 27 30 30 30 31 30 30 30 32 30 30 30  ES(X'00010002000
1fd0: 33 30 30 30 34 30 30 30 35 30 30 30 36 30 30 30  3000400050006000
1fe0: 37 30 30 30 38 30 30 30 39 30 30 30 41 27 29 3b  700080009000A');
1ff0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 7d 0a 20  .      }.    }. 
2000: 20 7d 20 7b 7d 0a 20 20 64 62 20 63 6c 6f 73 65   } {}.  db close
2010: 0a 20 20 0a 20 20 23 20 43 6f 72 72 75 70 74 20  .  .  # Corrupt 
2020: 74 68 65 20 72 6f 6f 74 20 70 61 67 65 20 6f 66  the root page of
2030: 20 74 61 62 6c 65 20 74 31 20 73 6f 20 74 68 61   table t1 so tha
2040: 74 20 74 68 65 20 66 69 72 73 74 20 6f 66 66 73  t the first offs
2050: 65 74 20 69 6e 20 74 68 65 20 0a 20 20 23 20 63  et in the .  # c
2060: 65 6c 6c 2d 6f 66 66 73 65 74 20 61 72 72 61 79  ell-offset array
2070: 20 70 6f 69 6e 74 73 20 74 6f 20 74 68 65 20 64   points to the d
2080: 61 74 61 20 66 6f 72 20 74 68 65 20 53 51 4c 20  ata for the SQL 
2090: 62 6c 6f 62 20 61 73 73 6f 63 69 61 74 65 64 20  blob associated 
20a0: 77 69 74 68 0a 20 20 23 20 72 65 63 6f 72 64 20  with.  # record 
20b0: 28 72 6f 77 69 64 3d 31 30 29 2e 20 54 68 65 20  (rowid=10). The 
20c0: 72 6f 6f 74 20 70 61 67 65 20 73 74 69 6c 6c 20  root page still 
20d0: 70 61 73 73 65 73 20 74 68 65 20 63 68 65 63 6b  passes the check
20e0: 73 20 69 6e 20 62 74 72 65 65 49 6e 69 74 50 61  s in btreeInitPa
20f0: 67 65 28 29 2c 0a 20 20 23 20 62 65 63 61 75 73  ge(),.  # becaus
2100: 65 20 74 68 65 20 73 74 61 72 74 20 6f 66 20 73  e the start of s
2110: 61 69 64 20 62 6c 6f 62 20 6c 6f 6f 6b 73 20 6c  aid blob looks l
2120: 69 6b 65 20 74 68 65 20 73 74 61 72 74 20 6f 66  ike the start of
2130: 20 61 20 6c 65 67 69 74 69 6d 61 74 65 20 0a 20   a legitimate . 
2140: 20 23 20 70 61 67 65 20 63 65 6c 6c 2e 0a 20 20   # page cell..  
2150: 23 0a 20 20 23 20 54 65 73 74 20 63 61 73 65 20  #.  # Test case 
2160: 63 63 2d 32 20 6f 76 65 72 77 72 69 74 65 73 20  cc-2 overwrites 
2170: 74 68 65 20 62 6c 6f 62 20 73 6f 20 74 68 61 74  the blob so that
2180: 20 69 74 20 6e 6f 20 6c 6f 6e 67 65 72 20 6c 6f   it no longer lo
2190: 6f 6b 73 20 6c 69 6b 65 20 61 0a 20 20 23 20 72  oks like a.  # r
21a0: 65 61 6c 20 63 65 6c 6c 2e 20 42 75 74 2c 20 62  eal cell. But, b
21b0: 79 20 74 68 65 20 74 69 6d 65 20 69 74 20 69 73  y the time it is
21c0: 20 6f 76 65 72 77 72 69 74 74 65 6e 2c 20 62 74   overwritten, bt
21d0: 72 65 65 49 6e 69 74 50 61 67 65 28 29 20 68 61  reeInitPage() ha
21e0: 73 20 61 6c 72 65 61 64 79 0a 20 20 23 20 69 6e  s already.  # in
21f0: 69 74 69 61 6c 69 7a 65 64 20 74 68 65 20 72 6f  itialized the ro
2200: 6f 74 20 70 61 67 65 2c 20 73 6f 20 6e 6f 20 63  ot page, so no c
2210: 6f 72 72 75 70 74 69 6f 6e 20 69 73 20 64 65 74  orruption is det
2220: 65 63 74 65 64 2e 0a 20 20 23 0a 20 20 23 20 54  ected..  #.  # T
2230: 65 73 74 20 63 61 73 65 20 63 63 2d 33 20 69 6e  est case cc-3 in
2240: 73 65 72 74 73 20 61 6e 20 65 78 74 72 61 20 72  serts an extra r
2250: 65 63 6f 72 64 20 69 6e 74 6f 20 74 31 2c 20 66  ecord into t1, f
2260: 6f 72 63 69 6e 67 20 62 61 6c 61 6e 63 65 2d 64  orcing balance-d
2270: 65 65 70 65 72 0a 20 20 23 20 74 6f 20 72 75 6e  eeper.  # to run
2280: 2e 20 41 66 74 65 72 20 63 6f 70 79 69 6e 67 20  . After copying 
2290: 74 68 65 20 63 6f 6e 74 65 6e 74 73 20 6f 66 20  the contents of 
22a0: 74 68 65 20 72 6f 6f 74 20 70 61 67 65 20 74 6f  the root page to
22b0: 20 74 68 65 20 6e 65 77 20 63 68 69 6c 64 2c 0a   the new child,.
22c0: 20 20 23 20 62 74 72 65 65 49 6e 69 74 50 61 67    # btreeInitPag
22d0: 65 28 29 20 69 73 20 63 61 6c 6c 65 64 20 6f 6e  e() is called on
22e0: 20 74 68 65 20 63 68 69 6c 64 2e 20 54 68 69 73   the child. This
22f0: 20 74 69 6d 65 2c 20 69 74 20 64 65 74 65 63 74   time, it detect
2300: 73 20 63 6f 72 72 75 70 74 69 6f 6e 0a 20 20 23  s corruption.  #
2310: 20 28 62 65 63 61 75 73 65 20 74 68 65 20 73 74   (because the st
2320: 61 72 74 20 6f 66 20 74 68 65 20 62 6c 6f 62 20  art of the blob 
2330: 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20  associated with 
2340: 74 68 65 20 28 72 6f 77 69 64 3d 31 30 29 20 72  the (rowid=10) r
2350: 65 63 6f 72 64 0a 20 20 23 20 6e 6f 20 6c 6f 6e  ecord.  # no lon
2360: 67 65 72 20 6c 6f 6f 6b 73 20 6c 69 6b 65 20 61  ger looks like a
2370: 20 72 65 61 6c 20 63 65 6c 6c 29 2e 20 41 74 20   real cell). At 
2380: 6f 6e 65 20 70 6f 69 6e 74 20 74 68 65 20 63 6f  one point the co
2390: 64 65 20 61 73 73 75 6d 65 64 20 74 68 61 74 20  de assumed that 
23a0: 0a 20 20 23 20 64 65 74 65 63 74 69 6e 67 20 63  .  # detecting c
23b0: 6f 72 72 75 70 74 69 6f 6e 20 77 61 73 20 6e 6f  orruption was no
23c0: 74 20 70 6f 73 73 69 62 6c 65 20 61 74 20 74 68  t possible at th
23d0: 61 74 20 70 6f 69 6e 74 2c 20 61 6e 64 20 61 6e  at point, and an
23e0: 20 61 73 73 65 72 74 28 29 20 66 61 69 6c 65 64   assert() failed
23f0: 2e 0a 20 20 23 0a 20 20 73 65 74 20 66 64 20 5b  ..  #.  set fd [
2400: 6f 70 65 6e 20 74 65 73 74 2e 64 62 20 72 2b 5d  open test.db r+]
2410: 0a 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66  .  fconfigure $f
2420: 64 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62  d -translation b
2430: 69 6e 61 72 79 20 2d 65 6e 63 6f 64 69 6e 67 20  inary -encoding 
2440: 62 69 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66  binary.  seek $f
2450: 64 20 5b 65 78 70 72 20 31 30 32 34 2b 38 5d 0a  d [expr 1024+8].
2460: 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77 6c 69 6e    puts -nonewlin
2470: 65 20 24 66 64 20 22 5c 78 30 33 5c 78 31 34 22  e $fd "\x03\x14"
2480: 0a 20 20 63 6c 6f 73 65 20 24 66 64 0a 20 20 0a  .  close $fd.  .
2490: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
24a0: 74 2e 64 62 0a 20 20 64 6f 5f 74 65 73 74 20 63  t.db.  do_test c
24b0: 6f 72 72 75 70 74 2d 37 2e 32 20 7b 0a 20 20 20  orrupt-7.2 {.   
24c0: 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20   execsql { .    
24d0: 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20    UPDATE t1 SET 
24e0: 78 20 3d 20 58 27 38 37 30 34 30 30 30 32 30 30  x = X'8704000200
24f0: 30 33 30 30 30 34 30 30 30 35 30 30 30 36 30 30  0300040005000600
2500: 30 37 30 30 30 38 30 30 30 39 30 30 30 41 27 20  0700080009000A' 
2510: 0a 20 20 20 20 20 20 57 48 45 52 45 20 72 6f 77  .      WHERE row
2520: 69 64 20 3d 20 31 30 3b 0a 20 20 20 20 7d 0a 20  id = 10;.    }. 
2530: 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20   } {}.  do_test 
2540: 63 6f 72 72 75 70 74 2d 37 2e 33 20 7b 0a 20 20  corrupt-7.3 {.  
2550: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
2560: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
2570: 31 20 56 41 4c 55 45 53 28 58 27 30 30 30 31 30  1 VALUES(X'00010
2580: 30 30 32 30 30 30 33 30 30 30 34 30 30 30 35 30  0020003000400050
2590: 30 30 36 30 30 30 37 30 30 30 38 30 30 30 39 30  0060007000800090
25a0: 30 30 41 27 29 3b 0a 20 20 20 20 7d 0a 20 20 7d  00A');.    }.  }
25b0: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
25c0: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
25d0: 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a 64 62 20 63 6c  ormed}}.}..db cl
25e0: 6f 73 65 0a 66 69 6c 65 20 64 65 6c 65 74 65 20  ose.file delete 
25f0: 2d 66 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74  -force test.db t
2600: 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 64  est.db-journal.d
2610: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d 38  o_test corrupt-8
2620: 2e 31 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64  .1 {.  sqlite3 d
2630: 62 20 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63  b test.db.  exec
2640: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
2650: 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32   page_size = 102
2660: 34 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 73 65  4;.    PRAGMA se
2670: 63 75 72 65 5f 64 65 6c 65 74 65 20 3d 20 6f 6e  cure_delete = on
2680: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74  ;.    PRAGMA aut
2690: 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b 0a 20 20  o_vacuum = 0;.  
26a0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
26b0: 31 28 78 20 49 4e 54 45 47 45 52 20 50 52 49 4d  1(x INTEGER PRIM
26c0: 41 52 59 20 4b 45 59 2c 20 79 29 3b 0a 20 20 20  ARY KEY, y);.   
26d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
26e0: 56 41 4c 55 45 53 28 35 2c 20 72 61 6e 64 6f 6d  VALUES(5, random
26f0: 62 6c 6f 62 28 31 39 30 30 29 29 3b 0a 20 20 7d  blob(1900));.  }
2700: 0a 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  ..  hexio_write 
2710: 74 65 73 74 2e 64 62 20 32 30 34 34 20 5b 68 65  test.db 2044 [he
2720: 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32  xio_render_int32
2730: 20 32 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69 74   2].  hexio_writ
2740: 65 20 74 65 73 74 2e 64 62 20 32 34 20 20 20 5b  e test.db 24   [
2750: 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f 69 6e 74  hexio_render_int
2760: 33 32 20 34 35 5d 0a 0a 20 20 63 61 74 63 68 73  32 45]..  catchs
2770: 71 6c 20 7b 20 49 4e 53 45 52 54 20 4f 52 20 52  ql { INSERT OR R
2780: 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 20 56  EPLACE INTO t1 V
2790: 41 4c 55 45 53 28 35 2c 20 72 61 6e 64 6f 6d 62  ALUES(5, randomb
27a0: 6c 6f 62 28 31 39 30 30 29 29 20 7d 0a 7d 20 7b  lob(1900)) }.} {
27b0: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
27c0: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
27d0: 6d 65 64 7d 7d 0a 0a 64 62 20 63 6c 6f 73 65 0a  med}}..db close.
27e0: 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72  file delete -for
27f0: 63 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  ce test.db test.
2800: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 64 6f 5f 74 65  db-journal.do_te
2810: 73 74 20 63 6f 72 72 75 70 74 2d 38 2e 32 20 7b  st corrupt-8.2 {
2820: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
2830: 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20  st.db.  execsql 
2840: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67  {.    PRAGMA pag
2850: 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20  e_size = 1024;. 
2860: 20 20 20 50 52 41 47 4d 41 20 73 65 63 75 72 65     PRAGMA secure
2870: 5f 64 65 6c 65 74 65 20 3d 20 6f 6e 3b 0a 20 20  _delete = on;.  
2880: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
2890: 63 75 75 6d 20 3d 20 30 3b 0a 20 20 20 20 43 52  cuum = 0;.    CR
28a0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78 20  EATE TABLE t1(x 
28b0: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
28c0: 4b 45 59 2c 20 79 29 3b 0a 20 20 20 20 49 4e 53  KEY, y);.    INS
28d0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
28e0: 45 53 28 35 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62  ES(5, randomblob
28f0: 28 39 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45  (900));.    INSE
2900: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
2910: 53 28 36 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  S(6, randomblob(
2920: 39 30 30 29 29 3b 0a 20 20 7d 0a 0a 20 20 68 65  900));.  }..  he
2930: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
2940: 62 20 32 30 34 37 20 46 46 0a 20 20 68 65 78 69  b 2047 FF.  hexi
2950: 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20  o_write test.db 
2960: 32 34 20 20 20 5b 68 65 78 69 6f 5f 72 65 6e 64  24   [hexio_rend
2970: 65 72 5f 69 6e 74 33 32 20 34 35 5d 0a 0a 20 20  er_int32 45]..  
2980: 63 61 74 63 68 73 71 6c 20 7b 20 49 4e 53 45 52  catchsql { INSER
2990: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
29a0: 28 34 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  (4, randomblob(1
29b0: 39 30 30 29 29 20 7d 0a 7d 20 7b 31 20 7b 64 61  900)) }.} {1 {da
29c0: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
29d0: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
29e0: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        ..finish_test.