/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 985bc94a7ff544db09aec3a0c93c779280da9415:


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 31 34 20 32 30 30  .test,v 1.14 200
0270: 37 2f 30 39 2f 30 31 20 31 30 3a 30 31 3a 31 33  7/09/01 10:01:13
0280: 20 64 61 6e 69 65 6c 6b 31 39 37 37 20 45 78 70   danielk1977 Exp
0290: 20 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20   $..set testdir 
02a0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
02b0: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
02c0: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
02d0: 0a 0a 23 20 49 66 20 74 68 69 73 20 62 75 69 6c  ..# If this buil
02e0: 64 20 6f 66 20 74 68 65 20 6c 69 62 72 61 72 79  d of the library
02f0: 20 64 6f 65 73 20 6e 6f 74 20 73 75 70 70 6f 72   does not suppor
0300: 74 20 61 75 74 6f 2d 76 61 63 75 75 6d 2c 20 6f  t auto-vacuum, o
0310: 6d 69 74 20 74 68 69 73 0a 23 20 77 68 6f 6c 65  mit this.# whole
0320: 20 66 69 6c 65 2e 0a 69 66 63 61 70 61 62 6c 65   file..ifcapable
0330: 20 7b 21 61 75 74 6f 76 61 63 75 75 6d 20 7c 7c   {!autovacuum ||
0340: 20 21 70 72 61 67 6d 61 7d 20 7b 0a 20 20 66 69   !pragma} {.  fi
0350: 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75  nish_test.  retu
0360: 72 6e 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d  rn.}..#---------
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 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
03b0: 65 73 74 20 74 68 65 20 70 72 61 67 6d 61 20 6f  est the pragma o
03c0: 6e 20 61 6e 20 65 6d 70 74 79 20 64 61 74 61 62  n an empty datab
03d0: 61 73 65 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69  ase..#.do_test i
03e0: 6e 63 72 76 61 63 75 75 6d 2d 31 2e 31 20 7b 0a  ncrvacuum-1.1 {.
03f0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0400: 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75  pragma auto_vacu
0410: 75 6d 3b 0a 20 20 7d 0a 7d 20 24 73 71 6c 69 74  um;.  }.} $sqlit
0420: 65 5f 6f 70 74 69 6f 6e 73 28 64 65 66 61 75 6c  e_options(defaul
0430: 74 5f 61 75 74 6f 76 61 63 75 75 6d 29 0a 64 6f  t_autovacuum).do
0440: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
0450: 2d 31 2e 32 2e 30 20 7b 0a 20 20 65 78 70 72 20  -1.2.0 {.  expr 
0460: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
0470: 2e 64 62 5d 20 3e 20 30 7d 0a 7d 20 7b 30 7d 0a  .db] > 0}.} {0}.
0480: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
0490: 75 6d 2d 31 2e 32 20 7b 0a 20 20 23 20 54 68 69  um-1.2 {.  # Thi
04a0: 73 20 63 6f 6d 6d 61 6e 64 20 77 69 6c 6c 20 63  s command will c
04b0: 72 65 61 74 65 20 74 68 65 20 64 61 74 61 62 61  reate the databa
04c0: 73 65 2e 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  se..  execsql {.
04d0: 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f      pragma auto_
04e0: 76 61 63 75 75 6d 20 3d 20 27 66 75 6c 6c 27 3b  vacuum = 'full';
04f0: 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f  .    pragma auto
0500: 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b  _vacuum;.  }.} {
0510: 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  1}.do_test incrv
0520: 61 63 75 75 6d 2d 31 2e 32 2e 31 20 7b 0a 20 20  acuum-1.2.1 {.  
0530: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65  expr {[file size
0540: 20 74 65 73 74 2e 64 62 5d 20 3e 20 30 7d 0a 7d   test.db] > 0}.}
0550: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63   {1}.do_test inc
0560: 72 76 61 63 75 75 6d 2d 31 2e 33 20 7b 0a 20 20  rvacuum-1.3 {.  
0570: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72  execsql {.    pr
0580: 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d  agma auto_vacuum
0590: 20 3d 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27   = 'incremental'
05a0: 3b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74  ;.    pragma aut
05b0: 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20  o_vacuum;.  }.} 
05c0: 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72  {2}.do_test incr
05d0: 76 61 63 75 75 6d 2d 31 2e 34 20 7b 0a 20 20 23  vacuum-1.4 {.  #
05e0: 20 49 6e 20 74 68 69 73 20 63 61 73 65 20 74 68   In this case th
05f0: 65 20 69 6e 76 61 6c 69 64 20 76 61 6c 75 65 20  e invalid value 
0600: 69 73 20 69 67 6e 6f 72 65 64 20 61 6e 64 20 74  is ignored and t
0610: 68 65 20 61 75 74 6f 5f 76 61 63 75 75 6d 0a 20  he auto_vacuum. 
0620: 20 23 20 73 65 74 74 69 6e 67 20 72 65 6d 61 69   # setting remai
0630: 6e 73 20 75 6e 63 68 61 6e 67 65 64 2e 0a 20 20  ns unchanged..  
0640: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72  execsql {.    pr
0650: 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d  agma auto_vacuum
0660: 20 3d 20 27 69 6e 76 61 6c 69 64 27 3b 0a 20 20   = 'invalid';.  
0670: 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61    pragma auto_va
0680: 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d 0a  cuum;.  }.} {2}.
0690: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
06a0: 75 6d 2d 31 2e 35 20 7b 0a 20 20 65 78 65 63 73  um-1.5 {.  execs
06b0: 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20  ql {.    pragma 
06c0: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b  auto_vacuum = 1;
06d0: 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f  .    pragma auto
06e0: 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b  _vacuum;.  }.} {
06f0: 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  1}.do_test incrv
0700: 61 63 75 75 6d 2d 31 2e 36 20 7b 0a 20 20 65 78  acuum-1.6 {.  ex
0710: 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67  ecsql {.    prag
0720: 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  ma auto_vacuum =
0730: 20 27 32 27 3b 0a 20 20 20 20 70 72 61 67 6d 61   '2';.    pragma
0740: 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20   auto_vacuum;.  
0750: 7d 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20  }.} {2}.do_test 
0760: 69 6e 63 72 76 61 63 75 75 6d 2d 31 2e 37 20 7b  incrvacuum-1.7 {
0770: 0a 20 20 23 20 49 6e 76 61 6c 69 64 20 76 61 6c  .  # Invalid val
0780: 75 65 2e 20 61 75 74 6f 5f 76 61 63 75 75 6d 20  ue. auto_vacuum 
0790: 73 65 74 74 69 6e 67 20 72 65 6d 61 69 6e 73 20  setting remains 
07a0: 75 6e 63 68 61 6e 67 65 64 2e 0a 20 20 65 78 65  unchanged..  exe
07b0: 63 73 71 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d  csql {.    pragm
07c0: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  a auto_vacuum = 
07d0: 35 3b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75  5;.    pragma au
07e0: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d  to_vacuum;.  }.}
07f0: 20 7b 32 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d   {2}..#---------
0800: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0810: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0820: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0830: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
0840: 65 73 74 20 74 68 65 20 70 72 61 67 6d 61 20 6f  est the pragma o
0850: 6e 20 61 20 6e 6f 6e 2d 65 6d 70 74 79 20 64 61  n a non-empty da
0860: 74 61 62 61 73 65 2e 20 49 74 20 69 73 20 70 6f  tabase. It is po
0870: 73 73 69 62 6c 65 20 74 6f 20 74 6f 67 67 6c 65  ssible to toggle
0880: 0a 23 20 74 68 65 20 63 6f 6e 6e 65 63 74 69 6f  .# the connectio
0890: 6e 20 62 65 74 77 65 65 6e 20 22 66 75 6c 6c 22  n between "full"
08a0: 20 61 6e 64 20 22 69 6e 63 72 65 6d 65 6e 74 61   and "incrementa
08b0: 6c 22 20 6d 6f 64 65 2c 20 62 75 74 20 6e 6f 74  l" mode, but not
08c0: 20 74 6f 0a 23 20 63 68 61 6e 67 65 20 66 72 6f   to.# change fro
08d0: 6d 20 65 69 74 68 65 72 20 6f 66 20 74 68 65 73  m either of thes
08e0: 65 20 74 6f 20 22 6e 6f 6e 65 22 2c 20 6f 72 20  e to "none", or 
08f0: 66 72 6f 6d 20 22 6e 6f 6e 65 22 20 74 6f 20 22  from "none" to "
0900: 66 75 6c 6c 22 20 6f 72 0a 23 20 22 69 6e 63 72  full" or.# "incr
0910: 65 6d 65 6e 74 61 6c 22 2e 0a 23 0a 64 6f 5f 74  emental"..#.do_t
0920: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 32  est incrvacuum-2
0930: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
0940: 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f  .    pragma auto
0950: 5f 76 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 20  _vacuum = 1;.   
0960: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 61 62   CREATE TABLE ab
0970: 63 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 7d 0a  c(a, b, c);.  }.
0980: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63  } {}.do_test inc
0990: 72 76 61 63 75 75 6d 2d 32 2e 32 20 7b 0a 20 20  rvacuum-2.2 {.  
09a0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72  execsql {.    pr
09b0: 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d  agma auto_vacuum
09c0: 20 3d 20 27 6e 6f 6e 65 27 3b 0a 20 20 20 20 70   = 'none';.    p
09d0: 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75  ragma auto_vacuu
09e0: 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f  m;.  }.} {1}.do_
09f0: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
0a00: 32 2e 32 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f  2.2.1 {.  db clo
0a10: 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  se.  sqlite3 db 
0a20: 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71  test.db.  execsq
0a30: 6c 20 7b 0a 20 20 20 20 70 72 61 67 6d 61 20 61  l {.    pragma a
0a40: 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a  uto_vacuum;.  }.
0a50: 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  } {1}.do_test in
0a60: 63 72 76 61 63 75 75 6d 2d 32 2e 33 20 7b 0a 20  crvacuum-2.3 {. 
0a70: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 70   execsql {.    p
0a80: 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75  ragma auto_vacuu
0a90: 6d 20 3d 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c  m = 'incremental
0aa0: 27 3b 0a 20 20 20 20 70 72 61 67 6d 61 20 61 75  ';.    pragma au
0ab0: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d  to_vacuum;.  }.}
0ac0: 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63   {2}.do_test inc
0ad0: 72 76 61 63 75 75 6d 2d 32 2e 34 20 7b 0a 20 20  rvacuum-2.4 {.  
0ae0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 70 72  execsql {.    pr
0af0: 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d  agma auto_vacuum
0b00: 20 3d 20 27 66 75 6c 6c 27 3b 0a 20 20 20 20 70   = 'full';.    p
0b10: 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75  ragma auto_vacuu
0b20: 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 0a 23 2d  m;.  }.} {1}..#-
0b30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0b70: 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68 61 74  ----.# Test that
0b80: 20 77 68 65 6e 20 74 68 65 20 61 75 74 6f 5f 76   when the auto_v
0b90: 61 63 75 75 6d 20 6d 6f 64 65 20 69 73 20 22 69  acuum mode is "i
0ba0: 6e 63 72 65 6d 65 6e 74 61 6c 22 2c 20 74 68 65  ncremental", the
0bb0: 20 64 61 74 61 62 61 73 65 0a 23 20 64 6f 65 73   database.# does
0bc0: 20 6e 6f 74 20 73 68 72 69 6e 6b 20 77 68 65 6e   not shrink when
0bd0: 20 70 61 67 65 73 20 61 72 65 20 72 65 6d 6f 76   pages are remov
0be0: 65 64 20 66 72 6f 6d 20 69 74 2e 20 42 75 74 20  ed from it. But 
0bf0: 69 74 20 64 6f 65 73 20 69 66 0a 23 20 74 68 65  it does if.# the
0c00: 20 6d 6f 64 65 20 69 73 20 73 65 74 20 74 6f 20   mode is set to 
0c10: 22 66 75 6c 6c 22 2e 0a 23 0a 64 6f 5f 74 65 73  "full"..#.do_tes
0c20: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 33 2e 31  t incrvacuum-3.1
0c30: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
0c40: 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76     pragma auto_v
0c50: 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d  acuum;.  }.} {1}
0c60: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
0c70: 75 75 6d 2d 33 2e 32 20 7b 0a 20 20 73 65 74 20  uum-3.2 {.  set 
0c80: 3a 3a 73 74 72 20 5b 73 74 72 69 6e 67 20 72 65  ::str [string re
0c90: 70 65 61 74 20 31 32 33 34 35 36 37 38 39 30 20  peat 1234567890 
0ca0: 31 31 30 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b  110].  execsql {
0cb0: 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f  .    PRAGMA auto
0cc0: 5f 76 61 63 75 75 6d 20 3d 20 32 3b 0a 20 20 20  _vacuum = 2;.   
0cd0: 20 42 45 47 49 4e 3b 0a 20 20 20 20 43 52 45 41   BEGIN;.    CREA
0ce0: 54 45 20 54 41 42 4c 45 20 74 62 6c 32 28 73 74  TE TABLE tbl2(st
0cf0: 72 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  r);.    INSERT I
0d00: 4e 54 4f 20 74 62 6c 32 20 56 41 4c 55 45 53 28  NTO tbl2 VALUES(
0d10: 24 3a 3a 73 74 72 29 3b 0a 20 20 20 20 43 4f 4d  $::str);.    COM
0d20: 4d 49 54 3b 0a 20 20 7d 0a 20 20 23 20 35 20 70  MIT;.  }.  # 5 p
0d30: 61 67 65 73 3a 0a 20 20 23 0a 20 20 23 20 20 20  ages:.  #.  #   
0d40: 31 20 2d 3e 20 64 61 74 61 62 61 73 65 20 68 65  1 -> database he
0d50: 61 64 65 72 0a 20 20 23 20 20 20 32 20 2d 3e 20  ader.  #   2 -> 
0d60: 66 69 72 73 74 20 62 61 63 6b 2d 70 6f 69 6e 74  first back-point
0d70: 65 72 20 70 61 67 65 0a 20 20 23 20 20 20 33 20  er page.  #   3 
0d80: 2d 3e 20 74 61 62 6c 65 20 61 62 63 0a 20 20 23  -> table abc.  #
0d90: 20 20 20 34 20 2d 3e 20 74 61 62 6c 65 20 74 62     4 -> table tb
0da0: 6c 32 0a 20 20 23 20 20 20 35 20 2d 3e 20 74 61  l2.  #   5 -> ta
0db0: 62 6c 65 20 74 62 6c 32 20 6f 76 65 72 66 6c 6f  ble tbl2 overflo
0dc0: 77 20 70 61 67 65 2e 0a 20 20 23 0a 20 20 65 78  w page..  #.  ex
0dd0: 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74  pr {[file size t
0de0: 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a  est.db] / 1024}.
0df0: 7d 20 7b 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  } {5}.do_test in
0e00: 63 72 76 61 63 75 75 6d 2d 33 2e 33 20 7b 0a 20  crvacuum-3.3 {. 
0e10: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
0e20: 52 4f 50 20 54 41 42 4c 45 20 61 62 63 3b 0a 20  ROP TABLE abc;. 
0e30: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
0e40: 62 6c 32 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20  bl2;.  }.  expr 
0e50: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
0e60: 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b  .db] / 1024}.} {
0e70: 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  5}.do_test incrv
0e80: 61 63 75 75 6d 2d 33 2e 34 20 7b 0a 20 20 65 78  acuum-3.4 {.  ex
0e90: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
0ea0: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  MA auto_vacuum =
0eb0: 20 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49   1;.    INSERT I
0ec0: 4e 54 4f 20 74 62 6c 32 20 56 41 4c 55 45 53 28  NTO tbl2 VALUES(
0ed0: 27 68 65 6c 6c 6f 20 77 6f 72 6c 64 27 29 3b 0a  'hello world');.
0ee0: 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c    }.  expr {[fil
0ef0: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20  e size test.db] 
0f00: 2f 20 31 30 32 34 7d 0a 7d 20 7b 33 7d 0a 0a 23  / 1024}.} {3}..#
0f10: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0f50: 2d 2d 2d 2d 2d 0a 23 20 54 72 79 20 74 6f 20 72  -----.# Try to r
0f60: 75 6e 20 61 20 76 65 72 79 20 73 69 6d 70 6c 65  un a very simple
0f70: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63   incremental vac
0f80: 75 75 6d 2e 20 41 6c 73 6f 20 76 65 72 69 66 79  uum. Also verify
0f90: 20 74 68 61 74 20 0a 23 20 50 52 41 47 4d 41 20   that .# PRAGMA 
0fa0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
0fb0: 75 6d 20 69 73 20 61 20 68 61 72 6d 6c 65 73 73  um is a harmless
0fc0: 20 6e 6f 2d 6f 70 20 61 67 61 69 6e 73 74 20 61   no-op against a
0fd0: 20 64 61 74 61 62 61 73 65 20 74 68 61 74 0a 23   database that.#
0fe0: 20 64 6f 65 73 20 6e 6f 74 20 73 75 70 70 6f 72   does not suppor
0ff0: 74 20 61 75 74 6f 2d 76 61 63 75 75 6d 2e 0a 23  t auto-vacuum..#
1000: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
1010: 75 75 6d 2d 34 2e 31 20 7b 0a 20 20 73 65 74 20  uum-4.1 {.  set 
1020: 3a 3a 73 74 72 20 5b 73 74 72 69 6e 67 20 72 65  ::str [string re
1030: 70 65 61 74 20 31 32 33 34 35 36 37 38 39 30 20  peat 1234567890 
1040: 31 31 30 5d 0a 20 20 65 78 65 63 73 71 6c 20 7b  110].  execsql {
1050: 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f  .    PRAGMA auto
1060: 5f 76 61 63 75 75 6d 20 3d 20 32 3b 0a 20 20 20  _vacuum = 2;.   
1070: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62 6c   INSERT INTO tbl
1080: 32 20 56 41 4c 55 45 53 28 24 3a 3a 73 74 72 29  2 VALUES($::str)
1090: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
10a0: 4c 45 20 74 62 6c 31 28 61 2c 20 62 2c 20 63 29  LE tbl1(a, b, c)
10b0: 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66  ;.  }.  expr {[f
10c0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
10d0: 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 35 7d 0a  ] / 1024}.} {5}.
10e0: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
10f0: 75 6d 2d 34 2e 32 20 7b 0a 20 20 65 78 65 63 73  um-4.2 {.  execs
1100: 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20  ql {.    DELETE 
1110: 46 52 4f 4d 20 74 62 6c 32 3b 0a 20 20 20 20 44  FROM tbl2;.    D
1120: 52 4f 50 20 54 41 42 4c 45 20 74 62 6c 31 3b 0a  ROP TABLE tbl1;.
1130: 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c    }.  expr {[fil
1140: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20  e size test.db] 
1150: 2f 20 31 30 32 34 7d 0a 7d 20 7b 35 7d 0a 64 6f  / 1024}.} {5}.do
1160: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
1170: 2d 34 2e 33 20 7b 0a 20 20 73 65 74 20 3a 3a 6e  -4.3 {.  set ::n
1180: 53 74 65 70 20 30 0a 20 20 64 62 20 65 76 61 6c  Step 0.  db eval
1190: 20 7b 70 72 61 67 6d 61 20 69 6e 63 72 65 6d 65   {pragma increme
11a0: 6e 74 61 6c 5f 76 61 63 75 75 6d 28 31 30 29 7d  ntal_vacuum(10)}
11b0: 20 7b 0a 20 20 20 20 69 6e 63 72 20 3a 3a 6e 53   {.    incr ::nS
11c0: 74 65 70 0a 20 20 7d 0a 20 20 6c 69 73 74 20 5b  tep.  }.  list [
11d0: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65  expr {[file size
11e0: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34   test.db] / 1024
11f0: 7d 5d 20 24 3a 3a 6e 53 74 65 70 0a 7d 20 7b 33  }] $::nStep.} {3
1200: 20 32 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d   2}..#----------
1210: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1220: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68  -----------.# Th
1250: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74  e following test
1260: 73 20 2d 20 69 6e 63 72 76 61 63 75 75 6d 2d 35  s - incrvacuum-5
1270: 2e 2a 20 2d 20 74 65 73 74 20 69 6e 63 72 65 6d  .* - test increm
1280: 65 6e 74 61 6c 20 76 61 63 75 75 6d 0a 23 20 66  ental vacuum.# f
1290: 72 6f 6d 20 77 69 74 68 69 6e 20 61 20 74 72 61  rom within a tra
12a0: 6e 73 61 63 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74  nsaction..#.do_t
12b0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35  est incrvacuum-5
12c0: 2e 31 2e 31 20 7b 0a 20 20 65 78 70 72 20 7b 5b  .1.1 {.  expr {[
12d0: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
12e0: 62 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 33 7d  b] / 1024}.} {3}
12f0: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
1300: 75 75 6d 2d 35 2e 31 2e 32 20 7b 0a 20 20 65 78  uum-5.1.2 {.  ex
1310: 65 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49  ecsql {.    BEGI
1320: 4e 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c  N;.    DROP TABL
1330: 45 20 74 62 6c 32 3b 0a 20 20 20 20 50 52 41 47  E tbl2;.    PRAG
1340: 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76  MA incremental_v
1350: 61 63 75 75 6d 3b 0a 20 20 20 20 43 4f 4d 4d 49  acuum;.    COMMI
1360: 54 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b  T;.  }.  expr {[
1370: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
1380: 62 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 31 7d  b] / 1024}.} {1}
1390: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61  ..do_test incrva
13a0: 63 75 75 6d 2d 35 2e 32 2e 31 20 7b 0a 20 20 73  cuum-5.2.1 {.  s
13b0: 65 74 20 3a 3a 73 74 72 20 5b 73 74 72 69 6e 67  et ::str [string
13c0: 20 72 65 70 65 61 74 20 61 62 63 64 65 66 67 68   repeat abcdefgh
13d0: 69 6a 20 31 31 30 5d 0a 20 20 65 78 65 63 73 71  ij 110].  execsq
13e0: 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20  l {.    BEGIN;. 
13f0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
1400: 74 62 6c 31 28 61 29 3b 0a 20 20 20 20 49 4e 53  tbl1(a);.    INS
1410: 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 56 41  ERT INTO tbl1 VA
1420: 4c 55 45 53 28 24 3a 3a 73 74 72 29 3b 0a 20 20  LUES($::str);.  
1430: 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d 65    PRAGMA increme
1440: 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 20 20 20 20  ntal_vacuum;    
1450: 20 20 20 20 20 20 20 20 20 20 20 20 20 2d 2d 20               -- 
1460: 74 68 69 73 20 69 73 20 61 20 6e 6f 2d 6f 70 2e  this is a no-op.
1470: 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d  .    COMMIT;.  }
1480: 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73  .  expr {[file s
1490: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31  ize test.db] / 1
14a0: 30 32 34 7d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65  024}.} {4}.do_te
14b0: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e  st incrvacuum-5.
14c0: 32 2e 32 20 7b 0a 20 20 73 65 74 20 3a 3a 73 74  2.2 {.  set ::st
14d0: 72 20 5b 73 74 72 69 6e 67 20 72 65 70 65 61 74  r [string repeat
14e0: 20 61 62 63 64 65 66 67 68 69 6a 20 31 31 30 5d   abcdefghij 110]
14f0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
1500: 20 42 45 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45   BEGIN;.    INSE
1510: 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 56 41 4c  RT INTO tbl1 VAL
1520: 55 45 53 28 24 3a 3a 73 74 72 29 3b 0a 20 20 20  UES($::str);.   
1530: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62 6c   INSERT INTO tbl
1540: 31 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  1 SELECT * FROM 
1550: 74 62 6c 31 3b 0a 20 20 20 20 44 45 4c 45 54 45  tbl1;.    DELETE
1560: 20 46 52 4f 4d 20 74 62 6c 31 20 57 48 45 52 45   FROM tbl1 WHERE
1570: 20 6f 69 64 25 32 3b 20 20 20 20 20 20 20 20 2d   oid%2;        -
1580: 2d 20 50 75 74 20 32 20 6f 76 65 72 66 6c 6f 77  - Put 2 overflow
1590: 20 70 61 67 65 73 20 6f 6e 20 66 72 65 65 2d 6c   pages on free-l
15a0: 69 73 74 2e 0a 20 20 20 20 43 4f 4d 4d 49 54 3b  ist..    COMMIT;
15b0: 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69  .  }.  expr {[fi
15c0: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d  le size test.db]
15d0: 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 37 7d 0a 64   / 1024}.} {7}.d
15e0: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
15f0: 6d 2d 35 2e 32 2e 33 20 7b 0a 20 20 65 78 65 63  m-5.2.3 {.  exec
1600: 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b  sql {.    BEGIN;
1610: 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72  .    PRAGMA incr
1620: 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 20  emental_vacuum; 
1630: 20 20 20 20 20 20 20 20 20 20 2d 2d 20 56 61 63            -- Vac
1640: 75 75 6d 20 75 70 20 74 68 65 20 74 77 6f 20 70  uum up the two p
1650: 61 67 65 73 2e 0a 20 20 20 20 43 52 45 41 54 45  ages..    CREATE
1660: 20 54 41 42 4c 45 20 74 62 6c 32 28 62 29 3b 20   TABLE tbl2(b); 
1670: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 2d                 -
1680: 2d 20 55 73 65 20 6f 6e 65 20 66 72 65 65 20 70  - Use one free p
1690: 61 67 65 20 61 73 20 61 20 74 61 62 6c 65 20 72  age as a table r
16a0: 6f 6f 74 2e 0a 20 20 20 20 49 4e 53 45 52 54 20  oot..    INSERT 
16b0: 49 4e 54 4f 20 74 62 6c 32 20 56 41 4c 55 45 53  INTO tbl2 VALUES
16c0: 28 27 61 20 6e 69 63 65 20 73 74 72 69 6e 67 27  ('a nice string'
16d0: 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20  );.    COMMIT;. 
16e0: 20 7d 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65   }.  expr {[file
16f0: 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f   size test.db] /
1700: 20 31 30 32 34 7d 0a 7d 20 7b 36 7d 0a 64 6f 5f   1024}.} {6}.do_
1710: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
1720: 35 2e 32 2e 34 20 7b 0a 20 20 65 78 65 63 73 71  5.2.4 {.  execsq
1730: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  l {.    SELECT *
1740: 20 46 52 4f 4d 20 74 62 6c 32 3b 0a 20 20 7d 0a   FROM tbl2;.  }.
1750: 7d 20 7b 7b 61 20 6e 69 63 65 20 73 74 72 69 6e  } {{a nice strin
1760: 67 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72  g}}.do_test incr
1770: 76 61 63 75 75 6d 2d 35 2e 32 2e 35 20 7b 0a 20  vacuum-5.2.5 {. 
1780: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
1790: 52 4f 50 20 54 41 42 4c 45 20 74 62 6c 31 3b 0a  ROP TABLE tbl1;.
17a0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
17b0: 62 6c 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20  bl2;.    PRAGMA 
17c0: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
17d0: 75 6d 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b  um;.  }.  expr {
17e0: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
17f0: 64 62 5d 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 31  db] / 1024}.} {1
1800: 7d 0a 0a 0a 23 20 54 65 73 74 20 63 61 73 65 73  }...# Test cases
1810: 20 69 6e 63 72 76 61 63 75 75 6d 2d 35 2e 33 2e   incrvacuum-5.3.
1820: 2a 20 75 73 65 20 74 68 65 20 66 6f 6c 6c 6f 77  * use the follow
1830: 69 6e 67 20 6c 69 73 74 20 61 73 20 69 6e 70 75  ing list as inpu
1840: 74 20 64 61 74 61 2e 0a 23 20 54 77 6f 20 6e 65  t data..# Two ne
1850: 77 20 64 61 74 61 62 61 73 65 73 20 61 72 65 20  w databases are 
1860: 6f 70 65 6e 65 64 2c 20 6f 6e 65 20 77 69 74 68  opened, one with
1870: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63   incremental vac
1880: 75 75 6d 20 65 6e 61 62 6c 65 64 2c 0a 23 20 74  uum enabled,.# t
1890: 68 65 20 6f 74 68 65 72 20 77 69 74 68 20 6e 6f  he other with no
18a0: 20 61 75 74 6f 2d 76 61 63 75 75 6d 20 63 6f 6d   auto-vacuum com
18b0: 70 6c 65 74 65 6c 79 20 64 69 73 61 62 6c 65 64  pletely disabled
18c0: 2e 20 41 66 74 65 72 20 65 78 65 63 75 74 69 6e  . After executin
18d0: 67 0a 23 20 65 61 63 68 20 65 6c 65 6d 65 6e 74  g.# each element
18e0: 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e   of the followin
18f0: 67 20 6c 69 73 74 20 6f 6e 20 62 6f 74 68 20 64  g list on both d
1900: 61 74 61 62 61 73 65 73 2c 20 74 65 73 74 20 74  atabases, test t
1910: 68 61 74 0a 23 20 74 68 65 20 69 6e 74 65 67 72  hat.# the integr
1920: 69 74 79 2d 63 68 65 63 6b 20 70 61 73 73 65 73  ity-check passes
1930: 20 61 6e 64 20 74 68 65 20 63 6f 6e 74 65 6e 74   and the content
1940: 73 20 6f 66 20 65 61 63 68 20 61 72 65 20 69 64  s of each are id
1950: 65 6e 74 69 63 61 6c 2e 0a 23 20 0a 73 65 74 20  entical..# .set 
1960: 54 65 73 74 53 63 72 69 70 74 4c 69 73 74 20 5b  TestScriptList [
1970: 6c 69 73 74 20 7b 0a 20 20 42 45 47 49 4e 3b 0a  list {.  BEGIN;.
1980: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
1990: 31 28 61 2c 20 62 29 3b 0a 20 20 43 52 45 41 54  1(a, b);.  CREAT
19a0: 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20 62 29  E TABLE t2(a, b)
19b0: 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  ;.  CREATE INDEX
19c0: 20 74 31 5f 69 20 4f 4e 20 74 31 28 61 29 3b 0a   t1_i ON t1(a);.
19d0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
19e0: 32 5f 69 20 4f 4e 20 74 32 28 61 29 3b 0a 7d 20  2_i ON t2(a);.} 
19f0: 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  {.  INSERT INTO 
1a00: 74 31 20 56 41 4c 55 45 53 28 24 3a 3a 73 74 72  t1 VALUES($::str
1a10: 31 2c 20 24 3a 3a 73 74 72 32 29 3b 0a 20 20 49  1, $::str2);.  I
1a20: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
1a30: 4c 55 45 53 28 24 3a 3a 73 74 72 31 7c 7c 24 3a  LUES($::str1||$:
1a40: 3a 73 74 72 32 2c 20 24 3a 3a 73 74 72 32 7c 7c  :str2, $::str2||
1a50: 24 3a 3a 73 74 72 31 29 3b 0a 20 20 49 4e 53 45  $::str1);.  INSE
1a60: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
1a70: 54 20 62 2c 20 61 20 46 52 4f 4d 20 74 31 3b 0a  T b, a FROM t1;.
1a80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
1a90: 20 53 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f   SELECT a, b FRO
1aa0: 4d 20 74 31 3b 0a 20 20 49 4e 53 45 52 54 20 49  M t1;.  INSERT I
1ab0: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 62 2c  NTO t1 SELECT b,
1ac0: 20 61 20 46 52 4f 4d 20 74 32 3b 0a 20 20 55 50   a FROM t2;.  UP
1ad0: 44 41 54 45 20 74 32 20 53 45 54 20 62 20 3d 20  DATE t2 SET b = 
1ae0: 27 27 3b 0a 20 20 50 52 41 47 4d 41 20 69 6e 63  '';.  PRAGMA inc
1af0: 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b  remental_vacuum;
1b00: 0a 7d 20 7b 0a 20 20 55 50 44 41 54 45 20 74 32  .} {.  UPDATE t2
1b10: 20 53 45 54 20 62 20 3d 20 28 53 45 4c 45 43 54   SET b = (SELECT
1b20: 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   b FROM t1 WHERE
1b30: 20 74 31 2e 6f 69 64 20 3d 20 74 32 2e 6f 69 64   t1.oid = t2.oid
1b40: 29 3b 0a 20 20 50 52 41 47 4d 41 20 69 6e 63 72  );.  PRAGMA incr
1b50: 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a  emental_vacuum;.
1b60: 7d 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42  } {.  CREATE TAB
1b70: 4c 45 20 74 33 28 61 2c 20 62 29 3b 0a 20 20 49  LE t3(a, b);.  I
1b80: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 53 45  NSERT INTO t3 SE
1b90: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a  LECT * FROM t2;.
1ba0: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 32 3b    DROP TABLE t2;
1bb0: 0a 20 20 50 52 41 47 4d 41 20 69 6e 63 72 65 6d  .  PRAGMA increm
1bc0: 65 6e 74 61 6c 5f 76 61 63 75 75 6d 3b 0a 7d 20  ental_vacuum;.} 
1bd0: 7b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58  {.  CREATE INDEX
1be0: 20 74 33 5f 69 20 4f 4e 20 74 33 28 61 29 3b 0a   t3_i ON t3(a);.
1bf0: 20 20 43 4f 4d 4d 49 54 3b 0a 7d 20 7b 0a 20 20    COMMIT;.} {.  
1c00: 42 45 47 49 4e 3b 0a 20 20 44 52 4f 50 20 49 4e  BEGIN;.  DROP IN
1c10: 44 45 58 20 74 33 5f 69 3b 0a 20 20 50 52 41 47  DEX t3_i;.  PRAG
1c20: 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76  MA incremental_v
1c30: 61 63 75 75 6d 3b 0a 20 20 49 4e 53 45 52 54 20  acuum;.  INSERT 
1c40: 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28 27  INTO t3 VALUES('
1c50: 68 65 6c 6c 6f 27 2c 20 27 77 6f 72 6c 64 27 29  hello', 'world')
1c60: 3b 0a 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a 7d 20  ;.  ROLLBACK;.} 
1c70: 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  {.  INSERT INTO 
1c80: 74 33 20 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f  t3 VALUES('hello
1c90: 27 2c 20 27 77 6f 72 6c 64 27 29 3b 0a 7d 0a 5d  ', 'world');.}.]
1ca0: 0a 0a 23 20 43 6f 6d 70 61 72 65 20 74 68 65 20  ..# Compare the 
1cb0: 63 6f 6e 74 65 6e 74 73 20 6f 66 20 64 61 74 61  contents of data
1cc0: 62 61 73 65 73 20 24 41 20 61 6e 64 20 24 42 2e  bases $A and $B.
1cd0: 0a 23 0a 70 72 6f 63 20 63 6f 6d 70 61 72 65 5f  .#.proc compare_
1ce0: 64 62 73 20 7b 41 20 42 20 74 6e 61 6d 65 7d 20  dbs {A B tname} 
1cf0: 7b 0a 20 20 73 65 74 20 74 62 6c 5f 6c 69 73 74  {.  set tbl_list
1d00: 20 5b 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20   [execsql {.    
1d10: 53 45 4c 45 43 54 20 74 62 6c 5f 6e 61 6d 65 20  SELECT tbl_name 
1d20: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74  FROM sqlite_mast
1d30: 65 72 20 57 48 45 52 45 20 74 79 70 65 20 3d 20  er WHERE type = 
1d40: 27 74 61 62 6c 65 27 0a 20 20 7d 20 24 41 5d 0a  'table'.  } $A].
1d50: 0a 20 20 64 6f 5f 74 65 73 74 20 24 7b 74 6e 61  .  do_test ${tna
1d60: 6d 65 7d 2e 31 20 5b 73 75 62 73 74 20 7b 0a 20  me}.1 [subst {. 
1d70: 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20     execsql {.   
1d80: 20 20 20 53 45 4c 45 43 54 20 74 62 6c 5f 6e 61     SELECT tbl_na
1d90: 6d 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d  me FROM sqlite_m
1da0: 61 73 74 65 72 20 57 48 45 52 45 20 74 79 70 65  aster WHERE type
1db0: 20 3d 20 27 74 61 62 6c 65 27 0a 20 20 20 20 7d   = 'table'.    }
1dc0: 20 24 42 0a 20 20 7d 5d 20 24 74 62 6c 5f 6c 69   $B.  }] $tbl_li
1dd0: 73 74 0a 0a 20 20 73 65 74 20 74 6e 20 31 0a 20  st..  set tn 1. 
1de0: 20 66 6f 72 65 61 63 68 20 74 62 6c 20 24 74 62   foreach tbl $tb
1df0: 6c 5f 6c 69 73 74 20 7b 0a 20 20 20 20 73 65 74  l_list {.    set
1e00: 20 63 6f 6e 74 72 6f 6c 20 5b 65 78 65 63 73 71   control [execsq
1e10: 6c 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l "SELECT * FROM
1e20: 20 24 74 62 6c 22 20 24 41 5d 0a 20 20 20 20 64   $tbl" $A].    d
1e30: 6f 5f 74 65 73 74 20 24 7b 74 6e 61 6d 65 7d 2e  o_test ${tname}.
1e40: 5b 69 6e 63 72 20 74 6e 5d 20 5b 73 75 62 73 74  [incr tn] [subst
1e50: 20 7b 0a 20 20 20 20 20 20 65 78 65 63 73 71 6c   {.      execsql
1e60: 20 22 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20   "SELECT * FROM 
1e70: 24 74 62 6c 22 20 24 42 0a 20 20 20 20 7d 5d 20  $tbl" $B.    }] 
1e80: 24 63 6f 6e 74 72 6f 6c 0a 20 20 7d 0a 7d 0a 0a  $control.  }.}..
1e90: 73 65 74 20 3a 3a 73 74 72 31 20 5b 73 74 72 69  set ::str1 [stri
1ea0: 6e 67 20 72 65 70 65 61 74 20 61 62 63 64 65 66  ng repeat abcdef
1eb0: 67 68 69 6a 20 31 33 30 5d 0a 73 65 74 20 3a 3a  ghij 130].set ::
1ec0: 73 74 72 32 20 5b 73 74 72 69 6e 67 20 72 65 70  str2 [string rep
1ed0: 65 61 74 20 31 32 33 34 35 36 37 38 39 30 20 31  eat 1234567890 1
1ee0: 30 35 5d 0a 0a 66 69 6c 65 20 64 65 6c 65 74 65  05]..file delete
1ef0: 20 2d 66 6f 72 63 65 20 74 65 73 74 31 2e 64 62   -force test1.db
1f00: 20 74 65 73 74 31 2e 64 62 2d 6a 6f 75 72 6e 61   test1.db-journa
1f10: 6c 20 74 65 73 74 32 2e 64 62 20 74 65 73 74 32  l test2.db test2
1f20: 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69  .db-journal.sqli
1f30: 74 65 33 20 64 62 31 20 74 65 73 74 31 2e 64 62  te3 db1 test1.db
1f40: 0a 73 71 6c 69 74 65 33 20 64 62 32 20 74 65 73  .sqlite3 db2 tes
1f50: 74 32 2e 64 62 0a 65 78 65 63 73 71 6c 20 7b 20  t2.db.execsql { 
1f60: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
1f70: 75 6d 20 3d 20 27 6e 6f 6e 65 27 20 7d 20 64 62  um = 'none' } db
1f80: 31 0a 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47  1.execsql { PRAG
1f90: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d  MA auto_vacuum =
1fa0: 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 20 7d   'incremental' }
1fb0: 20 64 62 32 0a 0a 73 65 74 20 74 6e 20 31 0a 66   db2..set tn 1.f
1fc0: 6f 72 65 61 63 68 20 73 71 6c 20 24 3a 3a 54 65  oreach sql $::Te
1fd0: 73 74 53 63 72 69 70 74 4c 69 73 74 20 7b 0a 20  stScriptList {. 
1fe0: 20 65 78 65 63 73 71 6c 20 24 73 71 6c 20 64 62   execsql $sql db
1ff0: 31 0a 20 20 65 78 65 63 73 71 6c 20 24 73 71 6c  1.  execsql $sql
2000: 20 64 62 32 0a 0a 20 20 63 6f 6d 70 61 72 65 5f   db2..  compare_
2010: 64 62 73 20 64 62 31 20 64 62 32 20 69 6e 63 72  dbs db1 db2 incr
2020: 76 61 63 75 75 6d 2d 35 2e 33 2e 24 7b 74 6e 7d  vacuum-5.3.${tn}
2030: 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  .  do_test incrv
2040: 61 63 75 75 6d 2d 35 2e 33 2e 24 7b 74 6e 7d 2e  acuum-5.3.${tn}.
2050: 69 6e 74 65 67 72 69 74 79 31 20 7b 0a 20 20 20  integrity1 {.   
2060: 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47 4d   execsql { PRAGM
2070: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
2080: 6b 3b 20 7d 20 64 62 31 0a 20 20 7d 20 7b 6f 6b  k; } db1.  } {ok
2090: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72  }.  do_test incr
20a0: 76 61 63 75 75 6d 2d 35 2e 33 2e 24 7b 74 6e 7d  vacuum-5.3.${tn}
20b0: 2e 69 6e 74 65 67 72 69 74 79 32 20 7b 0a 20 20  .integrity2 {.  
20c0: 20 20 65 78 65 63 73 71 6c 20 7b 20 50 52 41 47    execsql { PRAG
20d0: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
20e0: 63 6b 3b 20 7d 20 64 62 32 0a 20 20 7d 20 7b 6f  ck; } db2.  } {o
20f0: 6b 7d 0a 20 20 69 6e 63 72 20 74 6e 0a 7d 0a 64  k}.  incr tn.}.d
2100: 62 31 20 63 6c 6f 73 65 0a 64 62 32 20 63 6c 6f  b1 close.db2 clo
2110: 73 65 0a 23 0a 23 20 45 6e 64 20 6f 66 20 74 65  se.#.# End of te
2120: 73 74 20 63 61 73 65 73 20 35 2e 33 2e 2a 0a 0a  st cases 5.3.*..
2130: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
2140: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2150: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2160: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2170: 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 66 6f 6c  ------.# The fol
2180: 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 2d 20 69  lowing tests - i
2190: 6e 63 72 76 61 63 75 75 6d 2d 36 2e 2a 20 2d 20  ncrvacuum-6.* - 
21a0: 74 65 73 74 20 72 75 6e 6e 69 6e 67 20 69 6e 63  test running inc
21b0: 72 65 6d 65 6e 74 61 6c 20 0a 23 20 76 61 63 75  remental .# vacu
21c0: 75 6d 20 77 68 69 6c 65 20 61 6e 6f 74 68 65 72  um while another
21d0: 20 73 74 61 74 65 6d 65 6e 74 20 28 61 20 72 65   statement (a re
21e0: 61 64 29 20 69 73 20 62 65 69 6e 67 20 65 78 65  ad) is being exe
21f0: 63 75 74 65 64 2e 0a 23 0a 66 6f 72 20 7b 73 65  cuted..#.for {se
2200: 74 20 6a 6a 20 30 7d 20 7b 24 6a 6a 20 3c 20 31  t jj 0} {$jj < 1
2210: 30 7d 20 7b 69 6e 63 72 20 6a 6a 7d 20 7b 0a 20  0} {incr jj} {. 
2220: 20 23 20 42 75 69 6c 64 20 73 6f 6d 65 20 74 65   # Build some te
2230: 73 74 20 64 61 74 61 2e 20 54 77 6f 20 74 61 62  st data. Two tab
2240: 6c 65 73 20 61 72 65 20 63 72 65 61 74 65 64 20  les are created 
2250: 69 6e 20 61 6e 20 65 6d 70 74 79 0a 20 20 23 20  in an empty.  # 
2260: 64 61 74 61 62 61 73 65 2e 20 74 62 6c 31 20 64  database. tbl1 d
2270: 61 74 61 20 69 73 20 61 20 63 6f 6e 74 69 67 75  ata is a contigu
2280: 6f 75 73 20 62 6c 6f 63 6b 20 73 74 61 72 74 69  ous block starti
2290: 6e 67 20 61 74 20 70 61 67 65 20 35 20 28 70 61  ng at page 5 (pa
22a0: 67 65 73 0a 20 20 23 20 33 20 61 6e 64 20 34 20  ges.  # 3 and 4 
22b0: 61 72 65 20 74 68 65 20 74 61 62 6c 65 20 72 6f  are the table ro
22c0: 6f 74 73 29 2e 20 74 62 6c 32 20 69 73 20 61 20  ots). tbl2 is a 
22d0: 63 6f 6e 74 69 67 75 6f 75 73 20 62 6c 6f 63 6b  contiguous block
22e0: 20 73 74 61 72 74 69 6e 67 20 0a 20 20 23 20 72   starting .  # r
22f0: 69 67 68 74 20 61 66 74 65 72 20 74 62 6c 31 2e  ight after tbl1.
2300: 0a 20 20 23 0a 20 20 23 20 54 68 65 6e 20 64 72  .  #.  # Then dr
2310: 6f 70 20 74 62 6c 31 20 73 6f 20 74 68 61 74 20  op tbl1 so that 
2320: 77 68 65 6e 20 61 6e 20 69 6e 63 72 20 76 61 63  when an incr vac
2330: 75 75 6d 20 69 73 20 72 75 6e 20 74 68 65 20 70  uum is run the p
2340: 61 67 65 73 0a 20 20 23 20 6f 66 20 74 62 6c 32  ages.  # of tbl2
2350: 20 68 61 76 65 20 74 6f 20 62 65 20 6d 6f 76 65   have to be move
2360: 64 20 74 6f 20 66 69 6c 6c 20 74 68 65 20 67 61  d to fill the ga
2370: 70 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73 74  p..  #.  do_test
2380: 20 69 6e 63 72 76 61 63 75 75 6d 2d 36 2e 24 7b   incrvacuum-6.${
2390: 6a 6a 7d 2e 31 20 7b 0a 20 20 20 20 65 78 65 63  jj}.1 {.    exec
23a0: 73 71 6c 20 7b 0a 20 20 20 20 20 20 44 52 4f 50  sql {.      DROP
23b0: 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54 53   TABLE IF EXISTS
23c0: 20 74 62 6c 31 3b 0a 20 20 20 20 20 20 44 52 4f   tbl1;.      DRO
23d0: 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54  P TABLE IF EXIST
23e0: 53 20 74 62 6c 32 3b 0a 20 20 20 20 20 20 50 52  S tbl2;.      PR
23f0: 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c  AGMA incremental
2400: 5f 76 61 63 75 75 6d 3b 0a 20 20 20 20 20 20 43  _vacuum;.      C
2410: 52 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c 31  REATE TABLE tbl1
2420: 28 61 2c 20 62 29 3b 0a 20 20 20 20 20 20 43 52  (a, b);.      CR
2430: 45 41 54 45 20 54 41 42 4c 45 20 74 62 6c 32 28  EATE TABLE tbl2(
2440: 61 2c 20 62 29 3b 0a 20 20 20 20 20 20 42 45 47  a, b);.      BEG
2450: 49 4e 3b 0a 20 20 20 20 7d 0a 20 20 20 20 66 6f  IN;.    }.    fo
2460: 72 20 7b 73 65 74 20 69 69 20 30 7d 20 7b 24 69  r {set ii 0} {$i
2470: 69 20 3c 20 31 30 30 30 7d 20 7b 69 6e 63 72 20  i < 1000} {incr 
2480: 69 69 7d 20 7b 0a 20 20 20 20 20 20 64 62 20 65  ii} {.      db e
2490: 76 61 6c 20 7b 49 4e 53 45 52 54 20 49 4e 54 4f  val {INSERT INTO
24a0: 20 74 62 6c 31 20 56 41 4c 55 45 53 28 24 69 69   tbl1 VALUES($ii
24b0: 2c 20 24 69 69 20 7c 7c 20 24 69 69 29 7d 0a 20  , $ii || $ii)}. 
24c0: 20 20 20 7d 0a 20 20 20 20 65 78 65 63 73 71 6c     }.    execsql
24d0: 20 7b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20   {.      INSERT 
24e0: 49 4e 54 4f 20 74 62 6c 32 20 53 45 4c 45 43 54  INTO tbl2 SELECT
24f0: 20 2a 20 46 52 4f 4d 20 74 62 6c 31 3b 0a 20 20   * FROM tbl1;.  
2500: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20      COMMIT;.    
2510: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 62 6c    DROP TABLE tbl
2520: 31 3b 0a 20 20 20 20 7d 0a 20 20 20 20 65 78 70  1;.    }.    exp
2530: 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65  r {[file size te
2540: 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a 20  st.db] / 1024}. 
2550: 20 7d 20 7b 33 36 7d 0a 0a 20 20 23 20 52 75 6e   } {36}..  # Run
2560: 20 61 20 6c 69 6e 65 61 72 20 73 63 61 6e 20 71   a linear scan q
2570: 75 65 72 79 20 6f 6e 20 74 62 6c 32 2e 20 41 66  uery on tbl2. Af
2580: 74 65 72 20 72 65 61 64 69 6e 67 20 28 24 6a 6a  ter reading ($jj
2590: 2a 31 30 30 29 20 72 6f 77 73 2c 20 0a 20 20 23  *100) rows, .  #
25a0: 20 72 75 6e 20 74 68 65 20 69 6e 63 72 65 6d 65   run the increme
25b0: 6e 74 61 6c 20 76 61 63 75 75 6d 20 74 6f 20 73  ntal vacuum to s
25c0: 68 72 69 6e 6b 20 74 68 65 20 64 61 74 61 62 61  hrink the databa
25d0: 73 65 2e 0a 20 20 23 0a 20 20 64 6f 5f 74 65 73  se..  #.  do_tes
25e0: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 36 2e 24  t incrvacuum-6.$
25f0: 7b 6a 6a 7d 2e 32 20 7b 0a 20 20 20 20 73 65 74  {jj}.2 {.    set
2600: 20 3a 3a 6e 52 6f 77 20 30 0a 20 20 20 20 64 62   ::nRow 0.    db
2610: 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 61 20   eval {SELECT a 
2620: 46 52 4f 4d 20 74 62 6c 32 7d 20 7b 7d 20 7b 0a  FROM tbl2} {} {.
2630: 20 20 20 20 20 20 69 66 20 7b 24 61 20 3d 3d 20        if {$a == 
2640: 5b 65 78 70 72 20 24 6a 6a 2a 31 30 30 5d 7d 20  [expr $jj*100]} 
2650: 7b 0a 20 20 20 20 20 20 20 20 64 62 20 65 76 61  {.        db eva
2660: 6c 20 7b 50 52 41 47 4d 41 20 69 6e 63 72 65 6d  l {PRAGMA increm
2670: 65 6e 74 61 6c 5f 76 61 63 75 75 6d 7d 0a 20 20  ental_vacuum}.  
2680: 20 20 20 20 7d 0a 20 20 20 20 20 20 69 6e 63 72      }.      incr
2690: 20 3a 3a 6e 52 6f 77 0a 20 20 20 20 7d 0a 20 20   ::nRow.    }.  
26a0: 20 20 6c 69 73 74 20 5b 65 78 70 72 20 7b 5b 66    list [expr {[f
26b0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
26c0: 5d 20 2f 20 31 30 32 34 7d 5d 20 24 6e 52 6f 77  ] / 1024}] $nRow
26d0: 0a 20 20 7d 20 7b 31 39 20 31 30 30 30 7d 0a 7d  .  } {19 1000}.}
26e0: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
26f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2700: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2710: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2720: 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 69 73 20  --------.# This 
2730: 74 65 73 74 20 2d 20 69 6e 63 72 76 61 63 75 75  test - incrvacuu
2740: 6d 2d 37 2e 2a 20 2d 20 69 73 20 74 6f 20 63 68  m-7.* - is to ch
2750: 65 63 6b 20 74 68 61 74 20 74 68 65 20 64 61 74  eck that the dat
2760: 61 62 61 73 65 20 63 61 6e 20 62 65 0a 23 20 77  abase can be.# w
2770: 72 69 74 74 65 6e 20 69 6e 20 74 68 65 20 6d 69  ritten in the mi
2780: 64 64 6c 65 20 6f 66 20 61 6e 20 69 6e 63 72 65  ddle of an incre
2790: 6d 65 6e 74 61 6c 20 76 61 63 75 75 6d 2e 0a 23  mental vacuum..#
27a0: 0a 73 65 74 20 3a 3a 69 57 72 69 74 65 20 31 0a  .set ::iWrite 1.
27b0: 77 68 69 6c 65 20 31 20 7b 0a 20 20 64 6f 5f 74  while 1 {.  do_t
27c0: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 37  est incrvacuum-7
27d0: 2e 24 7b 3a 3a 69 57 72 69 74 65 7d 2e 31 20 7b  .${::iWrite}.1 {
27e0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
27f0: 20 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20       DROP TABLE 
2800: 49 46 20 45 58 49 53 54 53 20 74 62 6c 31 3b 0a  IF EXISTS tbl1;.
2810: 20 20 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45        DROP TABLE
2820: 20 49 46 20 45 58 49 53 54 53 20 74 62 6c 32 3b   IF EXISTS tbl2;
2830: 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20 69 6e  .      PRAGMA in
2840: 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d  cremental_vacuum
2850: 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54  ;.      CREATE T
2860: 41 42 4c 45 20 74 62 6c 31 28 61 2c 20 62 29 3b  ABLE tbl1(a, b);
2870: 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41  .      CREATE TA
2880: 42 4c 45 20 74 62 6c 32 28 61 2c 20 62 29 3b 0a  BLE tbl2(a, b);.
2890: 20 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20        BEGIN;.   
28a0: 20 7d 0a 20 20 20 20 66 6f 72 20 7b 73 65 74 20   }.    for {set 
28b0: 69 69 20 30 7d 20 7b 24 69 69 20 3c 20 31 30 30  ii 0} {$ii < 100
28c0: 30 7d 20 7b 69 6e 63 72 20 69 69 7d 20 7b 0a 20  0} {incr ii} {. 
28d0: 20 20 20 20 20 64 62 20 65 76 61 6c 20 7b 49 4e       db eval {IN
28e0: 53 45 52 54 20 49 4e 54 4f 20 74 62 6c 31 20 56  SERT INTO tbl1 V
28f0: 41 4c 55 45 53 28 24 69 69 2c 20 24 69 69 20 7c  ALUES($ii, $ii |
2900: 7c 20 24 69 69 29 7d 0a 20 20 20 20 7d 0a 20 20  | $ii)}.    }.  
2910: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
2920: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
2930: 6c 32 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l2 SELECT * FROM
2940: 20 74 62 6c 31 3b 0a 20 20 20 20 20 20 43 4f 4d   tbl1;.      COM
2950: 4d 49 54 3b 0a 20 20 20 20 20 20 44 52 4f 50 20  MIT;.      DROP 
2960: 54 41 42 4c 45 20 74 62 6c 31 3b 0a 20 20 20 20  TABLE tbl1;.    
2970: 7d 0a 20 20 20 20 65 78 70 72 20 7b 5b 66 69 6c  }.    expr {[fil
2980: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20  e size test.db] 
2990: 2f 20 31 30 32 34 7d 0a 20 20 7d 20 7b 33 36 7d  / 1024}.  } {36}
29a0: 0a 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72  ..  do_test incr
29b0: 76 61 63 75 75 6d 2d 37 2e 24 7b 3a 3a 69 57 72  vacuum-7.${::iWr
29c0: 69 74 65 7d 2e 32 20 7b 0a 20 20 20 20 73 65 74  ite}.2 {.    set
29d0: 20 3a 3a 6e 52 6f 77 20 30 0a 20 20 20 20 64 62   ::nRow 0.    db
29e0: 20 65 76 61 6c 20 7b 50 52 41 47 4d 41 20 69 6e   eval {PRAGMA in
29f0: 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d  cremental_vacuum
2a00: 7d 20 7b 0a 20 20 20 20 20 20 69 6e 63 72 20 3a  } {.      incr :
2a10: 3a 6e 52 6f 77 0a 20 20 20 20 20 20 69 66 20 7b  :nRow.      if {
2a20: 24 3a 3a 6e 52 6f 77 20 3d 3d 20 24 3a 3a 69 57  $::nRow == $::iW
2a30: 72 69 74 65 7d 20 7b 0a 20 20 20 20 20 20 20 20  rite} {.        
2a40: 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 20 20  db eval {.      
2a50: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
2a60: 20 74 62 6c 31 28 61 2c 20 62 29 3b 0a 20 20 20   tbl1(a, b);.   
2a70: 20 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e         INSERT IN
2a80: 54 4f 20 74 62 6c 31 20 56 41 4c 55 45 53 28 27  TO tbl1 VALUES('
2a90: 68 65 6c 6c 6f 27 2c 20 27 77 6f 72 6c 64 27 29  hello', 'world')
2aa0: 3b 0a 20 20 20 20 20 20 20 20 7d 0a 20 20 20 20  ;.        }.    
2ab0: 20 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 6c 69    }.    }.    li
2ac0: 73 74 20 5b 65 78 70 72 20 7b 5b 66 69 6c 65 20  st [expr {[file 
2ad0: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20  size test.db] / 
2ae0: 31 30 32 34 7d 5d 0a 20 20 7d 20 7b 32 30 7d 0a  1024}].  } {20}.
2af0: 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e 63 72 76  .  do_test incrv
2b00: 61 63 75 75 6d 2d 37 2e 24 7b 3a 3a 69 57 72 69  acuum-7.${::iWri
2b10: 74 65 7d 2e 33 20 7b 0a 20 20 20 20 65 78 65 63  te}.3 {.    exec
2b20: 73 71 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c 45  sql {.      SELE
2b30: 43 54 20 2a 20 46 52 4f 4d 20 74 62 6c 31 3b 0a  CT * FROM tbl1;.
2b40: 20 20 20 20 7d 0a 20 20 7d 20 7b 68 65 6c 6c 6f      }.  } {hello
2b50: 20 77 6f 72 6c 64 7d 0a 0a 20 20 69 66 20 7b 24   world}..  if {$
2b60: 3a 3a 6e 52 6f 77 20 3d 3d 20 24 3a 3a 69 57 72  ::nRow == $::iWr
2b70: 69 74 65 7d 20 62 72 65 61 6b 0a 20 20 69 6e 63  ite} break.  inc
2b80: 72 20 3a 3a 69 57 72 69 74 65 0a 7d 0a 0a 23 2d  r ::iWrite.}..#-
2b90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2ba0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2bb0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2bc0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2bd0: 2d 2d 2d 2d 0a 23 20 54 68 69 73 20 74 65 73 74  ----.# This test
2be0: 20 2d 20 69 6e 63 72 76 61 63 75 75 6d 2d 38 2e   - incrvacuum-8.
2bf0: 2a 20 2d 20 69 73 20 74 6f 20 63 68 65 63 6b 20  * - is to check 
2c00: 74 68 61 74 20 6e 6f 74 68 69 6e 67 20 67 6f 65  that nothing goe
2c10: 73 20 77 72 6f 6e 67 0a 23 20 77 69 74 68 20 61  s wrong.# with a
2c20: 6e 20 69 6e 63 72 65 6d 65 6e 74 61 6c 2d 76 61  n incremental-va
2c30: 63 75 75 6d 20 69 66 20 69 74 20 69 73 20 74 68  cuum if it is th
2c40: 65 20 66 69 72 73 74 20 73 74 61 74 65 6d 65 6e  e first statemen
2c50: 74 20 65 78 65 63 75 74 65 64 0a 23 20 61 66 74  t executed.# aft
2c60: 65 72 20 61 6e 20 65 78 69 73 74 69 6e 67 20 64  er an existing d
2c70: 61 74 61 62 61 73 65 20 69 73 20 6f 70 65 6e 65  atabase is opene
2c80: 64 2e 0a 23 0a 23 20 41 74 20 6f 6e 65 20 70 6f  d..#.# At one po
2c90: 69 6e 74 2c 20 74 68 69 73 20 77 6f 75 6c 64 20  int, this would 
2ca0: 61 6c 77 61 79 73 20 72 65 74 75 72 6e 20 53 51  always return SQ
2cb0: 4c 49 54 45 5f 53 43 48 45 4d 41 20 28 77 68 69  LITE_SCHEMA (whi
2cc0: 63 68 20 0a 23 20 63 61 75 73 65 73 20 61 6e 20  ch .# causes an 
2cd0: 69 6e 66 69 6e 69 74 65 20 6c 6f 6f 70 20 69 6e  infinite loop in
2ce0: 20 74 63 6c 73 71 6c 69 74 65 2e 63 20 69 66 20   tclsqlite.c if 
2cf0: 75 73 69 6e 67 20 74 68 65 20 54 63 6c 20 69 6e  using the Tcl in
2d00: 74 65 72 66 61 63 65 29 2e 0a 23 0a 64 6f 5f 74  terface)..#.do_t
2d10: 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 38  est incrvacuum-8
2d20: 2e 31 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a  .1 {.  db close.
2d30: 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73    sqlite3 db tes
2d40: 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b  t.db.  execsql {
2d50: 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72  .    PRAGMA incr
2d60: 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 35  emental_vacuum(5
2d70: 30 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 2d  0);.  }.} {}..#-
2d80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2d90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2da0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2db0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2dc0: 2d 2d 2d 2d 0a 23 20 41 74 20 6f 6e 65 20 70 6f  ----.# At one po
2dd0: 69 6e 74 20 74 68 69 73 20 74 65 73 74 20 63 61  int this test ca
2de0: 73 65 20 77 61 73 20 63 61 75 73 69 6e 67 20 61  se was causing a
2df0: 6e 20 61 73 73 65 72 74 28 29 20 74 6f 20 66 61  n assert() to fa
2e00: 69 6c 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  il..#.do_test in
2e10: 63 72 76 61 63 75 75 6d 2d 39 2e 31 20 7b 0a 20  crvacuum-9.1 {. 
2e20: 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 69 6c 65   db close.  file
2e30: 20 64 65 6c 65 74 65 20 2d 66 6f 72 63 65 20 74   delete -force t
2e40: 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a  est.db test.db-j
2e50: 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65 33  ournal.  sqlite3
2e60: 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 20 20 65   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 61 75 74 6f 5f 76 61 63 75 75 6d 20  GMA auto_vacuum 
2e90: 3d 20 27 69 6e 63 72 65 6d 65 6e 74 61 6c 27 3b  = 'incremental';
2ea0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
2eb0: 45 20 74 31 28 61 2c 20 62 2c 20 63 29 3b 0a 20  E t1(a, b, c);. 
2ec0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
2ed0: 74 32 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20  t2(a, b, c);.   
2ee0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
2ef0: 56 41 4c 55 45 53 28 72 61 6e 64 73 74 72 28 35  VALUES(randstr(5
2f00: 30 30 2c 35 30 30 29 2c 72 61 6e 64 73 74 72 28  00,500),randstr(
2f10: 35 30 30 2c 35 30 30 29 2c 72 61 6e 64 73 74 72  500,500),randstr
2f20: 28 35 30 30 2c 35 30 30 29 29 3b 0a 20 20 20 20  (500,500));.    
2f30: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
2f40: 41 4c 55 45 53 28 31 2c 20 32 2c 20 33 29 3b 0a  ALUES(1, 2, 3);.
2f50: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
2f60: 74 31 20 53 45 4c 45 43 54 20 61 7c 7c 61 2c 20  t1 SELECT a||a, 
2f70: 62 7c 7c 62 2c 20 63 7c 7c 63 20 46 52 4f 4d 20  b||b, c||c FROM 
2f80: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
2f90: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 7c  NTO t1 SELECT a|
2fa0: 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 46  |a, b||b, c||c F
2fb0: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
2fc0: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
2fd0: 54 20 61 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c  T a||a, b||b, c|
2fe0: 7c 63 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  |c FROM t1;.    
2ff0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
3000: 45 4c 45 43 54 20 61 7c 7c 61 2c 20 62 7c 7c 62  ELECT a||a, b||b
3010: 2c 20 63 7c 7c 63 20 46 52 4f 4d 20 74 31 3b 0a  , c||c FROM t1;.
3020: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3030: 74 31 20 53 45 4c 45 43 54 20 61 7c 7c 61 2c 20  t1 SELECT a||a, 
3040: 62 7c 7c 62 2c 20 63 7c 7c 63 20 46 52 4f 4d 20  b||b, c||c FROM 
3050: 74 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  t1;.    INSERT I
3060: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 7c  NTO t1 SELECT a|
3070: 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c 7c 63 20 46  |a, b||b, c||c F
3080: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
3090: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43  RT INTO t1 SELEC
30a0: 54 20 61 7c 7c 61 2c 20 62 7c 7c 62 2c 20 63 7c  T a||a, b||b, c|
30b0: 7c 63 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20  |c FROM t1;.    
30c0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
30d0: 45 4c 45 43 54 20 61 7c 7c 61 2c 20 62 7c 7c 62  ELECT a||a, b||b
30e0: 2c 20 63 7c 7c 63 20 46 52 4f 4d 20 74 31 3b 0a  , c||c FROM t1;.
30f0: 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73    }.} {}..do_tes
3100: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 39 2e 32  t incrvacuum-9.2
3110: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
3120: 20 20 20 50 52 41 47 4d 41 20 73 79 6e 63 68 72     PRAGMA synchr
3130: 6f 6e 6f 75 73 20 3d 20 27 4f 46 46 27 3b 0a 20  onous = 'OFF';. 
3140: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55 50     BEGIN;.    UP
3150: 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d 20  DATE t1 SET a = 
3160: 61 2c 20 62 20 3d 20 62 2c 20 63 20 3d 20 63 3b  a, b = b, c = c;
3170: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20  .    DROP TABLE 
3180: 74 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 69  t2;.    PRAGMA i
3190: 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75  ncremental_vacuu
31a0: 6d 28 31 30 29 3b 0a 20 20 20 20 52 4f 4c 4c 42  m(10);.    ROLLB
31b0: 41 43 4b 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64  ACK;.  }.} {}..d
31c0: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
31d0: 6d 2d 39 2e 33 20 7b 0a 20 20 65 78 65 63 73 71  m-9.3 {.  execsq
31e0: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 63  l {.    PRAGMA c
31f0: 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 3b 0a  ache_size = 10;.
3200: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55      BEGIN;.    U
3210: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d  PDATE t1 SET a =
3220: 20 61 2c 20 62 20 3d 20 62 2c 20 63 20 3d 20 63   a, b = b, c = c
3230: 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45  ;.    DROP TABLE
3240: 20 74 32 3b 0a 20 20 20 20 50 52 41 47 4d 41 20   t2;.    PRAGMA 
3250: 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75  incremental_vacu
3260: 75 6d 28 31 30 29 3b 0a 20 20 20 20 52 4f 4c 4c  um(10);.    ROLL
3270: 42 41 43 4b 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a  BACK;.  }.} {}..
3280: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
3290: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
32a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
32b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
32c0: 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74 68  ------.# Test th
32d0: 61 74 20 74 68 65 20 70 61 72 61 6d 65 74 65 72  at the parameter
32e0: 20 74 6f 20 74 68 65 20 69 6e 63 72 65 6d 65 6e   to the incremen
32f0: 74 61 6c 5f 76 61 63 75 75 6d 20 70 72 61 67 6d  tal_vacuum pragm
3300: 61 20 77 6f 72 6b 73 2e 20 54 68 61 74 0a 23 20  a works. That.# 
3310: 69 73 2c 20 69 66 20 74 68 65 20 75 73 65 72 20  is, if the user 
3320: 65 78 65 63 75 74 65 73 20 22 50 52 41 47 4d 41  executes "PRAGMA
3330: 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63   incremental_vac
3340: 75 75 6d 28 4e 29 22 2c 20 61 74 20 6d 6f 73 74  uum(N)", at most
3350: 0a 23 20 4e 20 70 61 67 65 73 20 61 72 65 20 76  .# N pages are v
3360: 61 63 75 75 6d 65 64 2e 0a 23 0a 64 6f 5f 74 65  acuumed..#.do_te
3370: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30  st incrvacuum-10
3380: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
3390: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20  .    DROP TABLE 
33a0: 74 31 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42  t1;.    DROP TAB
33b0: 4c 45 20 74 32 3b 0a 20 20 7d 0a 20 20 65 78 70  LE t2;.  }.  exp
33c0: 72 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73  r [file size tes
33d0: 74 2e 64 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b  t.db] / 1024.} {
33e0: 32 39 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63  29}..do_test inc
33f0: 72 76 61 63 75 75 6d 2d 31 30 2e 32 20 7b 0a 20  rvacuum-10.2 {. 
3400: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
3410: 52 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61  RAGMA incrementa
3420: 6c 5f 76 61 63 75 75 6d 28 31 29 3b 0a 20 20 7d  l_vacuum(1);.  }
3430: 0a 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69  .  expr [file si
3440: 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30  ze test.db] / 10
3450: 32 34 0a 7d 20 7b 32 38 7d 0a 0a 64 6f 5f 74 65  24.} {28}..do_te
3460: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30  st incrvacuum-10
3470: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .3 {.  execsql {
3480: 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e 63 72  .    PRAGMA incr
3490: 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d 28 35  emental_vacuum(5
34a0: 29 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 5b 66  );.  }.  expr [f
34b0: 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62  ile size test.db
34c0: 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 32 33 7d 0a  ] / 1024.} {23}.
34d0: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
34e0: 75 75 6d 2d 31 30 2e 34 20 7b 0a 20 20 65 78 65  uum-10.4 {.  exe
34f0: 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d  csql {.    PRAGM
3500: 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c 5f 76 61  A incremental_va
3510: 63 75 75 6d 28 27 31 27 29 3b 0a 20 20 7d 0a 20  cuum('1');.  }. 
3520: 20 65 78 70 72 20 5b 66 69 6c 65 20 73 69 7a 65   expr [file size
3530: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34   test.db] / 1024
3540: 0a 7d 20 7b 32 32 7d 0a 0a 64 6f 5f 74 65 73 74  .} {22}..do_test
3550: 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 30 2e 35   incrvacuum-10.5
3560: 20 7b 0a 62 72 65 61 6b 70 6f 69 6e 74 0a 20 20   {.breakpoint.  
3570: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52  execsql {.    PR
3580: 41 47 4d 41 20 69 6e 63 72 65 6d 65 6e 74 61 6c  AGMA incremental
3590: 5f 76 61 63 75 75 6d 28 22 2b 33 22 29 3b 0a 20  _vacuum("+3");. 
35a0: 20 7d 0a 20 20 65 78 70 72 20 5b 66 69 6c 65 20   }.  expr [file 
35b0: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20  size test.db] / 
35c0: 31 30 32 34 0a 7d 20 7b 31 39 7d 0a 0a 64 6f 5f  1024.} {19}..do_
35d0: 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d  test incrvacuum-
35e0: 31 30 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c  10.6 {.  execsql
35f0: 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e   {.    PRAGMA in
3600: 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d  cremental_vacuum
3610: 20 3d 20 31 3b 0a 20 20 7d 0a 20 20 65 78 70 72   = 1;.  }.  expr
3620: 20 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74   [file size test
3630: 2e 64 62 5d 20 2f 20 31 30 32 34 0a 7d 20 7b 31  .db] / 1024.} {1
3640: 38 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72  8}..do_test incr
3650: 76 61 63 75 75 6d 2d 31 30 2e 37 20 7b 0a 20 20  vacuum-10.7 {.  
3660: 23 20 55 73 65 20 61 20 72 65 61 6c 6c 79 20 62  # Use a really b
3670: 69 67 20 6e 75 6d 62 65 72 20 61 73 20 61 6e 20  ig number as an 
3680: 61 72 67 75 6d 65 6e 74 20 74 6f 20 69 6e 63 72  argument to incr
3690: 65 6d 65 74 61 6c 5f 76 61 63 75 75 6d 2e 20 53  emetal_vacuum. S
36a0: 68 6f 75 6c 64 0a 20 20 23 20 62 65 20 69 6e 74  hould.  # be int
36b0: 65 72 70 72 65 74 65 64 20 61 73 20 22 66 72 65  erpreted as "fre
36c0: 65 20 61 6c 6c 20 70 6f 73 73 69 62 6c 65 20 73  e all possible s
36d0: 70 61 63 65 22 2e 0a 20 20 65 78 65 63 73 71 6c  pace"..  execsql
36e0: 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69 6e   {.    PRAGMA in
36f0: 63 72 65 6d 65 6e 74 61 6c 5f 76 61 63 75 75 6d  cremental_vacuum
3700: 28 32 31 34 37 34 38 33 36 34 39 29 3b 0a 20 20  (2147483649);.  
3710: 7d 0a 20 20 65 78 70 72 20 5b 66 69 6c 65 20 73  }.  expr [file s
3720: 69 7a 65 20 74 65 73 74 2e 64 62 5d 20 2f 20 31  ize test.db] / 1
3730: 30 32 34 0a 7d 20 7b 31 7d 0a 0a 23 2d 2d 2d 2d  024.} {1}..#----
3740: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3750: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3760: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3770: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54  ------------.# T
3780: 65 73 74 20 74 68 61 74 20 69 66 20 77 65 20 73  est that if we s
3790: 65 74 20 74 68 65 20 61 75 74 6f 5f 76 61 63 75  et the auto_vacu
37a0: 75 6d 20 6d 6f 64 65 20 74 6f 20 27 69 6e 63 72  um mode to 'incr
37b0: 65 6d 65 6e 74 61 6c 27 2c 20 74 68 65 6e 0a 23  emental', then.#
37c0: 20 63 72 65 61 74 65 20 61 20 64 61 74 61 62 61   create a databa
37d0: 73 65 2c 20 74 68 65 72 65 61 66 74 65 72 20 74  se, thereafter t
37e0: 68 61 74 20 64 61 74 61 62 61 73 65 20 64 65 66  hat database def
37f0: 61 75 6c 74 73 20 74 6f 20 69 6e 63 72 65 6d 65  aults to increme
3800: 6e 74 61 6c 20 0a 23 20 76 61 63 75 75 6d 20 6d  ntal .# vacuum m
3810: 6f 64 65 2e 0a 23 0a 64 62 20 63 6c 6f 73 65 0a  ode..#.db close.
3820: 66 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72  file delete -for
3830: 63 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e  ce test.db test.
3840: 64 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69 74  db-journal.sqlit
3850: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 0a 69  e3 db test.db..i
3860: 66 63 61 70 61 62 6c 65 20 64 65 66 61 75 6c 74  fcapable default
3870: 5f 61 75 74 6f 76 61 63 75 75 6d 20 7b 0a 20 20  _autovacuum {.  
3880: 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75  do_test incrvacu
3890: 75 6d 2d 31 31 2e 31 2d 61 76 2d 64 66 6c 74 2d  um-11.1-av-dflt-
38a0: 6f 6e 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  on {.    execsql
38b0: 20 7b 0a 20 20 20 20 20 20 50 52 41 47 4d 41 20   {.      PRAGMA 
38c0: 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 20  auto_vacuum;.   
38d0: 20 7d 0a 20 20 7d 20 7b 31 7d 0a 7d 20 65 6c 73   }.  } {1}.} els
38e0: 65 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 69 6e  e {.  do_test in
38f0: 63 72 76 61 63 75 75 6d 2d 31 31 2e 31 2d 61 76  crvacuum-11.1-av
3900: 2d 64 66 6c 74 2d 6f 66 66 20 7b 0a 20 20 20 20  -dflt-off {.    
3910: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20  execsql {.      
3920: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75  PRAGMA auto_vacu
3930: 75 6d 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 30  um;.    }.  } {0
3940: 7d 0a 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72  }.}.do_test incr
3950: 76 61 63 75 75 6d 2d 31 31 2e 32 20 7b 0a 20 20  vacuum-11.2 {.  
3960: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52  execsql {.    PR
3970: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d  AGMA auto_vacuum
3980: 20 3d 20 69 6e 63 72 65 6d 65 6e 74 61 6c 3b 0a   = incremental;.
3990: 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74    }.} {}.do_test
39a0: 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e 33   incrvacuum-11.3
39b0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
39c0: 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76     PRAGMA auto_v
39d0: 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 32 7d  acuum;.  }.} {2}
39e0: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
39f0: 75 75 6d 2d 31 31 2e 34 20 7b 0a 20 20 23 20 54  uum-11.4 {.  # T
3a00: 68 65 20 64 61 74 61 62 61 73 65 20 68 61 73 20  he database has 
3a10: 6e 6f 77 20 62 65 65 6e 20 63 72 65 61 74 65 64  now been created
3a20: 2e 0a 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20  ..  expr {[file 
3a30: 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 3e 30 7d  size test.db]>0}
3a40: 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69  .} {1}.do_test i
3a50: 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e 35 20 7b  ncrvacuum-11.5 {
3a60: 0a 20 20 23 20 43 6c 6f 73 65 20 61 6e 64 20 72  .  # Close and r
3a70: 65 6f 70 65 6e 20 74 68 65 20 63 6f 6e 6e 65 63  eopen the connec
3a80: 74 69 6f 6e 2e 0a 20 20 64 62 20 63 6c 6f 73 65  tion..  db close
3a90: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 65  .  sqlite3 db te
3aa0: 73 74 2e 64 62 0a 0a 20 20 23 20 54 65 73 74 20  st.db..  # Test 
3ab0: 77 65 20 61 72 65 20 73 74 69 6c 6c 20 69 6e 20  we are still in 
3ac0: 69 6e 63 72 65 6d 65 6e 74 61 6c 20 76 61 63 75  incremental vacu
3ad0: 75 6d 20 6d 6f 64 65 2e 0a 20 20 65 78 65 63 73  um mode..  execs
3ae0: 71 6c 20 7b 20 50 52 41 47 4d 41 20 61 75 74 6f  ql { PRAGMA auto
3af0: 5f 76 61 63 75 75 6d 3b 20 7d 0a 7d 20 7b 32 7d  _vacuum; }.} {2}
3b00: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
3b10: 75 75 6d 2d 31 31 2e 36 20 7b 0a 20 20 65 78 65  uum-11.6 {.  exe
3b20: 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d  csql {.    PRAGM
3b30: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  A auto_vacuum = 
3b40: 27 66 75 6c 6c 27 3b 0a 20 20 20 20 50 52 41 47  'full';.    PRAG
3b50: 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a  MA auto_vacuum;.
3b60: 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73    }.} {1}.do_tes
3b70: 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 31 2e  t incrvacuum-11.
3b80: 37 20 7b 0a 20 20 23 20 43 6c 6f 73 65 20 61 6e  7 {.  # Close an
3b90: 64 20 72 65 6f 70 65 6e 20 74 68 65 20 63 6f 6e  d reopen the con
3ba0: 6e 65 63 74 69 6f 6e 2e 0a 20 20 64 62 20 63 6c  nection..  db cl
3bb0: 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62  ose.  sqlite3 db
3bc0: 20 74 65 73 74 2e 64 62 0a 0a 20 20 23 20 54 65   test.db..  # Te
3bd0: 73 74 20 77 65 20 61 72 65 20 73 74 69 6c 6c 20  st we are still 
3be0: 69 6e 20 22 66 75 6c 6c 22 20 61 75 74 6f 2d 76  in "full" auto-v
3bf0: 61 63 75 75 6d 20 6d 6f 64 65 2e 0a 20 20 65 78  acuum mode..  ex
3c00: 65 63 73 71 6c 20 7b 20 50 52 41 47 4d 41 20 61  ecsql { PRAGMA a
3c10: 75 74 6f 5f 76 61 63 75 75 6d 3b 20 7d 0a 7d 20  uto_vacuum; }.} 
3c20: 7b 31 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  {1}..#----------
3c30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3c40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3c50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3c60: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 53  ------------.# S
3c70: 70 65 63 69 61 6c 20 63 61 73 65 3a 20 57 68 61  pecial case: Wha
3c80: 74 20 68 61 70 70 65 6e 73 20 69 66 20 74 68 65  t happens if the
3c90: 20 64 61 74 61 62 61 73 65 20 69 73 20 6c 6f 63   database is loc
3ca0: 6b 65 64 20 77 68 65 6e 20 61 20 22 50 52 41 47  ked when a "PRAG
3cb0: 4d 41 0a 23 20 61 75 74 6f 5f 76 61 63 75 75 6d  MA.# auto_vacuum
3cc0: 20 3d 20 58 58 58 22 20 73 74 61 74 65 6d 65 6e   = XXX" statemen
3cd0: 74 20 69 73 20 65 78 65 63 75 74 65 64 2e 0a 23  t is executed..#
3ce0: 0a 64 62 20 63 6c 6f 73 65 0a 66 69 6c 65 20 64  .db close.file d
3cf0: 65 6c 65 74 65 20 2d 66 6f 72 63 65 20 74 65 73  elete -force tes
3d00: 74 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f 75  t.db test.db-jou
3d10: 72 6e 61 6c 0a 73 71 6c 69 74 65 33 20 64 62 20  rnal.sqlite3 db 
3d20: 74 65 73 74 2e 64 62 0a 0a 64 6f 5f 74 65 73 74  test.db..do_test
3d30: 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 32 2e 31   incrvacuum-12.1
3d40: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
3d50: 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76     PRAGMA auto_v
3d60: 61 63 75 75 6d 20 3d 20 31 3b 0a 20 20 7d 0a 20  acuum = 1;.  }. 
3d70: 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a   expr {[file siz
3d80: 65 20 74 65 73 74 2e 64 62 5d 3e 30 7d 0a 7d 20  e test.db]>0}.} 
3d90: 7b 31 7d 0a 0a 23 20 54 72 79 20 74 6f 20 63 68  {1}..# Try to ch
3da0: 61 6e 67 65 20 74 68 65 20 61 75 74 6f 2d 76 61  ange the auto-va
3db0: 63 75 75 6d 20 66 72 6f 6d 20 22 66 75 6c 6c 22  cuum from "full"
3dc0: 20 74 6f 20 22 69 6e 63 72 65 6d 65 6e 74 61 6c   to "incremental
3dd0: 22 20 77 68 69 6c 65 20 74 68 65 0a 23 20 64 61  " while the.# da
3de0: 74 61 62 61 73 65 20 69 73 20 6c 6f 63 6b 65 64  tabase is locked
3df0: 2e 20 4e 6f 74 68 69 6e 67 20 73 68 6f 75 6c 64  . Nothing should
3e00: 20 63 68 61 6e 67 65 2e 0a 23 0a 64 6f 5f 74 65   change..#.do_te
3e10: 73 74 20 69 6e 63 72 76 61 63 75 75 6d 2d 31 32  st incrvacuum-12
3e20: 2e 32 20 7b 0a 20 20 73 71 6c 69 74 65 33 20 64  .2 {.  sqlite3 d
3e30: 62 32 20 74 65 73 74 2e 64 62 0a 20 20 65 78 65  b2 test.db.  exe
3e40: 63 73 71 6c 20 7b 20 42 45 47 49 4e 20 45 58 43  csql { BEGIN EXC
3e50: 4c 55 53 49 56 45 3b 20 7d 20 64 62 32 0a 20 20  LUSIVE; } db2.  
3e60: 63 61 74 63 68 73 71 6c 20 7b 20 50 52 41 47 4d  catchsql { PRAGM
3e70: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20  A auto_vacuum = 
3e80: 32 3b 20 7d 0a 7d 20 7b 31 20 7b 64 61 74 61 62  2; }.} {1 {datab
3e90: 61 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a  ase is locked}}.
3ea0: 0a 64 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63  .do_test incrvac
3eb0: 75 75 6d 2d 31 32 2e 33 20 7b 0a 20 20 65 78 65  uum-12.3 {.  exe
3ec0: 63 73 71 6c 20 7b 20 52 4f 4c 4c 42 41 43 4b 3b  csql { ROLLBACK;
3ed0: 20 7d 20 64 62 32 0a 20 20 65 78 65 63 73 71 6c   } db2.  execsql
3ee0: 20 7b 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76   { PRAGMA auto_v
3ef0: 61 63 75 75 6d 20 7d 0a 7d 20 7b 31 7d 0a 0a 64  acuum }.} {1}..d
3f00: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
3f10: 6d 2d 31 32 2e 33 20 7b 0a 20 20 65 78 65 63 73  m-12.3 {.  execs
3f20: 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  ql { SELECT * FR
3f30: 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  OM sqlite_master
3f40: 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 50   }.  execsql { P
3f50: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
3f60: 6d 20 7d 0a 7d 20 7b 31 7d 0a 0a 23 2d 2d 2d 2d  m }.} {1}..#----
3f70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3f80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3f90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3fa0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
3fb0: 2d 2d 0a 23 20 53 70 65 63 69 61 6c 20 63 61 73  --.# Special cas
3fc0: 65 20 23 32 3a 20 57 68 61 74 20 69 66 20 6f 6e  e #2: What if on
3fd0: 65 20 70 72 6f 63 65 73 73 20 70 72 65 70 61 72  e process prepar
3fe0: 65 73 20 61 20 22 50 52 41 47 4d 41 20 61 75 74  es a "PRAGMA aut
3ff0: 6f 5f 76 61 63 75 75 6d 20 3d 20 58 58 58 22 0a  o_vacuum = XXX".
4000: 23 20 73 74 61 74 65 6d 65 6e 74 20 77 68 65 6e  # statement when
4010: 20 74 68 65 20 64 61 74 61 62 61 73 65 20 69 73   the database is
4020: 20 65 6d 70 74 79 2c 20 62 75 74 20 64 6f 65 73   empty, but does
4030: 6e 27 74 20 65 78 65 63 75 74 65 20 69 74 20 75  n't execute it u
4040: 6e 74 69 6c 0a 23 20 61 66 74 65 72 20 73 6f 6d  ntil.# after som
4050: 65 20 6f 74 68 65 72 20 70 72 6f 63 65 73 73 20  e other process 
4060: 68 61 73 20 63 72 65 61 74 65 64 20 74 68 65 20  has created the 
4070: 64 61 74 61 62 61 73 65 2e 0a 23 0a 64 62 32 20  database..#.db2 
4080: 63 6c 6f 73 65 0a 64 62 20 63 6c 6f 73 65 0a 66  close.db close.f
4090: 69 6c 65 20 64 65 6c 65 74 65 20 2d 66 6f 72 63  ile delete -forc
40a0: 65 20 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64  e test.db test.d
40b0: 62 2d 6a 6f 75 72 6e 61 6c 0a 73 71 6c 69 74 65  b-journal.sqlite
40c0: 33 20 64 62 20 74 65 73 74 2e 64 62 20 20 3b 20  3 db test.db  ; 
40d0: 20 73 65 74 20 3a 3a 44 42 20 5b 73 71 6c 69 74   set ::DB [sqlit
40e0: 65 33 5f 63 6f 6e 6e 65 63 74 69 6f 6e 5f 70 6f  e3_connection_po
40f0: 69 6e 74 65 72 20 64 62 5d 0a 73 71 6c 69 74 65  inter db].sqlite
4100: 33 20 64 62 32 20 74 65 73 74 2e 64 62 0a 0a 64  3 db2 test.db..d
4110: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
4120: 6d 2d 31 33 2e 31 20 7b 0a 20 20 65 78 70 72 20  m-13.1 {.  expr 
4130: 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74  {[file size test
4140: 2e 64 62 5d 3e 30 7d 0a 7d 20 7b 30 7d 0a 64 6f  .db]>0}.} {0}.do
4150: 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75 6d  _test incrvacuum
4160: 2d 31 33 2e 32 20 7b 0a 20 20 73 65 74 20 3a 3a  -13.2 {.  set ::
4170: 53 54 4d 54 20 5b 73 71 6c 69 74 65 33 5f 70 72  STMT [sqlite3_pr
4180: 65 70 61 72 65 20 24 3a 3a 44 42 20 7b 50 52 41  epare $::DB {PRA
4190: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20  GMA auto_vacuum 
41a0: 3d 20 32 7d 20 2d 31 20 44 55 4d 4d 59 5d 0a 20  = 2} -1 DUMMY]. 
41b0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
41c0: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
41d0: 6d 20 3d 20 6e 6f 6e 65 3b 0a 20 20 20 20 50 52  m = none;.    PR
41e0: 41 47 4d 41 20 64 65 66 61 75 6c 74 5f 63 61 63  AGMA default_cac
41f0: 68 65 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a  he_size = 1024;.
4200: 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f      PRAGMA auto_
4210: 76 61 63 75 75 6d 3b 0a 20 20 7d 20 64 62 32 0a  vacuum;.  } db2.
4220: 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  } {0}.do_test in
4230: 63 72 76 61 63 75 75 6d 2d 31 33 2e 33 20 7b 0a  crvacuum-13.3 {.
4240: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69    expr {[file si
4250: 7a 65 20 74 65 73 74 2e 64 62 5d 3e 30 7d 0a 7d  ze test.db]>0}.}
4260: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 63   {1}.do_test inc
4270: 72 76 61 63 75 75 6d 2d 31 33 2e 34 20 7b 0a 20  rvacuum-13.4 {. 
4280: 20 73 65 74 20 72 63 20 5b 73 71 6c 69 74 65 33   set rc [sqlite3
4290: 5f 73 74 65 70 20 24 3a 3a 53 54 4d 54 5d 0a 20  _step $::STMT]. 
42a0: 20 6c 69 73 74 20 24 72 63 20 5b 73 71 6c 69 74   list $rc [sqlit
42b0: 65 33 5f 66 69 6e 61 6c 69 7a 65 20 24 3a 3a 53  e3_finalize $::S
42c0: 54 4d 54 5d 0a 7d 20 7b 53 51 4c 49 54 45 5f 44  TMT].} {SQLITE_D
42d0: 4f 4e 45 20 53 51 4c 49 54 45 5f 4f 4b 7d 0a 64  ONE SQLITE_OK}.d
42e0: 6f 5f 74 65 73 74 20 69 6e 63 72 76 61 63 75 75  o_test incrvacuu
42f0: 6d 2d 31 33 2e 35 20 7b 0a 20 20 65 78 65 63 73  m-13.5 {.  execs
4300: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
4310: 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d  auto_vacuum;.  }
4320: 0a 7d 20 7b 30 7d 0a 0a 64 62 32 20 63 6c 6f 73  .} {0}..db2 clos
4330: 65 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a        e.finish_test.