/ Hex Artifact Content
Login

Artifact 2aaee202b1f230e55779f70d155f6ba67bbdff8481d650214d256ab0f97d4a2b:


0000: 23 20 32 30 30 37 20 41 70 72 69 6c 20 32 36 0a  # 2007 April 26.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a   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 0a 23 20 54 68 69 73 20 66 69 6c  *****.# This fil
0170: 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67  e implements reg
0180: 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f  ression tests fo
0190: 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79  r SQLite library
01a0: 2e 20 20 54 68 65 0a 23 20 66 6f 63 75 73 20 6f  .  The.# focus o
01b0: 66 20 74 68 69 73 20 66 69 6c 65 20 69 73 20 74  f this file is t
01c0: 65 73 74 69 6e 67 20 74 68 65 20 69 6e 63 72 65  esting the incre
01d0: 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d 20 66 65  mental vacuum fe
01e0: 61 74 75 72 65 2e 0a 23 0a 23 20 4e 6f 74 65 3a  ature..#.# Note:
01f0: 20 54 68 65 72 65 20 61 72 65 20 61 6c 73 6f 20   There are also 
0200: 73 6f 6d 65 20 74 65 73 74 73 20 66 6f 72 20 69  some tests for i
0210: 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75  ncremental vacuu
0220: 6d 20 61 6e 64 20 49 4f 20 0a 23 20 65 72 72 6f  m and IO .# erro
0230: 72 73 20 69 6e 20 69 6e 63 72 76 61 63 75 75 6d  rs in incrvacuum
0240: 5f 69 6f 65 72 72 2e 74 65 73 74 2e 0a 23 0a 23  _ioerr.test..#.#
0250: 20 24 49 64 3a 20 69 6e 63 72 76 61 63 75 75 6d   $Id: incrvacuum
0260: 2e 74 65 73 74 2c 76 20 31 2e 32 33 20 32 30 30  .test,v 1.23 200
0270: 39 2f 30 32 2f 31 38 20 32 30 3a 33 31 3a 31 38  9/02/18 20:31:18
0280: 20 64 72 68 20 45 78 70 20 24 0a 0a 73 65 74 20   drh Exp $..set 
0290: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
02a0: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
02b0: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
02c0: 73 74 65 72 2e 74 63 6c 0a 0a 23 20 49 66 20 74  ster.tcl..# If t
02d0: 68 69 73 20 62 75 69 6c 64 20 6f 66 20 74 68 65  his build of the
02e0: 20 6c 69 62 72 61 72 79 20 64 6f 65 73 20 6e 6f   library does no
02f0: 74 20 73 75 70 70 6f 72 74 20 61 75 74 6f 2d 76  t support auto-v
0300: 61 63 75 75 6d 2c 20 6f 6d 69 74 20 74 68 69 73  acuum, omit this
0310: 0a 23 20 77 68 6f 6c 65 20 66 69 6c 65 2e 0a 69  .# whole file..i
0320: 66 63 61 70 61 62 6c 65 20 7b 21 61 75 74 6f 76  fcapable {!autov
0330: 61 63 75 75 6d 20 7c 7c 20 21 70 72 61 67 6d 61  acuum || !pragma
0340: 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  } {.  finish_tes
0350: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 23 2d  t.  return.}..#-
0360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03a0: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68 65 20  ----.# Test the 
03b0: 70 72 61 67 6d 61 20 6f 6e 20 61 6e 20 65 6d 70  pragma on an emp
03c0: 74 79 20 64 61 74 61 62 61 73 65 2e 0a 23 0a 64  ty database..#.d
03d0: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
03e0: 6d 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  m-1.1 {.  execsq
03f0: 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61  l {.    pragma a
0400: 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a  uto_vacuum;.  }.
0410: 7d 20 24 73 71 6c 69 74 65 5f 6f 70 74 69 6f 6e  } $sqlite_option
0420: 73 28 64 65 66 61 75 6c 74 5f 61 75 74 6f 76 61  s(default_autova
0430: 63 75 75 6d 29 0a 64 6f 5f 74 65 73 74 20 69 6e  cuum).do_test in
0440: 63 72 76 61 63 75 75 6d 2d 31 2e 32 2e 30 20 7b  crvacuum-1.2.0 {
0450: 0a 20 20 23 20 46 69 6c 65 20 73 69 7a 65 20 69  .  # File size i
0460: 73 20 73 6f 6d 65 74 69 6d 65 73 20 31 20 69 6e  s sometimes 1 in
0470: 73 74 65 61 64 20 6f 66 20 30 20 64 75 65 20 74  stead of 0 due t
0480: 6f 20 74 68 65 20 68 61 63 6b 20 77 65 20 70 75  o the hack we pu
0490: 74 20 69 6e 0a 20 20 23 20 74 6f 20 77 6f 72 6b  t in.  # to work
04a0: 20 61 72 6f 75 6e 64 20 74 69 63 6b 65 74 20 23   around ticket #
04b0: 33 32 36 30 2e 20 20 53 65 61 72 63 68 20 66 6f  3260.  Search fo
04c0: 72 20 63 6f 6d 6d 65 6e 74 73 20 6f 6e 20 23 33  r comments on #3
04d0: 32 36 30 20 69 6e 0a 20 20 23 20 6f 73 5f 75 6e  260 in.  # os_un
04e0: 69 78 2e 63 2e 0a 20 20 65 78 70 72 20 7b 5b 66  ix.c..  expr {[f
04f0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
0500: 5d 20 3e 20 31 7d 0a 7d 20 7b 30 7d 0a 64 6f 5f  ] > 1}.} {0}.do_
0510: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
0520: 31 2e 32 20 7b 0a 20 20 23 20 54 68 69 73 20 63  1.2 {.  # This c
0530: 6f 6d 6d 61 6e 64 20 77 69 6c 6c 20 63 72 65 61  ommand will crea
0540: 74 65 20 74 68 65 20 64 61 74 61 62 61 73 65 2e  te the database.
0550: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0560: 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63   pragma auto_vac
0570: 75 75 6d 20 3d 20 27 66 75 6c 6c 27 3b 0a 20 20  uum = 'full';.  
0580: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61    pragma auto_va
0590: 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a  cuum;.  }.} {1}.
05a0: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
05b0: 75 6d 2d 31 2e 32 2e 31 20 7b 0a 20 20 65 78 70  um-1.2.1 {.  exp
05c0: 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  r {[file size te
05d0: 73 74 2e 64 62 5d 20 3e 20 30 7d 0a 7d 20 7b 31  st.db] > 0}.} {1
05e0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  }.do_test incrva
05f0: 63 75 75 6d 2d 31 2e 33 20 7b 0a 20 20 65 78 65  cuum-1.3 {.  exe
0600: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d  csql {.    pragm
0610: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  a auto_vacuum = 
0620: 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 3b 0a 20  'incremental';. 
0630: 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76     pragma auto_v
0640: 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d  acuum;.  }.} {2}
0650: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
0660: 75 75 6d 2d 31 2e 34 20 7b 0a 20 20 23 20 49 6e  uum-1.4 {.  # In
0670: 20 74 68 69 73 20 63 61 73 65 20 74 68 65 20 69   this case the i
0680: 6e 76 61 6c 69 64 20 76 61 6c 75 65 20 69 73 20  nvalid value is 
0690: 69 67 6e 6f 72 65 64 20 61 6e 64 20 74 68 65 20  ignored and the 
06a0: 61 75 74 6f 5f 76 61 63 75 75 6d 0a 20 20 23 20  auto_vacuum.  # 
06b0: 73 65 74 74 69 6e 67 20 72 65 6d 61 69 6e 73 20  setting remains 
06c0: 75 6e 63 68 61 6e 67 65 64 2e 0a 20 20 65 78 65  unchanged..  exe
06d0: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d  csql {.    pragm
06e0: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  a auto_vacuum = 
06f0: 27 69 6e 76 61 6c 69 64 27 3b 0a 20 20 20 20 70  'invalid';.    p
0700: 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75  ragma auto_vacuu
0710: 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 64 6f 5f  m;.  }.} {2}.do_
0720: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
0730: 31 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.5 {.  execsql 
0740: 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74  {.    pragma aut
0750: 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20  o_vacuum = 1;.  
0760: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61    pragma auto_va
0770: 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a  cuum;.  }.} {1}.
0780: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
0790: 75 6d 2d 31 2e 36 20 7b 0a 20 20 65 78 65 63 73  um-1.6 {.  execs
07a0: 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20  ql {.    pragma 
07b0: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 27 32  auto_vacuum = '2
07c0: 27 3b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75  ';.    pragma au
07d0: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d  to_vacuum;.  }.}
07e0: 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63   {2}.do_test inc
07f0: 72 76 61 63 75 75 6d 2d 31 2e 37 20 7b 0a 20 20  rvacuum-1.7 {.  
0800: 23 20 49 6e 76 61 6c 69 64 20 76 61 6c 75 65 2e  # Invalid value.
0810: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 73 65 74   auto_vacuum set
0820: 74 69 6e 67 20 72 65 6d 61 69 6e 73 20 75 6e 63  ting remains unc
0830: 68 61 6e 67 65 64 2e 0a 20 20 65 78 65 63 73 71  hanged..  execsq
0840: 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61  l {.    pragma a
0850: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 35 3b 0a  uto_vacuum = 5;.
0860: 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f      pragma auto_
0870: 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32  vacuum;.  }.} {2
0880: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  }..#------------
0890: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
08a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
08b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
08c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74  ---------.# Test
08d0: 20 74 68 65 20 70 72 61 67 6d 61 20 6f 6e 20 61   the pragma on a
08e0: 20 6e 6f 6e 2d 65 6d 70 74 79 20 64 61 74 61 62   non-empty datab
08f0: 61 73 65 2e 20 49 74 20 69 73 20 70 6f 73 73 69  ase. It is possi
0900: 62 6c 65 20 74 6f 20 74 6f 67 67 6c 65 0a 23 20  ble to toggle.# 
0910: 74 68 65 20 63 6f 6e 6e 65 63 74 69 6f 6e 20 62  the connection b
0920: 65 74 77 65 65 6e 20 22 66 75 6c 6c 22 20 61 6e  etween "full" an
0930: 64 20 22 69 6e 63 72 65 6d 65 6e 74 61 6c 22 20  d "incremental" 
0940: 6d 6f 64 65 2c 20 62 75 74 20 6e 6f 74 20 74 6f  mode, but not to
0950: 0a 23 20 63 68 61 6e 67 65 20 66 72 6f 6d 20 65  .# change from e
0960: 69 74 68 65 72 20 6f 66 20 74 68 65 73 65 20 74  ither of these t
0970: 6f 20 22 6e 6f 6e 65 22 2c 20 6f 72 20 66 72 6f  o "none", or fro
0980: 6d 20 22 6e 6f 6e 65 22 20 74 6f 20 22 66 75 6c  m "none" to "ful
0990: 6c 22 20 6f 72 0a 23 20 22 69 6e 63 72 65 6d 65  l" or.# "increme
09a0: 6e 74 61 6c 22 2e 0a 23 0a 64 6f 5f 74 65 73 74  ntal"..#.do_test
09b0: 20 69 6e 63 72 76 61 63 75 75 6d 2d 32 2e 31 20   incrvacuum-2.1 
09c0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
09d0: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61    pragma auto_va
09e0: 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20 20 43 52  cuum = 1;.    CR
09f0: 45 41 54 45 20 54 41 42 4c 45 20 61 62 63 28 61  EATE TABLE abc(a
0a00: 2c 20 62 2c 20 63 29 3b 0a 20 20 7d 0a 7d 20 7b  , b, c);.  }.} {
0a10: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  }.do_test incrva
0a20: 63 75 75 6d 2d 32 2e 32 20 7b 0a 20 20 65 78 65  cuum-2.2 {.  exe
0a30: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d  csql {.    pragm
0a40: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  a auto_vacuum = 
0a50: 27 6e 6f 6e 65 27 3b 0a 20 20 20 20 70 72 61 67  'none';.    prag
0a60: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a  ma auto_vacuum;.
0a70: 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73    }.} {1}.do_tes
0a80: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 32 2e 32  t incrvacuum-2.2
0a90: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .1 {.  db close.
0aa0: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
0ab0: 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b  t.db.  execsql {
0ac0: 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f  .    pragma auto
0ad0: 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b  _vacuum;.  }.} {
0ae0: 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  1}.do_test incrv
0af0: 61 63 75 75 6d 2d 32 2e 33 20 7b 0a 20 20 65 78  acuum-2.3 {.  ex
0b00: 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67  ecsql {.    prag
0b10: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  ma auto_vacuum =
0b20: 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 3b 0a   'incremental';.
0b30: 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f      pragma auto_
0b40: 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32  vacuum;.  }.} {2
0b50: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  }.do_test incrva
0b60: 63 75 75 6d 2d 32 2e 34 20 7b 0a 20 20 65 78 65  cuum-2.4 {.  exe
0b70: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d  csql {.    pragm
0b80: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  a auto_vacuum = 
0b90: 27 66 75 6c 6c 27 3b 0a 20 20 20 20 70 72 61 67  'full';.    prag
0ba0: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a  ma auto_vacuum;.
0bb0: 20 20 7d 0a 7d 20 7b 31 7d 0a 0a 23 2d 2d 2d 2d    }.} {1}..#----
0bc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0bd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0be0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0bf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c00: 2d 0a 23 20 54 65 73 74 20 74 68 61 74 20 77 68  -.# Test that wh
0c10: 65 6e 20 74 68 65 20 61 75 74 6f 5f 76 61 63 75  en the auto_vacu
0c20: 75 6d 20 6d 6f 64 65 20 69 73 20 22 69 6e 63 72  um mode is "incr
0c30: 65 6d 65 6e 74 61 6c 22 2c 20 74 68 65 20 64 61  emental", the da
0c40: 74 61 62 61 73 65 0a 23 20 64 6f 65 73 20 6e 6f  tabase.# does no
0c50: 74 20 73 68 72 69 6e 6b 20 77 68 65 6e 20 70 61  t shrink when pa
0c60: 67 65 73 20 61 72 65 20 72 65 6d 6f 76 65 64 20  ges are removed 
0c70: 66 72 6f 6d 20 69 74 2e 20 42 75 74 20 69 74 20  from it. But it 
0c80: 64 6f 65 73 20 69 66 0a 23 20 74 68 65 20 6d 6f  does if.# the mo
0c90: 64 65 20 69 73 20 73 65 74 20 74 6f 20 22 66 75  de is set to "fu
0ca0: 6c 6c 22 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69  ll"..#.do_test i
0cb0: 6e 63 72 76 61 63 75 75 6d 2d 33 2e 31 20 7b 0a  ncrvacuum-3.1 {.
0cc0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0cd0: 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75  pragma auto_vacu
0ce0: 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f  um;.  }.} {1}.do
0cf0: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
0d00: 2d 33 2e 32 20 7b 0a 20 20 73 65 74 20 3a 3a 73  -3.2 {.  set ::s
0d10: 74 72 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61  tr [string repea
0d20: 74 20 31 32 33 34 35 36 37 38 39 30 20 31 31 30  t 1234567890 110
0d30: 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  ].  execsql {.  
0d40: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
0d50: 63 75 75 6d 20 3d 20 32 3b 0a 20 20 20 20 42 45  cuum = 2;.    BE
0d60: 47 49 4e 3b 0a 20 20 20 20 43 52 45 41 54 45 20  GIN;.    CREATE 
0d70: 54 41 42 4c 45 20 74 62 6c 32 28 73 74 72 29 3b  TABLE tbl2(str);
0d80: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0d90: 20 74 62 6c 32 20 56 41 4c 55 45 53 28 24 3a 3a   tbl2 VALUES($::
0da0: 73 74 72 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54  str);.    COMMIT
0db0: 3b 0a 20 20 7d 0a 20 20 23 20 35 20 70 61 67 65  ;.  }.  # 5 page
0dc0: 73 3a 0a 20 20 23 0a 20 20 23 20 20 20 31 20 2d  s:.  #.  #   1 -
0dd0: 3e 20 64 61 74 61 62 61 73 65 20 68 65 61 64 65  > database heade
0de0: 72 0a 20 20 23 20 20 20 32 20 2d 3e 20 66 69 72  r.  #   2 -> fir
0df0: 73 74 20 62 61 63 6b 2d 70 6f 69 6e 74 65 72 20  st back-pointer 
0e00: 70 61 67 65 0a 20 20 23 20 20 20 33 20 2d 3e 20  page.  #   3 -> 
0e10: 74 61 62 6c 65 20 61 62 63 0a 20 20 23 20 20 20  table abc.  #   
0e20: 34 20 2d 3e 20 74 61 62 6c 65 20 74 62 6c 32 0a  4 -> table tbl2.
0e30: 20 20 23 20 20 20 35 20 2d 3e 20 74 61 62 6c 65    #   5 -> table
0e40: 20 74 62 6c 32 20 6f 76 65 72 66 6c 6f 77 20 70   tbl2 overflow p
0e50: 61 67 65 2e 0a 20 20 23 0a 20 20 65 78 70 72 20  age..  #.  expr 
0e60: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
0e70: 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b  .db] / 1024}.} {
0e80: 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  5}.do_test incrv
0e90: 61 63 75 75 6d 2d 33 2e 33 20 7b 0a 20 20 65 78  acuum-3.3 {.  ex
0ea0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50  ecsql {.    DROP
0eb0: 20 54 41 42 4c 45 20 61 62 63 3b 0a 20 20 20 20   TABLE abc;.    
0ec0: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 62 6c 32  DELETE FROM tbl2
0ed0: 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66  ;.  }.  expr {[f
0ee0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
0ef0: 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 35 7d 0a  ] / 1024}.} {5}.
0f00: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
0f10: 75 6d 2d 33 2e 34 20 7b 0a 20 20 65 78 65 63 73  um-3.4 {.  execs
0f20: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
0f30: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b  auto_vacuum = 1;
0f40: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0f50: 20 74 62 6c 32 20 56 41 4c 55 45 53 28 27 68 65   tbl2 VALUES('he
0f60: 6c 6c 6f 20 77 6f 72 6c 64 27 29 3b 0a 20 20 7d  llo world');.  }
0f70: 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73  .  expr {[file s
0f80: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31  ize test.db] / 1
0f90: 30 32 34 7d 0a 7d 20 7b 33 7d 0a 0a 23 2d 2d 2d  024}.} {3}..#---
0fa0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0fb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0fc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0fd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0fe0: 2d 2d 0a 23 20 54 72 79 20 74 6f 20 72 75 6e 20  --.# Try to run 
0ff0: 61 20 76 65 72 79 20 73 69 6d 70 6c 65 20 69 6e  a very simple in
1000: 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d  cremental vacuum
1010: 2e 20 41 6c 73 6f 20 76 65 72 69 66 79 20 74 68  . Also verify th
1020: 61 74 20 0a 23 20 50 52 41 47 4d 41 20 69 6e 63  at .# PRAGMA inc
1030: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 20  remental_vacuum 
1040: 69 73 20 61 20 68 61 72 6d 6c 65 73 73 20 6e 6f  is a harmless no
1050: 2d 6f 70 20 61 67 61 69 6e 73 74 20 61 20 64 61  -op against a da
1060: 74 61 62 61 73 65 20 74 68 61 74 0a 23 20 64 6f  tabase that.# do
1070: 65 73 20 6e 6f 74 20 73 75 70 70 6f 72 74 20 61  es not support a
1080: 75 74 6f 2d 76 61 63 75 75 6d 2e 0a 23 0a 64 6f  uto-vacuum..#.do
1090: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
10a0: 2d 34 2e 31 20 7b 0a 20 20 73 65 74 20 3a 3a 73  -4.1 {.  set ::s
10b0: 74 72 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61  tr [string repea
10c0: 74 20 31 32 33 34 35 36 37 38 39 30 20 31 31 30  t 1234567890 110
10d0: 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  ].  execsql {.  
10e0: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
10f0: 63 75 75 6d 20 3d 20 32 3b 0a 20 20 20 20 49 4e  cuum = 2;.    IN
1100: 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 32 20 56  SERT INTO tbl2 V
1110: 41 4c 55 45 53 28 24 3a 3a 73 74 72 29 3b 0a 20  ALUES($::str);. 
1120: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
1130: 74 62 6c 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20  tbl1(a, b, c);. 
1140: 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65   }.  expr {[file
1150: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f   size test.db] /
1160: 20 31 30 32 34 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f   1024}.} {5}.do_
1170: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
1180: 34 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  4.2 {.  execsql 
1190: 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f  {.    DELETE FRO
11a0: 4d 20 74 62 6c 32 3b 0a 20 20 20 20 44 52 4f 50  M tbl2;.    DROP
11b0: 20 54 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 7d   TABLE tbl1;.  }
11c0: 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73  .  expr {[file s
11d0: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31  ize test.db] / 1
11e0: 30 32 34 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65  024}.} {5}.do_te
11f0: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 34 2e  st incrvacuum-4.
1200: 33 20 7b 0a 20 20 73 65 74 20 3a 3a 6e 53 74 65  3 {.  set ::nSte
1210: 70 20 30 0a 20 20 64 62 20 65 76 61 6c 20 7b 70  p 0.  db eval {p
1220: 72 61 67 6d 61 20 69 6e 63 72 65 6d 65 6e 74 61  ragma incrementa
1230: 6c 5f 76 61 63 75 75 6d 28 31 30 29 7d 20 7b 0a  l_vacuum(10)} {.
1240: 20 20 20 20 69 6e 63 72 20 3a 3a 6e 53 74 65 70      incr ::nStep
1250: 0a 20 20 7d 0a 20 20 6c 69 73 74 20 5b 65 78 70  .  }.  list [exp
1260: 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  r {[file size te
1270: 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 5d 20  st.db] / 1024}] 
1280: 24 3a 3a 6e 53 74 65 70 0a 7d 20 7b 33 20 32 7d  $::nStep.} {3 2}
1290: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
12a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
12b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
12c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
12d0: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 66  --------.# The f
12e0: 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 2d  ollowing tests -
12f0: 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 2a 20   incrvacuum-5.* 
1300: 2d 20 74 65 73 74 20 69 6e 63 72 65 6d 65 6e 74  - test increment
1310: 61 6c 20 76 61 63 75 75 6d 0a 23 20 66 72 6f 6d  al vacuum.# from
1320: 20 77 69 74 68 69 6e 20 61 20 74 72 61 6e 73 61   within a transa
1330: 63 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73 74  ction..#.do_test
1340: 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 31 2e   incrvacuum-5.1.
1350: 31 20 7b 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c  1 {.  expr {[fil
1360: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20  e size test.db] 
1370: 2f 20 31 30 32 34 7d 0a 7d 20 7b 33 7d 0a 64 6f  / 1024}.} {3}.do
1380: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
1390: 2d 35 2e 31 2e 32 20 7b 0a 20 20 65 78 65 63 73  -5.1.2 {.  execs
13a0: 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a  ql {.    BEGIN;.
13b0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
13c0: 62 6c 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  bl2;.    PRAGMA 
13d0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
13e0: 75 6d 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a  um;.    COMMIT;.
13f0: 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c    }.  expr {[fil
1400: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20  e size test.db] 
1410: 2f 20 31 30 32 34 7d 0a 7d 20 7b 31 7d 0a 0a 64  / 1024}.} {1}..d
1420: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
1430: 6d 2d 35 2e 32 2e 31 20 7b 0a 20 20 73 65 74 20  m-5.2.1 {.  set 
1440: 3a 3a 73 74 72 20 5b 73 74 72 69 6e 67 20 72 65  ::str [string re
1450: 70 65 61 74 20 61 62 63 64 65 66 67 68 69 6a 20  peat abcdefghij 
1460: 31 31 30 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b  110].  execsql {
1470: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
1480: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c  CREATE TABLE tbl
1490: 31 28 61 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1(a);.    INSERT
14a0: 20 49 4e 54 4f 20 74 62 6c 31 20 56 41 4c 55 45   INTO tbl1 VALUE
14b0: 53 28 24 3a 3a 73 74 72 29 3b 0a 20 20 20 20 50  S($::str);.    P
14c0: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61  RAGMA incrementa
14d0: 6c 5f 76 61 63 75 75 6d 3b 20 20 20 20 20 20 20  l_vacuum;       
14e0: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 74 68 69            -- thi
14f0: 73 20 69 73 20 61 20 6e 6f 2d 6f 70 2e 0a 20 20  s is a no-op..  
1500: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20    COMMIT;.  }.  
1510: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65  expr {[file size
1520: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34   test.db] / 1024
1530: 7d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20  }.} {4}.do_test 
1540: 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 32 2e 32  incrvacuum-5.2.2
1550: 20 7b 0a 20 20 73 65 74 20 3a 3a 73 74 72 20 5b   {.  set ::str [
1560: 73 74 72 69 6e 67 20 72 65 70 65 61 74 20 61 62  string repeat ab
1570: 63 64 65 66 67 68 69 6a 20 31 31 30 5d 0a 20 20  cdefghij 110].  
1580: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45  execsql {.    BE
1590: 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  GIN;.    INSERT 
15a0: 49 4e 54 4f 20 74 62 6c 31 20 56 41 4c 55 45 53  INTO tbl1 VALUES
15b0: 28 24 3a 3a 73 74 72 29 3b 0a 20 20 20 20 49 4e  ($::str);.    IN
15c0: 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 53  SERT INTO tbl1 S
15d0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 62 6c  ELECT * FROM tbl
15e0: 31 3b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52  1;.    DELETE FR
15f0: 4f 4d 20 74 62 6c 31 20 57 48 45 52 45 20 6f 69  OM tbl1 WHERE oi
1600: 64 25 32 3b 20 20 20 20 20 20 20 20 2d 2d 20 50  d%2;        -- P
1610: 75 74 20 32 20 6f 76 65 72 66 6c 6f 77 20 70 61  ut 2 overflow pa
1620: 67 65 73 20 6f 6e 20 66 72 65 65 2d 6c 69 73 74  ges on free-list
1630: 2e 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20  ..    COMMIT;.  
1640: 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20  }.  expr {[file 
1650: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20  size test.db] / 
1660: 31 30 32 34 7d 0a 7d 20 7b 37 7d 0a 64 6f 5f 74  1024}.} {7}.do_t
1670: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35  est incrvacuum-5
1680: 2e 32 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  .2.3 {.  execsql
1690: 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20   {.    BEGIN;.  
16a0: 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65    PRAGMA increme
16b0: 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 20 20 20 20  ntal_vacuum;    
16c0: 20 20 20 20 20 20 20 2d 2d 20 56 61 63 75 75 6d         -- Vacuum
16d0: 20 75 70 20 74 68 65 20 74 77 6f 20 70 61 67 65   up the two page
16e0: 73 2e 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  s..    CREATE TA
16f0: 42 4c 45 20 74 62 6c 32 28 62 29 3b 20 20 20 20  BLE tbl2(b);    
1700: 20 20 20 20 20 20 20 20 20 20 20 20 2d 2d 20 55              -- U
1710: 73 65 20 6f 6e 65 20 66 72 65 65 20 70 61 67 65  se one free page
1720: 20 61 73 20 61 20 74 61 62 6c 65 20 72 6f 6f 74   as a table root
1730: 2e 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ..    INSERT INT
1740: 4f 20 74 62 6c 32 20 56 41 4c 55 45 53 28 27 61  O tbl2 VALUES('a
1750: 20 6e 69 63 65 20 73 74 72 69 6e 67 27 29 3b 0a   nice string');.
1760: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a      COMMIT;.  }.
1770: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69    expr {[file si
1780: 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30  ze test.db] / 10
1790: 32 34 7d 0a 7d 20 7b 36 7d 0a 64 6f 5f 74 65 73  24}.} {6}.do_tes
17a0: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 32  t incrvacuum-5.2
17b0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
17c0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
17d0: 4f 4d 20 74 62 6c 32 3b 0a 20 20 7d 0a 7d 20 7b  OM tbl2;.  }.} {
17e0: 7b 61 20 6e 69 63 65 20 73 74 72 69 6e 67 7d 7d  {a nice string}}
17f0: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
1800: 75 75 6d 2d 35 2e 32 2e 35 20 7b 0a 20 20 65 78  uum-5.2.5 {.  ex
1810: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50  ecsql {.    DROP
1820: 20 54 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 20   TABLE tbl1;.   
1830: 20 44 52 4f 50 20 54 41 42 4c 45 20 74 62 6c 32   DROP TABLE tbl2
1840: 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63  ;.    PRAGMA inc
1850: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b  remental_vacuum;
1860: 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69  .  }.  expr {[fi
1870: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
1880: 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 31 7d 0a 0a   / 1024}.} {1}..
1890: 0a 23 20 54 65 73 74 20 63 61 73 65 73 20 69 6e  .# Test cases in
18a0: 63 72 76 61 63 75 75 6d 2d 35 2e 33 2e 2a 20 75  crvacuum-5.3.* u
18b0: 73 65 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67  se the following
18c0: 20 6c 69 73 74 20 61 73 20 69 6e 70 75 74 20 64   list as input d
18d0: 61 74 61 2e 0a 23 20 54 77 6f 20 6e 65 77 20 64  ata..# Two new d
18e0: 61 74 61 62 61 73 65 73 20 61 72 65 20 6f 70 65  atabases are ope
18f0: 6e 65 64 2c 20 6f 6e 65 20 77 69 74 68 20 69 6e  ned, one with in
1900: 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d  cremental vacuum
1910: 20 65 6e 61 62 6c 65 64 2c 0a 23 20 74 68 65 20   enabled,.# the 
1920: 6f 74 68 65 72 20 77 69 74 68 20 6e 6f 20 61 75  other with no au
1930: 74 6f 2d 76 61 63 75 75 6d 20 63 6f 6d 70 6c 65  to-vacuum comple
1940: 74 65 6c 79 20 64 69 73 61 62 6c 65 64 2e 20 41  tely disabled. A
1950: 66 74 65 72 20 65 78 65 63 75 74 69 6e 67 0a 23  fter executing.#
1960: 20 65 61 63 68 20 65 6c 65 6d 65 6e 74 20 6f 66   each element of
1970: 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 6c   the following l
1980: 69 73 74 20 6f 6e 20 62 6f 74 68 20 64 61 74 61  ist on both data
1990: 62 61 73 65 73 2c 20 74 65 73 74 20 74 68 61 74  bases, test that
19a0: 0a 23 20 74 68 65 20 69 6e 74 65 67 72 69 74 79  .# the integrity
19b0: 2d 63 68 65 63 6b 20 70 61 73 73 65 73 20 61 6e  -check passes an
19c0: 64 20 74 68 65 20 63 6f 6e 74 65 6e 74 73 20 6f  d the contents o
19d0: 66 20 65 61 63 68 20 61 72 65 20 69 64 65 6e 74  f each are ident
19e0: 69 63 61 6c 2e 0a 23 20 0a 73 65 74 20 54 65 73  ical..# .set Tes
19f0: 74 53 63 72 69 70 74 4c 69 73 74 20 5b 6c 69 73  tScriptList [lis
1a00: 74 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20 43  t {.  BEGIN;.  C
1a10: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
1a20: 2c 20 62 29 3b 0a 20 20 43 52 45 41 54 45 20 54  , b);.  CREATE T
1a30: 41 42 4c 45 20 74 32 28 61 2c 20 62 29 3b 0a 20  ABLE t2(a, b);. 
1a40: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 31   CREATE INDEX t1
1a50: 5f 69 20 4f 4e 20 74 31 28 61 29 3b 0a 20 20 43  _i ON t1(a);.  C
1a60: 52 45 41 54 45 20 49 4e 44 45 58 20 74 32 5f 69  REATE INDEX t2_i
1a70: 20 4f 4e 20 74 32 28 61 29 3b 0a 7d 20 7b 0a 20   ON t2(a);.} {. 
1a80: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
1a90: 56 41 4c 55 45 53 28 24 3a 3a 73 74 72 31 2c 20  VALUES($::str1, 
1aa0: 24 3a 3a 73 74 72 32 29 3b 0a 20 20 49 4e 53 45  $::str2);.  INSE
1ab0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
1ac0: 53 28 24 3a 3a 73 74 72 31 7c 7c 24 3a 3a 73 74  S($::str1||$::st
1ad0: 72 32 2c 20 24 3a 3a 73 74 72 32 7c 7c 24 3a 3a  r2, $::str2||$::
1ae0: 73 74 72 31 29 3b 0a 20 20 49 4e 53 45 52 54 20  str1);.  INSERT 
1af0: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 62  INTO t2 SELECT b
1b00: 2c 20 61 20 46 52 4f 4d 20 74 31 3b 0a 20 20 49  , a FROM t1;.  I
1b10: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
1b20: 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74  LECT a, b FROM t
1b30: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  1;.  INSERT INTO
1b40: 20 74 31 20 53 45 4c 45 43 54 20 62 2c 20 61 20   t1 SELECT b, a 
1b50: 46 52 4f 4d 20 74 32 3b 0a 20 20 55 50 44 41 54  FROM t2;.  UPDAT
1b60: 45 20 74 32 20 53 45 54 20 62 20 3d 20 27 27 3b  E t2 SET b = '';
1b70: 0a 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d  .  PRAGMA increm
1b80: 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20  ental_vacuum;.} 
1b90: 7b 0a 20 20 55 50 44 41 54 45 20 74 32 20 53 45  {.  UPDATE t2 SE
1ba0: 54 20 62 20 3d 20 28 53 45 4c 45 43 54 20 62 20  T b = (SELECT b 
1bb0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 74 31  FROM t1 WHERE t1
1bc0: 2e 6f 69 64 20 3d 20 74 32 2e 6f 69 64 29 3b 0a  .oid = t2.oid);.
1bd0: 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65    PRAGMA increme
1be0: 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20 7b  ntal_vacuum;.} {
1bf0: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
1c00: 74 33 28 61 2c 20 62 29 3b 0a 20 20 49 4e 53 45  t3(a, b);.  INSE
1c10: 52 54 20 49 4e 54 4f 20 74 33 20 53 45 4c 45 43  RT INTO t3 SELEC
1c20: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 44  T * FROM t2;.  D
1c30: 52 4f 50 20 54 41 42 4c 45 20 74 32 3b 0a 20 20  ROP TABLE t2;.  
1c40: 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74  PRAGMA increment
1c50: 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20 7b 0a 20  al_vacuum;.} {. 
1c60: 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74 33   CREATE INDEX t3
1c70: 5f 69 20 4f 4e 20 74 33 28 61 29 3b 0a 20 20 43  _i ON t3(a);.  C
1c80: 4f 4d 4d 49 54 3b 0a 7d 20 7b 0a 20 20 42 45 47  OMMIT;.} {.  BEG
1c90: 49 4e 3b 0a 20 20 44 52 4f 50 20 49 4e 44 45 58  IN;.  DROP INDEX
1ca0: 20 74 33 5f 69 3b 0a 20 20 50 52 41 47 4d 41 20   t3_i;.  PRAGMA 
1cb0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
1cc0: 75 6d 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  um;.  INSERT INT
1cd0: 4f 20 74 33 20 56 41 4c 55 45 53 28 27 68 65 6c  O t3 VALUES('hel
1ce0: 6c 6f 27 2c 20 27 77 6f 72 6c 64 27 29 3b 0a 20  lo', 'world');. 
1cf0: 20 52 4f 4c 4c 42 41 43 4b 3b 0a 7d 20 7b 0a 20   ROLLBACK;.} {. 
1d00: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20   INSERT INTO t3 
1d10: 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20  VALUES('hello', 
1d20: 27 77 6f 72 6c 64 27 29 3b 0a 7d 0a 5d 0a 0a 23  'world');.}.]..#
1d30: 20 49 66 20 74 68 69 73 20 62 75 69 6c 64 20 6f   If this build o
1d40: 6d 69 74 73 20 73 75 62 71 75 65 72 69 65 73 2c  mits subqueries,
1d50: 20 73 74 65 70 20 32 20 69 6e 20 74 68 65 20 61   step 2 in the a
1d60: 62 6f 76 65 20 6c 69 73 74 20 77 69 6c 6c 20 6e  bove list will n
1d70: 6f 74 0a 23 20 77 6f 72 6b 2e 20 52 65 70 6c 61  ot.# work. Repla
1d80: 63 65 20 69 74 20 77 69 74 68 20 22 22 20 69 6e  ce it with "" in
1d90: 20 74 68 69 73 20 63 61 73 65 2e 20 0a 23 0a 69   this case. .#.i
1da0: 66 63 61 70 61 62 6c 65 20 21 73 75 62 71 75 65  fcapable !subque
1db0: 72 79 20 7b 20 6c 73 65 74 20 54 65 73 74 53 63  ry { lset TestSc
1dc0: 72 69 70 74 4c 69 73 74 20 32 20 22 22 20 7d 0a  riptList 2 "" }.
1dd0: 0a 23 20 43 6f 6d 70 61 72 65 20 74 68 65 20 63  .# Compare the c
1de0: 6f 6e 74 65 6e 74 73 20 6f 66 20 64 61 74 61 62  ontents of datab
1df0: 61 73 65 73 20 24 41 20 61 6e 64 20 24 42 2e 0a  ases $A and $B..
1e00: 23 0a 70 72 6f 63 20 63 6f 6d 70 61 72 65 5f 64  #.proc compare_d
1e10: 62 73 20 7b 41 20 42 20 74 6e 61 6d 65 7d 20 7b  bs {A B tname} {
1e20: 0a 20 20 73 65 74 20 74 62 6c 5f 6c 69 73 74 20  .  set tbl_list 
1e30: 5b 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53  [execsql {.    S
1e40: 45 4c 45 43 54 20 74 62 6c 5f 6e 61 6d 65 20 46  ELECT tbl_name F
1e50: 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65  ROM sqlite_maste
1e60: 72 20 57 48 45 52 45 20 74 79 70 65 20 3d 20 27  r WHERE type = '
1e70: 74 61 62 6c 65 27 0a 20 20 7d 20 24 41 5d 0a 0a  table'.  } $A]..
1e80: 20 20 64 6f 5f 74 65 73 74 20 24 7b 74 6e 61 6d    do_test ${tnam
1e90: 65 7d 2e 31 20 5b 73 75 62 73 74 20 7b 0a 20 20  e}.1 [subst {.  
1ea0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1eb0: 20 20 53 45 4c 45 43 54 20 74 62 6c 5f 6e 61 6d    SELECT tbl_nam
1ec0: 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61  e FROM sqlite_ma
1ed0: 73 74 65 72 20 57 48 45 52 45 20 74 79 70 65 20  ster WHERE type 
1ee0: 3d 20 27 74 61 62 6c 65 27 0a 20 20 20 20 7d 20  = 'table'.    } 
1ef0: 24 42 0a 20 20 7d 5d 20 24 74 62 6c 5f 6c 69 73  $B.  }] $tbl_lis
1f00: 74 0a 0a 20 20 73 65 74 20 74 6e 20 31 0a 20 20  t..  set tn 1.  
1f10: 66 6f 72 65 61 63 68 20 74 62 6c 20 24 74 62 6c  foreach tbl $tbl
1f20: 5f 6c 69 73 74 20 7b 0a 20 20 20 20 73 65 74 20  _list {.    set 
1f30: 63 6f 6e 74 72 6f 6c 20 5b 65 78 65 63 73 71 6c  control [execsql
1f40: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   "SELECT * FROM 
1f50: 24 74 62 6c 22 20 24 41 5d 0a 20 20 20 20 64 6f  $tbl" $A].    do
1f60: 5f 74 65 73 74 20 24 7b 74 6e 61 6d 65 7d 2e 5b  _test ${tname}.[
1f70: 69 6e 63 72 20 74 6e 5d 20 5b 73 75 62 73 74 20  incr tn] [subst 
1f80: 7b 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c 20  {.      execsql 
1f90: 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 24  "SELECT * FROM $
1fa0: 74 62 6c 22 20 24 42 0a 20 20 20 20 7d 5d 20 24  tbl" $B.    }] $
1fb0: 63 6f 6e 74 72 6f 6c 0a 20 20 7d 0a 7d 0a 0a 73  control.  }.}..s
1fc0: 65 74 20 3a 3a 73 74 72 31 20 5b 73 74 72 69 6e  et ::str1 [strin
1fd0: 67 20 72 65 70 65 61 74 20 61 62 63 64 65 66 67  g repeat abcdefg
1fe0: 68 69 6a 20 31 33 30 5d 0a 73 65 74 20 3a 3a 73  hij 130].set ::s
1ff0: 74 72 32 20 5b 73 74 72 69 6e 67 20 72 65 70 65  tr2 [string repe
2000: 61 74 20 31 32 33 34 35 36 37 38 39 30 20 31 30  at 1234567890 10
2010: 35 5d 0a 0a 66 6f 72 63 65 64 65 6c 65 74 65 20  5]..forcedelete 
2020: 74 65 73 74 31 2e 64 62 20 74 65 73 74 31 2e 64  test1.db test1.d
2030: 62 2d 6a 6f 75 72 6e 61 6c 20 74 65 73 74 32 2e  b-journal test2.
2040: 64 62 20 74 65 73 74 32 2e 64 62 2d 6a 6f 75 72  db test2.db-jour
2050: 6e 61 6c 0a 73 71 6c 69 74 65 33 20 64 62 31 20  nal.sqlite3 db1 
2060: 74 65 73 74 31 2e 64 62 0a 73 71 6c 69 74 65 33  test1.db.sqlite3
2070: 20 64 62 32 20 74 65 73 74 32 2e 64 62 0a 65 78   db2 test2.db.ex
2080: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61  ecsql { PRAGMA a
2090: 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 27 6e 6f  uto_vacuum = 'no
20a0: 6e 65 27 20 7d 20 64 62 31 0a 65 78 65 63 73 71  ne' } db1.execsq
20b0: 6c 20 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f  l { PRAGMA auto_
20c0: 76 61 63 75 75 6d 20 3d 20 27 69 6e 63 72 65 6d  vacuum = 'increm
20d0: 65 6e 74 61 6c 27 20 7d 20 64 62 32 0a 0a 73 65  ental' } db2..se
20e0: 74 20 74 6e 20 31 0a 66 6f 72 65 61 63 68 20 73  t tn 1.foreach s
20f0: 71 6c 20 24 3a 3a 54 65 73 74 53 63 72 69 70 74  ql $::TestScript
2100: 4c 69 73 74 20 7b 0a 20 20 65 78 65 63 73 71 6c  List {.  execsql
2110: 20 24 73 71 6c 20 64 62 31 0a 20 20 65 78 65 63   $sql db1.  exec
2120: 73 71 6c 20 24 73 71 6c 20 64 62 32 0a 0a 20 20  sql $sql db2..  
2130: 63 6f 6d 70 61 72 65 5f 64 62 73 20 64 62 31 20  compare_dbs db1 
2140: 64 62 32 20 69 6e 63 72 76 61 63 75 75 6d 2d 35  db2 incrvacuum-5
2150: 2e 33 2e 24 7b 74 6e 7d 0a 20 20 64 6f 5f 74 65  .3.${tn}.  do_te
2160: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e  st incrvacuum-5.
2170: 33 2e 24 7b 74 6e 7d 2e 69 6e 74 65 67 72 69 74  3.${tn}.integrit
2180: 79 31 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  y1 {.    execsql
2190: 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65 67 72   { PRAGMA integr
21a0: 69 74 79 5f 63 68 65 63 6b 3b 20 7d 20 64 62 31  ity_check; } db1
21b0: 0a 20 20 7d 20 7b 6f 6b 7d 0a 20 20 64 6f 5f 74  .  } {ok}.  do_t
21c0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35  est incrvacuum-5
21d0: 2e 33 2e 24 7b 74 6e 7d 2e 69 6e 74 65 67 72 69  .3.${tn}.integri
21e0: 74 79 32 20 7b 0a 20 20 20 20 65 78 65 63 73 71  ty2 {.    execsq
21f0: 6c 20 7b 20 50 52 41 47 4d 41 20 69 6e 74 65 67  l { PRAGMA integ
2200: 72 69 74 79 5f 63 68 65 63 6b 3b 20 7d 20 64 62  rity_check; } db
2210: 32 0a 20 20 7d 20 7b 6f 6b 7d 0a 20 20 69 6e 63  2.  } {ok}.  inc
2220: 72 20 74 6e 0a 7d 0a 64 62 31 20 63 6c 6f 73 65  r tn.}.db1 close
2230: 0a 64 62 32 20 63 6c 6f 73 65 0a 23 0a 23 20 45  .db2 close.#.# E
2240: 6e 64 20 6f 66 20 74 65 73 74 20 63 61 73 65 73  nd of test cases
2250: 20 35 2e 33 2e 2a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d   5.3.*..#-------
2260: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2270: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2280: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23  --------------.#
22a0: 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74   The following t
22b0: 65 73 74 73 20 2d 20 69 6e 63 72 76 61 63 75 75  ests - incrvacuu
22c0: 6d 2d 36 2e 2a 20 2d 20 74 65 73 74 20 72 75 6e  m-6.* - test run
22d0: 6e 69 6e 67 20 69 6e 63 72 65 6d 65 6e 74 61 6c  ning incremental
22e0: 20 0a 23 20 76 61 63 75 75 6d 20 77 68 69 6c 65   .# vacuum while
22f0: 20 61 6e 6f 74 68 65 72 20 73 74 61 74 65 6d 65   another stateme
2300: 6e 74 20 28 61 20 72 65 61 64 29 20 69 73 20 62  nt (a read) is b
2310: 65 69 6e 67 20 65 78 65 63 75 74 65 64 2e 0a 23  eing executed..#
2320: 0a 66 6f 72 20 7b 73 65 74 20 6a 6a 20 30 7d 20  .for {set jj 0} 
2330: 7b 24 6a 6a 20 3c 20 31 30 7d 20 7b 69 6e 63 72  {$jj < 10} {incr
2340: 20 6a 6a 7d 20 7b 0a 20 20 23 20 42 75 69 6c 64   jj} {.  # Build
2350: 20 73 6f 6d 65 20 74 65 73 74 20 64 61 74 61 2e   some test data.
2360: 20 54 77 6f 20 74 61 62 6c 65 73 20 61 72 65 20   Two tables are 
2370: 63 72 65 61 74 65 64 20 69 6e 20 61 6e 20 65 6d  created in an em
2380: 70 74 79 0a 20 20 23 20 64 61 74 61 62 61 73 65  pty.  # database
2390: 2e 20 74 62 6c 31 20 64 61 74 61 20 69 73 20 61  . tbl1 data is a
23a0: 20 63 6f 6e 74 69 67 75 6f 75 73 20 62 6c 6f 63   contiguous bloc
23b0: 6b 20 73 74 61 72 74 69 6e 67 20 61 74 20 70 61  k starting at pa
23c0: 67 65 20 35 20 28 70 61 67 65 73 0a 20 20 23 20  ge 5 (pages.  # 
23d0: 33 20 61 6e 64 20 34 20 61 72 65 20 74 68 65 20  3 and 4 are the 
23e0: 74 61 62 6c 65 20 72 6f 6f 74 73 29 2e 20 74 62  table roots). tb
23f0: 6c 32 20 69 73 20 61 20 63 6f 6e 74 69 67 75 6f  l2 is a contiguo
2400: 75 73 20 62 6c 6f 63 6b 20 73 74 61 72 74 69 6e  us block startin
2410: 67 20 0a 20 20 23 20 72 69 67 68 74 20 61 66 74  g .  # right aft
2420: 65 72 20 74 62 6c 31 2e 0a 20 20 23 0a 20 20 23  er tbl1..  #.  #
2430: 20 54 68 65 6e 20 64 72 6f 70 20 74 62 6c 31 20   Then drop tbl1 
2440: 73 6f 20 74 68 61 74 20 77 68 65 6e 20 61 6e 20  so that when an 
2450: 69 6e 63 72 20 76 61 63 75 75 6d 20 69 73 20 72  incr vacuum is r
2460: 75 6e 20 74 68 65 20 70 61 67 65 73 0a 20 20 23  un the pages.  #
2470: 20 6f 66 20 74 62 6c 32 20 68 61 76 65 20 74 6f   of tbl2 have to
2480: 20 62 65 20 6d 6f 76 65 64 20 74 6f 20 66 69 6c   be moved to fil
2490: 6c 20 74 68 65 20 67 61 70 2e 0a 20 20 23 0a 20  l the gap..  #. 
24a0: 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63   do_test incrvac
24b0: 75 75 6d 2d 36 2e 24 7b 6a 6a 7d 2e 31 20 7b 0a  uum-6.${jj}.1 {.
24c0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
24d0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49      DROP TABLE I
24e0: 46 20 45 58 49 53 54 53 20 74 62 6c 31 3b 0a 20  F EXISTS tbl1;. 
24f0: 20 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20       DROP TABLE 
2500: 49 46 20 45 58 49 53 54 53 20 74 62 6c 32 3b 0a  IF EXISTS tbl2;.
2510: 20 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63        PRAGMA inc
2520: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b  remental_vacuum;
2530: 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41  .      CREATE TA
2540: 42 4c 45 20 74 62 6c 31 28 61 2c 20 62 29 3b 0a  BLE tbl1(a, b);.
2550: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
2560: 4c 45 20 74 62 6c 32 28 61 2c 20 62 29 3b 0a 20  LE tbl2(a, b);. 
2570: 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20       BEGIN;.    
2580: 7d 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20 69  }.    for {set i
2590: 69 20 30 7d 20 7b 24 69 69 20 3c 20 31 30 30 30  i 0} {$ii < 1000
25a0: 7d 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a 20 20  } {incr ii} {.  
25b0: 20 20 20 20 64 62 20 65 76 61 6c 20 7b 49 4e 53      db eval {INS
25c0: 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 56 41  ERT INTO tbl1 VA
25d0: 4c 55 45 53 28 24 69 69 2c 20 24 69 69 20 7c 7c  LUES($ii, $ii ||
25e0: 20 24 69 69 29 7d 0a 20 20 20 20 7d 0a 20 20 20   $ii)}.    }.   
25f0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20   execsql {.     
2600: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62 6c   INSERT INTO tbl
2610: 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  2 SELECT * FROM 
2620: 74 62 6c 31 3b 0a 20 20 20 20 20 20 43 4f 4d 4d  tbl1;.      COMM
2630: 49 54 3b 0a 20 20 20 20 20 20 44 52 4f 50 20 54  IT;.      DROP T
2640: 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 20 20 7d  ABLE tbl1;.    }
2650: 0a 20 20 20 20 65 78 70 72 20 7b 5b 66 69 6c 65  .    expr {[file
2660: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f   size test.db] /
2670: 20 31 30 32 34 7d 0a 20 20 7d 20 7b 33 36 7d 0a   1024}.  } {36}.
2680: 0a 20 20 23 20 52 75 6e 20 61 20 6c 69 6e 65 61  .  # Run a linea
2690: 72 20 73 63 61 6e 20 71 75 65 72 79 20 6f 6e 20  r scan query on 
26a0: 74 62 6c 32 2e 20 41 66 74 65 72 20 72 65 61 64  tbl2. After read
26b0: 69 6e 67 20 28 24 6a 6a 2a 31 30 30 29 20 72 6f  ing ($jj*100) ro
26c0: 77 73 2c 20 0a 20 20 23 20 72 75 6e 20 74 68 65  ws, .  # run the
26d0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63   incremental vac
26e0: 75 75 6d 20 74 6f 20 73 68 72 69 6e 6b 20 74 68  uum to shrink th
26f0: 65 20 64 61 74 61 62 61 73 65 2e 0a 20 20 23 0a  e database..  #.
2700: 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61    do_test incrva
2710: 63 75 75 6d 2d 36 2e 24 7b 6a 6a 7d 2e 32 20 7b  cuum-6.${jj}.2 {
2720: 0a 20 20 20 20 73 65 74 20 3a 3a 6e 52 6f 77 20  .    set ::nRow 
2730: 30 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 53  0.    db eval {S
2740: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 62 6c  ELECT a FROM tbl
2750: 32 7d 20 7b 7d 20 7b 0a 20 20 20 20 20 20 69 66  2} {} {.      if
2760: 20 7b 24 61 20 3d 3d 20 5b 65 78 70 72 20 24 6a   {$a == [expr $j
2770: 6a 2a 31 30 30 5d 7d 20 7b 0a 20 20 20 20 20 20  j*100]} {.      
2780: 20 20 64 62 20 65 76 61 6c 20 7b 50 52 41 47 4d    db eval {PRAGM
2790: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  A incremental_va
27a0: 63 75 75 6d 7d 0a 20 20 20 20 20 20 7d 0a 20 20  cuum}.      }.  
27b0: 20 20 20 20 69 6e 63 72 20 3a 3a 6e 52 6f 77 0a      incr ::nRow.
27c0: 20 20 20 20 7d 0a 20 20 20 20 6c 69 73 74 20 5b      }.    list [
27d0: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65  expr {[file size
27e0: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34   test.db] / 1024
27f0: 7d 5d 20 24 6e 52 6f 77 0a 20 20 7d 20 7b 31 39  }] $nRow.  } {19
2800: 20 31 30 30 30 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d   1000}.}..#-----
2810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2840: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2850: 0a 23 20 54 68 69 73 20 74 65 73 74 20 2d 20 69  .# This test - i
2860: 6e 63 72 76 61 63 75 75 6d 2d 37 2e 2a 20 2d 20  ncrvacuum-7.* - 
2870: 69 73 20 74 6f 20 63 68 65 63 6b 20 74 68 61 74  is to check that
2880: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 63 61   the database ca
2890: 6e 20 62 65 0a 23 20 77 72 69 74 74 65 6e 20 69  n be.# written i
28a0: 6e 20 74 68 65 20 6d 69 64 64 6c 65 20 6f 66 20  n the middle of 
28b0: 61 6e 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76  an incremental v
28c0: 61 63 75 75 6d 2e 0a 23 0a 73 65 74 20 3a 3a 69  acuum..#.set ::i
28d0: 57 72 69 74 65 20 31 0a 77 68 69 6c 65 20 31 20  Write 1.while 1 
28e0: 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72  {.  do_test incr
28f0: 76 61 63 75 75 6d 2d 37 2e 24 7b 3a 3a 69 57 72  vacuum-7.${::iWr
2900: 69 74 65 7d 2e 31 20 7b 0a 20 20 20 20 65 78 65  ite}.1 {.    exe
2910: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 44 52 4f  csql {.      DRO
2920: 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54  P TABLE IF EXIST
2930: 53 20 74 62 6c 31 3b 0a 20 20 20 20 20 20 44 52  S tbl1;.      DR
2940: 4f 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53  OP TABLE IF EXIS
2950: 54 53 20 74 62 6c 32 3b 0a 20 20 20 20 20 20 50  TS tbl2;.      P
2960: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61  RAGMA incrementa
2970: 6c 5f 76 61 63 75 75 6d 3b 0a 20 20 20 20 20 20  l_vacuum;.      
2980: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c  CREATE TABLE tbl
2990: 31 28 61 2c 20 62 29 3b 0a 20 20 20 20 20 20 43  1(a, b);.      C
29a0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c 32  REATE TABLE tbl2
29b0: 28 61 2c 20 62 29 3b 0a 20 20 20 20 20 20 42 45  (a, b);.      BE
29c0: 47 49 4e 3b 0a 20 20 20 20 7d 0a 20 20 20 20 66  GIN;.    }.    f
29d0: 6f 72 20 7b 73 65 74 20 69 69 20 30 7d 20 7b 24  or {set ii 0} {$
29e0: 69 69 20 3c 20 31 30 30 30 7d 20 7b 69 6e 63 72  ii < 1000} {incr
29f0: 20 69 69 7d 20 7b 0a 20 20 20 20 20 20 64 62 20   ii} {.      db 
2a00: 65 76 61 6c 20 7b 49 4e 53 45 52 54 20 49 4e 54  eval {INSERT INT
2a10: 4f 20 74 62 6c 31 20 56 41 4c 55 45 53 28 24 69  O tbl1 VALUES($i
2a20: 69 2c 20 24 69 69 20 7c 7c 20 24 69 69 29 7d 0a  i, $ii || $ii)}.
2a30: 20 20 20 20 7d 0a 20 20 20 20 65 78 65 63 73 71      }.    execsq
2a40: 6c 20 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  l {.      INSERT
2a50: 20 49 4e 54 4f 20 74 62 6c 32 20 53 45 4c 45 43   INTO tbl2 SELEC
2a60: 54 20 2a 20 46 52 4f 4d 20 74 62 6c 31 3b 0a 20  T * FROM tbl1;. 
2a70: 20 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20       COMMIT;.   
2a80: 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 62     DROP TABLE tb
2a90: 6c 31 3b 0a 20 20 20 20 7d 0a 20 20 20 20 65 78  l1;.    }.    ex
2aa0: 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74  pr {[file size t
2ab0: 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a  est.db] / 1024}.
2ac0: 20 20 7d 20 7b 33 36 7d 0a 0a 20 20 64 6f 5f 74    } {36}..  do_t
2ad0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 37  est incrvacuum-7
2ae0: 2e 24 7b 3a 3a 69 57 72 69 74 65 7d 2e 32 20 7b  .${::iWrite}.2 {
2af0: 0a 20 20 20 20 73 65 74 20 3a 3a 6e 52 6f 77 20  .    set ::nRow 
2b00: 30 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 50  0.    db eval {P
2b10: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61  RAGMA incrementa
2b20: 6c 5f 76 61 63 75 75 6d 7d 20 7b 0a 20 20 20 20  l_vacuum} {.    
2b30: 20 20 69 6e 63 72 20 3a 3a 6e 52 6f 77 0a 20 20    incr ::nRow.  
2b40: 20 20 20 20 69 66 20 7b 24 3a 3a 6e 52 6f 77 20      if {$::nRow 
2b50: 3d 3d 20 24 3a 3a 69 57 72 69 74 65 7d 20 7b 0a  == $::iWrite} {.
2b60: 20 20 20 20 20 20 20 20 64 62 20 65 76 61 6c 20          db eval 
2b70: 7b 0a 20 20 20 20 20 20 20 20 20 20 43 52 45 41  {.          CREA
2b80: 54 45 20 54 41 42 4c 45 20 74 62 6c 31 28 61 2c  TE TABLE tbl1(a,
2b90: 20 62 29 3b 0a 20 20 20 20 20 20 20 20 20 20 49   b);.          I
2ba0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20  NSERT INTO tbl1 
2bb0: 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20  VALUES('hello', 
2bc0: 27 77 6f 72 6c 64 27 29 3b 0a 20 20 20 20 20 20  'world');.      
2bd0: 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20 20 20 20    }.      }.    
2be0: 7d 0a 20 20 20 20 6c 69 73 74 20 5b 65 78 70 72  }.    list [expr
2bf0: 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73   {[file size tes
2c00: 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 5d 0a 20  t.db] / 1024}]. 
2c10: 20 7d 20 7b 32 30 7d 0a 0a 20 20 64 6f 5f 74 65   } {20}..  do_te
2c20: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 37 2e  st incrvacuum-7.
2c30: 24 7b 3a 3a 69 57 72 69 74 65 7d 2e 33 20 7b 0a  ${::iWrite}.3 {.
2c40: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20      execsql {.  
2c50: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
2c60: 4d 20 74 62 6c 31 3b 0a 20 20 20 20 7d 0a 20 20  M tbl1;.    }.  
2c70: 7d 20 7b 68 65 6c 6c 6f 20 77 6f 72 6c 64 7d 0a  } {hello world}.
2c80: 0a 20 20 69 66 20 7b 24 3a 3a 6e 52 6f 77 20 3d  .  if {$::nRow =
2c90: 3d 20 24 3a 3a 69 57 72 69 74 65 7d 20 62 72 65  = $::iWrite} bre
2ca0: 61 6b 0a 20 20 69 6e 63 72 20 3a 3a 69 57 72 69  ak.  incr ::iWri
2cb0: 74 65 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  te.}..#---------
2cc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2cd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2ce0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2cf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
2d00: 68 69 73 20 74 65 73 74 20 2d 20 69 6e 63 72 76  his test - incrv
2d10: 61 63 75 75 6d 2d 38 2e 2a 20 2d 20 69 73 20 74  acuum-8.* - is t
2d20: 6f 20 63 68 65 63 6b 20 74 68 61 74 20 6e 6f 74  o check that not
2d30: 68 69 6e 67 20 67 6f 65 73 20 77 72 6f 6e 67 0a  hing goes wrong.
2d40: 23 20 77 69 74 68 20 61 6e 20 69 6e 63 72 65 6d  # with an increm
2d50: 65 6e 74 61 6c 2d 76 61 63 75 75 6d 20 69 66 20  ental-vacuum if 
2d60: 69 74 20 69 73 20 74 68 65 20 66 69 72 73 74 20  it is the first 
2d70: 73 74 61 74 65 6d 65 6e 74 20 65 78 65 63 75 74  statement execut
2d80: 65 64 0a 23 20 61 66 74 65 72 20 61 6e 20 65 78  ed.# after an ex
2d90: 69 73 74 69 6e 67 20 64 61 74 61 62 61 73 65 20  isting database 
2da0: 69 73 20 6f 70 65 6e 65 64 2e 0a 23 0a 23 20 41  is opened..#.# A
2db0: 74 20 6f 6e 65 20 70 6f 69 6e 74 2c 20 74 68 69  t one point, thi
2dc0: 73 20 77 6f 75 6c 64 20 61 6c 77 61 79 73 20 72  s would always r
2dd0: 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 53 43 48  eturn SQLITE_SCH
2de0: 45 4d 41 20 28 77 68 69 63 68 20 0a 23 20 63 61  EMA (which .# ca
2df0: 75 73 65 73 20 61 6e 20 69 6e 66 69 6e 69 74 65  uses an infinite
2e00: 20 6c 6f 6f 70 20 69 6e 20 74 63 6c 73 71 6c 69   loop in tclsqli
2e10: 74 65 2e 63 20 69 66 20 75 73 69 6e 67 20 74 68  te.c if using th
2e20: 65 20 54 63 6c 20 69 6e 74 65 72 66 61 63 65 29  e Tcl interface)
2e30: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72  ..#.do_test incr
2e40: 76 61 63 75 75 6d 2d 38 2e 31 20 7b 0a 20 20 64  vacuum-8.1 {.  d
2e50: 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65  b close.  sqlite
2e60: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65  3 db test.db.  e
2e70: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
2e80: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f  GMA incremental_
2e90: 76 61 63 75 75 6d 28 35 30 29 3b 0a 20 20 7d 0a  vacuum(50);.  }.
2ea0: 7d 20 7b 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  } {}..#---------
2eb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2ec0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2ed0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2ee0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 41  ------------.# A
2ef0: 74 20 6f 6e 65 20 70 6f 69 6e 74 20 74 68 69 73  t one point this
2f00: 20 74 65 73 74 20 63 61 73 65 20 77 61 73 20 63   test case was c
2f10: 61 75 73 69 6e 67 20 61 6e 20 61 73 73 65 72 74  ausing an assert
2f20: 28 29 20 74 6f 20 66 61 69 6c 2e 0a 23 0a 64 6f  () to fail..#.do
2f30: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
2f40: 2d 39 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73  -9.1 {.  db clos
2f50: 65 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20  e.  forcedelete 
2f60: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d  test.db test.db-
2f70: 6a 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65  journal.  sqlite
2f80: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 20 20  3 db test.db..  
2f90: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52  execsql {.    PR
2fa0: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
2fb0: 20 3d 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27   = 'incremental'
2fc0: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
2fd0: 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a  LE t1(a, b, c);.
2fe0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
2ff0: 20 74 32 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20   t2(a, b, c);.  
3000: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
3010: 20 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28   VALUES(randstr(
3020: 35 30 30 2c 35 30 30 29 2c 72 61 6e 64 73 74 72  500,500),randstr
3030: 28 35 30 30 2c 35 30 30 29 2c 72 61 6e 64 73 74  (500,500),randst
3040: 72 28 35 30 30 2c 35 30 30 29 29 3b 0a 20 20 20  r(500,500));.   
3050: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3060: 56 41 4c 55 45 53 28 31 2c 20 32 2c 20 33 29 3b  VALUES(1, 2, 3);
3070: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
3080: 20 74 31 20 53 45 4c 45 43 54 20 61 7c 7c 61 2c   t1 SELECT a||a,
3090: 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 46 52 4f 4d   b||b, c||c FROM
30a0: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
30b0: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
30c0: 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c 7c 63 20  ||a, b||b, c||c 
30d0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
30e0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
30f0: 43 54 20 61 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63  CT a||a, b||b, c
3100: 7c 7c 63 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  ||c FROM t1;.   
3110: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
3120: 53 45 4c 45 43 54 20 61 7c 7c 61 2c 20 62 7c 7c  SELECT a||a, b||
3130: 62 2c 20 63 7c 7c 63 20 46 52 4f 4d 20 74 31 3b  b, c||c FROM t1;
3140: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
3150: 20 74 31 20 53 45 4c 45 43 54 20 61 7c 7c 61 2c   t1 SELECT a||a,
3160: 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 46 52 4f 4d   b||b, c||c FROM
3170: 20 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t1;.    INSERT 
3180: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61  INTO t1 SELECT a
3190: 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c 7c 63 20  ||a, b||b, c||c 
31a0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53  FROM t1;.    INS
31b0: 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45  ERT INTO t1 SELE
31c0: 43 54 20 61 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63  CT a||a, b||b, c
31d0: 7c 7c 63 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20  ||c FROM t1;.   
31e0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
31f0: 53 45 4c 45 43 54 20 61 7c 7c 61 2c 20 62 7c 7c  SELECT a||a, b||
3200: 62 2c 20 63 7c 7c 63 20 46 52 4f 4d 20 74 31 3b  b, c||c FROM t1;
3210: 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65  .  }.} {}..do_te
3220: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 39 2e  st incrvacuum-9.
3230: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  2 {.  execsql {.
3240: 20 20 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68      PRAGMA synch
3250: 72 6f 6e 6f 75 73 20 3d 20 27 4f 46 46 27 3b 0a  ronous = 'OFF';.
3260: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55      BEGIN;.    U
3270: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d  PDATE t1 SET a =
3280: 20 61 2c 20 62 20 3d 20 62 2c 20 63 20 3d 20 63   a, b = b, c = c
3290: 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45  ;.    DROP TABLE
32a0: 20 74 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20   t2;.    PRAGMA 
32b0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
32c0: 75 6d 28 31 30 29 3b 0a 20 20 20 20 52 4f 4c 4c  um(10);.    ROLL
32d0: 42 41 43 4b 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a  BACK;.  }.} {}..
32e0: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
32f0: 75 6d 2d 39 2e 33 20 7b 0a 20 20 65 78 65 63 73  um-9.3 {.  execs
3300: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
3310: 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b  cache_size = 10;
3320: 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20  .    BEGIN;.    
3330: 55 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20  UPDATE t1 SET a 
3340: 3d 20 61 2c 20 62 20 3d 20 62 2c 20 63 20 3d 20  = a, b = b, c = 
3350: 63 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c  c;.    DROP TABL
3360: 45 20 74 32 3b 0a 20 20 20 20 50 52 41 47 4d 41  E t2;.    PRAGMA
3370: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63   incremental_vac
3380: 75 75 6d 28 31 30 29 3b 0a 20 20 20 20 52 4f 4c  uum(10);.    ROL
3390: 4c 42 41 43 4b 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a  LBACK;.  }.} {}.
33a0: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
33b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
33c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
33d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
33e0: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74  -------.# Test t
33f0: 68 61 74 20 74 68 65 20 70 61 72 61 6d 65 74 65  hat the paramete
3400: 72 20 74 6f 20 74 68 65 20 69 6e 63 72 65 6d 65  r to the increme
3410: 6e 74 61 6c 5f 76 61 63 75 75 6d 20 70 72 61 67  ntal_vacuum prag
3420: 6d 61 20 77 6f 72 6b 73 2e 20 54 68 61 74 0a 23  ma works. That.#
3430: 20 69 73 2c 20 69 66 20 74 68 65 20 75 73 65 72   is, if the user
3440: 20 65 78 65 63 75 74 65 73 20 22 50 52 41 47 4d   executes "PRAGM
3450: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  A incremental_va
3460: 63 75 75 6d 28 4e 29 22 2c 20 61 74 20 6d 6f 73  cuum(N)", at mos
3470: 74 0a 23 20 4e 20 70 61 67 65 73 20 61 72 65 20  t.# N pages are 
3480: 76 61 63 75 75 6d 65 64 2e 0a 23 0a 64 6f 5f 74  vacuumed..#.do_t
3490: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31  est incrvacuum-1
34a0: 30 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  0.1 {.  execsql 
34b0: 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45  {.    DROP TABLE
34c0: 20 74 31 3b 0a 20 20 20 20 44 52 4f 50 20 54 41   t1;.    DROP TA
34d0: 42 4c 45 20 74 32 3b 0a 20 20 7d 0a 20 20 65 78  BLE t2;.  }.  ex
34e0: 70 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  pr [file size te
34f0: 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 0a 7d 20  st.db] / 1024.} 
3500: 7b 32 39 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e  {29}..do_test in
3510: 63 72 76 61 63 75 75 6d 2d 31 30 2e 32 20 7b 0a  crvacuum-10.2 {.
3520: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
3530: 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74  PRAGMA increment
3540: 61 6c 5f 76 61 63 75 75 6d 28 31 29 3b 0a 20 20  al_vacuum(1);.  
3550: 7d 0a 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73  }.  expr [file s
3560: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31  ize test.db] / 1
3570: 30 32 34 0a 7d 20 7b 32 38 7d 0a 0a 64 6f 5f 74  024.} {28}..do_t
3580: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31  est incrvacuum-1
3590: 30 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  0.3 {.  execsql 
35a0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63  {.    PRAGMA inc
35b0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28  remental_vacuum(
35c0: 35 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 5b  5);.  }.  expr [
35d0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
35e0: 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 32 33 7d  b] / 1024.} {23}
35f0: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  ..do_test incrva
3600: 63 75 75 6d 2d 31 30 2e 34 20 7b 0a 20 20 65 78  cuum-10.4 {.  ex
3610: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
3620: 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76  MA incremental_v
3630: 61 63 75 75 6d 28 27 31 27 29 3b 0a 20 20 7d 0a  acuum('1');.  }.
3640: 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a    expr [file siz
3650: 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32  e test.db] / 102
3660: 34 0a 7d 20 7b 32 32 7d 0a 0a 64 6f 5f 74 65 73  4.} {22}..do_tes
3670: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30 2e  t incrvacuum-10.
3680: 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  5 {.  execsql {.
3690: 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65      PRAGMA incre
36a0: 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 22 2b  mental_vacuum("+
36b0: 33 22 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20  3");.  }.  expr 
36c0: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
36d0: 64 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 31 39  db] / 1024.} {19
36e0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  }..do_test incrv
36f0: 61 63 75 75 6d 2d 31 30 2e 36 20 7b 0a 20 20 65  acuum-10.6 {.  e
3700: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
3710: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f  GMA incremental_
3720: 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 7d 0a  vacuum = 1;.  }.
3730: 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a    expr [file siz
3740: 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32  e test.db] / 102
3750: 34 0a 7d 20 7b 31 38 7d 0a 0a 64 6f 5f 74 65 73  4.} {18}..do_tes
3760: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30 2e  t incrvacuum-10.
3770: 37 20 7b 0a 20 20 23 20 55 73 65 20 61 20 72 65  7 {.  # Use a re
3780: 61 6c 6c 79 20 62 69 67 20 6e 75 6d 62 65 72 20  ally big number 
3790: 61 73 20 61 6e 20 61 72 67 75 6d 65 6e 74 20 74  as an argument t
37a0: 6f 20 69 6e 63 72 65 6d 65 74 61 6c 5f 76 61 63  o incremetal_vac
37b0: 75 75 6d 2e 20 53 68 6f 75 6c 64 0a 20 20 23 20  uum. Should.  # 
37c0: 62 65 20 69 6e 74 65 72 70 72 65 74 65 64 20 61  be interpreted a
37d0: 73 20 22 66 72 65 65 20 61 6c 6c 20 70 6f 73 73  s "free all poss
37e0: 69 62 6c 65 20 73 70 61 63 65 22 2e 0a 20 20 65  ible space"..  e
37f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
3800: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f  GMA incremental_
3810: 76 61 63 75 75 6d 28 32 31 34 37 34 38 33 36 34  vacuum(214748364
3820: 39 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 5b  9);.  }.  expr [
3830: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
3840: 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 31 7d 0a  b] / 1024.} {1}.
3850: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
3860: 75 75 6d 2d 31 30 2e 38 20 7b 0a 20 20 65 78 65  uum-10.8 {.  exe
3870: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
3880: 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20  E TABLE t1(x);. 
3890: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
38a0: 31 20 56 41 4c 55 45 53 28 68 65 78 28 72 61 6e  1 VALUES(hex(ran
38b0: 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 29 29 3b  domblob(1000)));
38c0: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20  .    DROP TABLE 
38d0: 74 31 3b 0a 20 20 7d 0a 20 20 23 20 41 20 6e 65  t1;.  }.  # A ne
38e0: 67 61 74 69 76 65 20 6e 75 6d 62 65 72 20 6d 65  gative number me
38f0: 61 6e 73 20 66 72 65 65 20 61 6c 6c 20 70 6f 73  ans free all pos
3900: 73 69 62 6c 65 20 73 70 61 63 65 2e 0a 20 20 65  sible space..  e
3910: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
3920: 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f  GMA incremental_
3930: 76 61 63 75 75 6d 3d 2d 31 3b 0a 20 20 7d 0a 20  vacuum=-1;.  }. 
3940: 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65   expr [file size
3950: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34   test.db] / 1024
3960: 0a 7d 20 7b 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d  .} {1}..#-------
3970: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3980: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3990: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
39a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74  ---------.# Test
39b0: 20 74 68 61 74 20 69 66 20 77 65 20 73 65 74 20   that if we set 
39c0: 74 68 65 20 61 75 74 6f 5f 76 61 63 75 75 6d 20  the auto_vacuum 
39d0: 6d 6f 64 65 20 74 6f 20 27 69 6e 63 72 65 6d 65  mode to 'increme
39e0: 6e 74 61 6c 27 2c 20 74 68 65 6e 0a 23 20 63 72  ntal', then.# cr
39f0: 65 61 74 65 20 61 20 64 61 74 61 62 61 73 65 2c  eate a database,
3a00: 20 74 68 65 72 65 61 66 74 65 72 20 74 68 61 74   thereafter that
3a10: 20 64 61 74 61 62 61 73 65 20 64 65 66 61 75 6c   database defaul
3a20: 74 73 20 74 6f 20 69 6e 63 72 65 6d 65 6e 74 61  ts to incrementa
3a30: 6c 20 0a 23 20 76 61 63 75 75 6d 20 6d 6f 64 65  l .# vacuum mode
3a40: 2e 0a 23 0a 64 62 20 63 6c 6f 73 65 0a 66 6f 72  ..#.db close.for
3a50: 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62  cedelete test.db
3a60: 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c   test.db-journal
3a70: 0a 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74  .sqlite3 db test
3a80: 2e 64 62 0a 0a 69 66 63 61 70 61 62 6c 65 20 64  .db..ifcapable d
3a90: 65 66 61 75 6c 74 5f 61 75 74 6f 76 61 63 75 75  efault_autovacuu
3aa0: 6d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e  m {.  do_test in
3ab0: 63 72 76 61 63 75 75 6d 2d 31 31 2e 31 2d 61 76  crvacuum-11.1-av
3ac0: 2d 64 66 6c 74 2d 6f 6e 20 7b 0a 20 20 20 20 65  -dflt-on {.    e
3ad0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 50  xecsql {.      P
3ae0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
3af0: 6d 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 24 41 55  m;.    }.  } $AU
3b00: 54 4f 56 41 43 55 55 4d 0a 7d 20 65 6c 73 65 20  TOVACUUM.} else 
3b10: 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72  {.  do_test incr
3b20: 76 61 63 75 75 6d 2d 31 31 2e 31 2d 61 76 2d 64  vacuum-11.1-av-d
3b30: 66 6c 74 2d 6f 66 66 20 7b 0a 20 20 20 20 65 78  flt-off {.    ex
3b40: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 50 52  ecsql {.      PR
3b50: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
3b60: 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 30 7d 0a  ;.    }.  } {0}.
3b70: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  }.do_test incrva
3b80: 63 75 75 6d 2d 31 31 2e 32 20 7b 0a 20 20 65 78  cuum-11.2 {.  ex
3b90: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
3ba0: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  MA auto_vacuum =
3bb0: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20   incremental;.  
3bc0: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69  }.} {}.do_test i
3bd0: 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e 33 20 7b  ncrvacuum-11.3 {
3be0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
3bf0: 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63   PRAGMA auto_vac
3c00: 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 64  uum;.  }.} {2}.d
3c10: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
3c20: 6d 2d 31 31 2e 34 20 7b 0a 20 20 23 20 54 68 65  m-11.4 {.  # The
3c30: 20 64 61 74 61 62 61 73 65 20 68 61 73 20 6e 6f   database has no
3c40: 77 20 62 65 65 6e 20 63 72 65 61 74 65 64 2e 0a  w been created..
3c50: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69    expr {[file si
3c60: 7a 65 20 74 65 73 74 2e 64 62 5d 3e 30 7d 0a 7d  ze test.db]>0}.}
3c70: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63   {1}.do_test inc
3c80: 72 76 61 63 75 75 6d 2d 31 31 2e 35 20 7b 0a 20  rvacuum-11.5 {. 
3c90: 20 23 20 43 6c 6f 73 65 20 61 6e 64 20 72 65 6f   # Close and reo
3ca0: 70 65 6e 20 74 68 65 20 63 6f 6e 6e 65 63 74 69  pen the connecti
3cb0: 6f 6e 2e 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20  on..  db close. 
3cc0: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74   sqlite3 db test
3cd0: 2e 64 62 0a 0a 20 20 23 20 54 65 73 74 20 77 65  .db..  # Test we
3ce0: 20 61 72 65 20 73 74 69 6c 6c 20 69 6e 20 69 6e   are still in in
3cf0: 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d  cremental vacuum
3d00: 20 6d 6f 64 65 2e 0a 20 20 65 78 65 63 73 71 6c   mode..  execsql
3d10: 20 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76   { PRAGMA auto_v
3d20: 61 63 75 75 6d 3b 20 7d 0a 7d 20 7b 32 7d 0a 64  acuum; }.} {2}.d
3d30: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
3d40: 6d 2d 31 31 2e 36 20 7b 0a 20 20 65 78 65 63 73  m-11.6 {.  execs
3d50: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
3d60: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 27 66  auto_vacuum = 'f
3d70: 75 6c 6c 27 3b 0a 20 20 20 20 50 52 41 47 4d 41  ull';.    PRAGMA
3d80: 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20   auto_vacuum;.  
3d90: 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20  }.} {1}.do_test 
3da0: 69 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e 37 20  incrvacuum-11.7 
3db0: 7b 0a 20 20 23 20 43 6c 6f 73 65 20 61 6e 64 20  {.  # Close and 
3dc0: 72 65 6f 70 65 6e 20 74 68 65 20 63 6f 6e 6e 65  reopen the conne
3dd0: 63 74 69 6f 6e 2e 0a 20 20 64 62 20 63 6c 6f 73  ction..  db clos
3de0: 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74  e.  sqlite3 db t
3df0: 65 73 74 2e 64 62 0a 0a 20 20 23 20 54 65 73 74  est.db..  # Test
3e00: 20 77 65 20 61 72 65 20 73 74 69 6c 6c 20 69 6e   we are still in
3e10: 20 22 66 75 6c 6c 22 20 61 75 74 6f 2d 76 61 63   "full" auto-vac
3e20: 75 75 6d 20 6d 6f 64 65 2e 0a 20 20 65 78 65 63  uum mode..  exec
3e30: 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61 75 74  sql { PRAGMA aut
3e40: 6f 5f 76 61 63 75 75 6d 3b 20 7d 0a 7d 20 7b 31  o_vacuum; }.} {1
3e50: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  }..#------------
3e60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3e70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3e80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3e90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 53 70 65  ----------.# Spe
3ea0: 63 69 61 6c 20 63 61 73 65 3a 20 57 68 61 74 20  cial case: What 
3eb0: 68 61 70 70 65 6e 73 20 69 66 20 74 68 65 20 64  happens if the d
3ec0: 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65  atabase is locke
3ed0: 64 20 77 68 65 6e 20 61 20 22 50 52 41 47 4d 41  d when a "PRAGMA
3ee0: 0a 23 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  .# auto_vacuum =
3ef0: 20 58 58 58 22 20 73 74 61 74 65 6d 65 6e 74 20   XXX" statement 
3f00: 69 73 20 65 78 65 63 75 74 65 64 2e 0a 23 0a 64  is executed..#.d
3f10: 62 20 63 6c 6f 73 65 0a 66 6f 72 63 65 64 65 6c  b close.forcedel
3f20: 65 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74  ete test.db test
3f30: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69  .db-journal.sqli
3f40: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a  te3 db test.db..
3f50: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
3f60: 75 6d 2d 31 32 2e 31 20 7b 0a 20 20 65 78 65 63  um-12.1 {.  exec
3f70: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
3f80: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31   auto_vacuum = 1
3f90: 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66  ;.  }.  expr {[f
3fa0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
3fb0: 5d 3e 30 7d 0a 7d 20 7b 31 7d 0a 0a 23 20 54 72  ]>0}.} {1}..# Tr
3fc0: 79 20 74 6f 20 63 68 61 6e 67 65 20 74 68 65 20  y to change the 
3fd0: 61 75 74 6f 2d 76 61 63 75 75 6d 20 66 72 6f 6d  auto-vacuum from
3fe0: 20 22 66 75 6c 6c 22 20 74 6f 20 22 69 6e 63 72   "full" to "incr
3ff0: 65 6d 65 6e 74 61 6c 22 20 77 68 69 6c 65 20 74  emental" while t
4000: 68 65 0a 23 20 64 61 74 61 62 61 73 65 20 69 73  he.# database is
4010: 20 6c 6f 63 6b 65 64 2e 20 4e 6f 74 68 69 6e 67   locked. Nothing
4020: 20 73 68 6f 75 6c 64 20 63 68 61 6e 67 65 2e 0a   should change..
4030: 23 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  #.do_test incrva
4040: 63 75 75 6d 2d 31 32 2e 32 20 7b 0a 20 20 73 71  cuum-12.2 {.  sq
4050: 6c 69 74 65 33 20 64 62 32 20 74 65 73 74 2e 64  lite3 db2 test.d
4060: 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 42 45  b.  execsql { BE
4070: 47 49 4e 20 45 58 43 4c 55 53 49 56 45 3b 20 7d  GIN EXCLUSIVE; }
4080: 20 64 62 32 0a 20 20 63 61 74 63 68 73 71 6c 20   db2.  catchsql 
4090: 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61  { PRAGMA auto_va
40a0: 63 75 75 6d 20 3d 20 32 3b 20 7d 0a 7d 20 7b 31  cuum = 2; }.} {1
40b0: 20 7b 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f   {database is lo
40c0: 63 6b 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20  cked}}..do_test 
40d0: 69 6e 63 72 76 61 63 75 75 6d 2d 31 32 2e 33 20  incrvacuum-12.3 
40e0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 52 4f  {.  execsql { RO
40f0: 4c 4c 42 41 43 4b 3b 20 7d 20 64 62 32 0a 20 20  LLBACK; } db2.  
4100: 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41  execsql { PRAGMA
4110: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 7d 0a 7d   auto_vacuum }.}
4120: 20 7b 32 7d 20 20 20 3b 23 20 53 74 69 6c 6c 20   {2}   ;# Still 
4130: 32 20 62 65 63 61 75 73 65 20 50 52 41 47 4d 41  2 because PRAGMA
4140: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 73 65 74   auto_vacuum set
4150: 74 69 6e 67 20 68 65 6c 64 20 69 6e 20 63 61 73  ting held in cas
4160: 65 20 6f 66 20 76 61 63 75 75 6d 0a 64 6f 5f 74  e of vacuum.do_t
4170: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31  est incrvacuum-1
4180: 32 2e 34 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65  2.4 {.  db close
4190: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
41a0: 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20  st.db.  execsql 
41b0: 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61  { PRAGMA auto_va
41c0: 63 75 75 6d 20 7d 0a 7d 20 7b 31 7d 20 20 20 3b  cuum }.} {1}   ;
41d0: 23 20 52 65 76 65 72 74 20 74 6f 20 31 20 62 65  # Revert to 1 be
41e0: 63 61 75 73 65 20 74 68 65 20 64 61 74 61 62 61  cause the databa
41f0: 73 65 20 66 69 6c 65 20 64 69 64 20 6e 6f 74 20  se file did not 
4200: 63 68 61 6e 67 65 0a 0a 64 6f 5f 74 65 73 74 20  change..do_test 
4210: 69 6e 63 72 76 61 63 75 75 6d 2d 31 32 2e 35 20  incrvacuum-12.5 
4220: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45  {.  execsql { SE
4230: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 73 71 6c 69  LECT * FROM sqli
4240: 74 65 5f 6d 61 73 74 65 72 20 7d 0a 20 20 65 78  te_master }.  ex
4250: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61  ecsql { PRAGMA a
4260: 75 74 6f 5f 76 61 63 75 75 6d 20 7d 0a 7d 20 7b  uto_vacuum }.} {
4270: 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  1}..#-----------
4280: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
42a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
42b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 53 70  -----------.# Sp
42c0: 65 63 69 61 6c 20 63 61 73 65 20 23 32 3a 20 57  ecial case #2: W
42d0: 68 61 74 20 69 66 20 6f 6e 65 20 70 72 6f 63 65  hat if one proce
42e0: 73 73 20 70 72 65 70 61 72 65 73 20 61 20 22 50  ss prepares a "P
42f0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
4300: 6d 20 3d 20 58 58 58 22 0a 23 20 73 74 61 74 65  m = XXX".# state
4310: 6d 65 6e 74 20 77 68 65 6e 20 74 68 65 20 64 61  ment when the da
4320: 74 61 62 61 73 65 20 69 73 20 65 6d 70 74 79 2c  tabase is empty,
4330: 20 62 75 74 20 64 6f 65 73 6e 27 74 20 65 78 65   but doesn't exe
4340: 63 75 74 65 20 69 74 20 75 6e 74 69 6c 0a 23 20  cute it until.# 
4350: 61 66 74 65 72 20 73 6f 6d 65 20 6f 74 68 65 72  after some other
4360: 20 70 72 6f 63 65 73 73 20 68 61 73 20 63 72 65   process has cre
4370: 61 74 65 64 20 74 68 65 20 64 61 74 61 62 61 73  ated the databas
4380: 65 2e 0a 23 0a 64 62 32 20 63 6c 6f 73 65 0a 64  e..#.db2 close.d
4390: 62 20 63 6c 6f 73 65 0a 66 6f 72 63 65 64 65 6c  b close.forcedel
43a0: 65 74 65 20 74 65 73 74 2e 64 62 20 74 65 73 74  ete test.db test
43b0: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69  .db-journal.sqli
43c0: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 20 20  te3 db test.db  
43d0: 3b 20 20 73 65 74 20 3a 3a 44 42 20 5b 73 71 6c  ;  set ::DB [sql
43e0: 69 74 65 33 5f 63 6f 6e 6e 65 63 74 69 6f 6e 5f  ite3_connection_
43f0: 70 6f 69 6e 74 65 72 20 64 62 5d 0a 73 71 6c 69  pointer db].sqli
4400: 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62 0a  te3 db2 test.db.
4410: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
4420: 75 75 6d 2d 31 33 2e 31 20 7b 0a 20 20 23 20 46  uum-13.1 {.  # F
4430: 69 6c 65 20 73 69 7a 65 20 69 73 20 73 6f 6d 65  ile size is some
4440: 74 69 6d 65 73 20 31 20 69 6e 73 74 65 61 64 20  times 1 instead 
4450: 6f 66 20 30 20 64 75 65 20 74 6f 20 74 68 65 20  of 0 due to the 
4460: 68 61 63 6b 20 77 65 20 70 75 74 20 69 6e 0a 20  hack we put in. 
4470: 20 23 20 74 6f 20 77 6f 72 6b 20 61 72 6f 75 6e   # to work aroun
4480: 64 20 74 69 63 6b 65 74 20 23 33 32 36 30 2e 20  d ticket #3260. 
4490: 20 53 65 61 72 63 68 20 66 6f 72 20 63 6f 6d 6d   Search for comm
44a0: 65 6e 74 73 20 6f 6e 20 23 33 32 36 30 20 69 6e  ents on #3260 in
44b0: 0a 20 20 23 20 6f 73 5f 75 6e 69 78 2e 63 2e 0a  .  # os_unix.c..
44c0: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69    expr {[file si
44d0: 7a 65 20 74 65 73 74 2e 64 62 5d 3e 31 7d 0a 7d  ze test.db]>1}.}
44e0: 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63   {0}.do_test inc
44f0: 72 76 61 63 75 75 6d 2d 31 33 2e 32 20 7b 0a 20  rvacuum-13.2 {. 
4500: 20 73 65 74 20 3a 3a 53 54 4d 54 20 5b 73 71 6c   set ::STMT [sql
4510: 69 74 65 33 5f 70 72 65 70 61 72 65 20 24 3a 3a  ite3_prepare $::
4520: 44 42 20 7b 50 52 41 47 4d 41 20 61 75 74 6f 5f  DB {PRAGMA auto_
4530: 76 61 63 75 75 6d 20 3d 20 32 7d 20 2d 31 20 44  vacuum = 2} -1 D
4540: 55 4d 4d 59 5d 0a 20 20 65 78 65 63 73 71 6c 20  UMMY].  execsql 
4550: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74  {.    PRAGMA aut
4560: 6f 5f 76 61 63 75 75 6d 20 3d 20 6e 6f 6e 65 3b  o_vacuum = none;
4570: 0a 20 20 20 20 50 52 41 47 4d 41 20 64 65 66 61  .    PRAGMA defa
4580: 75 6c 74 5f 63 61 63 68 65 5f 73 69 7a 65 20 3d  ult_cache_size =
4590: 20 31 30 32 34 3b 0a 20 20 20 20 50 52 41 47 4d   1024;.    PRAGM
45a0: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20  A auto_vacuum;. 
45b0: 20 7d 20 64 62 32 0a 7d 20 7b 30 7d 0a 64 6f 5f   } db2.} {0}.do_
45c0: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
45d0: 31 33 2e 33 20 7b 0a 20 20 65 78 70 72 20 7b 5b  13.3 {.  expr {[
45e0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
45f0: 62 5d 3e 30 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74  b]>0}.} {1}.do_t
4600: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31  est incrvacuum-1
4610: 33 2e 34 20 7b 0a 20 20 73 65 74 20 72 63 20 5b  3.4 {.  set rc [
4620: 73 71 6c 69 74 65 33 5f 73 74 65 70 20 24 3a 3a  sqlite3_step $::
4630: 53 54 4d 54 5d 0a 20 20 6c 69 73 74 20 24 72 63  STMT].  list $rc
4640: 20 5b 73 71 6c 69 74 65 33 5f 66 69 6e 61 6c 69   [sqlite3_finali
4650: 7a 65 20 24 3a 3a 53 54 4d 54 5d 0a 7d 20 7b 53  ze $::STMT].} {S
4660: 51 4c 49 54 45 5f 44 4f 4e 45 20 53 51 4c 49 54  QLITE_DONE SQLIT
4670: 45 5f 4f 4b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  E_OK}.do_test in
4680: 63 72 76 61 63 75 75 6d 2d 31 33 2e 35 20 7b 0a  crvacuum-13.5 {.
4690: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
46a0: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
46b0: 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 30 7d 0a 0a 0a  um;.  }.} {0}...
46c0: 23 20 56 65 72 69 66 79 20 74 68 61 74 20 74 68  # Verify that th
46d0: 65 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  e incremental_va
46e0: 63 75 75 6d 20 70 72 61 67 6d 61 20 66 61 69 6c  cuum pragma fail
46f0: 73 20 67 72 61 63 65 66 75 6c 6c 79 20 69 66 20  s gracefully if 
4700: 69 74 0a 23 20 69 73 20 75 73 65 64 20 61 67 61  it.# is used aga
4710: 69 6e 73 74 20 61 6e 20 69 6e 76 61 6c 69 64 20  inst an invalid 
4720: 64 61 74 61 62 61 73 65 20 66 69 6c 65 2e 0a 23  database file..#
4730: 0a 69 66 20 7b 5b 70 65 72 6d 75 74 61 74 69 6f  .if {[permutatio
4740: 6e 5d 20 3d 3d 20 22 22 7d 20 7b 0a 20 20 64 6f  n] == ""} {.  do
4750: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
4760: 2d 31 34 2e 31 20 7b 0a 20 20 20 20 73 65 74 20  -14.1 {.    set 
4770: 6f 75 74 20 5b 6f 70 65 6e 20 69 6e 76 61 6c 69  out [open invali
4780: 64 2e 64 62 20 77 5d 0a 20 20 20 20 70 75 74 73  d.db w].    puts
4790: 20 24 6f 75 74 20 22 54 68 69 73 20 69 73 20 6e   $out "This is n
47a0: 6f 74 20 61 6e 20 53 51 4c 69 74 65 20 64 61 74  ot an SQLite dat
47b0: 61 62 61 73 65 20 66 69 6c 65 22 0a 20 20 20 20  abase file".    
47c0: 63 6c 6f 73 65 20 24 6f 75 74 0a 20 20 20 20 73  close $out.    s
47d0: 71 6c 69 74 65 33 20 64 62 33 20 69 6e 76 61 6c  qlite3 db3 inval
47e0: 69 64 2e 64 62 0a 20 20 20 20 63 61 74 63 68 73  id.db.    catchs
47f0: 71 6c 20 7b 0a 20 20 20 20 20 20 50 52 41 47 4d  ql {.      PRAGM
4800: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  A incremental_va
4810: 63 75 75 6d 28 31 30 29 3b 0a 20 20 20 20 7d 20  cuum(10);.    } 
4820: 64 62 33 0a 20 20 7d 20 7b 31 20 7b 66 69 6c 65  db3.  } {1 {file
4830: 20 69 73 20 6e 6f 74 20 61 20 64 61 74 61 62 61   is not a databa
4840: 73 65 7d 7d 0a 20 20 64 62 33 20 63 6c 6f 73 65  se}}.  db3 close
4850: 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72  .}..do_test incr
4860: 76 61 63 75 75 6d 2d 31 35 2e 31 20 7b 0a 20 20  vacuum-15.1 {.  
4870: 64 62 20 63 6c 6f 73 65 0a 20 20 64 62 32 20 63  db close.  db2 c
4880: 6c 6f 73 65 0a 20 20 66 6f 72 63 65 64 65 6c 65  lose.  forcedele
4890: 74 65 20 74 65 73 74 2e 64 62 0a 20 20 73 71 6c  te test.db.  sql
48a0: 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a  ite3 db test.db.
48b0: 0a 20 20 73 65 74 20 73 74 72 20 5b 73 74 72 69  .  set str [stri
48c0: 6e 67 20 72 65 70 65 61 74 20 22 61 62 63 64 65  ng repeat "abcde
48d0: 66 67 68 69 6a 22 20 35 30 30 5d 0a 0a 20 20 65  fghij" 500]..  e
48e0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41  xecsql {.    PRA
48f0: 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 20 3d  GMA cache_size =
4900: 20 31 30 3b 0a 20 20 20 20 50 52 41 47 4d 41 20   10;.    PRAGMA 
4910: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 69 6e  auto_vacuum = in
4920: 63 72 65 6d 65 6e 74 61 6c 3b 0a 20 20 20 20 43  cremental;.    C
4930: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 78  REATE TABLE t1(x
4940: 2c 20 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , y);.    INSERT
4950: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
4960: 27 61 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20  'a', $str);.    
4970: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
4980: 41 4c 55 45 53 28 27 62 27 2c 20 24 73 74 72 29  ALUES('b', $str)
4990: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
49a0: 4f 20 74 31 20 56 41 4c 55 45 53 28 27 63 27 2c  O t1 VALUES('c',
49b0: 20 24 73 74 72 29 3b 0a 20 20 20 20 49 4e 53 45   $str);.    INSE
49c0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
49d0: 53 28 27 64 27 2c 20 24 73 74 72 29 3b 0a 20 20  S('d', $str);.  
49e0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
49f0: 20 56 41 4c 55 45 53 28 27 65 27 2c 20 24 73 74   VALUES('e', $st
4a00: 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  r);.    INSERT I
4a10: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 66  NTO t1 VALUES('f
4a20: 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20 49 4e  ', $str);.    IN
4a30: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
4a40: 55 45 53 28 27 67 27 2c 20 24 73 74 72 29 3b 0a  UES('g', $str);.
4a50: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4a60: 74 31 20 56 41 4c 55 45 53 28 27 68 27 2c 20 24  t1 VALUES('h', $
4a70: 73 74 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  str);.    INSERT
4a80: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
4a90: 27 69 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20  'i', $str);.    
4aa0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
4ab0: 41 4c 55 45 53 28 27 6a 27 2c 20 24 73 74 72 29  ALUES('j', $str)
4ac0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
4ad0: 4f 20 74 31 20 56 41 4c 55 45 53 28 27 6a 27 2c  O t1 VALUES('j',
4ae0: 20 24 73 74 72 29 3b 0a 0a 20 20 20 20 43 52 45   $str);..    CRE
4af0: 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 20 50  ATE TABLE t2(x P
4b00: 52 49 4d 41 52 59 20 4b 45 59 2c 20 79 29 3b 0a  RIMARY KEY, y);.
4b10: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4b20: 74 32 20 56 41 4c 55 45 53 28 27 61 27 2c 20 24  t2 VALUES('a', $
4b30: 73 74 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  str);.    INSERT
4b40: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
4b50: 27 62 27 2c 20 24 73 74 72 29 3b 0a 20 20 20 20  'b', $str);.    
4b60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
4b70: 41 4c 55 45 53 28 27 63 27 2c 20 24 73 74 72 29  ALUES('c', $str)
4b80: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
4b90: 4f 20 74 32 20 56 41 4c 55 45 53 28 27 64 27 2c  O t2 VALUES('d',
4ba0: 20 24 73 74 72 29 3b 0a 0a 20 20 20 20 42 45 47   $str);..    BEG
4bb0: 49 4e 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45  IN;.      DELETE
4bc0: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20   FROM t2;.      
4bd0: 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74  PRAGMA increment
4be0: 61 6c 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 0a  al_vacuum;.  }..
4bf0: 20 20 63 61 74 63 68 73 71 6c 20 7b 49 4e 53 45    catchsql {INSE
4c00: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
4c10: 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 0a 20 20  T * FROM t1}..  
4c20: 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 43  execsql { .    C
4c30: 4f 4d 4d 49 54 3b 0a 20 20 20 20 50 52 41 47 4d  OMMIT;.    PRAGM
4c40: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
4c50: 6b 3b 0a 20 20 7d 0a 7d 20 7b 6f 6b 7d 0a 0a 23  k;.  }.} {ok}..#
4c60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4c70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4c80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4c90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
4ca0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 41 74 20 6f  ---------.# At o
4cb0: 6e 65 20 70 6f 69 6e 74 20 69 74 20 77 61 73 20  ne point it was 
4cc0: 75 6e 73 61 66 65 20 74 6f 20 74 72 75 6e 63 61  unsafe to trunca
4cd0: 74 65 20 61 20 64 62 20 66 69 6c 65 20 6f 6e 20  te a db file on 
4ce0: 77 69 6e 64 6f 77 73 20 77 68 69 6c 65 20 74 68  windows while th
4cf0: 65 72 65 0a 23 20 77 65 72 65 20 6f 75 74 73 74  ere.# were outst
4d00: 61 6e 64 69 6e 67 20 78 46 65 74 63 68 28 29 20  anding xFetch() 
4d10: 72 65 66 65 72 65 6e 63 65 73 2e 20 54 68 69 73  references. This
4d20: 20 74 65 73 74 20 63 61 73 65 20 61 74 74 65 6d   test case attem
4d30: 70 74 73 20 74 6f 20 68 69 74 0a 23 20 74 68 61  pts to hit.# tha
4d40: 74 20 63 61 73 65 2e 0a 23 0a 69 66 63 61 70 61  t case..#.ifcapa
4d50: 62 6c 65 20 6d 6d 61 70 20 7b 0a 20 20 72 65 73  ble mmap {.  res
4d60: 65 74 5f 64 62 0a 20 20 64 6f 5f 65 78 65 63 73  et_db.  do_execs
4d70: 71 6c 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  ql_test incrvacu
4d80: 75 6d 2d 31 36 2e 30 20 7b 0a 20 20 20 20 50 52  um-16.0 {.    PR
4d90: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
4da0: 20 3d 20 32 3b 0a 20 20 20 20 43 52 45 41 54 45   = 2;.    CREATE
4db0: 20 54 41 42 4c 45 20 74 33 28 61 29 3b 0a 20 20   TABLE t3(a);.  
4dc0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33    INSERT INTO t3
4dd0: 20 56 41 4c 55 45 53 28 31 29 2c 20 28 32 29 2c   VALUES(1), (2),
4de0: 20 28 33 29 2c 20 28 34 29 3b 0a 20 20 0a 20 20   (3), (4);.  .  
4df0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
4e00: 32 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  2(x);.    INSERT
4e10: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
4e20: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30   randomblob(1000
4e30: 29 20 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  ) );.    INSERT 
4e40: 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 20  INTO t2 VALUES( 
4e50: 72 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29  randomblob(1000)
4e60: 20 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49   );.    INSERT I
4e70: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 20 72  NTO t2 VALUES( r
4e80: 61 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20  andomblob(1000) 
4e90: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
4ea0: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 20 72 61  TO t2 VALUES( ra
4eb0: 6e 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 29  ndomblob(1000) )
4ec0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
4ed0: 4f 20 74 32 20 56 41 4c 55 45 53 28 20 72 61 6e  O t2 VALUES( ran
4ee0: 64 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 29 3b  domblob(1000) );
4ef0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
4f00: 20 74 32 20 56 41 4c 55 45 53 28 20 72 61 6e 64   t2 VALUES( rand
4f10: 6f 6d 62 6c 6f 62 28 31 30 30 30 29 20 29 3b 0a  omblob(1000) );.
4f20: 20 20 7d 20 7b 7d 0a 20 20 0a 20 20 23 20 52 65    } {}.  .  # Re
4f30: 6f 70 65 6e 20 64 62 20 74 6f 20 65 6e 73 75 72  open db to ensur
4f40: 65 20 74 68 65 20 70 61 67 65 2d 63 61 63 68 65  e the page-cache
4f50: 20 69 73 20 65 6d 70 74 79 2e 0a 20 20 23 0a 20   is empty..  #. 
4f60: 20 64 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69   db close.  sqli
4f70: 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20  te3 db test.db. 
4f80: 20 0a 20 20 23 20 4f 70 65 6e 20 64 62 20 69 6e   .  # Open db in
4f90: 20 6d 6d 61 70 2d 6d 6f 64 65 2e 20 4f 70 65 6e   mmap-mode. Open
4fa0: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20   a transaction, 
4fb0: 64 65 6c 65 74 65 20 73 6f 6d 65 20 64 61 74 61  delete some data
4fc0: 2c 20 74 68 65 6e 20 72 75 6e 0a 20 20 23 20 69  , then run.  # i
4fd0: 6e 63 72 65 6d 65 6e 74 61 6c 2d 76 61 63 75 75  ncremental-vacuu
4fe0: 6d 2e 20 44 6f 20 6e 6f 74 20 63 6f 6d 6d 69 74  m. Do not commit
4ff0: 20 74 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e   the transaction
5000: 2e 20 0a 20 20 23 0a 20 20 64 6f 5f 65 78 65 63  . .  #.  do_exec
5010: 73 71 6c 5f 74 65 73 74 20 69 6e 63 72 76 61 63  sql_test incrvac
5020: 75 75 6d 2d 31 36 2e 31 20 7b 0a 20 20 20 20 50  uum-16.1 {.    P
5030: 52 41 47 4d 41 20 6d 6d 61 70 5f 73 69 7a 65 20  RAGMA mmap_size 
5040: 3d 20 31 30 30 30 30 30 30 3b 0a 20 20 20 20 42  = 1000000;.    B
5050: 45 47 49 4e 3b 0a 20 20 20 20 44 45 4c 45 54 45  EGIN;.    DELETE
5060: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 50 52   FROM t2;.    PR
5070: 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c  AGMA incremental
5080: 5f 76 61 63 75 75 6d 20 3d 20 31 30 30 30 3b 0a  _vacuum = 1000;.
5090: 20 20 7d 20 7b 31 30 30 30 30 30 30 7d 0a 0a 20    } {1000000}.. 
50a0: 20 23 20 53 63 61 6e 20 74 68 72 6f 75 67 68 20   # Scan through 
50b0: 74 61 62 6c 65 20 74 33 20 28 77 68 69 63 68 20  table t3 (which 
50c0: 69 73 20 61 6c 6c 20 63 6c 65 61 6e 20 70 61 67  is all clean pag
50d0: 65 73 20 2d 20 73 6f 20 6d 6d 61 70 20 69 73 20  es - so mmap is 
50e0: 75 73 65 64 29 2e 20 54 68 65 6e 2c 0a 20 20 23  used). Then,.  #
50f0: 20 6d 69 64 77 61 79 20 74 68 72 6f 75 67 68 2c   midway through,
5100: 20 63 6f 6d 6d 69 74 20 74 68 65 20 74 72 61 6e   commit the tran
5110: 73 61 63 74 69 6f 6e 2e 20 54 68 69 73 20 63 61  saction. This ca
5120: 75 73 65 73 20 74 68 65 20 64 62 20 74 6f 20 62  uses the db to b
5130: 65 20 74 72 75 6e 63 61 74 65 64 0a 20 20 23 20  e truncated.  # 
5140: 77 68 69 6c 65 20 74 68 65 72 65 20 61 72 65 20  while there are 
5150: 6f 75 74 73 74 61 6e 64 69 6e 67 20 78 46 65 74  outstanding xFet
5160: 63 68 20 70 61 67 65 73 2e 0a 20 20 23 0a 20 20  ch pages..  #.  
5170: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
5180: 75 6d 2d 31 36 2e 32 20 7b 0a 20 20 20 20 73 65  um-16.2 {.    se
5190: 74 20 72 65 73 20 5b 6c 69 73 74 5d 0a 20 20 20  t res [list].   
51a0: 20 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43   db eval { SELEC
51b0: 54 20 61 20 46 52 4f 4d 20 74 33 20 7d 20 7b 0a  T a FROM t3 } {.
51c0: 20 20 20 20 20 20 69 66 20 7b 24 61 3d 3d 33 7d        if {$a==3}
51d0: 20 7b 20 64 62 20 65 76 61 6c 20 43 4f 4d 4d 49   { db eval COMMI
51e0: 54 20 7d 0a 20 20 20 20 20 20 6c 61 70 70 65 6e  T }.      lappen
51f0: 64 20 72 65 73 20 24 61 0a 20 20 20 20 7d 0a 20  d res $a.    }. 
5200: 20 20 20 73 65 74 20 72 65 73 0a 20 20 7d 20 7b     set res.  } {
5210: 31 20 32 20 33 20 34 7d 0a 7d 0a 20 20 0a 66 69  1 2 3 4}.}.  .fi
5220: 6e 69 73 68 5f 74 65 73 74 0a                    nish_test.