/ Hex Artifact Content
Login

Artifact 88ed71a086e13591c917aac6de32750e7c7281cb:


0000: 23 20 32 30 31 34 2d 30 31 2d 32 30 0a 23 0a 23  # 2014-01-20.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u 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 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69  **.#..set testdi
0170: 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20  r [file dirname 
0180: 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24  $argv0].source $
0190: 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74  testdir/tester.t
01a0: 63 6c 0a 73 65 74 20 74 65 73 74 70 72 65 66 69  cl.set testprefi
01b0: 78 20 63 6f 72 72 75 70 74 48 0a 0a 23 20 44 6f  x corruptH..# Do
01c0: 20 6e 6f 74 20 75 73 65 20 61 20 63 6f 64 65 63   not use a codec
01d0: 20 66 6f 72 20 74 65 73 74 73 20 69 6e 20 74 68   for tests in th
01e0: 69 73 20 66 69 6c 65 2c 20 61 73 20 74 68 65 20  is file, as the 
01f0: 64 61 74 61 62 61 73 65 20 66 69 6c 65 20 69 73  database file is
0200: 0a 23 20 6d 61 6e 69 70 75 6c 61 74 65 64 20 64  .# manipulated d
0210: 69 72 65 63 74 6c 79 20 75 73 69 6e 67 20 74 63  irectly using tc
0220: 6c 20 73 63 72 69 70 74 73 20 28 75 73 69 6e 67  l scripts (using
0230: 20 74 68 65 20 5b 68 65 78 69 6f 5f 77 72 69 74   the [hexio_writ
0240: 65 5d 20 63 6f 6d 6d 61 6e 64 29 2e 0a 23 0a 64  e] command)..#.d
0250: 6f 5f 6e 6f 74 5f 75 73 65 5f 63 6f 64 65 63 0a  o_not_use_codec.
0260: 64 61 74 61 62 61 73 65 5f 6d 61 79 5f 62 65 5f  database_may_be_
0270: 63 6f 72 72 75 70 74 0a 0a 23 20 54 68 65 20 63  corrupt..# The c
0280: 6f 72 72 75 70 74 69 6f 6e 20 6d 69 67 72 61 74  orruption migrat
0290: 69 6f 6e 73 20 74 65 73 74 65 64 20 62 79 20 74  ions tested by t
02a0: 68 65 20 63 6f 64 65 20 69 6e 20 74 68 69 73 20  he code in this 
02b0: 66 69 6c 65 20 61 72 65 20 6e 6f 74 20 64 65 74  file are not det
02c0: 65 63 74 65 64 0a 23 20 6d 6d 61 70 20 6d 6f 64  ected.# mmap mod
02d0: 65 2e 0a 23 0a 23 20 54 68 65 20 72 65 61 73 6f  e..#.# The reaso
02e0: 6e 20 69 73 20 74 68 61 74 20 69 6e 20 6d 6d 61  n is that in mma
02f0: 70 20 6d 6f 64 65 2c 20 74 68 65 20 64 69 66 66  p mode, the diff
0300: 65 72 65 6e 74 20 71 75 65 72 69 65 73 20 6d 61  erent queries ma
0310: 79 20 75 73 65 20 64 69 66 66 65 72 65 6e 74 0a  y use different.
0320: 23 20 50 67 48 64 72 20 6f 62 6a 65 63 74 73 20  # PgHdr objects 
0330: 66 6f 72 20 74 68 65 20 73 61 6d 65 20 70 61 67  for the same pag
0340: 65 20 28 73 61 6d 65 20 64 61 74 61 2c 20 62 75  e (same data, bu
0350: 74 20 64 69 66 66 65 72 65 6e 74 20 50 67 48 64  t different PgHd
0360: 72 20 63 6f 6e 74 61 69 6e 65 72 20 0a 23 20 6f  r container .# o
0370: 62 6a 65 63 74 73 29 2e 20 41 6e 64 20 73 6f 20  bjects). And so 
0380: 74 68 65 20 63 6f 72 72 75 70 74 69 6f 6e 20 69  the corruption i
0390: 73 20 6e 6f 74 20 64 65 74 65 63 74 65 64 2e 20  s not detected. 
03a0: 0a 23 0a 69 66 20 7b 5b 70 65 72 6d 75 74 61 74  .#.if {[permutat
03b0: 69 6f 6e 5d 3d 3d 22 6d 6d 61 70 22 7d 20 7b 0a  ion]=="mmap"} {.
03c0: 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20    finish_test.  
03d0: 72 65 74 75 72 6e 0a 7d 0a 0a 23 20 49 6e 69 74  return.}..# Init
03e0: 69 61 6c 69 7a 65 20 74 68 65 20 64 61 74 61 62  ialize the datab
03f0: 61 73 65 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71  ase..#.do_execsq
0400: 6c 5f 74 65 73 74 20 31 2e 31 20 7b 0a 20 20 50  l_test 1.1 {.  P
0410: 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d  RAGMA page_size=
0420: 31 30 32 34 3b 0a 0a 20 20 43 52 45 41 54 45 20  1024;..  CREATE 
0430: 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47  TABLE t1(a INTEG
0440: 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20  ER PRIMARY KEY, 
0450: 62 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  b);.  INSERT INT
0460: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 27  O t1 VALUES(1, '
0470: 6f 6e 65 27 29 3b 0a 20 20 49 4e 53 45 52 54 20  one');.  INSERT 
0480: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32  INTO t1 VALUES(2
0490: 2c 20 27 74 77 6f 27 29 3b 0a 0a 20 20 43 52 45  , 'two');..  CRE
04a0: 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 29 3b  ATE TABLE t2(x);
04b0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
04c0: 32 20 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62  2 VALUES(randomb
04d0: 6c 6f 62 28 32 30 30 29 29 3b 0a 20 20 49 4e 53  lob(200));.  INS
04e0: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
04f0: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32 30  CT randomblob(20
0500: 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20 49 4e  0) FROM t2;.  IN
0510: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
0520: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 32  ECT randomblob(2
0530: 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20 49  00) FROM t2;.  I
0540: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
0550: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
0560: 32 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20  200) FROM t2;.  
0570: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53  INSERT INTO t2 S
0580: 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62  ELECT randomblob
0590: 28 32 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20  (200) FROM t2;. 
05a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
05b0: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
05c0: 62 28 32 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a  b(200) FROM t2;.
05d0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
05e0: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
05f0: 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74 32 3b  ob(200) FROM t2;
0600: 0a 7d 20 7b 7d 0a 0a 23 20 43 6f 72 72 75 70 74  .} {}..# Corrupt
0610: 20 74 68 65 20 66 69 6c 65 20 73 6f 20 74 68 61   the file so tha
0620: 74 20 74 68 65 20 72 6f 6f 74 20 70 61 67 65 20  t the root page 
0630: 6f 66 20 74 31 20 69 73 20 61 6c 73 6f 20 6c 69  of t1 is also li
0640: 6e 6b 65 64 20 69 6e 74 6f 20 74 32 20 61 73 0a  nked into t2 as.
0650: 23 20 61 20 6c 65 61 66 20 70 61 67 65 2e 0a 23  # a leaf page..#
0660: 0a 64 6f 5f 74 65 73 74 20 31 2e 32 20 7b 0a 20  .do_test 1.2 {. 
0670: 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43   db eval { SELEC
0680: 54 20 6e 61 6d 65 2c 20 72 6f 6f 74 70 61 67 65  T name, rootpage
0690: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
06a0: 74 65 72 20 7d 20 7b 20 0a 20 20 20 20 73 65 74  ter } { .    set
06b0: 20 72 28 24 6e 61 6d 65 29 20 24 72 6f 6f 74 70   r($name) $rootp
06c0: 61 67 65 20 0a 20 20 7d 0a 20 20 64 62 20 63 6c  age .  }.  db cl
06d0: 6f 73 65 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  ose.  hexio_writ
06e0: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
06f0: 7b 28 24 72 28 74 32 29 2d 31 29 2a 31 30 32 34  {($r(t2)-1)*1024
0700: 20 2b 20 31 31 7d 5d 20 5b 66 6f 72 6d 61 74 20   + 11}] [format 
0710: 25 2e 32 58 20 24 72 28 74 31 29 5d 0a 20 20 73  %.2X $r(t1)].  s
0720: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0730: 62 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20  b.} {}..do_test 
0740: 31 2e 33 20 7b 0a 62 72 65 61 6b 70 6f 69 6e 74  1.3 {.breakpoint
0750: 0a 20 20 64 62 20 65 76 61 6c 20 7b 20 50 52 41  .  db eval { PRA
0760: 47 4d 41 20 73 65 63 75 72 65 5f 64 65 6c 65 74  GMA secure_delet
0770: 65 3d 31 20 7d 0a 20 20 6c 69 73 74 20 5b 63 61  e=1 }.  list [ca
0780: 74 63 68 20 7b 0a 20 20 20 20 64 62 20 65 76 61  tch {.    db eva
0790: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
07a0: 4d 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20  M t1 WHERE a IN 
07b0: 28 31 2c 20 32 29 20 7d 20 7b 0a 20 20 20 20 20  (1, 2) } {.     
07c0: 20 64 62 20 65 76 61 6c 20 7b 20 44 45 4c 45 54   db eval { DELET
07d0: 45 20 46 52 4f 4d 20 74 32 20 7d 0a 20 20 20 20  E FROM t2 }.    
07e0: 7d 0a 20 20 7d 20 6d 73 67 5d 20 24 6d 73 67 0a  }.  } msg] $msg.
07f0: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
0800: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0810: 66 6f 72 6d 65 64 7d 7d 0a 0a 23 2d 2d 2d 2d 2d  formed}}..#-----
0820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0840: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0850: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0860: 2d 2d 2d 2d 0a 72 65 73 65 74 5f 64 62 0a 0a 23  ----.reset_db..#
0870: 20 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20   Initialize the 
0880: 64 61 74 61 62 61 73 65 2e 0a 23 0a 64 6f 5f 65  database..#.do_e
0890: 78 65 63 73 71 6c 5f 74 65 73 74 20 32 2e 31 20  xecsql_test 2.1 
08a0: 7b 0a 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f  {.  PRAGMA auto_
08b0: 76 61 63 75 75 6d 3d 30 3b 0a 20 20 50 52 41 47  vacuum=0;.  PRAG
08c0: 4d 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32  MA page_size=102
08d0: 34 3b 0a 0a 20 20 43 52 45 41 54 45 20 54 41 42  4;..  CREATE TAB
08e0: 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45 52 20  LE t1(a INTEGER 
08f0: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b  PRIMARY KEY, b);
0900: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
0910: 31 20 56 41 4c 55 45 53 28 31 2c 20 27 6f 6e 65  1 VALUES(1, 'one
0920: 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  ');.  INSERT INT
0930: 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 27  O t1 VALUES(2, '
0940: 74 77 6f 27 29 3b 0a 0a 20 20 43 52 45 41 54 45  two');..  CREATE
0950: 20 54 41 42 4c 45 20 74 33 28 78 29 3b 0a 0a 20   TABLE t3(x);.. 
0960: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
0970: 28 78 20 50 52 49 4d 41 52 59 20 4b 45 59 29 20  (x PRIMARY KEY) 
0980: 57 49 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a 20  WITHOUT ROWID;. 
0990: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
09a0: 56 41 4c 55 45 53 28 72 61 6e 64 6f 6d 62 6c 6f  VALUES(randomblo
09b0: 62 28 31 30 30 29 29 3b 0a 0a 20 20 44 52 4f 50  b(100));..  DROP
09c0: 20 54 41 42 4c 45 20 74 33 3b 0a 7d 20 7b 7d 0a   TABLE t3;.} {}.
09d0: 0a 64 6f 5f 74 65 73 74 20 32 2e 32 20 7b 0a 20  .do_test 2.2 {. 
09e0: 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43   db eval { SELEC
09f0: 54 20 6e 61 6d 65 2c 20 72 6f 6f 74 70 61 67 65  T name, rootpage
0a00: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73   FROM sqlite_mas
0a10: 74 65 72 20 7d 20 7b 20 0a 20 20 20 20 73 65 74  ter } { .    set
0a20: 20 72 28 24 6e 61 6d 65 29 20 24 72 6f 6f 74 70   r($name) $rootp
0a30: 61 67 65 20 0a 20 20 7d 0a 20 20 64 62 20 63 6c  age .  }.  db cl
0a40: 6f 73 65 0a 20 20 73 65 74 20 66 6c 20 5b 68 65  ose.  set fl [he
0a50: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
0a60: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
0a70: 33 32 20 34 5d 5d 0a 0a 20 20 68 65 78 69 6f 5f  32 4]]..  hexio_
0a80: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b 65  write test.db [e
0a90: 78 70 72 20 7b 28 24 66 6c 2d 31 29 20 2a 20 31  xpr {($fl-1) * 1
0aa0: 30 32 34 20 2b 20 30 7d 5d 20 30 30 30 30 30 30  024 + 0}] 000000
0ab0: 30 30 20 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  00 .  hexio_writ
0ac0: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
0ad0: 7b 28 24 66 6c 2d 31 29 20 2a 20 31 30 32 34 20  {($fl-1) * 1024 
0ae0: 2b 20 34 7d 5d 20 30 30 30 30 30 30 30 31 20 0a  + 4}] 00000001 .
0af0: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
0b00: 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 28 24 66  st.db [expr {($f
0b10: 6c 2d 31 29 20 2a 20 31 30 32 34 20 2b 20 38 7d  l-1) * 1024 + 8}
0b20: 5d 20 5b 66 6f 72 6d 61 74 20 25 2e 38 58 20 24  ] [format %.8X $
0b30: 72 28 74 31 29 5d 0a 20 20 68 65 78 69 6f 5f 77  r(t1)].  hexio_w
0b40: 72 69 74 65 20 74 65 73 74 2e 64 62 20 33 36 20  rite test.db 36 
0b50: 30 30 30 30 30 30 30 32 0a 0a 20 20 73 71 6c 69  00000002..  sqli
0b60: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 7d  te3 db test.db.}
0b70: 20 7b 7d 0a 0a 0a 23 20 54 68 65 20 74 72 69 63   {}...# The tric
0b80: 6b 20 68 65 72 65 20 69 73 20 74 68 61 74 20 74  k here is that t
0b90: 68 65 20 72 6f 6f 74 20 70 61 67 65 20 6f 66 20  he root page of 
0ba0: 74 68 65 20 74 72 65 65 20 73 63 61 6e 6e 65 64  the tree scanned
0bb0: 20 62 79 20 74 68 65 20 6f 75 74 65 72 20 0a 23   by the outer .#
0bc0: 20 71 75 65 72 79 20 69 73 20 61 6c 73 6f 20 63   query is also c
0bd0: 75 72 72 65 6e 74 6c 79 20 6f 6e 20 74 68 65 20  urrently on the 
0be0: 66 72 65 65 2d 6c 69 73 74 2e 20 53 6f 20 77 68  free-list. So wh
0bf0: 69 6c 65 20 74 68 65 20 66 69 72 73 74 20 73 65  ile the first se
0c00: 65 6b 20 6f 6e 0a 23 20 74 68 65 20 74 61 62 6c  ek on.# the tabl
0c10: 65 20 28 66 6f 72 20 61 3d 3d 31 29 20 77 6f 72  e (for a==1) wor
0c20: 6b 73 2c 20 62 79 20 74 68 65 20 74 69 6d 65 20  ks, by the time 
0c30: 74 68 65 20 73 65 63 6f 6e 64 20 69 73 20 61 74  the second is at
0c40: 74 65 6d 70 74 65 64 20 54 68 65 20 0a 23 20 22  tempted The .# "
0c50: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 2e 2e  INSERT INTO t2..
0c60: 2e 22 20 73 74 61 74 65 6d 65 6e 74 73 20 68 61  ." statements ha
0c70: 76 65 20 72 65 63 79 63 6c 65 64 20 74 68 65 20  ve recycled the 
0c80: 72 6f 6f 74 20 70 61 67 65 20 6f 66 20 74 31 20  root page of t1 
0c90: 61 6e 64 0a 23 20 75 73 65 64 20 69 74 20 61 73  and.# used it as
0ca0: 20 61 6e 20 69 6e 64 65 78 20 6c 65 61 66 2e 20   an index leaf. 
0cb0: 4e 6f 72 6d 61 6c 6c 79 2c 20 42 74 72 65 65 4d  Normally, BtreeM
0cc0: 6f 76 65 74 6f 55 6e 70 61 63 6b 65 64 28 29 20  ovetoUnpacked() 
0cd0: 64 65 74 65 63 74 73 0a 23 20 74 68 61 74 20 74  detects.# that t
0ce0: 68 65 20 50 67 48 64 72 20 6f 62 6a 65 63 74 20  he PgHdr object 
0cf0: 61 73 73 6f 63 69 61 74 65 64 20 77 69 74 68 20  associated with 
0d00: 73 61 69 64 20 72 6f 6f 74 20 70 61 67 65 20 64  said root page d
0d10: 6f 65 73 20 6e 6f 74 20 6d 61 74 63 68 0a 23 20  oes not match.# 
0d20: 74 68 65 20 63 75 72 73 6f 72 20 28 61 73 20 69  the cursor (as i
0d30: 74 20 69 73 20 6e 6f 77 20 6d 61 72 6b 65 64 20  t is now marked 
0d40: 77 69 74 68 20 50 67 48 64 72 2e 69 6e 74 4b 65  with PgHdr.intKe
0d50: 79 3d 3d 30 29 20 61 6e 64 20 72 65 74 75 72 6e  y==0) and return
0d60: 73 0a 23 20 53 51 4c 49 54 45 5f 43 4f 52 52 55  s.# SQLITE_CORRU
0d70: 50 54 2e 20 0a 23 0a 73 65 74 20 72 65 73 32 33  PT. .#.set res23
0d80: 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69   {1 {database di
0d90: 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66  sk image is malf
0da0: 6f 72 6d 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20  ormed}}.do_test 
0db0: 32 2e 33 20 7b 0a 20 20 6c 69 73 74 20 5b 63 61  2.3 {.  list [ca
0dc0: 74 63 68 20 7b 0a 20 20 73 65 74 20 72 65 73 20  tch {.  set res 
0dd0: 5b 6c 69 73 74 5d 0a 20 20 64 62 20 65 76 61 6c  [list].  db eval
0de0: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0df0: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
0e00: 31 2c 20 32 29 20 7d 20 7b 0a 20 20 20 20 64 62  1, 2) } {.    db
0e10: 20 65 76 61 6c 20 7b 20 0a 20 20 20 20 20 20 49   eval { .      I
0e20: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
0e30: 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28  LECT randomblob(
0e40: 31 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20  100) FROM t2;.  
0e50: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0e60: 74 32 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t2 SELECT random
0e70: 62 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 74  blob(100) FROM t
0e80: 32 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  2;.      INSERT 
0e90: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 72  INTO t2 SELECT r
0ea0: 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46  andomblob(100) F
0eb0: 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20 49 4e  ROM t2;.      IN
0ec0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
0ed0: 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31  ECT randomblob(1
0ee0: 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20  00) FROM t2;.   
0ef0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0f00: 32 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  2 SELECT randomb
0f10: 6c 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 74 32  lob(100) FROM t2
0f20: 3b 0a 20 20 20 20 7d 0a 20 20 20 20 6c 61 70 70  ;.    }.    lapp
0f30: 65 6e 64 20 72 65 73 20 24 62 0a 20 20 7d 0a 20  end res $b.  }. 
0f40: 20 73 65 74 20 72 65 73 0a 20 20 7d 20 6d 73 67   set res.  } msg
0f50: 5d 20 24 6d 73 67 0a 7d 20 24 72 65 73 32 33 0a  ] $msg.} $res23.
0f60: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
0f70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0fa0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 72 65 73 65  -----------.rese
0fb0: 74 5f 64 62 0a 0a 23 20 49 6e 69 74 69 61 6c 69  t_db..# Initiali
0fc0: 7a 65 20 74 68 65 20 64 61 74 61 62 61 73 65 2e  ze the database.
0fd0: 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .#.do_execsql_te
0fe0: 73 74 20 33 2e 31 20 7b 0a 20 20 50 52 41 47 4d  st 3.1 {.  PRAGM
0ff0: 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32 34  A page_size=1024
1000: 3b 0a 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c  ;..  CREATE TABL
1010: 45 20 74 31 28 61 20 49 4e 54 45 47 45 52 20 50  E t1(a INTEGER P
1020: 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a  RIMARY KEY, b);.
1030: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
1040: 20 56 41 4c 55 45 53 28 31 2c 20 27 6f 6e 65 27   VALUES(1, 'one'
1050: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
1060: 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 27 74   t1 VALUES(2, 't
1070: 77 6f 27 29 3b 0a 0a 20 20 43 52 45 41 54 45 20  wo');..  CREATE 
1080: 54 41 42 4c 45 20 74 32 28 63 20 49 4e 54 45 47  TABLE t2(c INTEG
1090: 45 52 20 50 52 41 47 4d 41 20 4b 45 59 2c 20 64  ER PRAGMA KEY, d
10a0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
10b0: 20 74 32 20 56 41 4c 55 45 53 28 31 2c 20 72 61   t2 VALUES(1, ra
10c0: 6e 64 6f 6d 62 6c 6f 62 28 31 31 30 30 29 29 3b  ndomblob(1100));
10d0: 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20 33  .} {}..do_test 3
10e0: 2e 32 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b  .2 {.  db eval {
10f0: 20 53 45 4c 45 43 54 20 6e 61 6d 65 2c 20 72 6f   SELECT name, ro
1100: 6f 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69  otpage FROM sqli
1110: 74 65 5f 6d 61 73 74 65 72 20 7d 20 7b 20 0a 20  te_master } { . 
1120: 20 20 20 73 65 74 20 72 28 24 6e 61 6d 65 29 20     set r($name) 
1130: 24 72 6f 6f 74 70 61 67 65 20 0a 20 20 7d 0a 20  $rootpage .  }. 
1140: 20 64 62 20 63 6c 6f 73 65 0a 0a 20 20 68 65 78   db close..  hex
1150: 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62  io_write test.db
1160: 20 5b 65 78 70 72 20 7b 28 24 72 28 74 32 29 2d   [expr {($r(t2)-
1170: 31 29 20 2a 20 31 30 32 34 20 2b 20 31 30 32 30  1) * 1024 + 1020
1180: 7d 5d 20 30 30 30 30 30 30 30 32 0a 0a 20 20 73  }] 00000002..  s
1190: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
11a0: 62 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20  b.} {}..do_test 
11b0: 33 2e 33 20 7b 0a 20 20 6c 69 73 74 20 5b 63 61  3.3 {.  list [ca
11c0: 74 63 68 20 7b 0a 20 20 64 62 20 65 76 61 6c 20  tch {.  db eval 
11d0: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
11e0: 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28 31  t1 WHERE a IN (1
11f0: 2c 20 32 29 20 7d 20 7b 0a 20 20 20 20 64 62 20  , 2) } {.    db 
1200: 65 76 61 6c 20 7b 20 0a 20 20 20 20 20 20 44 45  eval { .      DE
1210: 4c 45 54 45 20 46 52 4f 4d 20 74 32 20 57 48 45  LETE FROM t2 WHE
1220: 52 45 20 63 3d 31 3b 0a 20 20 20 20 7d 0a 20 20  RE c=1;.    }.  
1230: 7d 0a 20 20 7d 20 6d 73 67 5d 20 24 6d 73 67 0a  }.  } msg] $msg.
1240: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
1250: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
1260: 66 6f 72 6d 65 64 7d 7d 0a 0a 66 69 6e 69 73 68  formed}}..finish
1270: 5f 74 65 73 74 0a 0a                             _test..