/ Hex Artifact Content
Login

Artifact bd6986db57424a4d61bfc9f67e9dc1c2ae4f2cfb:


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 49 0a 0a 69 66 20 7b  x corruptI..if {
01c0: 5b 70 65 72 6d 75 74 61 74 69 6f 6e 5d 3d 3d 22  [permutation]=="
01d0: 6d 6d 61 70 22 7d 20 7b 0a 20 20 66 69 6e 69 73  mmap"} {.  finis
01e0: 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a  h_test.  return.
01f0: 7d 0a 0a 23 20 44 6f 20 6e 6f 74 20 75 73 65 20  }..# Do not use 
0200: 61 20 63 6f 64 65 63 20 66 6f 72 20 74 65 73 74  a codec for test
0210: 73 20 69 6e 20 74 68 69 73 20 66 69 6c 65 2c 20  s in this file, 
0220: 61 73 20 74 68 65 20 64 61 74 61 62 61 73 65 20  as the database 
0230: 66 69 6c 65 20 69 73 0a 23 20 6d 61 6e 69 70 75  file is.# manipu
0240: 6c 61 74 65 64 20 64 69 72 65 63 74 6c 79 20 75  lated directly u
0250: 73 69 6e 67 20 74 63 6c 20 73 63 72 69 70 74 73  sing tcl scripts
0260: 20 28 75 73 69 6e 67 20 74 68 65 20 5b 68 65 78   (using the [hex
0270: 69 6f 5f 77 72 69 74 65 5d 20 63 6f 6d 6d 61 6e  io_write] comman
0280: 64 29 2e 0a 23 0a 64 6f 5f 6e 6f 74 5f 75 73 65  d)..#.do_not_use
0290: 5f 63 6f 64 65 63 0a 64 61 74 61 62 61 73 65 5f  _codec.database_
02a0: 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a  may_be_corrupt..
02b0: 23 20 49 6e 69 74 69 61 6c 69 7a 65 20 74 68 65  # Initialize the
02c0: 20 64 61 74 61 62 61 73 65 2e 0a 23 0a 64 6f 5f   database..#.do_
02d0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 31  execsql_test 1.1
02e0: 20 7b 0a 20 20 50 52 41 47 4d 41 20 70 61 67 65   {.  PRAGMA page
02f0: 5f 73 69 7a 65 3d 31 30 32 34 3b 0a 20 20 50 52  _size=1024;.  PR
0300: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
0310: 3d 30 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42  =0;.  CREATE TAB
0320: 4c 45 20 74 31 28 61 29 3b 0a 20 20 43 52 45 41  LE t1(a);.  CREA
0330: 54 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74  TE INDEX i1 ON t
0340: 31 28 61 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  1(a);.  INSERT I
0350: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 61  NTO t1 VALUES('a
0360: 62 63 64 65 66 67 68 69 6a 6b 6c 6d 6e 6f 70 27  bcdefghijklmnop'
0370: 29 3b 0a 7d 20 7b 7d 0a 64 62 20 63 6c 6f 73 65  );.} {}.db close
0380: 0a 0a 64 6f 5f 74 65 73 74 20 31 2e 32 20 7b 0a  ..do_test 1.2 {.
0390: 20 20 73 65 74 20 6f 66 66 73 65 74 20 5b 68 65    set offset [he
03a0: 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78  xio_get_int [hex
03b0: 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20  io_read test.db 
03c0: 5b 65 78 70 72 20 32 2a 31 30 32 34 20 2b 20 38  [expr 2*1024 + 8
03d0: 5d 20 32 5d 5d 0a 20 20 73 65 74 20 6f 66 66 20  ] 2]].  set off 
03e0: 5b 65 78 70 72 20 32 2a 31 30 32 34 20 2b 20 24  [expr 2*1024 + $
03f0: 6f 66 66 73 65 74 20 2b 20 31 5d 0a 20 20 68 65  offset + 1].  he
0400: 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e 64  xio_write test.d
0410: 62 20 24 6f 66 66 20 37 66 30 36 0a 20 20 73 71  b $off 7f06.  sq
0420: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62  lite3 db test.db
0430: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 53 45  .  catchsql { SE
0440: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
0450: 48 45 52 45 20 61 20 3d 20 31 30 20 7d 0a 7d 20  HERE a = 10 }.} 
0460: 7b 30 20 7b 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20  {0 {}}..do_test 
0470: 31 2e 33 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  1.3 {.  db close
0480: 0a 20 20 73 65 74 20 6f 66 66 73 65 74 20 5b 68  .  set offset [h
0490: 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65  exio_get_int [he
04a0: 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62  xio_read test.db
04b0: 20 5b 65 78 70 72 20 32 2a 31 30 32 34 20 2b 20   [expr 2*1024 + 
04c0: 38 5d 20 32 5d 5d 0a 20 20 73 65 74 20 6f 66 66  8] 2]].  set off
04d0: 20 5b 65 78 70 72 20 32 2a 31 30 32 34 20 2b 20   [expr 2*1024 + 
04e0: 24 6f 66 66 73 65 74 20 2b 20 31 5d 0a 20 20 68  $offset + 1].  h
04f0: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
0500: 64 62 20 24 6f 66 66 20 46 46 46 46 37 66 30 32  db $off FFFF7f02
0510: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
0520: 73 74 2e 64 62 0a 20 20 63 61 74 63 68 73 71 6c  st.db.  catchsql
0530: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0540: 20 74 31 20 57 48 45 52 45 20 61 20 3d 20 31 30   t1 WHERE a = 10
0550: 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73   }.} {1 {databas
0560: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
0570: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f  malformed}}..do_
0580: 74 65 73 74 20 32 2e 30 20 7b 0a 20 20 65 78 65  test 2.0 {.  exe
0590: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
05a0: 45 20 54 41 42 4c 45 20 72 28 78 29 3b 0a 20 20  E TABLE r(x);.  
05b0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 72 20    INSERT INTO r 
05c0: 56 41 4c 55 45 53 28 27 41 42 43 44 45 46 47 48  VALUES('ABCDEFGH
05d0: 49 4a 4b 27 29 3b 0a 20 20 20 20 43 52 45 41 54  IJK');.    CREAT
05e0: 45 20 49 4e 44 45 58 20 72 31 20 4f 4e 20 72 28  E INDEX r1 ON r(
05f0: 78 29 3b 0a 20 20 7d 0a 20 20 73 65 74 20 70 67  x);.  }.  set pg
0600: 20 5b 64 62 20 6f 6e 65 20 7b 53 45 4c 45 43 54   [db one {SELECT
0610: 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20 73   rootpage FROM s
0620: 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 57 48 45  qlite_master WHE
0630: 52 45 20 6e 61 6d 65 20 3d 20 27 72 31 27 7d 5d  RE name = 'r1'}]
0640: 0a 7d 20 7b 35 7d 0a 0a 64 6f 5f 74 65 73 74 20  .} {5}..do_test 
0650: 32 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  2.1 {.  db close
0660: 0a 20 20 73 65 74 20 6f 66 66 73 65 74 20 5b 68  .  set offset [h
0670: 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65  exio_get_int [he
0680: 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62  xio_read test.db
0690: 20 5b 65 78 70 72 20 28 35 2d 31 29 2a 31 30 32   [expr (5-1)*102
06a0: 34 20 2b 20 38 5d 20 32 5d 5d 0a 20 20 73 65 74  4 + 8] 2]].  set
06b0: 20 6f 66 66 20 5b 65 78 70 72 20 28 35 2d 31 29   off [expr (5-1)
06c0: 2a 31 30 32 34 20 2b 20 24 6f 66 66 73 65 74 20  *1024 + $offset 
06d0: 2b 20 31 5d 0a 20 20 68 65 78 69 6f 5f 77 72 69  + 1].  hexio_wri
06e0: 74 65 20 74 65 73 74 2e 64 62 20 24 6f 66 66 20  te test.db $off 
06f0: 46 46 46 46 30 30 30 34 0a 20 20 73 71 6c 69 74  FFFF0004.  sqlit
0700: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20  e3 db test.db.  
0710: 63 61 74 63 68 73 71 6c 20 7b 20 53 45 4c 45 43  catchsql { SELEC
0720: 54 20 2a 20 46 52 4f 4d 20 72 20 57 48 45 52 45  T * FROM r WHERE
0730: 20 78 20 3e 3d 20 31 30 2e 30 20 7d 0a 7d 20 7b   x >= 10.0 }.} {
0740: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
0750: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
0760: 6d 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20 32  med}}..do_test 2
0770: 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .2 {.  catchsql 
0780: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0790: 72 20 57 48 45 52 45 20 78 20 3e 3d 20 31 30 20  r WHERE x >= 10 
07a0: 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65  }.} {1 {database
07b0: 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d   disk image is m
07c0: 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 69 66 20 7b  alformed}}..if {
07d0: 5b 64 62 20 6f 6e 65 20 7b 53 45 4c 45 43 54 20  [db one {SELECT 
07e0: 73 71 6c 69 74 65 5f 63 6f 6d 70 69 6c 65 6f 70  sqlite_compileop
07f0: 74 69 6f 6e 5f 75 73 65 64 28 27 45 4e 41 42 4c  tion_used('ENABL
0800: 45 5f 4f 56 45 52 53 49 5a 45 5f 43 45 4c 4c 5f  E_OVERSIZE_CELL_
0810: 43 48 45 43 4b 27 29 7d 5d 7d 20 7b 0a 20 20 23  CHECK')}]} {.  #
0820: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74   The following t
0830: 65 73 74 73 20 6f 6e 6c 79 20 77 6f 72 6b 20 69  ests only work i
0840: 66 20 4f 56 45 52 53 49 5a 45 5f 43 45 4c 4c 5f  f OVERSIZE_CELL_
0850: 43 48 45 43 4b 20 69 73 20 64 69 73 61 62 6c 65  CHECK is disable
0860: 64 0a 7d 20 65 6c 73 65 20 7b 0a 20 20 72 65 73  d.} else {.  res
0870: 65 74 5f 64 62 0a 20 20 64 6f 5f 65 78 65 63 73  et_db.  do_execs
0880: 71 6c 5f 74 65 73 74 20 33 2e 31 20 7b 0a 20 20  ql_test 3.1 {.  
0890: 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76     PRAGMA auto_v
08a0: 61 63 75 75 6d 3d 30 3b 0a 20 20 20 20 20 50 52  acuum=0;.     PR
08b0: 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d  AGMA page_size =
08c0: 20 35 31 32 3b 0a 20 20 20 20 20 43 52 45 41 54   512;.     CREAT
08d0: 45 20 54 41 42 4c 45 20 74 31 28 61 20 49 4e 54  E TABLE t1(a INT
08e0: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
08f0: 2c 20 62 29 3b 0a 20 20 20 20 20 57 49 54 48 20  , b);.     WITH 
0900: 73 28 61 2c 20 62 29 20 41 53 20 28 0a 20 20 20  s(a, b) AS (.   
0910: 20 20 20 20 53 45 4c 45 43 54 20 32 2c 20 27 61      SELECT 2, 'a
0920: 62 63 64 65 66 67 68 69 6a 27 0a 20 20 20 20 20  bcdefghij'.     
0930: 20 20 55 4e 49 4f 4e 20 41 4c 4c 0a 20 20 20 20    UNION ALL.    
0940: 20 20 20 53 45 4c 45 43 54 20 61 2b 32 2c 20 62     SELECT a+2, b
0950: 20 46 52 4f 4d 20 73 20 57 48 45 52 65 20 61 20   FROM s WHERe a 
0960: 3c 20 34 30 0a 20 20 20 20 20 29 0a 20 20 20 20  < 40.     ).    
0970: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0980: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 3b  SELECT * FROM s;
0990: 0a 20 20 20 7d 20 7b 7d 0a 20 20 20 0a 20 20 20  .   } {}.   .   
09a0: 64 6f 5f 74 65 73 74 20 33 2e 32 20 7b 0a 20 20  do_test 3.2 {.  
09b0: 20 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74     hexio_write t
09c0: 65 73 74 2e 64 62 20 5b 65 78 70 72 20 35 31 32  est.db [expr 512
09d0: 2b 33 5d 20 30 30 35 34 0a 20 20 20 20 20 64 62  +3] 0054.     db
09e0: 20 63 6c 6f 73 65 0a 20 20 20 20 20 73 71 6c 69   close.     sqli
09f0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
0a00: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 49 4e      execsql { IN
0a10: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
0a20: 55 45 53 28 35 2c 20 27 6b 6c 6d 6e 6f 70 71 72  UES(5, 'klmnopqr
0a30: 73 74 27 29 20 7d 0a 20 20 20 20 20 65 78 65 63  st') }.     exec
0a40: 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54  sql { INSERT INT
0a50: 4f 20 74 31 20 56 41 4c 55 45 53 28 37 2c 20 27  O t1 VALUES(7, '
0a60: 6b 6c 6d 6e 6f 70 71 72 73 74 27 29 20 7d 0a 20  klmnopqrst') }. 
0a70: 20 20 7d 20 7b 7d 0a 20 20 20 0a 20 20 20 64 62    } {}.   .   db
0a80: 20 63 6c 6f 73 65 0a 20 20 20 73 71 6c 69 74 65   close.   sqlite
0a90: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 20  3 db test.db.   
0aa0: 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 74  do_catchsql_test
0ab0: 20 33 2e 33 20 7b 0a 20 20 20 20 20 49 4e 53 45   3.3 {.     INSE
0ac0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0ad0: 53 28 39 2c 20 27 6b 6c 6d 6e 6f 70 71 72 73 74  S(9, 'klmnopqrst
0ae0: 27 29 3b 0a 20 20 20 7d 20 7b 31 20 7b 64 61 74  ');.   } {1 {dat
0af0: 61 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65  abase disk image
0b00: 20 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a   is malformed}}.
0b10: 7d 20 3b 23 20 65 6e 64 2d 69 66 20 21 64 65 66  } ;# end-if !def
0b20: 69 6e 65 64 28 45 4e 41 42 4c 45 5f 4f 56 45 52  ined(ENABLE_OVER
0b30: 53 49 5a 45 5f 43 45 4c 4c 5f 43 48 45 43 4b 29  SIZE_CELL_CHECK)
0b40: 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ...#------------
0b50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20  -------------.# 
0b90: 54 65 73 74 20 74 68 61 74 20 61 6e 20 61 73 73  Test that an ass
0ba0: 65 72 74 28 29 20 66 61 69 6c 75 72 65 20 64 69  ert() failure di
0bb0: 73 63 6f 76 65 72 65 64 20 62 79 20 41 46 4c 20  scovered by AFL 
0bc0: 63 6f 72 72 75 70 74 20 64 61 74 61 62 61 73 65  corrupt database
0bd0: 20 66 69 6c 65 0a 23 20 74 65 73 74 69 6e 67 20   file.# testing 
0be0: 68 61 73 20 62 65 65 6e 20 66 69 78 65 64 2e 0a  has been fixed..
0bf0: 23 0a 72 65 73 65 74 5f 64 62 0a 64 6f 5f 65 78  #.reset_db.do_ex
0c00: 65 63 73 71 6c 5f 74 65 73 74 20 34 2e 30 20 7b  ecsql_test 4.0 {
0c10: 0a 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f 73  .  PRAGMA page_s
0c20: 69 7a 65 20 3d 20 36 35 35 33 36 3b 0a 20 20 50  ize = 65536;.  P
0c30: 52 41 47 4d 41 20 61 75 74 6f 76 61 63 75 75 6d  RAGMA autovacuum
0c40: 20 3d 20 30 3b 0a 20 20 43 52 45 41 54 45 20 54   = 0;.  CREATE T
0c50: 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45  ABLE t1(a INTEGE
0c60: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62  R PRIMARY KEY, b
0c70: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0c80: 20 74 31 20 56 41 4c 55 45 53 28 2d 31 2c 20 27   t1 VALUES(-1, '
0c90: 61 62 63 64 65 66 67 68 69 6a 27 29 3b 0a 20 20  abcdefghij');.  
0ca0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0cb0: 41 4c 55 45 53 28 30 2c 20 27 61 62 63 64 65 66  ALUES(0, 'abcdef
0cc0: 67 68 69 6a 27 29 3b 0a 7d 0a 0a 73 65 74 20 72  ghij');.}..set r
0cd0: 6f 6f 74 20 5b 64 62 20 6f 6e 65 20 7b 53 45 4c  oot [db one {SEL
0ce0: 45 43 54 20 72 6f 6f 74 70 61 67 65 20 46 52 4f  ECT rootpage FRO
0cf0: 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 7d  M sqlite_master}
0d00: 5d 0a 73 65 74 20 6f 66 66 73 65 74 20 5b 65 78  ].set offset [ex
0d10: 70 72 20 28 24 72 6f 6f 74 2d 31 29 20 2a 20 36  pr ($root-1) * 6
0d20: 35 35 33 36 5d 0a 0a 64 6f 5f 74 65 73 74 20 34  5536]..do_test 4
0d30: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .1 {.  db close.
0d40: 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65    hexio_write te
0d50: 73 74 2e 64 62 20 5b 65 78 70 72 20 24 6f 66 66  st.db [expr $off
0d60: 73 65 74 20 2b 20 38 20 2b 20 32 5d 20 30 30 30  set + 8 + 2] 000
0d70: 30 0a 20 20 68 65 78 69 6f 5f 77 72 69 74 65 20  0.  hexio_write 
0d80: 74 65 73 74 2e 64 62 20 5b 65 78 70 72 20 24 6f  test.db [expr $o
0d90: 66 66 73 65 74 20 2b 20 35 5d 20 30 30 30 30 0a  ffset + 5] 0000.
0da0: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
0db0: 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b  t.db.  execsql {
0dc0: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20   DELETE FROM t1 
0dd0: 57 48 45 52 45 20 61 3d 30 20 7d 0a 7d 20 7b 7d  WHERE a=0 }.} {}
0de0: 0a 0a 0a 23 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 2d  ----------------
0e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20  -------------.# 
0e30: 44 61 74 61 62 61 73 65 20 70 72 6f 70 65 72 74  Database propert
0e40: 69 65 73 3a 0a 23 0a 23 20 20 20 2a 20 49 6e 63  ies:.#.#   * Inc
0e50: 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d 20  remental vacuum 
0e60: 6d 6f 64 65 2e 0a 23 20 20 20 2a 20 44 61 74 61  mode..#   * Data
0e70: 62 61 73 65 20 72 6f 6f 74 20 74 61 62 6c 65 20  base root table 
0e80: 68 61 73 20 61 20 73 69 6e 67 6c 65 20 6c 65 61  has a single lea
0e90: 66 20 70 61 67 65 2e 0a 23 20 20 20 2a 20 46 72  f page..#   * Fr
0ea0: 65 65 20 6c 69 73 74 20 63 6f 6e 73 69 73 74 73  ee list consists
0eb0: 20 6f 66 20 61 20 73 69 6e 67 6c 65 20 74 72 75   of a single tru
0ec0: 6e 6b 20 70 61 67 65 2e 0a 23 0a 23 20 54 68 65  nk page..#.# The
0ed0: 20 64 62 20 69 73 20 74 68 65 6e 20 63 6f 72 72   db is then corr
0ee0: 75 70 74 65 64 20 62 79 20 61 64 64 69 6e 67 20  upted by adding 
0ef0: 74 68 65 20 72 6f 6f 74 20 74 61 62 6c 65 20 6c  the root table l
0f00: 65 61 66 20 70 61 67 65 20 61 73 20 61 20 66 72  eaf page as a fr
0f10: 65 65 2d 6c 69 73 74 0a 23 20 6c 65 61 66 20 70  ee-list.# leaf p
0f20: 61 67 65 20 28 73 6f 20 74 68 61 74 20 69 74 20  age (so that it 
0f30: 69 73 20 72 65 66 65 72 65 6e 63 65 64 20 74 77  is referenced tw
0f40: 69 63 65 29 2e 0a 23 0a 23 20 54 68 65 6e 2c 20  ice)..#.# Then, 
0f50: 61 20 6e 65 77 20 74 61 62 6c 65 20 69 73 20 63  a new table is c
0f60: 72 65 61 74 65 64 2e 20 54 68 65 20 6e 65 77 20  reated. The new 
0f70: 72 6f 6f 74 20 70 61 67 65 20 69 73 20 74 68 65  root page is the
0f80: 20 63 75 72 72 65 6e 74 20 66 72 65 65 2d 6c 69   current free-li
0f90: 73 74 0a 23 20 74 72 75 6e 6b 2e 20 54 68 69 73  st.# trunk. This
0fa0: 20 6d 65 61 6e 73 20 74 68 61 74 20 74 68 65 20   means that the 
0fb0: 72 6f 6f 74 20 74 61 62 6c 65 20 6c 65 61 66 20  root table leaf 
0fc0: 70 61 67 65 20 69 73 20 6d 61 64 65 20 69 6e 74  page is made int
0fd0: 6f 20 74 68 65 20 6e 65 77 0a 23 20 66 72 65 65  o the new.# free
0fe0: 20 6c 69 73 74 20 74 72 75 6e 6b 2c 20 77 68 69   list trunk, whi
0ff0: 63 68 20 63 6f 72 72 75 70 74 73 20 69 74 73 20  ch corrupts its 
1000: 68 65 61 64 65 72 2e 20 54 68 65 6e 2c 20 77 68  header. Then, wh
1010: 65 6e 20 74 68 65 20 6e 65 77 20 65 6e 74 72 79  en the new entry
1020: 20 69 73 0a 23 20 69 6e 73 65 72 74 65 64 20 69   is.# inserted i
1030: 6e 74 6f 20 74 68 65 20 72 6f 6f 74 20 74 61 62  nto the root tab
1040: 6c 65 2c 20 74 68 69 6e 67 73 20 77 6f 75 6c 64  le, things would
1050: 20 67 65 74 20 63 68 61 6f 74 69 63 2e 0a 23 0a   get chaotic..#.
1060: 72 65 73 65 74 5f 64 62 0a 64 6f 5f 74 65 73 74  reset_db.do_test
1070: 20 35 2e 30 20 7b 0a 20 20 65 78 65 63 73 71 6c   5.0 {.  execsql
1080: 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61   {.    PRAGMA pa
1090: 67 65 5f 73 69 7a 65 20 3d 20 35 31 32 3b 0a 20  ge_size = 512;. 
10a0: 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76     PRAGMA auto_v
10b0: 61 63 75 75 6d 20 3d 20 32 3b 0a 20 20 7d 0a 20  acuum = 2;.  }. 
10c0: 20 66 6f 72 20 7b 73 65 74 20 69 20 33 7d 20 7b   for {set i 3} {
10d0: 31 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20  1} {incr i} {.  
10e0: 20 20 65 78 65 63 73 71 6c 20 22 43 52 45 41 54    execsql "CREAT
10f0: 45 20 54 41 42 4c 45 20 74 24 7b 69 7d 28 78 29  E TABLE t${i}(x)
1100: 22 0a 20 20 20 20 69 66 20 7b 5b 64 62 20 6f 6e  ".    if {[db on
1110: 65 20 7b 50 52 41 47 4d 41 20 70 61 67 65 5f 63  e {PRAGMA page_c
1120: 6f 75 6e 74 7d 5d 3e 24 69 7d 20 62 72 65 61 6b  ount}]>$i} break
1130: 0a 20 20 7d 0a 20 20 73 65 74 20 6e 50 61 67 65  .  }.  set nPage
1140: 20 5b 64 62 20 6f 6e 65 20 7b 50 52 41 47 4d 41   [db one {PRAGMA
1150: 20 70 61 67 65 5f 63 6f 75 6e 74 7d 5d 0a 20 20   page_count}].  
1160: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1170: 45 41 54 45 20 54 41 42 4c 45 20 74 31 30 30 28  EATE TABLE t100(
1180: 78 29 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42  x);.    DROP TAB
1190: 4c 45 20 74 31 30 30 3b 0a 20 20 7d 0a 7d 20 7b  LE t100;.  }.} {
11a0: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
11b0: 73 74 20 35 2e 31 20 7b 20 0a 20 20 50 52 41 47  st 5.1 { .  PRAG
11c0: 4d 41 20 70 61 67 65 5f 63 6f 75 6e 74 20 0a 7d  MA page_count .}
11d0: 20 5b 65 78 70 72 20 24 6e 50 61 67 65 2b 31 5d   [expr $nPage+1]
11e0: 0a 0a 64 6f 5f 74 65 73 74 20 35 2e 32 20 7b 20  ..do_test 5.2 { 
11f0: 0a 20 20 23 20 54 68 65 20 6c 61 73 74 20 70 61  .  # The last pa
1200: 67 65 20 6f 66 20 74 68 65 20 64 62 20 69 73 20  ge of the db is 
1210: 6e 6f 77 20 74 68 65 20 6f 6e 6c 79 20 6c 65 61  now the only lea
1220: 66 20 6f 66 20 74 68 65 20 73 71 6c 69 74 65 5f  f of the sqlite_
1230: 6d 61 73 74 65 72 20 74 61 62 6c 65 2e 0a 20 20  master table..  
1240: 23 20 43 6f 72 72 75 70 74 20 74 68 65 20 64 62  # Corrupt the db
1250: 20 62 79 20 61 64 64 69 6e 67 20 69 74 20 74 6f   by adding it to
1260: 20 74 68 65 20 66 72 65 65 2d 6c 69 73 74 20 61   the free-list a
1270: 73 20 77 65 6c 6c 20 28 74 68 65 20 73 65 63 6f  s well (the seco
1280: 6e 64 20 6c 61 73 74 0a 20 20 23 20 70 61 67 65  nd last.  # page
1290: 20 6f 66 20 74 68 65 20 64 62 20 69 73 20 74 68   of the db is th
12a0: 65 20 66 72 65 65 2d 6c 69 73 74 20 74 72 75 6e  e free-list trun
12b0: 6b 29 2e 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  k)..  db close. 
12c0: 20 68 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73   hexio_write tes
12d0: 74 2e 64 62 20 5b 65 78 70 72 20 35 31 32 2a 28  t.db [expr 512*(
12e0: 24 6e 50 61 67 65 2d 31 29 5d 20 5b 0a 20 20 20  $nPage-1)] [.   
12f0: 20 66 6f 72 6d 61 74 20 22 25 2e 38 58 25 2e 38   format "%.8X%.8
1300: 58 25 2e 38 58 22 20 30 20 31 20 5b 65 78 70 72  X%.8X" 0 1 [expr
1310: 20 24 6e 50 61 67 65 2b 31 5d 0a 20 20 5d 0a 7d   $nPage+1].  ].}
1320: 20 7b 31 32 7d 0a 0a 64 6f 5f 74 65 73 74 20 35   {12}..do_test 5
1330: 2e 33 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64  .3 {.  sqlite3 d
1340: 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63  b test.db.  catc
1350: 68 73 71 6c 20 7b 20 43 52 45 41 54 45 20 54 41  hsql { CREATE TA
1360: 42 4c 45 20 74 78 28 78 29 3b 20 7d 0a 7d 20 7b  BLE tx(x); }.} {
1370: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
1380: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
1390: 6d 65 64 7d 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74  med}}...finish_t
13a0: 65 73 74 0a                                      est.