/ Hex Artifact Content
Login

Artifact be9fde98e4c93648f1ba52b74e5318edc8f59fe4:


0000: 23 20 32 30 31 32 20 4a 61 6e 75 61 72 79 20 31  # 2012 January 1
0010: 32 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  2.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an you 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 2a 2a 2a 2a 0a 23 0a 0a 73 65 74 20 74  *******.#..set t
0170: 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72  estdir [file dir
0180: 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75  name $argv0].sou
0190: 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65 73  rce $testdir/tes
01a0: 74 65 72 2e 74 63 6c 0a 73 65 74 20 74 65 73 74  ter.tcl.set test
01b0: 70 72 65 66 69 78 20 63 6f 72 72 75 70 74 46 0a  prefix corruptF.
01c0: 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20 61 20  .# Do not use a 
01d0: 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74 73 20  codec for tests 
01e0: 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20 61 73  in this file, as
01f0: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 66 69   the database fi
0200: 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75 6c 61  le is.# manipula
0210: 74 65 64 20 64 69 72 65 63 74 6c 79 20 75 73 69  ted directly usi
0220: 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73 20 28  ng tcl scripts (
0230: 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78 69 6f  using the [hexio
0240: 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e 64 29  _write] command)
0250: 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65 5f 63  ..#.do_not_use_c
0260: 6f 64 65 63 0a 0a 23 20 54 68 65 73 65 20 74 65  odec..# These te
0270: 73 74 73 20 64 65 61 6c 20 77 69 74 68 20 63 6f  sts deal with co
0280: 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66  rrupt database f
0290: 69 6c 65 73 0a 23 0a 64 61 74 61 62 61 73 65 5f  iles.#.database_
02a0: 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a  may_be_corrupt..
02b0: 70 72 6f 63 20 73 74 72 20 7b 69 7d 20 7b 20 66  proc str {i} { f
02c0: 6f 72 6d 61 74 20 25 30 38 64 20 24 69 20 7d 0a  ormat %08d $i }.
02d0: 0a 23 20 43 72 65 61 74 65 20 61 20 36 20 70 61  .# Create a 6 pa
02e0: 67 65 20 64 61 74 61 62 61 73 65 20 63 6f 6e 74  ge database cont
02f0: 61 69 6e 69 6e 67 20 61 20 73 69 6e 67 6c 65 20  aining a single 
0300: 74 61 62 6c 65 20 2d 20 74 31 2e 20 54 61 62 6c  table - t1. Tabl
0310: 65 20 74 31 20 0a 23 20 63 6f 6e 73 69 73 74 73  e t1 .# consists
0320: 20 6f 66 20 70 61 67 65 20 32 20 28 74 68 65 20   of page 2 (the 
0330: 72 6f 6f 74 20 70 61 67 65 29 20 61 6e 64 20 70  root page) and p
0340: 61 67 65 73 20 35 20 61 6e 64 20 36 20 28 6c 65  ages 5 and 6 (le
0350: 61 66 20 70 61 67 65 73 29 2e 20 0a 23 20 44 61  af pages). .# Da
0360: 74 61 62 61 73 65 20 70 61 67 65 73 20 33 20 61  tabase pages 3 a
0370: 6e 64 20 34 20 61 72 65 20 6f 6e 20 74 68 65 20  nd 4 are on the 
0380: 66 72 65 65 20 6c 69 73 74 2e 0a 23 0a 70 72 6f  free list..#.pro
0390: 63 20 63 72 65 61 74 65 5f 74 65 73 74 5f 64 62  c create_test_db
03a0: 20 7b 7d 20 7b 0a 20 20 63 61 74 63 68 20 7b 20   {} {.  catch { 
03b0: 64 62 20 63 6c 6f 73 65 20 7d 0a 20 20 66 6f 72  db close }.  for
03c0: 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62  cedelete test.db
03d0: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
03e0: 73 74 2e 64 62 0a 20 20 64 62 20 66 75 6e 63 20  st.db.  db func 
03f0: 73 74 72 20 73 74 72 0a 20 20 65 78 65 63 73 71  str str.  execsq
0400: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61  l {.    PRAGMA a
0410: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b 0a  uto_vacuum = 0;.
0420: 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f      PRAGMA page_
0430: 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20  size = 1024;.   
0440: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
0450: 28 78 29 3b 20 20 20 20 20 20 20 20 20 2f 2a 20  (x);         /* 
0460: 72 6f 6f 74 20 70 61 67 65 20 3d 20 32 20 2a 2f  root page = 2 */
0470: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0480: 45 20 74 32 28 78 29 3b 20 20 20 20 20 20 20 20  E t2(x);        
0490: 20 2f 2a 20 72 6f 6f 74 20 70 61 67 65 20 3d 20   /* root page = 
04a0: 33 20 2a 2f 0a 20 20 20 20 43 52 45 41 54 45 20  3 */.    CREATE 
04b0: 54 41 42 4c 45 20 74 33 28 78 29 3b 20 20 20 20  TABLE t3(x);    
04c0: 20 20 20 20 20 2f 2a 20 72 6f 6f 74 20 70 61 67       /* root pag
04d0: 65 20 3d 20 34 20 2a 2f 0a 0a 20 20 20 20 49 4e  e = 4 */..    IN
04e0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
04f0: 55 45 53 28 73 74 72 28 31 29 29 3b 0a 20 20 20  UES(str(1));.   
0500: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0510: 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77 69 64  SELECT str(rowid
0520: 2b 31 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  +1) FROM t1;.   
0530: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0540: 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77 69 64  SELECT str(rowid
0550: 2b 32 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  +2) FROM t1;.   
0560: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0570: 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77 69 64  SELECT str(rowid
0580: 2b 34 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  +4) FROM t1;.   
0590: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
05a0: 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77 69 64  SELECT str(rowid
05b0: 2b 38 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  +8) FROM t1;.   
05c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
05d0: 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77 69 64  SELECT str(rowid
05e0: 2b 31 36 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20  +16) FROM t1;.  
05f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0600: 20 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77 69   SELECT str(rowi
0610: 64 2b 33 32 29 20 46 52 4f 4d 20 74 31 3b 0a 20  d+32) FROM t1;. 
0620: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0630: 31 20 53 45 4c 45 43 54 20 73 74 72 28 72 6f 77  1 SELECT str(row
0640: 69 64 2b 36 34 29 20 46 52 4f 4d 20 74 31 3b 0a  id+64) FROM t1;.
0650: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
0660: 32 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c  2;.    DROP TABL
0670: 45 20 74 33 3b 0a 20 20 7d 0a 20 20 64 62 20 63  E t3;.  }.  db c
0680: 6c 6f 73 65 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20  lose.}..do_test 
0690: 31 2e 31 20 7b 20 63 72 65 61 74 65 5f 74 65 73  1.1 { create_tes
06a0: 74 5f 64 62 20 7d 20 7b 7d 0a 0a 23 20 43 68 65  t_db } {}..# Che
06b0: 63 6b 20 74 68 65 20 64 62 20 69 73 20 61 73 20  ck the db is as 
06c0: 77 65 20 65 78 70 65 63 74 2e 20 36 20 70 61 67  we expect. 6 pag
06d0: 65 73 20 69 6e 20 74 6f 74 61 6c 2c 20 77 69 74  es in total, wit
06e0: 68 20 33 20 61 6e 64 20 34 20 6f 6e 20 74 68 65  h 3 and 4 on the
06f0: 20 66 72 65 65 0a 23 20 6c 69 73 74 2e 20 50 61   free.# list. Pa
0700: 67 65 20 33 20 69 73 20 74 68 65 20 66 72 65 65  ge 3 is the free
0710: 20 6c 69 73 74 20 74 72 75 6e 6b 20 61 6e 64 20   list trunk and 
0720: 70 61 67 65 20 34 20 69 73 20 61 20 6c 65 61 66  page 4 is a leaf
0730: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 31 2e 32 20  ..#.do_test 1.2 
0740: 7b 20 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  { file size test
0750: 2e 64 62 20 7d 20 5b 65 78 70 72 20 36 2a 31 30  .db } [expr 6*10
0760: 32 34 5d 0a 64 6f 5f 74 65 73 74 20 31 2e 33 20  24].do_test 1.3 
0770: 7b 20 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73  { hexio_read tes
0780: 74 2e 64 62 20 33 32 20 34 20 7d 20 30 30 30 30  t.db 32 4 } 0000
0790: 30 30 30 33 0a 64 6f 5f 74 65 73 74 20 31 2e 34  0003.do_test 1.4
07a0: 20 7b 20 68 65 78 69 6f 5f 72 65 61 64 20 74 65   { hexio_read te
07b0: 73 74 2e 64 62 20 5b 65 78 70 72 20 32 2a 31 30  st.db [expr 2*10
07c0: 32 34 5d 20 31 32 20 7d 20 30 30 30 30 30 30 30  24] 12 } 0000000
07d0: 30 30 30 30 30 30 30 30 31 30 30 30 30 30 30 30  0000000010000000
07e0: 34 0a 0a 23 20 43 68 61 6e 67 65 20 74 68 65 20  4..# Change the 
07f0: 66 72 65 65 2d 6c 69 73 74 20 65 6e 74 72 79 20  free-list entry 
0800: 74 6f 20 70 61 67 65 20 36 20 61 6e 64 20 72 65  to page 6 and re
0810: 6f 70 65 6e 20 74 68 65 20 64 62 20 66 69 6c 65  open the db file
0820: 2e 0a 64 6f 5f 74 65 73 74 20 31 2e 35 20 7b 20  ..do_test 1.5 { 
0830: 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74  .  hexio_write t
0840: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 32 2a 31  est.db [expr 2*1
0850: 30 32 34 20 2b 20 38 5d 20 30 30 30 30 30 30 30  024 + 8] 0000000
0860: 36 20 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  6 .  sqlite3 db 
0870: 74 65 73 74 2e 64 62 0a 7d 20 7b 7d 0a 0a 23 20  test.db.} {}..# 
0880: 4e 6f 77 20 63 72 65 61 74 65 20 61 20 6e 65 77  Now create a new
0890: 20 74 61 62 6c 65 20 69 6e 20 74 68 65 20 64 61   table in the da
08a0: 74 61 62 61 73 65 20 66 69 6c 65 2e 20 54 68 65  tabase file. The
08b0: 20 72 6f 6f 74 20 6f 66 20 74 68 65 20 6e 65 77   root of the new
08c0: 20 74 61 62 6c 65 0a 23 20 69 73 20 70 61 67 65   table.# is page
08d0: 20 36 2c 20 77 68 69 63 68 20 69 73 20 61 6c 73   6, which is als
08e0: 6f 20 74 68 65 20 72 69 67 68 74 2d 6d 6f 73 74  o the right-most
08f0: 20 6c 65 61 66 20 70 61 67 65 20 69 6e 20 74 61   leaf page in ta
0900: 62 6c 65 20 74 31 2e 0a 23 0a 64 6f 5f 65 78 65  ble t1..#.do_exe
0910: 63 73 71 6c 5f 74 65 73 74 20 31 2e 36 20 7b 20  csql_test 1.6 { 
0920: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
0930: 74 34 28 78 29 3b 0a 20 20 53 45 4c 45 43 54 20  t4(x);.  SELECT 
0940: 2a 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61  * FROM sqlite_ma
0950: 73 74 65 72 3b 0a 7d 20 7b 0a 20 20 74 61 62 6c  ster;.} {.  tabl
0960: 65 20 74 31 20 74 31 20 32 20 7b 43 52 45 41 54  e t1 t1 2 {CREAT
0970: 45 20 54 41 42 4c 45 20 74 31 28 78 29 7d 20 0a  E TABLE t1(x)} .
0980: 20 20 74 61 62 6c 65 20 74 34 20 74 34 20 36 20    table t4 t4 6 
0990: 7b 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 34  {CREATE TABLE t4
09a0: 28 78 29 7d 0a 7d 0a 0a 23 20 41 74 20 6f 6e 65  (x)}.}..# At one
09b0: 20 70 6f 69 6e 74 20 74 68 69 73 20 77 61 73 20   point this was 
09c0: 63 61 75 73 69 6e 67 20 61 6e 20 61 73 73 65 72  causing an asser
09d0: 74 20 74 6f 20 66 61 69 6c 2e 0a 23 0a 23 20 54  t to fail..#.# T
09e0: 68 69 73 20 73 74 61 74 65 6d 65 6e 74 20 6f 70  his statement op
09f0: 65 6e 73 20 61 20 63 75 72 73 6f 72 20 6f 6e 20  ens a cursor on 
0a00: 74 61 62 6c 65 20 74 31 20 61 6e 64 20 64 6f 65  table t1 and doe
0a10: 73 20 61 20 66 75 6c 6c 20 74 61 62 6c 65 20 73  s a full table s
0a20: 63 61 6e 2e 20 41 73 0a 23 20 65 61 63 68 20 72  can. As.# each r
0a30: 6f 77 20 69 73 20 76 69 73 69 74 65 64 2c 20 69  ow is visited, i
0a40: 74 20 69 73 20 63 6f 70 69 65 64 20 69 6e 74 6f  t is copied into
0a50: 20 74 61 62 6c 65 20 74 34 2e 20 54 68 65 72 65   table t4. There
0a60: 20 69 73 20 6e 6f 20 74 65 6d 70 6f 72 61 72 79   is no temporary
0a70: 0a 23 20 74 61 62 6c 65 2e 0a 23 0a 23 20 57 68  .# table..#.# Wh
0a80: 65 6e 20 74 68 65 20 74 31 20 63 75 72 73 6f 72  en the t1 cursor
0a90: 20 72 65 61 63 68 65 73 20 70 61 67 65 20 36 20   reaches page 6 
0aa0: 28 77 68 69 63 68 20 69 73 20 62 6f 74 68 20 74  (which is both t
0ab0: 68 65 20 72 69 67 68 74 2d 6d 6f 73 74 20 6c 65  he right-most le
0ac0: 61 66 20 6f 66 0a 23 20 74 31 20 61 6e 64 20 74  af of.# t1 and t
0ad0: 68 65 20 72 6f 6f 74 20 6f 66 20 74 34 29 2c 20  he root of t4), 
0ae0: 69 74 20 63 6f 6e 74 69 6e 75 65 73 20 74 6f 20  it continues to 
0af0: 69 74 65 72 61 74 65 20 74 68 72 6f 75 67 68 20  iterate through 
0b00: 74 68 65 20 6b 65 79 73 20 77 69 74 68 69 6e 0a  the keys within.
0b10: 23 20 69 74 20 28 77 68 69 63 68 20 61 74 20 74  # it (which at t
0b20: 68 69 73 20 70 6f 69 6e 74 20 61 72 65 20 6b 65  his point are ke
0b30: 79 73 20 74 68 61 74 20 68 61 76 65 20 62 65 65  ys that have bee
0b40: 6e 20 69 6e 73 65 72 74 65 64 20 69 6e 74 6f 20  n inserted into 
0b50: 74 34 29 2e 20 41 6e 64 0a 23 20 66 6f 72 20 65  t4). And.# for e
0b60: 61 63 68 20 72 6f 77 20 76 69 73 69 74 65 64 2c  ach row visited,
0b70: 20 61 6e 6f 74 68 65 72 20 72 6f 77 20 69 73 20   another row is 
0b80: 69 6e 73 65 72 74 65 64 20 69 6e 74 6f 20 70 61  inserted into pa
0b90: 67 65 20 36 20 2d 20 69 74 20 62 65 69 6e 67 20  ge 6 - it being 
0ba0: 74 68 65 0a 23 20 72 6f 6f 74 20 70 61 67 65 20  the.# root page 
0bb0: 6f 66 20 74 34 2e 20 45 76 65 6e 74 75 61 6c 6c  of t4. Eventuall
0bc0: 79 2c 20 70 61 67 65 20 36 20 62 65 63 6f 6d 65  y, page 6 become
0bd0: 73 20 66 75 6c 6c 20 61 6e 64 20 74 68 65 20 68  s full and the h
0be0: 65 69 67 68 74 20 6f 66 20 74 68 65 0a 23 20 62  eight of the.# b
0bf0: 2d 74 72 65 65 20 66 6f 72 20 74 61 62 6c 65 20  -tree for table 
0c00: 74 34 20 69 6e 63 72 65 61 73 65 64 2e 20 46 72  t4 increased. Fr
0c10: 6f 6d 20 74 68 65 20 70 6f 69 6e 74 20 6f 66 20  om the point of 
0c20: 76 69 65 77 20 6f 66 20 74 68 65 20 74 31 20 63  view of the t1 c
0c30: 75 72 73 6f 72 2c 0a 23 20 74 68 69 73 20 75 6e  ursor,.# this un
0c40: 65 78 70 65 63 74 65 64 6c 79 20 72 65 64 75 63  expectedly reduc
0c50: 65 73 20 74 68 65 20 6e 75 6d 62 65 72 20 6f 66  es the number of
0c60: 20 6b 65 79 73 20 6f 6e 20 70 61 67 65 20 36 20   keys on page 6 
0c70: 69 6e 20 74 68 65 20 6d 69 64 64 6c 65 20 6f 66  in the middle of
0c80: 0a 23 20 69 74 73 20 69 74 65 72 61 74 69 6f 6e  .# its iteration
0c90: 2c 20 77 68 69 63 68 20 63 61 75 73 65 73 20 61  , which causes a
0ca0: 6e 20 61 73 73 65 72 74 28 29 20 74 6f 20 66 61  n assert() to fa
0cb0: 69 6c 2e 0a 23 0a 64 62 5f 73 61 76 65 5f 61 6e  il..#.db_save_an
0cc0: 64 5f 63 6c 6f 73 65 0a 69 66 20 31 20 7b 0a 66  d_close.if 1 {.f
0cd0: 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b 24 69  or {set i 0} {$i
0ce0: 20 3c 20 31 32 38 7d 20 7b 69 6e 63 72 20 69 7d   < 128} {incr i}
0cf0: 20 7b 0a 20 20 64 62 5f 72 65 73 74 6f 72 65 5f   {.  db_restore_
0d00: 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 64 6f 5f  and_reopen.  do_
0d10: 74 65 73 74 20 31 2e 37 2e 24 69 20 7b 20 0a 20  test 1.7.$i { . 
0d20: 20 20 20 73 65 74 20 72 65 73 20 5b 0a 20 20 20     set res [.   
0d30: 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20 49 4e     catchsql { IN
0d40: 53 45 52 54 20 49 4e 54 4f 20 74 34 20 53 45 4c  SERT INTO t4 SEL
0d50: 45 43 54 20 78 20 46 52 4f 4d 20 74 31 20 57 48  ECT x FROM t1 WH
0d60: 45 52 45 20 72 6f 77 69 64 3e 24 69 20 7d 0a 20  ERE rowid>$i }. 
0d70: 20 20 20 5d 0a 20 20 20 20 69 66 20 7b 24 72 65     ].    if {$re
0d80: 73 20 3d 3d 20 22 30 20 7b 7d 22 20 7c 7c 20 24  s == "0 {}" || $
0d90: 72 65 73 20 3d 3d 20 22 31 20 7b 64 61 74 61 62  res == "1 {datab
0da0: 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69  ase disk image i
0db0: 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 22 7d 20 7b  s malformed}"} {
0dc0: 0a 20 20 20 20 20 20 73 65 74 20 72 65 73 20 22  .      set res "
0dd0: 22 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74 20  ".    }.    set 
0de0: 72 65 73 0a 20 20 7d 20 7b 7d 0a 7d 0a 7d 0a 0a  res.  } {}.}.}..
0df0: 64 6f 5f 74 65 73 74 20 32 2e 31 20 7b 20 63 72  do_test 2.1 { cr
0e00: 65 61 74 65 5f 74 65 73 74 5f 64 62 20 7d 20 7b  eate_test_db } {
0e10: 7d 0a 64 6f 5f 74 65 73 74 20 32 2e 32 20 7b 20  }.do_test 2.2 { 
0e20: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
0e30: 62 20 7d 20 5b 65 78 70 72 20 36 2a 31 30 32 34  b } [expr 6*1024
0e40: 5d 0a 64 6f 5f 74 65 73 74 20 32 2e 33 20 7b 20  ].do_test 2.3 { 
0e50: 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e  hexio_read test.
0e60: 64 62 20 33 32 20 34 20 7d 20 30 30 30 30 30 30  db 32 4 } 000000
0e70: 30 33 0a 64 6f 5f 74 65 73 74 20 32 2e 34 20 7b  03.do_test 2.4 {
0e80: 20 68 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74   hexio_read test
0e90: 2e 64 62 20 5b 65 78 70 72 20 32 2a 31 30 32 34  .db [expr 2*1024
0ea0: 5d 20 31 32 20 7d 20 30 30 30 30 30 30 30 30 30  ] 12 } 000000000
0eb0: 30 30 30 30 30 30 31 30 30 30 30 30 30 30 34 0a  000000100000004.
0ec0: 0a 23 20 43 68 61 6e 67 65 20 74 68 65 20 66 72  .# Change the fr
0ed0: 65 65 2d 6c 69 73 74 20 65 6e 74 72 79 20 74 6f  ee-list entry to
0ee0: 20 70 61 67 65 20 35 20 61 6e 64 20 72 65 6f 70   page 5 and reop
0ef0: 65 6e 20 74 68 65 20 64 62 20 66 69 6c 65 2e 0a  en the db file..
0f00: 64 6f 5f 74 65 73 74 20 32 2e 35 20 7b 20 0a 20  do_test 2.5 { . 
0f10: 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73   hexio_write tes
0f20: 74 2e 64 62 20 5b 65 78 70 72 20 32 2a 31 30 32  t.db [expr 2*102
0f30: 34 20 2b 20 38 5d 20 30 30 30 30 30 30 30 35 20  4 + 8] 00000005 
0f40: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
0f50: 73 74 2e 64 62 0a 7d 20 7b 7d 0a 0a 23 20 4e 6f  st.db.} {}..# No
0f60: 77 20 63 72 65 61 74 65 20 61 20 6e 65 77 20 74  w create a new t
0f70: 61 62 6c 65 20 69 6e 20 74 68 65 20 64 61 74 61  able in the data
0f80: 62 61 73 65 20 66 69 6c 65 2e 20 54 68 65 20 72  base file. The r
0f90: 6f 6f 74 20 6f 66 20 74 68 65 20 6e 65 77 20 74  oot of the new t
0fa0: 61 62 6c 65 0a 23 20 69 73 20 70 61 67 65 20 35  able.# is page 5
0fb0: 2c 20 77 68 69 63 68 20 69 73 20 61 6c 73 6f 20  , which is also 
0fc0: 74 68 65 20 72 69 67 68 74 2d 6d 6f 73 74 20 6c  the right-most l
0fd0: 65 61 66 20 70 61 67 65 20 69 6e 20 74 61 62 6c  eaf page in tabl
0fe0: 65 20 74 31 2e 0a 23 0a 64 6f 5f 65 78 65 63 73  e t1..#.do_execs
0ff0: 71 6c 5f 74 65 73 74 20 32 2e 36 20 7b 20 0a 20  ql_test 2.6 { . 
1000: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 34   CREATE TABLE t4
1010: 28 78 29 3b 0a 20 20 53 45 4c 45 43 54 20 2a 20  (x);.  SELECT * 
1020: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
1030: 65 72 3b 0a 7d 20 7b 0a 20 20 74 61 62 6c 65 20  er;.} {.  table 
1040: 74 31 20 74 31 20 32 20 7b 43 52 45 41 54 45 20  t1 t1 2 {CREATE 
1050: 54 41 42 4c 45 20 74 31 28 78 29 7d 20 0a 20 20  TABLE t1(x)} .  
1060: 74 61 62 6c 65 20 74 34 20 74 34 20 35 20 7b 43  table t4 t4 5 {C
1070: 52 45 41 54 45 20 54 41 42 4c 45 20 74 34 28 78  REATE TABLE t4(x
1080: 29 7d 0a 7d 0a 0a 64 62 5f 73 61 76 65 5f 61 6e  )}.}..db_save_an
1090: 64 5f 63 6c 6f 73 65 0a 66 6f 72 20 7b 73 65 74  d_close.for {set
10a0: 20 69 20 31 32 37 7d 20 7b 24 69 20 3e 3d 20 30   i 127} {$i >= 0
10b0: 7d 20 7b 69 6e 63 72 20 69 20 2d 31 7d 20 7b 0a  } {incr i -1} {.
10c0: 20 20 64 62 5f 72 65 73 74 6f 72 65 5f 61 6e 64    db_restore_and
10d0: 5f 72 65 6f 70 65 6e 0a 20 20 64 6f 5f 74 65 73  _reopen.  do_tes
10e0: 74 20 32 2e 37 2e 24 69 20 7b 20 0a 20 20 20 20  t 2.7.$i { .    
10f0: 73 65 74 20 72 65 73 20 5b 0a 20 20 20 20 20 20  set res [.      
1100: 63 61 74 63 68 73 71 6c 20 7b 20 0a 20 20 20 20  catchsql { .    
1110: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1120: 74 34 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d  t4 SELECT x FROM
1130: 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64 3c   t1 WHERE rowid<
1140: 24 69 20 4f 52 44 45 52 20 42 59 20 72 6f 77 69  $i ORDER BY rowi
1150: 64 20 44 45 53 43 20 0a 20 20 20 20 20 20 7d 0a  d DESC .      }.
1160: 20 20 20 20 5d 0a 20 20 20 20 69 66 20 7b 24 72      ].    if {$r
1170: 65 73 20 3d 3d 20 22 30 20 7b 7d 22 20 7c 7c 20  es == "0 {}" || 
1180: 24 72 65 73 20 3d 3d 20 22 31 20 7b 64 61 74 61  $res == "1 {data
1190: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
11a0: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 22 7d 20  is malformed}"} 
11b0: 7b 0a 20 20 20 20 20 20 73 65 74 20 72 65 73 20  {.      set res 
11c0: 22 22 0a 20 20 20 20 7d 0a 20 20 20 20 73 65 74  "".    }.    set
11d0: 20 72 65 73 0a 20 20 7d 20 7b 7d 0a 7d 0a 0a 66   res.  } {}.}..f
11e0: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.