/ Hex Artifact Content
Login

Artifact 730a3db08d4ab9aa43392ea30d9c2b4879cbff85:


0000: 23 20 32 30 30 38 20 4a 75 6c 79 20 39 0a 23 0a  # 2008 July 9.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou give..#.#****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 0a 23 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a  SQLite library..
01a0: 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d  #.# This file im
01b0: 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 74  plements tests t
01c0: 6f 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c 69  o make sure SQLi
01d0: 74 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61 73  te does not cras
01e0: 68 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74 20  h or.# segfault 
01f0: 69 66 20 69 74 20 73 65 65 73 20 61 20 63 6f 72  if it sees a cor
0200: 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66 69  rupt database fi
0210: 6c 65 2e 20 20 49 74 20 73 70 65 63 69 66 69 63  le.  It specific
0220: 61 6c 6c 79 20 66 6f 63 75 73 65 73 0a 23 20 6f  ally focuses.# o
0230: 6e 20 63 6f 72 72 75 70 74 69 6f 6e 20 69 6e 20  n corruption in 
0240: 74 68 65 20 66 6f 72 6d 20 6f 66 20 64 75 70 6c  the form of dupl
0250: 69 63 61 74 65 20 65 6e 74 72 69 65 73 20 6f 6e  icate entries on
0260: 20 74 68 65 20 66 72 65 65 6c 69 73 74 2e 0a 23   the freelist..#
0270: 0a 23 20 24 49 64 3a 20 63 6f 72 72 75 70 74 39  .# $Id: corrupt9
0280: 2e 74 65 73 74 2c 76 20 31 2e 33 20 32 30 30 39  .test,v 1.3 2009
0290: 2f 30 36 2f 30 34 20 30 32 3a 34 37 3a 30 34 20  /06/04 02:47:04 
02a0: 73 68 61 6e 65 20 45 78 70 20 24 0a 0a 73 65 74  shane Exp $..set
02b0: 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64   testdir [file d
02c0: 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73  irname $argv0].s
02d0: 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74  ource $testdir/t
02e0: 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 44 6f 20  ester.tcl..# Do 
02f0: 6e 6f 74 20 75 73 65 20 61 20 63 6f 64 65 63 20  not use a codec 
0300: 66 6f 72 20 74 65 73 74 73 20 69 6e 20 74 68 69  for tests in thi
0310: 73 20 66 69 6c 65 2c 20 61 73 20 74 68 65 20 64  s file, as the d
0320: 61 74 61 62 61 73 65 20 66 69 6c 65 20 69 73 0a  atabase file is.
0330: 23 20 6d 61 6e 69 70 75 6c 61 74 65 64 20 64 69  # manipulated di
0340: 72 65 63 74 6c 79 20 75 73 69 6e 67 20 74 63 6c  rectly using tcl
0350: 20 73 63 72 69 70 74 73 20 28 75 73 69 6e 67 20   scripts (using 
0360: 74 68 65 20 5b 68 65 78 69 6f 5f 77 72 69 74 65  the [hexio_write
0370: 5d 20 63 6f 6d 6d 61 6e 64 29 2e 0a 23 0a 64 6f  ] command)..#.do
0380: 5f 6e 6f 74 5f 75 73 65 5f 63 6f 64 65 63 0a 0a  _not_use_codec..
0390: 23 20 54 68 65 73 65 20 74 65 73 74 73 20 64 65  # These tests de
03a0: 61 6c 20 77 69 74 68 20 63 6f 72 72 75 70 74 20  al with corrupt 
03b0: 64 61 74 61 62 61 73 65 20 66 69 6c 65 73 0a 23  database files.#
03c0: 0a 64 61 74 61 62 61 73 65 5f 6d 61 79 5f 62 65  .database_may_be
03d0: 5f 63 6f 72 72 75 70 74 0a 0a 23 20 57 65 20 6d  _corrupt..# We m
03e0: 75 73 74 20 68 61 76 65 20 74 68 65 20 70 61 67  ust have the pag
03f0: 65 5f 73 69 7a 65 20 70 72 61 67 6d 61 20 66 6f  e_size pragma fo
0400: 72 20 74 68 65 73 65 20 74 65 73 74 73 20 74 6f  r these tests to
0410: 20 77 6f 72 6b 2e 0a 23 0a 69 66 63 61 70 61 62   work..#.ifcapab
0420: 6c 65 20 21 70 61 67 65 72 5f 70 72 61 67 6d 61  le !pager_pragma
0430: 73 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  s {.  finish_tes
0440: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 20  t.  return.}..# 
0450: 52 65 74 75 72 6e 20 74 68 65 20 6f 66 66 73 65  Return the offse
0460: 74 20 74 6f 20 74 68 65 20 66 69 72 73 74 20 28  t to the first (
0470: 74 72 75 6e 6b 29 20 70 61 67 65 20 6f 66 20 74  trunk) page of t
0480: 68 65 20 66 72 65 65 6c 69 73 74 2e 20 20 52 65  he freelist.  Re
0490: 74 75 72 6e 0a 23 20 7a 65 72 6f 20 6f 66 20 74  turn.# zero of t
04a0: 68 65 20 66 72 65 65 6c 69 73 74 20 69 73 20 65  he freelist is e
04b0: 6d 70 74 79 2e 0a 23 0a 70 72 6f 63 20 66 72 65  mpty..#.proc fre
04c0: 65 6c 69 73 74 5f 74 72 75 6e 6b 5f 6f 66 66 73  elist_trunk_offs
04d0: 65 74 20 7b 66 69 6c 65 6e 61 6d 65 7d 20 7b 0a  et {filename} {.
04e0: 20 20 69 66 20 7b 5b 68 65 78 69 6f 5f 72 65 61    if {[hexio_rea
04f0: 64 20 24 66 69 6c 65 6e 61 6d 65 20 33 36 20 34  d $filename 36 4
0500: 5d 3d 3d 30 7d 20 7b 72 65 74 75 72 6e 20 30 7d  ]==0} {return 0}
0510: 0a 20 20 73 65 74 20 70 67 6e 6f 20 5b 68 65 78  .  set pgno [hex
0520: 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69  io_get_int [hexi
0530: 6f 5f 72 65 61 64 20 24 66 69 6c 65 6e 61 6d 65  o_read $filename
0540: 20 33 32 20 34 5d 5d 0a 20 20 72 65 74 75 72 6e   32 4]].  return
0550: 20 5b 65 78 70 72 20 7b 28 24 70 67 6e 6f 2d 31   [expr {($pgno-1
0560: 29 2a 5b 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74  )*[hexio_get_int
0570: 20 5b 68 65 78 69 6f 5f 72 65 61 64 20 24 66 69   [hexio_read $fi
0580: 6c 65 6e 61 6d 65 20 31 36 20 32 5d 5d 7d 5d 0a  lename 16 2]]}].
0590: 7d 0a 0a 23 20 54 68 69 73 20 70 72 6f 63 65 64  }..# This proced
05a0: 75 72 65 20 6c 6f 6f 6b 73 20 61 74 20 74 68 65  ure looks at the
05b0: 20 66 69 72 73 74 20 74 72 75 6e 6b 20 70 61 67   first trunk pag
05c0: 65 20 6f 66 20 74 68 65 20 66 72 65 65 6c 69 73  e of the freelis
05d0: 74 20 61 6e 64 0a 23 20 63 6f 72 72 75 70 74 73  t and.# corrupts
05e0: 20 74 68 61 74 20 70 61 67 65 20 62 79 20 6f 76   that page by ov
05f0: 65 72 77 72 69 74 69 6e 67 20 75 70 20 74 6f 20  erwriting up to 
0600: 4e 20 65 6e 74 72 69 65 73 20 77 69 74 68 20 64  N entries with d
0610: 75 70 6c 69 63 61 74 65 73 0a 23 20 6f 66 20 74  uplicates.# of t
0620: 68 65 20 66 69 72 73 74 20 65 6e 74 72 79 2e 0a  he first entry..
0630: 23 0a 70 72 6f 63 20 63 6f 72 72 75 70 74 5f 66  #.proc corrupt_f
0640: 72 65 65 6c 69 73 74 20 7b 66 69 6c 65 6e 61 6d  reelist {filenam
0650: 65 20 4e 7d 20 7b 0a 20 20 73 65 74 20 6f 66 66  e N} {.  set off
0660: 73 65 74 20 5b 66 72 65 65 6c 69 73 74 5f 74 72  set [freelist_tr
0670: 75 6e 6b 5f 6f 66 66 73 65 74 20 24 66 69 6c 65  unk_offset $file
0680: 6e 61 6d 65 5d 0a 20 20 69 66 20 7b 24 6f 66 66  name].  if {$off
0690: 73 65 74 3d 3d 30 7d 20 7b 65 72 72 6f 72 20 22  set==0} {error "
06a0: 46 72 65 65 6c 69 73 74 20 69 73 20 65 6d 70 74  Freelist is empt
06b0: 79 22 7d 0a 20 20 73 65 74 20 63 6e 74 20 5b 68  y"}.  set cnt [h
06c0: 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65  exio_get_int [he
06d0: 78 69 6f 5f 72 65 61 64 20 24 66 69 6c 65 6e 61  xio_read $filena
06e0: 6d 65 20 5b 65 78 70 72 20 7b 24 6f 66 66 73 65  me [expr {$offse
06f0: 74 2b 34 7d 5d 20 34 5d 5d 0a 20 20 73 65 74 20  t+4}] 4]].  set 
0700: 70 67 6e 6f 20 5b 68 65 78 69 6f 5f 72 65 61 64  pgno [hexio_read
0710: 20 24 66 69 6c 65 6e 61 6d 65 20 5b 65 78 70 72   $filename [expr
0720: 20 7b 24 6f 66 66 73 65 74 2b 38 7d 5d 20 34 5d   {$offset+8}] 4]
0730: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 31 32  .  for {set i 12
0740: 7d 20 7b 24 4e 3e 30 20 26 26 20 24 69 3c 38 2b  } {$N>0 && $i<8+
0750: 34 2a 24 63 6e 74 7d 20 7b 69 6e 63 72 20 69 20  4*$cnt} {incr i 
0760: 34 3b 20 69 6e 63 72 20 4e 20 2d 31 7d 20 7b 0a  4; incr N -1} {.
0770: 20 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20      hexio_write 
0780: 24 66 69 6c 65 6e 61 6d 65 20 5b 65 78 70 72 20  $filename [expr 
0790: 7b 24 6f 66 66 73 65 74 2b 24 69 7d 5d 20 24 70  {$offset+$i}] $p
07a0: 67 6e 6f 0a 20 20 7d 0a 7d 0a 0a 23 20 43 72 65  gno.  }.}..# Cre
07b0: 61 74 65 20 61 20 64 61 74 61 62 61 73 65 20 74  ate a database t
07c0: 6f 20 77 6f 72 6b 20 77 69 74 68 2e 20 20 4d 61  o work with.  Ma
07d0: 6b 65 20 73 75 72 65 20 74 68 65 72 65 20 61 72  ke sure there ar
07e0: 65 20 70 6c 65 6e 74 79 20 6f 66 0a 23 20 65 6e  e plenty of.# en
07f0: 74 72 69 65 73 20 6f 6e 20 74 68 65 20 66 72 65  tries on the fre
0800: 65 6c 69 73 74 2e 0a 23 0a 64 6f 5f 74 65 73 74  elist..#.do_test
0810: 20 63 6f 72 72 75 70 74 39 2d 31 2e 31 20 7b 0a   corrupt9-1.1 {.
0820: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0830: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
0840: 75 6d 3d 4e 4f 4e 45 3b 0a 20 20 20 20 50 52 41  um=NONE;.    PRA
0850: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30  GMA page_size=10
0860: 32 34 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  24;.    CREATE T
0870: 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 20 20  ABLE t1(x);.    
0880: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78  INSERT INTO t1(x
0890: 29 20 56 41 4c 55 45 53 28 31 29 3b 0a 20 20 20  ) VALUES(1);.   
08a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
08b0: 78 29 20 56 41 4c 55 45 53 28 32 29 3b 0a 20 20  x) VALUES(2);.  
08c0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
08d0: 28 78 29 20 53 45 4c 45 43 54 20 78 2b 32 20 46  (x) SELECT x+2 F
08e0: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
08f0: 52 54 20 49 4e 54 4f 20 74 31 28 78 29 20 53 45  RT INTO t1(x) SE
0900: 4c 45 43 54 20 78 2b 34 20 46 52 4f 4d 20 74 31  LECT x+4 FROM t1
0910: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0920: 4f 20 74 31 28 78 29 20 53 45 4c 45 43 54 20 78  O t1(x) SELECT x
0930: 2b 38 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  +8 FROM t1;.    
0940: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 78  INSERT INTO t1(x
0950: 29 20 53 45 4c 45 43 54 20 78 2b 31 36 20 46 52  ) SELECT x+16 FR
0960: 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52  OM t1;.    INSER
0970: 54 20 49 4e 54 4f 20 74 31 28 78 29 20 53 45 4c  T INTO t1(x) SEL
0980: 45 43 54 20 78 2b 33 32 20 46 52 4f 4d 20 74 31  ECT x+32 FROM t1
0990: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
09a0: 4f 20 74 31 28 78 29 20 53 45 4c 45 43 54 20 78  O t1(x) SELECT x
09b0: 2b 36 34 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  +64 FROM t1;.   
09c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
09d0: 78 29 20 53 45 4c 45 43 54 20 78 2b 31 32 38 20  x) SELECT x+128 
09e0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
09f0: 45 52 54 20 49 4e 54 4f 20 74 31 28 78 29 20 53  ERT INTO t1(x) S
0a00: 45 4c 45 43 54 20 78 2b 32 35 36 20 46 52 4f 4d  ELECT x+256 FROM
0a10: 20 74 31 3b 0a 20 20 20 20 43 52 45 41 54 45 20   t1;.    CREATE 
0a20: 54 41 42 4c 45 20 74 32 28 61 2c 62 29 3b 0a 20  TABLE t2(a,b);. 
0a30: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0a40: 32 20 53 45 4c 45 43 54 20 78 2c 20 78 2a 78 20  2 SELECT x, x*x 
0a50: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43 52 45  FROM t1;.    CRE
0a60: 41 54 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20  ATE INDEX i1 ON 
0a70: 74 31 28 78 29 3b 0a 20 20 20 20 43 52 45 41 54  t1(x);.    CREAT
0a80: 45 20 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 32  E INDEX i2 ON t2
0a90: 28 62 2c 61 29 3b 0a 20 20 20 20 44 52 4f 50 20  (b,a);.    DROP 
0aa0: 49 4e 44 45 58 20 69 32 3b 0a 20 20 7d 0a 20 20  INDEX i2;.  }.  
0ab0: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65  expr {[file size
0ac0: 20 74 65 73 74 2e 64 62 5d 3e 31 30 32 34 2a 32   test.db]>1024*2
0ad0: 34 7d 0a 7d 20 7b 31 7d 0a 69 6e 74 65 67 72 69  4}.} {1}.integri
0ae0: 74 79 5f 63 68 65 63 6b 20 63 6f 72 72 75 70 74  ty_check corrupt
0af0: 39 2d 31 2e 32 0a 0a 23 20 43 6f 72 72 75 70 74  9-1.2..# Corrupt
0b00: 20 74 68 65 20 66 72 65 65 6c 69 73 74 20 62 79   the freelist by
0b10: 20 61 64 64 69 6e 67 20 64 75 70 6c 69 63 61 74   adding duplicat
0b20: 65 20 65 6e 74 72 69 65 73 20 74 6f 20 74 68 65  e entries to the
0b30: 20 66 72 65 65 6c 69 73 74 2e 0a 23 20 4d 61 6b   freelist..# Mak
0b40: 65 20 73 75 72 65 20 74 68 65 20 63 6f 72 72 75  e sure the corru
0b50: 70 74 69 6f 6e 20 69 73 20 64 65 74 65 63 74 65  ption is detecte
0b60: 64 2e 0a 23 0a 64 62 20 63 6c 6f 73 65 0a 66 6f  d..#.db close.fo
0b70: 72 63 65 63 6f 70 79 20 74 65 73 74 2e 64 62 20  rcecopy test.db 
0b80: 74 65 73 74 2e 64 62 2d 74 65 6d 70 6c 61 74 65  test.db-template
0b90: 0a 0a 63 6f 72 72 75 70 74 5f 66 72 65 65 6c 69  ..corrupt_freeli
0ba0: 73 74 20 74 65 73 74 2e 64 62 20 31 0a 73 71 6c  st test.db 1.sql
0bb0: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
0bc0: 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74 39  do_test corrupt9
0bd0: 2d 32 2e 31 20 7b 0a 20 20 73 65 74 20 78 20 5b  -2.1 {.  set x [
0be0: 64 62 20 65 76 61 6c 20 7b 50 52 41 47 4d 41 20  db eval {PRAGMA 
0bf0: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 7d  integrity_check}
0c00: 5d 0a 20 20 65 78 70 72 20 7b 24 78 21 3d 22 6f  ].  expr {$x!="o
0c10: 6b 22 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73  k"}.} {1}.do_tes
0c20: 74 20 63 6f 72 72 75 70 74 39 2d 32 2e 32 20 7b  t corrupt9-2.2 {
0c30: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0c40: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69    CREATE INDEX i
0c50: 32 20 4f 4e 20 74 32 28 62 2c 61 29 3b 0a 20 20  2 ON t2(b,a);.  
0c60: 20 20 52 45 49 4e 44 45 58 3b 0a 20 20 7d 0a 7d    REINDEX;.  }.}
0c70: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
0c80: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
0c90: 6f 72 6d 65 64 7d 7d 0a 0a 0a 64 62 20 63 6c 6f  ormed}}...db clo
0ca0: 73 65 0a 66 6f 72 63 65 63 6f 70 79 20 74 65 73  se.forcecopy tes
0cb0: 74 2e 64 62 2d 74 65 6d 70 6c 61 74 65 20 74 65  t.db-template te
0cc0: 73 74 2e 64 62 0a 63 6f 72 72 75 70 74 5f 66 72  st.db.corrupt_fr
0cd0: 65 65 6c 69 73 74 20 74 65 73 74 2e 64 62 20 32  eelist test.db 2
0ce0: 0a 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74  .sqlite3 db test
0cf0: 2e 64 62 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72  .db.do_test corr
0d00: 75 70 74 39 2d 33 2e 31 20 7b 0a 20 20 73 65 74  upt9-3.1 {.  set
0d10: 20 78 20 5b 64 62 20 65 76 61 6c 20 7b 50 52 41   x [db eval {PRA
0d20: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68  GMA integrity_ch
0d30: 65 63 6b 7d 5d 0a 20 20 65 78 70 72 20 7b 24 78  eck}].  expr {$x
0d40: 21 3d 22 6f 6b 22 7d 0a 7d 20 7b 31 7d 0a 64 6f  !="ok"}.} {1}.do
0d50: 5f 74 65 73 74 20 63 6f 72 72 75 70 74 39 2d 33  _test corrupt9-3
0d60: 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .2 {.  catchsql 
0d70: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44  {.    CREATE IND
0d80: 45 58 20 69 32 20 4f 4e 20 74 32 28 62 2c 61 29  EX i2 ON t2(b,a)
0d90: 3b 0a 20 20 20 20 52 45 49 4e 44 45 58 3b 0a 20  ;.    REINDEX;. 
0da0: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
0db0: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
0dc0: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 62 20  malformed}}..db 
0dd0: 63 6c 6f 73 65 0a 66 6f 72 63 65 63 6f 70 79 20  close.forcecopy 
0de0: 74 65 73 74 2e 64 62 2d 74 65 6d 70 6c 61 74 65  test.db-template
0df0: 20 74 65 73 74 2e 64 62 0a 63 6f 72 72 75 70 74   test.db.corrupt
0e00: 5f 66 72 65 65 6c 69 73 74 20 74 65 73 74 2e 64  _freelist test.d
0e10: 62 20 33 0a 73 71 6c 69 74 65 33 20 64 62 20 74  b 3.sqlite3 db t
0e20: 65 73 74 2e 64 62 0a 64 6f 5f 74 65 73 74 20 63  est.db.do_test c
0e30: 6f 72 72 75 70 74 39 2d 34 2e 31 20 7b 0a 20 20  orrupt9-4.1 {.  
0e40: 73 65 74 20 78 20 5b 64 62 20 65 76 61 6c 20 7b  set x [db eval {
0e50: 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79  PRAGMA integrity
0e60: 5f 63 68 65 63 6b 7d 5d 0a 20 20 65 78 70 72 20  _check}].  expr 
0e70: 7b 24 78 21 3d 22 6f 6b 22 7d 0a 7d 20 7b 31 7d  {$x!="ok"}.} {1}
0e80: 0a 64 6f 5f 74 65 73 74 20 63 6f 72 72 75 70 74  .do_test corrupt
0e90: 39 2d 34 2e 32 20 7b 0a 20 20 63 61 74 63 68 73  9-4.2 {.  catchs
0ea0: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
0eb0: 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 32 28 62  INDEX i2 ON t2(b
0ec0: 2c 61 29 3b 0a 20 20 20 20 52 45 49 4e 44 45 58  ,a);.    REINDEX
0ed0: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61  ;.  }.} {1 {data
0ee0: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
0ef0: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 20  is malformed}}. 
0f00: 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        ..finish_test.