/ Hex Artifact Content
Login

Artifact f413a96e5f7a3df55529a530339c5194efce59e0:


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 30 20 26 26 20 24 69 3c 24 66 73 69 7a 65   {0 && $i<$fsize
09a0: 2d 32 35 36 7d 20 7b 69 6e 63 72 20 69 20 32 35  -256} {incr i 25
09b0: 36 7d 20 7b 0a 20 20 73 65 74 20 74 6e 20 5b 65  6} {.  set tn [e
09c0: 78 70 72 20 7b 24 69 2f 32 35 36 7d 5d 0a 20 20  xpr {$i/256}].  
09d0: 64 62 20 63 6c 6f 73 65 0a 20 20 63 6f 70 79 5f  db close.  copy_
09e0: 66 69 6c 65 20 74 65 73 74 2e 62 75 20 74 65 73  file test.bu tes
09f0: 74 2e 64 62 0a 20 20 73 65 74 20 66 64 20 5b 6f  t.db.  set fd [o
0a00: 70 65 6e 20 74 65 73 74 2e 64 62 20 72 2b 5d 0a  pen test.db r+].
0a10: 20 20 66 63 6f 6e 66 69 67 75 72 65 20 24 66 64    fconfigure $fd
0a20: 20 2d 74 72 61 6e 73 6c 61 74 69 6f 6e 20 62 69   -translation bi
0a30: 6e 61 72 79 0a 20 20 73 65 65 6b 20 24 66 64 20  nary.  seek $fd 
0a40: 24 69 0a 20 20 70 75 74 73 20 2d 6e 6f 6e 65 77  $i.  puts -nonew
0a50: 6c 69 6e 65 20 24 66 64 20 24 6a 75 6e 6b 0a 20  line $fd $junk. 
0a60: 20 63 6c 6f 73 65 20 24 66 64 0a 20 20 64 6f 5f   close $fd.  do_
0a70: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 32 2e 24  test corrupt-2.$
0a80: 74 6e 2e 31 20 7b 0a 20 20 20 20 73 71 6c 69 74  tn.1 {.    sqlit
0a90: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
0aa0: 20 20 63 61 74 63 68 73 71 6c 20 7b 53 45 4c 45    catchsql {SELE
0ab0: 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d  CT count(*) FROM
0ac0: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 7d 0a   sqlite_master}.
0ad0: 20 20 20 20 73 65 74 20 78 20 7b 7d 0a 20 20 7d      set x {}.  }
0ae0: 20 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f   {}.  do_test co
0af0: 72 72 75 70 74 2d 32 2e 24 74 6e 2e 32 20 7b 0a  rrupt-2.$tn.2 {.
0b00: 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 53 45      catchsql {SE
0b10: 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52  LECT count(*) FR
0b20: 4f 4d 20 74 31 7d 0a 20 20 20 20 73 65 74 20 78  OM t1}.    set x
0b30: 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f   {}.  } {}.  do_
0b40: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 32 2e 24  test corrupt-2.$
0b50: 74 6e 2e 33 20 7b 0a 20 20 20 20 63 61 74 63 68  tn.3 {.    catch
0b60: 73 71 6c 20 7b 53 45 4c 45 43 54 20 63 6f 75 6e  sql {SELECT coun
0b70: 74 28 2a 29 20 46 52 4f 4d 20 74 31 20 57 48 45  t(*) FROM t1 WHE
0b80: 52 45 20 78 3e 27 61 62 63 64 65 66 27 7d 0a 20  RE x>'abcdef'}. 
0b90: 20 20 20 73 65 74 20 78 20 7b 7d 0a 20 20 7d 20     set x {}.  } 
0ba0: 7b 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 72  {}.  do_test cor
0bb0: 72 75 70 74 2d 32 2e 24 74 6e 2e 34 20 7b 0a 20  rupt-2.$tn.4 {. 
0bc0: 20 20 20 63 61 74 63 68 73 71 6c 20 7b 53 45 4c     catchsql {SEL
0bd0: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
0be0: 4d 20 74 32 7d 0a 20 20 20 20 73 65 74 20 78 20  M t2}.    set x 
0bf0: 7b 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74  {}.  } {}.  do_t
0c00: 65 73 74 20 63 6f 72 72 75 70 74 2d 32 2e 24 74  est corrupt-2.$t
0c10: 6e 2e 35 20 7b 0a 20 20 20 20 63 61 74 63 68 73  n.5 {.    catchs
0c20: 71 6c 20 7b 43 52 45 41 54 45 20 54 41 42 4c 45  ql {CREATE TABLE
0c30: 20 74 33 20 41 53 20 53 45 4c 45 43 54 20 2a 20   t3 AS SELECT * 
0c40: 46 52 4f 4d 20 74 31 7d 0a 20 20 20 20 73 65 74  FROM t1}.    set
0c50: 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64   x {}.  } {}.  d
0c60: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d 32  o_test corrupt-2
0c70: 2e 24 74 6e 2e 36 20 7b 0a 20 20 20 20 63 61 74  .$tn.6 {.    cat
0c80: 63 68 73 71 6c 20 7b 44 52 4f 50 20 54 41 42 4c  chsql {DROP TABL
0c90: 45 20 74 31 7d 0a 20 20 20 20 73 65 74 20 78 20  E t1}.    set x 
0ca0: 7b 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f 74  {}.  } {}.  do_t
0cb0: 65 73 74 20 63 6f 72 72 75 70 74 2d 32 2e 24 74  est corrupt-2.$t
0cc0: 6e 2e 37 20 7b 0a 20 20 20 20 63 61 74 63 68 73  n.7 {.    catchs
0cd0: 71 6c 20 7b 50 52 41 47 4d 41 20 69 6e 74 65 67  ql {PRAGMA integ
0ce0: 72 69 74 79 5f 63 68 65 63 6b 7d 0a 20 20 20 20  rity_check}.    
0cf0: 73 65 74 20 78 20 7b 7d 0a 20 20 7d 20 7b 7d 0a  set x {}.  } {}.
0d00: 0a 20 20 23 20 43 68 65 63 6b 20 74 68 61 74 20  .  # Check that 
0d10: 6e 6f 20 70 61 67 65 20 72 65 66 65 72 65 6e 63  no page referenc
0d20: 65 73 20 77 65 72 65 20 6c 65 61 6b 65 64 2e 0a  es were leaked..
0d30: 20 20 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70    do_test corrup
0d40: 74 2d 32 2e 24 74 6e 2e 38 20 7b 0a 20 20 20 20  t-2.$tn.8 {.    
0d50: 73 65 74 20 62 74 20 5b 62 74 72 65 65 5f 66 72  set bt [btree_fr
0d60: 6f 6d 5f 64 62 20 64 62 5d 0a 20 20 20 20 64 62  om_db db].    db
0d70: 5f 65 6e 74 65 72 20 64 62 0a 20 20 20 20 61 72  _enter db.    ar
0d80: 72 61 79 20 73 65 74 20 73 74 61 74 73 20 5b 62  ray set stats [b
0d90: 74 72 65 65 5f 70 61 67 65 72 5f 73 74 61 74 73  tree_pager_stats
0da0: 20 24 62 74 5d 0a 20 20 20 20 64 62 5f 6c 65 61   $bt].    db_lea
0db0: 76 65 20 64 62 0a 20 20 20 20 73 65 74 20 73 74  ve db.    set st
0dc0: 61 74 73 28 72 65 66 29 0a 20 20 7d 20 7b 30 7d  ats(ref).  } {0}
0dd0: 0a 7d 20 20 0a 0a 23 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 2d 2d 2d 2d 2d 0a  ---------------.
0e20: 23 20 46 6f 72 20 74 68 65 73 65 20 74 65 73 74  # For these test
0e30: 73 2c 20 73 77 61 70 20 74 68 65 20 72 6f 6f 74  s, swap the root
0e40: 70 61 67 65 20 65 6e 74 72 69 65 73 20 6f 66 20  page entries of 
0e50: 74 31 20 28 61 20 74 61 62 6c 65 29 20 61 6e 64  t1 (a table) and
0e60: 20 74 31 69 31 20 28 61 6e 0a 23 20 69 6e 64 65   t1i1 (an.# inde
0e70: 78 20 6f 6e 20 74 31 29 20 69 6e 20 73 71 6c 69  x on t1) in sqli
0e80: 74 65 5f 6d 61 73 74 65 72 2e 20 54 68 65 6e 20  te_master. Then 
0e90: 70 65 72 66 6f 72 6d 20 61 20 66 65 77 20 64 69  perform a few di
0ea0: 66 66 65 72 65 6e 74 20 71 75 65 72 69 65 73 0a  fferent queries.
0eb0: 23 20 61 6e 64 20 6d 61 6b 65 20 73 75 72 65 20  # and make sure 
0ec0: 74 68 69 73 20 69 73 20 64 65 74 65 63 74 65 64  this is detected
0ed0: 20 61 73 20 63 6f 72 72 75 70 74 69 6f 6e 2e 0a   as corruption..
0ee0: 23 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70  #.do_test corrup
0ef0: 74 2d 33 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f  t-3.1 {.  db clo
0f00: 73 65 0a 20 20 63 6f 70 79 5f 66 69 6c 65 20 74  se.  copy_file t
0f10: 65 73 74 2e 62 75 20 74 65 73 74 2e 64 62 0a 20  est.bu test.db. 
0f20: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
0f30: 2e 64 62 0a 20 20 6c 69 73 74 0a 7d 20 7b 7d 0a  .db.  list.} {}.
0f40: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d  do_test corrupt-
0f50: 33 2e 32 20 7b 0a 20 20 73 65 74 20 74 31 5f 72  3.2 {.  set t1_r
0f60: 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43   [execsql {SELEC
0f70: 54 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20  T rootpage FROM 
0f80: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 57 48  sqlite_master WH
0f90: 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 31 69 31  ERE name = 't1i1
0fa0: 27 7d 5d 0a 20 20 73 65 74 20 74 31 69 31 5f 72  '}].  set t1i1_r
0fb0: 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43   [execsql {SELEC
0fc0: 54 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20  T rootpage FROM 
0fd0: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 57 48  sqlite_master WH
0fe0: 45 52 45 20 6e 61 6d 65 20 3d 20 27 74 31 27 7d  ERE name = 't1'}
0ff0: 5d 0a 20 20 73 65 74 20 63 6f 6f 6b 69 65 20 5b  ].  set cookie [
1000: 65 78 70 72 20 5b 65 78 65 63 73 71 6c 20 7b 50  expr [execsql {P
1010: 52 41 47 4d 41 20 73 63 68 65 6d 61 5f 76 65 72  RAGMA schema_ver
1020: 73 69 6f 6e 7d 5d 20 2b 20 31 5d 0a 20 20 65 78  sion}] + 1].  ex
1030: 65 63 73 71 6c 20 22 0a 20 20 20 20 50 52 41 47  ecsql ".    PRAG
1040: 4d 41 20 77 72 69 74 61 62 6c 65 5f 73 63 68 65  MA writable_sche
1050: 6d 61 20 3d 20 31 3b 0a 20 20 20 20 55 50 44 41  ma = 1;.    UPDA
1060: 54 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  TE sqlite_master
1070: 20 53 45 54 20 72 6f 6f 74 70 61 67 65 20 3d 20   SET rootpage = 
1080: 24 74 31 5f 72 20 57 48 45 52 45 20 6e 61 6d 65  $t1_r WHERE name
1090: 20 3d 20 27 74 31 27 3b 0a 20 20 20 20 55 50 44   = 't1';.    UPD
10a0: 41 54 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65  ATE sqlite_maste
10b0: 72 20 53 45 54 20 72 6f 6f 74 70 61 67 65 20 3d  r SET rootpage =
10c0: 20 24 74 31 69 31 5f 72 20 57 48 45 52 45 20 6e   $t1i1_r WHERE n
10d0: 61 6d 65 20 3d 20 27 74 31 69 31 27 3b 0a 20 20  ame = 't1i1';.  
10e0: 20 20 50 52 41 47 4d 41 20 77 72 69 74 61 62 6c    PRAGMA writabl
10f0: 65 5f 73 63 68 65 6d 61 20 3d 20 30 3b 0a 20 20  e_schema = 0;.  
1100: 20 20 50 52 41 47 4d 41 20 73 63 68 65 6d 61 5f    PRAGMA schema_
1110: 76 65 72 73 69 6f 6e 20 3d 20 24 63 6f 6f 6b 69  version = $cooki
1120: 65 3b 0a 20 20 22 0a 7d 20 7b 7d 0a 0a 23 20 54  e;.  ".} {}..# T
1130: 68 69 73 20 6f 6e 65 20 74 65 73 74 73 20 74 68  his one tests th
1140: 65 20 63 61 73 65 20 63 61 75 67 68 74 20 62 79  e case caught by
1150: 20 63 6f 64 65 20 69 6e 20 63 68 65 63 6b 69 6e   code in checkin
1160: 20 5b 32 33 31 33 5d 2e 0a 64 6f 5f 74 65 73 74   [2313]..do_test
1170: 20 63 6f 72 72 75 70 74 2d 33 2e 33 20 7b 0a 20   corrupt-3.3 {. 
1180: 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69   db close.  sqli
1190: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
11a0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
11b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
11c0: 41 4c 55 45 53 28 27 61 62 63 27 29 3b 0a 20 20  ALUES('abc');.  
11d0: 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65  }.} {1 {database
11e0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
11f0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 64 6f 5f 74 65  alformed}}.do_te
1200: 73 74 20 63 6f 72 72 75 70 74 2d 33 2e 34 20 7b  st corrupt-3.4 {
1210: 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71  .  db close.  sq
1220: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
1230: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
1240: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
1250: 74 31 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64 61  t1;.  }.} {1 {da
1260: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
1270: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
1280: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
1290: 2d 33 2e 35 20 7b 0a 20 20 64 62 20 63 6c 6f 73  -3.5 {.  db clos
12a0: 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74  e.  sqlite3 db t
12b0: 65 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71  est.db.  catchsq
12c0: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  l {.    SELECT *
12d0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 6f   FROM t1 WHERE o
12e0: 69 64 20 3d 20 31 30 3b 0a 20 20 7d 0a 7d 20 7b  id = 10;.  }.} {
12f0: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
1300: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
1310: 6d 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 63 6f  med}}.do_test co
1320: 72 72 75 70 74 2d 33 2e 36 20 7b 0a 20 20 64 62  rrupt-3.6 {.  db
1330: 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33   close.  sqlite3
1340: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61   db test.db.  ca
1350: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
1360: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48  ECT * FROM t1 WH
1370: 45 52 45 20 78 20 3d 20 27 61 62 63 64 65 27 3b  ERE x = 'abcde';
1380: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62  .  }.} {1 {datab
1390: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
13a0: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64  s malformed}}..d
13b0: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d 34  o_test corrupt-4
13c0: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .1 {.  db close.
13d0: 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66    file delete -f
13e0: 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74 65 73  orce test.db tes
13f0: 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73  t.db-journal.  s
1400: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
1410: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  b.  execsql {.  
1420: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
1430: 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20 20 43  ze = 1024;.    C
1440: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
1450: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
1460: 20 4b 45 59 2c 20 62 20 54 45 58 54 29 3b 0a 20   KEY, b TEXT);. 
1470: 20 7d 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20   }.  for {set i 
1480: 30 7d 20 7b 24 69 20 3c 20 31 30 7d 20 7b 69 6e  0} {$i < 10} {in
1490: 63 72 20 69 7d 20 7b 0a 20 20 20 20 73 65 74 20  cr i} {.    set 
14a0: 74 65 78 74 20 5b 73 74 72 69 6e 67 20 72 65 70  text [string rep
14b0: 65 61 74 20 24 69 20 32 32 30 5d 0a 20 20 20 20  eat $i 220].    
14c0: 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54  execsql { INSERT
14d0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
14e0: 24 69 2c 20 24 74 65 78 74 29 20 7d 0a 20 20 7d  $i, $text) }.  }
14f0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 43 52 45  .  execsql { CRE
1500: 41 54 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20  ATE INDEX i1 ON 
1510: 74 31 28 62 29 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f  t1(b) }.} {}.do_
1520: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 34 2e 32  test corrupt-4.2
1530: 20 7b 0a 20 20 73 65 74 20 69 52 6f 6f 74 20 5b   {.  set iRoot [
1540: 64 62 20 6f 6e 65 20 7b 53 45 4c 45 43 54 20 72  db one {SELECT r
1550: 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c  ootpage FROM sql
1560: 69 74 65 5f 6d 61 73 74 65 72 20 57 48 45 52 45  ite_master WHERE
1570: 20 6e 61 6d 65 20 3d 20 27 69 31 27 7d 5d 0a 20   name = 'i1'}]. 
1580: 20 73 65 74 20 69 4f 66 66 73 65 74 20 5b 68 65   set iOffset [he
1590: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
15a0: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
15b0: 5b 65 78 70 72 20 31 32 2b 28 24 69 52 6f 6f 74  [expr 12+($iRoot
15c0: 2d 31 29 2a 31 30 32 34 5d 20 32 5d 5d 0a 20 20  -1)*1024] 2]].  
15d0: 73 65 74 20 64 61 74 61 20 5b 68 65 78 69 6f 5f  set data [hexio_
15e0: 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 5b 65 78  render_int32 [ex
15f0: 70 72 20 24 69 52 6f 6f 74 20 2d 20 31 5d 5d 0a  pr $iRoot - 1]].
1600: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
1610: 73 74 2e 64 62 20 5b 65 78 70 72 20 28 24 69 52  st.db [expr ($iR
1620: 6f 6f 74 2d 31 29 2a 31 30 32 34 20 2b 20 24 69  oot-1)*1024 + $i
1630: 4f 66 66 73 65 74 5d 20 24 64 61 74 61 0a 20 20  Offset] $data.  
1640: 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74  db close.  sqlit
1650: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 20  e3 db test.db.. 
1660: 20 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67   # The following
1670: 20 44 45 4c 45 54 45 20 73 74 61 74 65 6d 65 6e   DELETE statemen
1680: 74 20 61 74 74 65 6d 70 74 73 20 74 6f 20 64 65  t attempts to de
1690: 6c 65 74 65 20 61 20 63 65 6c 6c 20 73 74 6f 72  lete a cell stor
16a0: 65 64 20 6f 6e 20 74 68 65 0a 20 20 23 20 72 6f  ed on the.  # ro
16b0: 6f 74 20 70 61 67 65 20 6f 66 20 69 6e 64 65 78  ot page of index
16c0: 20 69 31 2e 20 41 66 74 65 72 20 74 68 69 73 20   i1. After this 
16d0: 63 65 6c 6c 20 69 73 20 64 65 6c 65 74 65 64 20  cell is deleted 
16e0: 69 74 20 6d 75 73 74 20 62 65 20 72 65 70 6c 61  it must be repla
16f0: 63 65 64 0a 20 20 23 20 62 79 20 61 20 63 65 6c  ced.  # by a cel
1700: 6c 20 72 65 74 72 69 65 76 65 64 20 66 72 6f 6d  l retrieved from
1710: 20 74 68 65 20 63 68 69 6c 64 20 70 61 67 65 20   the child page 
1720: 28 61 20 6c 65 61 66 29 20 6f 66 20 74 68 65 20  (a leaf) of the 
1730: 64 65 6c 65 74 65 64 20 63 65 6c 6c 2e 0a 20 20  deleted cell..  
1740: 23 20 54 68 69 73 20 77 69 6c 6c 20 66 61 69 6c  # This will fail
1750: 2c 20 61 73 20 74 68 65 20 62 6c 6f 63 6b 20 6d  , as the block m
1760: 6f 64 69 66 69 65 64 20 74 68 65 20 64 61 74 61  odified the data
1770: 62 61 73 65 20 69 6d 61 67 65 20 73 6f 20 74 68  base image so th
1780: 61 74 20 74 68 65 0a 20 20 23 20 63 68 69 6c 64  at the.  # child
1790: 20 70 61 67 65 20 6f 66 20 74 68 65 20 64 65 6c   page of the del
17a0: 65 74 65 64 20 63 65 6c 6c 20 69 73 20 66 72 6f  eted cell is fro
17b0: 6d 20 61 20 74 61 62 6c 65 20 28 69 6e 74 6b 65  m a table (intke
17c0: 79 29 20 62 2d 74 72 65 65 2c 20 6e 6f 74 20 61  y) b-tree, not a
17d0: 6e 0a 20 20 23 20 69 6e 64 65 78 20 62 2d 74 72  n.  # index b-tr
17e0: 65 65 20 61 73 20 65 78 70 65 63 74 65 64 2e 20  ee as expected. 
17f0: 41 74 20 6f 6e 65 20 70 6f 69 6e 74 20 74 68 69  At one point thi
1800: 73 20 77 61 73 20 63 61 75 73 69 6e 67 20 61 6e  s was causing an
1810: 20 61 73 73 65 72 74 28 29 0a 20 20 23 20 74 6f   assert().  # to
1820: 20 66 61 69 6c 2e 0a 20 20 63 61 74 63 68 73 71   fail..  catchsq
1830: 6c 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20  l { DELETE FROM 
1840: 74 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 3d  t1 WHERE rowid =
1850: 20 33 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62   3 }.} {1 {datab
1860: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
1870: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64  s malformed}}..d
1880: 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d 35  o_test corrupt-5
1890: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .1 {.  db close.
18a0: 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66    file delete -f
18b0: 6f 72 63 65 20 74 65 73 74 2e 64 62 20 74 65 73  orce test.db tes
18c0: 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73  t.db-journal.  s
18d0: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
18e0: 62 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50  b..  execsql { P
18f0: 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20  RAGMA page_size 
1900: 3d 20 31 30 32 34 20 7d 0a 20 20 73 65 74 20 63  = 1024 }.  set c
1910: 74 20 22 43 52 45 41 54 45 20 54 41 42 4c 45 20  t "CREATE TABLE 
1920: 74 31 28 63 30 20 22 0a 20 20 73 65 74 20 69 20  t1(c0 ".  set i 
1930: 30 0a 20 20 77 68 69 6c 65 20 7b 5b 73 74 72 69  0.  while {[stri
1940: 6e 67 20 6c 65 6e 67 74 68 20 24 63 74 5d 20 3c  ng length $ct] <
1950: 20 39 35 30 7d 20 7b 20 61 70 70 65 6e 64 20 63   950} { append c
1960: 74 20 22 2c 20 63 5b 69 6e 63 72 20 69 5d 22 20  t ", c[incr i]" 
1970: 7d 0a 20 20 61 70 70 65 6e 64 20 63 74 20 22 29  }.  append ct ")
1980: 22 0a 20 20 65 78 65 63 73 71 6c 20 24 63 74 0a  ".  execsql $ct.
1990: 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f  } {}..do_test co
19a0: 72 72 75 70 74 2d 35 2e 32 20 7b 0a 20 20 64 62  rrupt-5.2 {.  db
19b0: 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77   close.  hexio_w
19c0: 72 69 74 65 20 74 65 73 74 2e 64 62 20 31 30 38  rite test.db 108
19d0: 20 30 30 30 30 30 30 30 30 20 0a 20 20 73 71 6c   00000000 .  sql
19e0: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
19f0: 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c    catchsql { SEL
1a00: 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69 74  ECT * FROM sqlit
1a10: 65 5f 6d 61 73 74 65 72 20 7d 0a 7d 20 7b 31 20  e_master }.} {1 
1a20: 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69  {database disk i
1a30: 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65  mage is malforme
1a40: 64 7d 7d 0a 0a 23 20 41 74 20 6f 6e 65 20 70 6f  d}}..# At one po
1a50: 69 6e 74 2c 20 74 68 65 20 73 70 65 63 69 66 69  int, the specifi
1a60: 63 20 63 6f 72 72 75 70 74 69 6f 6e 20 63 61 75  c corruption cau
1a70: 73 65 64 20 62 79 20 74 68 69 73 20 74 65 73 74  sed by this test
1a80: 20 63 61 73 65 20 77 61 73 0a 23 20 63 61 75 73   case was.# caus
1a90: 69 6e 67 20 61 20 62 75 66 66 65 72 20 6f 76 65  ing a buffer ove
1aa0: 72 77 72 69 74 65 2e 20 41 6c 74 68 6f 75 67 68  rwrite. Although
1ab0: 20 61 20 63 72 61 73 68 20 77 61 73 20 6e 65 76   a crash was nev
1ac0: 65 72 20 64 65 6d 6f 6e 73 74 72 61 74 65 64 2c  er demonstrated,
1ad0: 0a 23 20 72 75 6e 6e 69 6e 67 20 74 68 69 73 20  .# running this 
1ae0: 74 65 73 74 63 61 73 65 20 75 6e 64 65 72 20 76  testcase under v
1af0: 61 6c 67 72 69 6e 64 20 72 65 76 65 61 6c 65 64  algrind revealed
1b00: 20 74 68 65 20 70 72 6f 62 6c 65 6d 2e 0a 64 6f   the problem..do
1b10: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 2d 36 2e  _test corrupt-6.
1b20: 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  1 {.  db close. 
1b30: 20 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f   file delete -fo
1b40: 72 63 65 20 74 65 73 74 2e 64 62 20 74 65 73 74  rce test.db test
1b50: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 20 73 71  .db-journal.  sq
1b60: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
1b70: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20  .  execsql { .  
1b80: 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69    PRAGMA page_si
1b90: 7a 65 20 3d 20 31 30 32 34 3b 20 43 52 45 41 54  ze = 1024; CREAT
1ba0: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
1bb0: 20 7d 0a 0a 20 20 23 20 54 68 65 20 72 6f 6f 74   }..  # The root
1bc0: 20 70 61 67 65 20 6f 66 20 74 31 20 69 73 20 31   page of t1 is 1
1bd0: 30 32 34 20 62 79 74 65 73 20 69 6e 20 73 69 7a  024 bytes in siz
1be0: 65 2e 20 54 68 65 20 68 65 61 64 65 72 20 69 73  e. The header is
1bf0: 20 38 20 62 79 74 65 73 2c 20 61 6e 64 0a 20 20   8 bytes, and.  
1c00: 23 20 65 61 63 68 20 6f 66 20 74 68 65 20 63 65  # each of the ce
1c10: 6c 6c 73 20 69 6e 73 65 72 74 65 64 20 62 79 20  lls inserted by 
1c20: 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 49 4e  the following IN
1c30: 53 45 52 54 20 73 74 61 74 65 6d 65 6e 74 73 20  SERT statements 
1c40: 63 6f 6e 73 75 6d 65 0a 20 20 23 20 31 36 20 62  consume.  # 16 b
1c50: 79 74 65 73 20 28 69 6e 63 6c 75 64 69 6e 67 20  ytes (including 
1c60: 74 68 65 20 32 20 62 79 74 65 20 63 65 6c 6c 2d  the 2 byte cell-
1c70: 6f 66 66 73 65 74 20 61 72 72 61 79 20 65 6e 74  offset array ent
1c80: 72 79 29 2e 20 53 6f 20 74 68 65 20 70 61 67 65  ry). So the page
1c90: 0a 20 20 23 20 63 61 6e 20 63 6f 6e 74 61 69 6e  .  # can contain
1ca0: 20 75 70 20 74 6f 20 36 33 20 63 65 6c 6c 73 2e   up to 63 cells.
1cb0: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d  .  for {set i 0}
1cc0: 20 7b 24 69 20 3c 20 36 33 7d 20 7b 69 6e 63 72   {$i < 63} {incr
1cd0: 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63 73 71   i} {.    execsq
1ce0: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  l { INSERT INTO 
1cf0: 74 31 20 56 41 4c 55 45 53 28 20 72 61 6e 64 6f  t1 VALUES( rando
1d00: 6d 62 6c 6f 62 28 31 30 29 20 29 20 7d 0a 20 20  mblob(10) ) }.  
1d10: 7d 0a 0a 20 20 23 20 46 72 65 65 20 74 68 65 20  }..  # Free the 
1d20: 63 65 6c 6c 20 73 74 6f 72 65 64 20 72 69 67 68  cell stored righ
1d30: 74 20 61 74 20 74 68 65 20 65 6e 64 20 6f 66 20  t at the end of 
1d40: 74 68 65 20 70 61 67 65 20 28 61 74 20 6f 66 66  the page (at off
1d50: 73 65 74 20 70 67 73 7a 2d 31 34 29 2e 0a 20 20  set pgsz-14)..  
1d60: 65 78 65 63 73 71 6c 20 7b 20 44 45 4c 45 54 45  execsql { DELETE
1d70: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 72   FROM t1 WHERE r
1d80: 6f 77 69 64 3d 31 20 7d 0a 20 20 73 65 74 20 72  owid=1 }.  set r
1d90: 6f 6f 74 70 61 67 65 20 5b 64 62 20 6f 6e 65 20  ootpage [db one 
1da0: 7b 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65  {SELECT rootpage
1db0: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
1dc0: 74 65 72 20 57 48 45 52 45 20 6e 61 6d 65 20 3d  ter WHERE name =
1dd0: 20 27 74 31 27 7d 5d 0a 20 20 64 62 20 63 6c 6f   't1'}].  db clo
1de0: 73 65 0a 0a 20 20 73 65 74 20 6f 66 66 73 65 74  se..  set offset
1df0: 20 5b 65 78 70 72 20 28 24 72 6f 6f 74 70 61 67   [expr ($rootpag
1e00: 65 20 2a 20 31 30 32 34 29 2d 31 34 2b 32 5d 0a  e * 1024)-14+2].
1e10: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
1e20: 73 74 2e 64 62 20 24 6f 66 66 73 65 74 20 30 30  st.db $offset 00
1e30: 46 46 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  FF.  sqlite3 db 
1e40: 74 65 73 74 2e 64 62 20 0a 0a 20 20 63 61 74 63  test.db ..  catc
1e50: 68 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e  hsql { INSERT IN
1e60: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 20 72 61  TO t1 VALUES( ra
1e70: 6e 64 6f 6d 62 6c 6f 62 28 31 30 29 20 29 20 7d  ndomblob(10) ) }
1e80: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
1e90: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
1ea0: 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 69 66 63 61 70  lformed}}..ifcap
1eb0: 61 62 6c 65 20 6f 76 65 72 73 69 7a 65 5f 63 65  able oversize_ce
1ec0: 6c 6c 5f 63 68 65 63 6b 20 7b 0a 20 20 64 62 20  ll_check {.  db 
1ed0: 63 6c 6f 73 65 0a 20 20 66 69 6c 65 20 64 65 6c  close.  file del
1ee0: 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74 2e  ete -force test.
1ef0: 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e  db test.db-journ
1f00: 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  al.  sqlite3 db 
1f10: 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71  test.db.  execsq
1f20: 6c 20 7b 20 0a 20 20 20 20 50 52 41 47 4d 41 20  l { .    PRAGMA 
1f30: 70 61 67 65 5f 73 69 7a 65 20 3d 20 31 30 32 34  page_size = 1024
1f40: 3b 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74  ; CREATE TABLE t
1f50: 31 28 78 29 3b 0a 20 20 7d 0a 0a 20 20 64 6f 5f  1(x);.  }..  do_
1f60: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 37 2e 31  test corrupt-7.1
1f70: 20 7b 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20   {.    for {set 
1f80: 69 20 30 7d 20 7b 24 69 20 3c 20 33 39 7d 20 7b  i 0} {$i < 39} {
1f90: 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 20 20  incr i} {.      
1fa0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20  execsql {.      
1fb0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1fc0: 20 56 41 4c 55 45 53 28 58 27 30 30 30 31 30 30   VALUES(X'000100
1fd0: 30 32 30 30 30 33 30 30 30 34 30 30 30 35 30 30  0200030004000500
1fe0: 30 36 30 30 30 37 30 30 30 38 30 30 30 39 30 30  0600070008000900
1ff0: 30 41 27 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20  0A');.      }.  
2000: 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 62 20    }.  } {}.  db 
2010: 63 6c 6f 73 65 0a 20 20 0a 20 20 23 20 43 6f 72  close.  .  # Cor
2020: 72 75 70 74 20 74 68 65 20 72 6f 6f 74 20 70 61  rupt the root pa
2030: 67 65 20 6f 66 20 74 61 62 6c 65 20 74 31 20 73  ge of table t1 s
2040: 6f 20 74 68 61 74 20 74 68 65 20 66 69 72 73 74  o that the first
2050: 20 6f 66 66 73 65 74 20 69 6e 20 74 68 65 20 0a   offset in the .
2060: 20 20 23 20 63 65 6c 6c 2d 6f 66 66 73 65 74 20    # cell-offset 
2070: 61 72 72 61 79 20 70 6f 69 6e 74 73 20 74 6f 20  array points to 
2080: 74 68 65 20 64 61 74 61 20 66 6f 72 20 74 68 65  the data for the
2090: 20 53 51 4c 20 62 6c 6f 62 20 61 73 73 6f 63 69   SQL blob associ
20a0: 61 74 65 64 20 77 69 74 68 0a 20 20 23 20 72 65  ated with.  # re
20b0: 63 6f 72 64 20 28 72 6f 77 69 64 3d 31 30 29 2e  cord (rowid=10).
20c0: 20 54 68 65 20 72 6f 6f 74 20 70 61 67 65 20 73   The root page s
20d0: 74 69 6c 6c 20 70 61 73 73 65 73 20 74 68 65 20  till passes the 
20e0: 63 68 65 63 6b 73 20 69 6e 20 62 74 72 65 65 49  checks in btreeI
20f0: 6e 69 74 50 61 67 65 28 29 2c 0a 20 20 23 20 62  nitPage(),.  # b
2100: 65 63 61 75 73 65 20 74 68 65 20 73 74 61 72 74  ecause the start
2110: 20 6f 66 20 73 61 69 64 20 62 6c 6f 62 20 6c 6f   of said blob lo
2120: 6f 6b 73 20 6c 69 6b 65 20 74 68 65 20 73 74 61  oks like the sta
2130: 72 74 20 6f 66 20 61 20 6c 65 67 69 74 69 6d 61  rt of a legitima
2140: 74 65 20 0a 20 20 23 20 70 61 67 65 20 63 65 6c  te .  # page cel
2150: 6c 2e 0a 20 20 23 0a 20 20 23 20 54 65 73 74 20  l..  #.  # Test 
2160: 63 61 73 65 20 63 63 2d 32 20 6f 76 65 72 77 72  case cc-2 overwr
2170: 69 74 65 73 20 74 68 65 20 62 6c 6f 62 20 73 6f  ites the blob so
2180: 20 74 68 61 74 20 69 74 20 6e 6f 20 6c 6f 6e 67   that it no long
2190: 65 72 20 6c 6f 6f 6b 73 20 6c 69 6b 65 20 61 0a  er looks like a.
21a0: 20 20 23 20 72 65 61 6c 20 63 65 6c 6c 2e 20 42    # real cell. B
21b0: 75 74 2c 20 62 79 20 74 68 65 20 74 69 6d 65 20  ut, by the time 
21c0: 69 74 20 69 73 20 6f 76 65 72 77 72 69 74 74 65  it is overwritte
21d0: 6e 2c 20 62 74 72 65 65 49 6e 69 74 50 61 67 65  n, btreeInitPage
21e0: 28 29 20 68 61 73 20 61 6c 72 65 61 64 79 0a 20  () has already. 
21f0: 20 23 20 69 6e 69 74 69 61 6c 69 7a 65 64 20 74   # initialized t
2200: 68 65 20 72 6f 6f 74 20 70 61 67 65 2c 20 73 6f  he root page, so
2210: 20 6e 6f 20 63 6f 72 72 75 70 74 69 6f 6e 20 69   no corruption i
2220: 73 20 64 65 74 65 63 74 65 64 2e 0a 20 20 23 0a  s detected..  #.
2230: 20 20 23 20 54 65 73 74 20 63 61 73 65 20 63 63    # Test case cc
2240: 2d 33 20 69 6e 73 65 72 74 73 20 61 6e 20 65 78  -3 inserts an ex
2250: 74 72 61 20 72 65 63 6f 72 64 20 69 6e 74 6f 20  tra record into 
2260: 74 31 2c 20 66 6f 72 63 69 6e 67 20 62 61 6c 61  t1, forcing bala
2270: 6e 63 65 2d 64 65 65 70 65 72 0a 20 20 23 20 74  nce-deeper.  # t
2280: 6f 20 72 75 6e 2e 20 41 66 74 65 72 20 63 6f 70  o run. After cop
2290: 79 69 6e 67 20 74 68 65 20 63 6f 6e 74 65 6e 74  ying the content
22a0: 73 20 6f 66 20 74 68 65 20 72 6f 6f 74 20 70 61  s of the root pa
22b0: 67 65 20 74 6f 20 74 68 65 20 6e 65 77 20 63 68  ge to the new ch
22c0: 69 6c 64 2c 0a 20 20 23 20 62 74 72 65 65 49 6e  ild,.  # btreeIn
22d0: 69 74 50 61 67 65 28 29 20 69 73 20 63 61 6c 6c  itPage() is call
22e0: 65 64 20 6f 6e 20 74 68 65 20 63 68 69 6c 64 2e  ed on the child.
22f0: 20 54 68 69 73 20 74 69 6d 65 2c 20 69 74 20 64   This time, it d
2300: 65 74 65 63 74 73 20 63 6f 72 72 75 70 74 69 6f  etects corruptio
2310: 6e 0a 20 20 23 20 28 62 65 63 61 75 73 65 20 74  n.  # (because t
2320: 68 65 20 73 74 61 72 74 20 6f 66 20 74 68 65 20  he start of the 
2330: 62 6c 6f 62 20 61 73 73 6f 63 69 61 74 65 64 20  blob associated 
2340: 77 69 74 68 20 74 68 65 20 28 72 6f 77 69 64 3d  with the (rowid=
2350: 31 30 29 20 72 65 63 6f 72 64 0a 20 20 23 20 6e  10) record.  # n
2360: 6f 20 6c 6f 6e 67 65 72 20 6c 6f 6f 6b 73 20 6c  o longer looks l
2370: 69 6b 65 20 61 20 72 65 61 6c 20 63 65 6c 6c 29  ike a real cell)
2380: 2e 20 41 74 20 6f 6e 65 20 70 6f 69 6e 74 20 74  . At one point t
2390: 68 65 20 63 6f 64 65 20 61 73 73 75 6d 65 64 20  he code assumed 
23a0: 74 68 61 74 20 0a 20 20 23 20 64 65 74 65 63 74  that .  # detect
23b0: 69 6e 67 20 63 6f 72 72 75 70 74 69 6f 6e 20 77  ing corruption w
23c0: 61 73 20 6e 6f 74 20 70 6f 73 73 69 62 6c 65 20  as not possible 
23d0: 61 74 20 74 68 61 74 20 70 6f 69 6e 74 2c 20 61  at that point, a
23e0: 6e 64 20 61 6e 20 61 73 73 65 72 74 28 29 20 66  nd an assert() f
23f0: 61 69 6c 65 64 2e 0a 20 20 23 0a 20 20 73 65 74  ailed..  #.  set
2400: 20 66 64 20 5b 6f 70 65 6e 20 74 65 73 74 2e 64   fd [open test.d
2410: 62 20 72 2b 5d 0a 20 20 66 63 6f 6e 66 69 67 75  b r+].  fconfigu
2420: 72 65 20 24 66 64 20 2d 74 72 61 6e 73 6c 61 74  re $fd -translat
2430: 69 6f 6e 20 62 69 6e 61 72 79 20 2d 65 6e 63 6f  ion binary -enco
2440: 64 69 6e 67 20 62 69 6e 61 72 79 0a 20 20 73 65  ding binary.  se
2450: 65 6b 20 24 66 64 20 5b 65 78 70 72 20 31 30 32  ek $fd [expr 102
2460: 34 2b 38 5d 0a 20 20 70 75 74 73 20 2d 6e 6f 6e  4+8].  puts -non
2470: 65 77 6c 69 6e 65 20 24 66 64 20 22 5c 78 30 33  ewline $fd "\x03
2480: 5c 78 31 34 22 0a 20 20 63 6c 6f 73 65 20 24 66  \x14".  close $f
2490: 64 0a 20 20 0a 20 20 73 71 6c 69 74 65 33 20 64  d.  .  sqlite3 d
24a0: 62 20 74 65 73 74 2e 64 62 0a 20 20 64 6f 5f 74  b test.db.  do_t
24b0: 65 73 74 20 63 6f 72 72 75 70 74 2d 37 2e 32 20  est corrupt-7.2 
24c0: 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20  {.    execsql { 
24d0: 0a 20 20 20 20 20 20 55 50 44 41 54 45 20 74 31  .      UPDATE t1
24e0: 20 53 45 54 20 78 20 3d 20 58 27 38 37 30 34 30   SET x = X'87040
24f0: 30 30 32 30 30 30 33 30 30 30 34 30 30 30 35 30  0020003000400050
2500: 30 30 36 30 30 30 37 30 30 30 38 30 30 30 39 30  0060007000800090
2510: 30 30 41 27 20 0a 20 20 20 20 20 20 57 48 45 52  00A' .      WHER
2520: 45 20 72 6f 77 69 64 20 3d 20 31 30 3b 0a 20 20  E rowid = 10;.  
2530: 20 20 7d 0a 20 20 7d 20 7b 7d 0a 20 20 64 6f 5f    }.  } {}.  do_
2540: 74 65 73 74 20 63 6f 72 72 75 70 74 2d 37 2e 33  test corrupt-7.3
2550: 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20   {.    catchsql 
2560: 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  {.      INSERT I
2570: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 58 27  NTO t1 VALUES(X'
2580: 30 30 30 31 30 30 30 32 30 30 30 33 30 30 30 34  0001000200030004
2590: 30 30 30 35 30 30 30 36 30 30 30 37 30 30 30 38  0005000600070008
25a0: 30 30 30 39 30 30 30 41 27 29 3b 0a 20 20 20 20  0009000A');.    
25b0: 7d 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61  }.  } {1 {databa
25c0: 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73  se disk image is
25d0: 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 7d 0a 0a   malformed}}.}..
25e0: 64 62 20 63 6c 6f 73 65 0a 66 69 6c 65 20 64 65  db close.file de
25f0: 6c 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73 74  lete -force test
2600: 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72  .db test.db-jour
2610: 6e 61 6c 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  nal.do_test corr
2620: 75 70 74 2d 38 2e 31 20 7b 0a 20 20 73 71 6c 69  upt-8.1 {.  sqli
2630: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
2640: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
2650: 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20  RAGMA page_size 
2660: 3d 20 31 30 32 34 3b 0a 20 20 20 20 50 52 41 47  = 1024;.    PRAG
2670: 4d 41 20 73 65 63 75 72 65 5f 64 65 6c 65 74 65  MA secure_delete
2680: 20 3d 20 6f 6e 3b 0a 20 20 20 20 50 52 41 47 4d   = on;.    PRAGM
2690: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  A auto_vacuum = 
26a0: 30 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  0;.    CREATE TA
26b0: 42 4c 45 20 74 31 28 78 20 49 4e 54 45 47 45 52  BLE t1(x INTEGER
26c0: 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 79 29   PRIMARY KEY, y)
26d0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
26e0: 4f 20 74 31 20 56 41 4c 55 45 53 28 35 2c 20 72  O t1 VALUES(5, r
26f0: 61 6e 64 6f 6d 62 6c 6f 62 28 31 39 30 30 29 29  andomblob(1900))
2700: 3b 0a 20 20 7d 0a 0a 20 20 68 65 78 69 6f 5f 77  ;.  }..  hexio_w
2710: 72 69 74 65 20 74 65 73 74 2e 64 62 20 32 30 34  rite test.db 204
2720: 34 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65 72 5f  4 [hexio_render_
2730: 69 6e 74 33 32 20 32 5d 0a 20 20 68 65 78 69 6f  int32 2].  hexio
2740: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 32  _write test.db 2
2750: 34 20 20 20 5b 68 65 78 69 6f 5f 72 65 6e 64 65  4   [hexio_rende
2760: 72 5f 69 6e 74 33 32 20 34 35 5d 0a 0a 20 20 63  r_int32 45]..  c
2770: 61 74 63 68 73 71 6c 20 7b 20 49 4e 53 45 52 54  atchsql { INSERT
2780: 20 4f 52 20 52 45 50 4c 41 43 45 20 49 4e 54 4f   OR REPLACE INTO
2790: 20 74 31 20 56 41 4c 55 45 53 28 35 2c 20 72 61   t1 VALUES(5, ra
27a0: 6e 64 6f 6d 62 6c 6f 62 28 31 39 30 30 29 29 20  ndomblob(1900)) 
27b0: 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65  }.} {1 {database
27c0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
27d0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 66 69 6e 69  alformed}}..fini
27e0: 73 68 5f 74 65 73 74 0a                          sh_test.