/ Hex Artifact Content
Login

Artifact 79801d97ec5c2f9f3c87739aa1ec2eb786f96454:


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 54 68  x corruptH..# Th
01c0: 69 73 20 6d 6f 64 75 6c 65 20 75 73 65 73 20 68  is module uses h
01d0: 61 72 64 2d 63 6f 64 65 64 20 6f 66 66 73 65 74  ard-coded offset
01e0: 73 20 77 68 69 63 68 20 64 6f 20 6e 6f 74 20 77  s which do not w
01f0: 6f 72 6b 20 69 66 20 74 68 65 20 72 65 73 65 72  ork if the reser
0200: 76 65 64 5f 62 79 74 65 73 0a 23 20 76 61 6c 75  ved_bytes.# valu
0210: 65 20 69 73 20 6e 6f 6e 7a 65 72 6f 2e 0a 69 66  e is nonzero..if
0220: 20 7b 5b 6e 6f 6e 7a 65 72 6f 5f 72 65 73 65 72   {[nonzero_reser
0230: 76 65 64 5f 62 79 74 65 73 5d 7d 20 7b 66 69 6e  ved_bytes]} {fin
0240: 69 73 68 5f 74 65 73 74 3b 20 72 65 74 75 72 6e  ish_test; return
0250: 3b 7d 0a 0a 64 61 74 61 62 61 73 65 5f 6d 61 79  ;}..database_may
0260: 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a 23 20 54  _be_corrupt..# T
0270: 68 65 20 63 6f 72 72 75 70 74 69 6f 6e 20 6d 69  he corruption mi
0280: 67 72 61 74 69 6f 6e 73 20 74 65 73 74 65 64 20  grations tested 
0290: 62 79 20 74 68 65 20 63 6f 64 65 20 69 6e 20 74  by the code in t
02a0: 68 69 73 20 66 69 6c 65 20 61 72 65 20 6e 6f 74  his file are not
02b0: 20 64 65 74 65 63 74 65 64 0a 23 20 6d 6d 61 70   detected.# mmap
02c0: 20 6d 6f 64 65 2e 0a 23 0a 23 20 54 68 65 20 72   mode..#.# The r
02d0: 65 61 73 6f 6e 20 69 73 20 74 68 61 74 20 69 6e  eason is that in
02e0: 20 6d 6d 61 70 20 6d 6f 64 65 2c 20 74 68 65 20   mmap mode, the 
02f0: 64 69 66 66 65 72 65 6e 74 20 71 75 65 72 69 65  different querie
0300: 73 20 6d 61 79 20 75 73 65 20 64 69 66 66 65 72  s may use differ
0310: 65 6e 74 0a 23 20 50 67 48 64 72 20 6f 62 6a 65  ent.# PgHdr obje
0320: 63 74 73 20 66 6f 72 20 74 68 65 20 73 61 6d 65  cts for the same
0330: 20 70 61 67 65 20 28 73 61 6d 65 20 64 61 74 61   page (same data
0340: 2c 20 62 75 74 20 64 69 66 66 65 72 65 6e 74 20  , but different 
0350: 50 67 48 64 72 20 63 6f 6e 74 61 69 6e 65 72 20  PgHdr container 
0360: 0a 23 20 6f 62 6a 65 63 74 73 29 2e 20 41 6e 64  .# objects). And
0370: 20 73 6f 20 74 68 65 20 63 6f 72 72 75 70 74 69   so the corrupti
0380: 6f 6e 20 69 73 20 6e 6f 74 20 64 65 74 65 63 74  on is not detect
0390: 65 64 2e 20 0a 23 0a 69 66 20 7b 5b 70 65 72 6d  ed. .#.if {[perm
03a0: 75 74 61 74 69 6f 6e 5d 3d 3d 22 6d 6d 61 70 22  utation]=="mmap"
03b0: 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  } {.  finish_tes
03c0: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 20  t.  return.}..# 
03d0: 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20 64  Initialize the d
03e0: 61 74 61 62 61 73 65 2e 0a 23 0a 64 6f 5f 65 78  atabase..#.do_ex
03f0: 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 31 20 7b  ecsql_test 1.1 {
0400: 0a 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73  .  PRAGMA page_s
0410: 69 7a 65 3d 31 30 32 34 3b 0a 0a 20 20 43 52 45  ize=1024;..  CRE
0420: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 49  ATE TABLE t1(a I
0430: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
0440: 45 59 2c 20 62 29 3b 0a 20 20 49 4e 53 45 52 54  EY, b);.  INSERT
0450: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0460: 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 49 4e 53  1, 'one');.  INS
0470: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0480: 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a 0a 20  ES(2, 'two');.. 
0490: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
04a0: 28 78 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  (x);.  INSERT IN
04b0: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 72 61 6e  TO t2 VALUES(ran
04c0: 64 6f 6d 62 6c 6f 62 28 32 30 30 29 29 3b 0a 20  domblob(200));. 
04d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
04e0: 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c 6f  SELECT randomblo
04f0: 62 28 32 30 30 29 20 46 52 4f 4d 20 74 32 3b 0a  b(200) FROM t2;.
0500: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
0510: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
0520: 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74 32 3b  ob(200) FROM t2;
0530: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
0540: 32 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62  2 SELECT randomb
0550: 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74 32  lob(200) FROM t2
0560: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
0570: 74 32 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d  t2 SELECT random
0580: 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20 74  blob(200) FROM t
0590: 32 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  2;.  INSERT INTO
05a0: 20 74 32 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t2 SELECT rando
05b0: 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d 20  mblob(200) FROM 
05c0: 74 32 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  t2;.  INSERT INT
05d0: 4f 20 74 32 20 53 45 4c 45 43 54 20 72 61 6e 64  O t2 SELECT rand
05e0: 6f 6d 62 6c 6f 62 28 32 30 30 29 20 46 52 4f 4d  omblob(200) FROM
05f0: 20 74 32 3b 0a 7d 20 7b 7d 0a 0a 23 20 43 6f 72   t2;.} {}..# Cor
0600: 72 75 70 74 20 74 68 65 20 66 69 6c 65 20 73 6f  rupt the file so
0610: 20 74 68 61 74 20 74 68 65 20 72 6f 6f 74 20 70   that the root p
0620: 61 67 65 20 6f 66 20 74 31 20 69 73 20 61 6c 73  age of t1 is als
0630: 6f 20 6c 69 6e 6b 65 64 20 69 6e 74 6f 20 74 32  o linked into t2
0640: 20 61 73 0a 23 20 61 20 6c 65 61 66 20 70 61 67   as.# a leaf pag
0650: 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 31 2e 32  e..#.do_test 1.2
0660: 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 20 53   {.  db eval { S
0670: 45 4c 45 43 54 20 6e 61 6d 65 2c 20 72 6f 6f 74  ELECT name, root
0680: 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 65  page FROM sqlite
0690: 5f 6d 61 73 74 65 72 20 7d 20 7b 20 0a 20 20 20  _master } { .   
06a0: 20 73 65 74 20 72 28 24 6e 61 6d 65 29 20 24 72   set r($name) $r
06b0: 6f 6f 74 70 61 67 65 20 0a 20 20 7d 0a 20 20 64  ootpage .  }.  d
06c0: 62 20 63 6c 6f 73 65 0a 20 20 68 65 78 69 6f 5f  b close.  hexio_
06d0: 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b 65  write test.db [e
06e0: 78 70 72 20 7b 28 24 72 28 74 32 29 2d 31 29 2a  xpr {($r(t2)-1)*
06f0: 31 30 32 34 20 2b 20 31 31 7d 5d 20 5b 66 6f 72  1024 + 11}] [for
0700: 6d 61 74 20 25 2e 32 58 20 24 72 28 74 31 29 5d  mat %.2X $r(t1)]
0710: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
0720: 73 74 2e 64 62 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74  st.db.} {}..do_t
0730: 65 73 74 20 31 2e 33 20 7b 0a 20 20 64 62 20 65  est 1.3 {.  db e
0740: 76 61 6c 20 7b 20 50 52 41 47 4d 41 20 73 65 63  val { PRAGMA sec
0750: 75 72 65 5f 64 65 6c 65 74 65 3d 31 20 7d 0a 20  ure_delete=1 }. 
0760: 20 6c 69 73 74 20 5b 63 61 74 63 68 20 7b 0a 20   list [catch {. 
0770: 20 20 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c     db eval { SEL
0780: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48  ECT * FROM t1 WH
0790: 45 52 45 20 61 20 49 4e 20 28 31 2c 20 32 29 20  ERE a IN (1, 2) 
07a0: 7d 20 7b 0a 20 20 20 20 20 20 64 62 20 65 76 61  } {.      db eva
07b0: 6c 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20  l { DELETE FROM 
07c0: 74 32 20 7d 0a 20 20 20 20 7d 0a 20 20 7d 20 6d  t2 }.    }.  } m
07d0: 73 67 5d 20 24 6d 73 67 0a 7d 20 7b 31 20 7b 64  sg] $msg.} {1 {d
07e0: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
07f0: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
0800: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  }..#------------
0810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
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 0a 72 65  -------------.re
0850: 73 65 74 5f 64 62 0a 0a 23 20 49 6e 69 74 69 61  set_db..# Initia
0860: 6c 69 7a 65 20 74 68 65 20 64 61 74 61 62 61 73  lize the databas
0870: 65 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  e..#.do_execsql_
0880: 74 65 73 74 20 32 2e 31 20 7b 0a 20 20 50 52 41  test 2.1 {.  PRA
0890: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3d  GMA auto_vacuum=
08a0: 30 3b 0a 20 20 50 52 41 47 4d 41 20 70 61 67 65  0;.  PRAGMA page
08b0: 5f 73 69 7a 65 3d 31 30 32 34 3b 0a 0a 20 20 43  _size=1024;..  C
08c0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
08d0: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
08e0: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 49 4e 53 45   KEY, b);.  INSE
08f0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0900: 53 28 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 49  S(1, 'one');.  I
0910: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0920: 4c 55 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a  LUES(2, 'two');.
0930: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
0940: 74 33 28 78 29 3b 0a 0a 20 20 43 52 45 41 54 45  t3(x);..  CREATE
0950: 20 54 41 42 4c 45 20 74 32 28 78 20 50 52 49 4d   TABLE t2(x PRIM
0960: 41 52 59 20 4b 45 59 29 20 57 49 54 48 4f 55 54  ARY KEY) WITHOUT
0970: 20 52 4f 57 49 44 3b 0a 20 20 49 4e 53 45 52 54   ROWID;.  INSERT
0980: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
0990: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 29  randomblob(100))
09a0: 3b 0a 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20  ;..  DROP TABLE 
09b0: 74 33 3b 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73  t3;.} {}..do_tes
09c0: 74 20 32 2e 32 20 7b 0a 20 20 64 62 20 65 76 61  t 2.2 {.  db eva
09d0: 6c 20 7b 20 53 45 4c 45 43 54 20 6e 61 6d 65 2c  l { SELECT name,
09e0: 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20 73   rootpage FROM s
09f0: 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 7d 20 7b  qlite_master } {
0a00: 20 0a 20 20 20 20 73 65 74 20 72 28 24 6e 61 6d   .    set r($nam
0a10: 65 29 20 24 72 6f 6f 74 70 61 67 65 20 0a 20 20  e) $rootpage .  
0a20: 7d 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 73  }.  db close.  s
0a30: 65 74 20 66 6c 20 5b 68 65 78 69 6f 5f 67 65 74  et fl [hexio_get
0a40: 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65 61 64  _int [hexio_read
0a50: 20 74 65 73 74 2e 64 62 20 33 32 20 34 5d 5d 0a   test.db 32 4]].
0a60: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
0a70: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 7b 28 24  est.db [expr {($
0a80: 66 6c 2d 31 29 20 2a 20 31 30 32 34 20 2b 20 30  fl-1) * 1024 + 0
0a90: 7d 5d 20 30 30 30 30 30 30 30 30 20 0a 20 20 68  }] 00000000 .  h
0aa0: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
0ab0: 64 62 20 5b 65 78 70 72 20 7b 28 24 66 6c 2d 31  db [expr {($fl-1
0ac0: 29 20 2a 20 31 30 32 34 20 2b 20 34 7d 5d 20 30  ) * 1024 + 4}] 0
0ad0: 30 30 30 30 30 30 31 20 0a 20 20 68 65 78 69 6f  0000001 .  hexio
0ae0: 5f 77 72 69 74 65 20 74 65 73 74 2e 64 62 20 5b  _write test.db [
0af0: 65 78 70 72 20 7b 28 24 66 6c 2d 31 29 20 2a 20  expr {($fl-1) * 
0b00: 31 30 32 34 20 2b 20 38 7d 5d 20 5b 66 6f 72 6d  1024 + 8}] [form
0b10: 61 74 20 25 2e 38 58 20 24 72 28 74 31 29 5d 0a  at %.8X $r(t1)].
0b20: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
0b30: 73 74 2e 64 62 20 33 36 20 30 30 30 30 30 30 30  st.db 36 0000000
0b40: 32 0a 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  2..  sqlite3 db 
0b50: 74 65 73 74 2e 64 62 0a 7d 20 7b 7d 0a 0a 0a 23  test.db.} {}...#
0b60: 20 54 68 65 20 74 72 69 63 6b 20 68 65 72 65 20   The trick here 
0b70: 69 73 20 74 68 61 74 20 74 68 65 20 72 6f 6f 74  is that the root
0b80: 20 70 61 67 65 20 6f 66 20 74 68 65 20 74 72 65   page of the tre
0b90: 65 20 73 63 61 6e 6e 65 64 20 62 79 20 74 68 65  e scanned by the
0ba0: 20 6f 75 74 65 72 20 0a 23 20 71 75 65 72 79 20   outer .# query 
0bb0: 69 73 20 61 6c 73 6f 20 63 75 72 72 65 6e 74 6c  is also currentl
0bc0: 79 20 6f 6e 20 74 68 65 20 66 72 65 65 2d 6c 69  y on the free-li
0bd0: 73 74 2e 20 53 6f 20 77 68 69 6c 65 20 74 68 65  st. So while the
0be0: 20 66 69 72 73 74 20 73 65 65 6b 20 6f 6e 0a 23   first seek on.#
0bf0: 20 74 68 65 20 74 61 62 6c 65 20 28 66 6f 72 20   the table (for 
0c00: 61 3d 3d 31 29 20 77 6f 72 6b 73 2c 20 62 79 20  a==1) works, by 
0c10: 74 68 65 20 74 69 6d 65 20 74 68 65 20 73 65 63  the time the sec
0c20: 6f 6e 64 20 69 73 20 61 74 74 65 6d 70 74 65 64  ond is attempted
0c30: 20 54 68 65 20 0a 23 20 22 49 4e 53 45 52 54 20   The .# "INSERT 
0c40: 49 4e 54 4f 20 74 32 2e 2e 2e 22 20 73 74 61 74  INTO t2..." stat
0c50: 65 6d 65 6e 74 73 20 68 61 76 65 20 72 65 63 79  ements have recy
0c60: 63 6c 65 64 20 74 68 65 20 72 6f 6f 74 20 70 61  cled the root pa
0c70: 67 65 20 6f 66 20 74 31 20 61 6e 64 0a 23 20 75  ge of t1 and.# u
0c80: 73 65 64 20 69 74 20 61 73 20 61 6e 20 69 6e 64  sed it as an ind
0c90: 65 78 20 6c 65 61 66 2e 20 4e 6f 72 6d 61 6c 6c  ex leaf. Normall
0ca0: 79 2c 20 42 74 72 65 65 4d 6f 76 65 74 6f 55 6e  y, BtreeMovetoUn
0cb0: 70 61 63 6b 65 64 28 29 20 64 65 74 65 63 74 73  packed() detects
0cc0: 0a 23 20 74 68 61 74 20 74 68 65 20 50 67 48 64  .# that the PgHd
0cd0: 72 20 6f 62 6a 65 63 74 20 61 73 73 6f 63 69 61  r object associa
0ce0: 74 65 64 20 77 69 74 68 20 73 61 69 64 20 72 6f  ted with said ro
0cf0: 6f 74 20 70 61 67 65 20 64 6f 65 73 20 6e 6f 74  ot page does not
0d00: 20 6d 61 74 63 68 0a 23 20 74 68 65 20 63 75 72   match.# the cur
0d10: 73 6f 72 20 28 61 73 20 69 74 20 69 73 20 6e 6f  sor (as it is no
0d20: 77 20 6d 61 72 6b 65 64 20 77 69 74 68 20 50 67  w marked with Pg
0d30: 48 64 72 2e 69 6e 74 4b 65 79 3d 3d 30 29 20 61  Hdr.intKey==0) a
0d40: 6e 64 20 72 65 74 75 72 6e 73 0a 23 20 53 51 4c  nd returns.# SQL
0d50: 49 54 45 5f 43 4f 52 52 55 50 54 2e 20 0a 23 0a  ITE_CORRUPT. .#.
0d60: 73 65 74 20 72 65 73 32 33 20 7b 31 20 7b 64 61  set res23 {1 {da
0d70: 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67  tabase disk imag
0d80: 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d  e is malformed}}
0d90: 0a 64 6f 5f 74 65 73 74 20 32 2e 33 20 7b 0a 20  .do_test 2.3 {. 
0da0: 20 6c 69 73 74 20 5b 63 61 74 63 68 20 7b 0a 20   list [catch {. 
0db0: 20 73 65 74 20 72 65 73 20 5b 6c 69 73 74 5d 0a   set res [list].
0dc0: 20 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45    db eval { SELE
0dd0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
0de0: 52 45 20 61 20 49 4e 20 28 31 2c 20 32 29 20 7d  RE a IN (1, 2) }
0df0: 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b   {.    db eval {
0e00: 20 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49   .      INSERT I
0e10: 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 72 61  NTO t2 SELECT ra
0e20: 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46 52  ndomblob(100) FR
0e30: 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20 49 4e 53  OM t2;.      INS
0e40: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
0e50: 43 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30  CT randomblob(10
0e60: 30 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20  0) FROM t2;.    
0e70: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
0e80: 20 53 45 4c 45 43 54 20 72 61 6e 64 6f 6d 62 6c   SELECT randombl
0e90: 6f 62 28 31 30 30 29 20 46 52 4f 4d 20 74 32 3b  ob(100) FROM t2;
0ea0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
0eb0: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 72 61 6e  TO t2 SELECT ran
0ec0: 64 6f 6d 62 6c 6f 62 28 31 30 30 29 20 46 52 4f  domblob(100) FRO
0ed0: 4d 20 74 32 3b 0a 20 20 20 20 20 20 49 4e 53 45  M t2;.      INSE
0ee0: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
0ef0: 54 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30  T randomblob(100
0f00: 29 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 7d  ) FROM t2;.    }
0f10: 0a 20 20 20 20 6c 61 70 70 65 6e 64 20 72 65 73  .    lappend res
0f20: 20 24 62 0a 20 20 7d 0a 20 20 73 65 74 20 72 65   $b.  }.  set re
0f30: 73 0a 20 20 7d 20 6d 73 67 5d 20 24 6d 73 67 0a  s.  } msg] $msg.
0f40: 7d 20 24 72 65 73 32 33 0a 0a 23 2d 2d 2d 2d 2d  } $res23..#-----
0f50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f60: 2d 2d 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 0a 72 65 73 65 74 5f 64 62 0a 0a 23  ----.reset_db..#
0fa0: 20 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65 20   Initialize the 
0fb0: 64 61 74 61 62 61 73 65 2e 0a 23 0a 64 6f 5f 65  database..#.do_e
0fc0: 78 65 63 73 71 6c 5f 74 65 73 74 20 33 2e 31 20  xecsql_test 3.1 
0fd0: 7b 0a 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f  {.  PRAGMA page_
0fe0: 73 69 7a 65 3d 31 30 32 34 3b 0a 0a 20 20 43 52  size=1024;..  CR
0ff0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20  EATE TABLE t1(a 
1000: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
1010: 4b 45 59 2c 20 62 29 3b 0a 20 20 49 4e 53 45 52  KEY, b);.  INSER
1020: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
1030: 28 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 49 4e  (1, 'one');.  IN
1040: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1050: 55 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a 0a  UES(2, 'two');..
1060: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
1070: 32 28 63 20 49 4e 54 45 47 45 52 20 50 52 41 47  2(c INTEGER PRAG
1080: 4d 41 20 4b 45 59 2c 20 64 29 3b 0a 20 20 49 4e  MA KEY, d);.  IN
1090: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
10a0: 55 45 53 28 31 2c 20 72 61 6e 64 6f 6d 62 6c 6f  UES(1, randomblo
10b0: 62 28 31 31 30 30 29 29 3b 0a 7d 20 7b 7d 0a 0a  b(1100));.} {}..
10c0: 64 6f 5f 74 65 73 74 20 33 2e 32 20 7b 0a 20 20  do_test 3.2 {.  
10d0: 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54  db eval { SELECT
10e0: 20 6e 61 6d 65 2c 20 72 6f 6f 74 70 61 67 65 20   name, rootpage 
10f0: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
1100: 65 72 20 7d 20 7b 20 0a 20 20 20 20 73 65 74 20  er } { .    set 
1110: 72 28 24 6e 61 6d 65 29 20 24 72 6f 6f 74 70 61  r($name) $rootpa
1120: 67 65 20 0a 20 20 7d 0a 20 20 64 62 20 63 6c 6f  ge .  }.  db clo
1130: 73 65 0a 0a 20 20 68 65 78 69 6f 5f 77 72 69 74  se..  hexio_writ
1140: 65 20 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20  e test.db [expr 
1150: 7b 28 24 72 28 74 32 29 2d 31 29 20 2a 20 31 30  {($r(t2)-1) * 10
1160: 32 34 20 2b 20 31 30 32 30 7d 5d 20 30 30 30 30  24 + 1020}] 0000
1170: 30 30 30 32 0a 0a 20 20 73 71 6c 69 74 65 33 20  0002..  sqlite3 
1180: 64 62 20 74 65 73 74 2e 64 62 0a 7d 20 7b 7d 0a  db test.db.} {}.
1190: 0a 64 6f 5f 74 65 73 74 20 33 2e 33 20 7b 0a 20  .do_test 3.3 {. 
11a0: 20 6c 69 73 74 20 5b 63 61 74 63 68 20 7b 0a 20   list [catch {. 
11b0: 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43   db eval { SELEC
11c0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
11d0: 45 20 61 20 49 4e 20 28 31 2c 20 32 29 20 7d 20  E a IN (1, 2) } 
11e0: 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 20  {.    db eval { 
11f0: 0a 20 20 20 20 20 20 44 45 4c 45 54 45 20 46 52  .      DELETE FR
1200: 4f 4d 20 74 32 20 57 48 45 52 45 20 63 3d 31 3b  OM t2 WHERE c=1;
1210: 0a 20 20 20 20 7d 0a 20 20 7d 0a 20 20 7d 20 6d  .    }.  }.  } m
1220: 73 67 5d 20 24 6d 73 67 0a 7d 20 7b 31 20 7b 64  sg] $msg.} {1 {d
1230: 61 74 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61  atabase disk ima
1240: 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d  ge is malformed}
1250: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.