/ Hex Artifact Content
Login

Artifact af432e6e3bfc0ea20a80cb86a03c7d9876d38324:


0000: 23 20 32 30 30 35 20 46 65 62 72 75 61 72 79 20  # 2005 February 
0010: 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  15.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  #***************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20  ********.# This 
0170: 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20  file implements 
0180: 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73  regression tests
0190: 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72   for SQLite libr
01a0: 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75  ary.  The.# focu
01b0: 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69  s of this file i
01c0: 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 56 41  s testing the VA
01d0: 43 55 55 4d 20 73 74 61 74 65 6d 65 6e 74 2e 0a  CUUM statement..
01e0: 23 0a 23 20 24 49 64 3a 20 76 61 63 75 75 6d 32  #.# $Id: vacuum2
01f0: 2e 74 65 73 74 2c 76 20 31 2e 31 30 20 32 30 30  .test,v 1.10 200
0200: 39 2f 30 32 2f 31 38 20 32 30 3a 33 31 3a 31 38  9/02/18 20:31:18
0210: 20 64 72 68 20 45 78 70 20 24 0a 0a 73 65 74 20   drh Exp $..set 
0220: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0230: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0240: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0250: 73 74 65 72 2e 74 63 6c 0a 0a 23 20 44 6f 20 6e  ster.tcl..# Do n
0260: 6f 74 20 75 73 65 20 61 20 63 6f 64 65 63 20 66  ot use a codec f
0270: 6f 72 20 74 65 73 74 73 20 69 6e 20 74 68 69 73  or tests in this
0280: 20 66 69 6c 65 2c 20 61 73 20 74 68 65 20 64 61   file, as the da
0290: 74 61 62 61 73 65 20 66 69 6c 65 20 69 73 0a 23  tabase file is.#
02a0: 20 6d 61 6e 69 70 75 6c 61 74 65 64 20 64 69 72   manipulated dir
02b0: 65 63 74 6c 79 20 75 73 69 6e 67 20 74 63 6c 20  ectly using tcl 
02c0: 73 63 72 69 70 74 73 20 28 75 73 69 6e 67 20 74  scripts (using t
02d0: 68 65 20 5b 68 65 78 69 6f 5f 77 72 69 74 65 5d  he [hexio_write]
02e0: 20 63 6f 6d 6d 61 6e 64 29 2e 0a 23 0a 64 6f 5f   command)..#.do_
02f0: 6e 6f 74 5f 75 73 65 5f 63 6f 64 65 63 0a 0a 23  not_use_codec..#
0300: 20 49 66 20 74 68 65 20 56 41 43 55 55 4d 20 73   If the VACUUM s
0310: 74 61 74 65 6d 65 6e 74 20 69 73 20 64 69 73 61  tatement is disa
0320: 62 6c 65 64 20 69 6e 20 74 68 65 20 63 75 72 72  bled in the curr
0330: 65 6e 74 20 62 75 69 6c 64 2c 20 73 6b 69 70 20  ent build, skip 
0340: 61 6c 6c 0a 23 20 74 68 65 20 74 65 73 74 73 20  all.# the tests 
0350: 69 6e 20 74 68 69 73 20 66 69 6c 65 2e 0a 23 0a  in this file..#.
0360: 69 66 63 61 70 61 62 6c 65 20 7b 21 76 61 63 75  ifcapable {!vacu
0370: 75 6d 7c 7c 21 61 75 74 6f 69 6e 63 7d 20 7b 0a  um||!autoinc} {.
0380: 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20    finish_test.  
0390: 72 65 74 75 72 6e 0a 7d 0a 69 66 20 24 41 55 54  return.}.if $AUT
03a0: 4f 56 41 43 55 55 4d 20 7b 0a 20 20 66 69 6e 69  OVACUUM {.  fini
03b0: 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e  sh_test.  return
03c0: 0a 7d 0a 0a 23 20 54 69 63 6b 65 74 20 23 31 31  .}..# Ticket #11
03d0: 32 31 20 2d 20 6d 61 6b 65 20 73 75 72 65 20 76  21 - make sure v
03e0: 61 63 75 75 6d 20 77 6f 72 6b 73 20 69 66 20 61  acuum works if a
03f0: 6c 6c 20 61 75 74 6f 69 6e 63 72 65 6d 65 6e 74  ll autoincrement
0400: 20 74 61 62 6c 65 73 0a 23 20 68 61 76 65 20 62   tables.# have b
0410: 65 65 6e 20 64 65 6c 65 74 65 64 2e 0a 23 0a 64  een deleted..#.d
0420: 6f 5f 74 65 73 74 20 76 61 63 75 75 6d 32 2d 31  o_test vacuum2-1
0430: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
0440: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0450: 45 20 74 31 28 78 20 49 4e 54 45 47 45 52 20 50  E t1(x INTEGER P
0460: 52 49 4d 41 52 59 20 4b 45 59 20 41 55 54 4f 49  RIMARY KEY AUTOI
0470: 4e 43 52 45 4d 45 4e 54 2c 20 79 29 3b 0a 20 20  NCREMENT, y);.  
0480: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 31 3b    DROP TABLE t1;
0490: 0a 20 20 20 20 56 41 43 55 55 4d 3b 0a 20 20 7d  .    VACUUM;.  }
04a0: 0a 7d 20 7b 7d 0a 0a 23 20 54 69 63 6b 65 74 20  .} {}..# Ticket 
04b0: 23 32 35 31 38 2e 20 20 4d 61 6b 65 20 73 75 72  #2518.  Make sur
04c0: 65 20 76 61 63 75 75 6d 20 69 6e 63 72 65 6d 65  e vacuum increme
04d0: 6e 74 73 20 74 68 65 20 63 68 61 6e 67 65 20 63  nts the change c
04e0: 6f 75 6e 74 65 72 0a 23 20 69 6e 20 74 68 65 20  ounter.# in the 
04f0: 64 61 74 61 62 61 73 65 20 68 65 61 64 65 72 2e  database header.
0500: 0a 23 0a 64 6f 5f 74 65 73 74 20 76 61 63 75 75  .#.do_test vacuu
0510: 6d 32 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63 73  m2-2.1 {.  execs
0520: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
0530: 54 41 42 4c 45 20 74 31 28 78 29 3b 0a 20 20 20  TABLE t1(x);.   
0540: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32   CREATE TABLE t2
0550: 28 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (y);.    INSERT 
0560: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
0570: 29 3b 0a 20 20 7d 0a 20 20 68 65 78 69 6f 5f 67  );.  }.  hexio_g
0580: 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f 72 65  et_int [hexio_re
0590: 61 64 20 74 65 73 74 2e 64 62 20 32 34 20 34 5d  ad test.db 24 4]
05a0: 0a 7d 20 5b 65 78 70 72 20 7b 5b 68 65 78 69 6f  .} [expr {[hexio
05b0: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f  _get_int [hexio_
05c0: 72 65 61 64 20 74 65 73 74 2e 64 62 20 32 34 20  read test.db 24 
05d0: 34 5d 5d 2b 33 7d 5d 0a 64 6f 5f 74 65 73 74 20  4]]+3}].do_test 
05e0: 76 61 63 75 75 6d 32 2d 32 2e 31 20 7b 0a 20 20  vacuum2-2.1 {.  
05f0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 56 41  execsql {.    VA
0600: 43 55 55 4d 0a 20 20 7d 0a 20 20 68 65 78 69 6f  CUUM.  }.  hexio
0610: 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69 6f 5f  _get_int [hexio_
0620: 72 65 61 64 20 74 65 73 74 2e 64 62 20 32 34 20  read test.db 24 
0630: 34 5d 0a 7d 20 5b 65 78 70 72 20 7b 5b 68 65 78  4].} [expr {[hex
0640: 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65 78 69  io_get_int [hexi
0650: 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62 20 32  o_read test.db 2
0660: 34 20 34 5d 5d 2b 31 7d 5d 0a 0a 23 23 23 23 23  4 4]]+1}]..#####
0670: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0680: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
0690: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
06a0: 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23  ################
06b0: 23 23 23 23 23 23 23 0a 23 20 56 65 72 69 66 79  #######.# Verify
06c0: 20 74 68 61 74 20 77 65 20 63 61 6e 20 75 73 65   that we can use
06d0: 20 74 68 65 20 61 75 74 6f 5f 76 61 63 75 75 6d   the auto_vacuum
06e0: 20 70 72 61 67 6d 61 20 74 6f 20 72 65 71 75 65   pragma to reque
06f0: 73 74 20 61 20 6e 65 77 0a 23 20 61 75 74 6f 76  st a new.# autov
0700: 61 63 75 75 6d 20 73 65 74 74 69 6e 67 2c 20 64  acuum setting, d
0710: 6f 20 61 20 56 41 43 55 55 4d 2c 20 61 6e 64 20  o a VACUUM, and 
0720: 74 68 65 20 6e 65 77 20 73 65 74 74 69 6e 67 20  the new setting 
0730: 74 61 6b 65 73 20 65 66 66 65 63 74 2e 0a 23 20  takes effect..# 
0740: 4d 61 6b 65 20 73 75 72 65 20 74 68 69 73 20 68  Make sure this h
0750: 61 70 70 65 6e 73 20 63 6f 72 72 65 63 74 6c 79  appens correctly
0760: 20 65 76 65 6e 20 69 66 20 74 68 65 72 65 20 61   even if there a
0770: 72 65 20 6d 75 6c 74 69 70 6c 65 20 6f 70 65 6e  re multiple open
0780: 0a 23 20 63 6f 6e 6e 65 63 74 69 6f 6e 73 20 74  .# connections t
0790: 6f 20 74 68 65 20 73 61 6d 65 20 64 61 74 61 62  o the same datab
07a0: 61 73 65 20 66 69 6c 65 2e 0a 23 0a 73 71 6c 69  ase file..#.sqli
07b0: 74 65 33 20 64 62 32 20 74 65 73 74 2e 64 62 0a  te3 db2 test.db.
07c0: 73 65 74 20 70 61 67 65 53 69 7a 65 20 5b 64 62  set pageSize [db
07d0: 20 65 76 61 6c 20 7b 70 72 61 67 6d 61 20 70 61   eval {pragma pa
07e0: 67 65 5f 73 69 7a 65 7d 5d 0a 0a 23 20 57 65 20  ge_size}]..# We 
07f0: 61 72 65 20 63 75 72 72 65 6e 74 6c 79 20 6e 6f  are currently no
0800: 74 20 61 75 74 6f 76 61 63 75 75 6d 69 6e 67 20  t autovacuuming 
0810: 73 6f 20 74 68 65 20 64 61 74 61 62 61 73 65 20  so the database 
0820: 73 68 6f 75 6c 64 20 62 65 20 33 20 70 61 67 65  should be 3 page
0830: 73 0a 23 20 69 6e 20 73 69 7a 65 2e 20 20 31 20  s.# in size.  1 
0840: 70 61 67 65 20 66 6f 72 20 65 61 63 68 20 6f 66  page for each of
0850: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 2c 20   sqlite_master, 
0860: 74 31 2c 20 61 6e 64 20 74 32 2e 0a 23 0a 64 6f  t1, and t2..#.do
0870: 5f 74 65 73 74 20 76 61 63 75 75 6d 32 2d 33 2e  _test vacuum2-3.
0880: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0890: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
08a0: 74 31 20 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f  t1 VALUES('hello
08b0: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ');.    INSERT I
08c0: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 27 6f  NTO t2 VALUES('o
08d0: 75 74 20 74 68 65 72 65 27 29 3b 0a 20 20 7d 0a  ut there');.  }.
08e0: 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69    expr {[file si
08f0: 7a 65 20 74 65 73 74 2e 64 62 5d 2f 24 70 61 67  ze test.db]/$pag
0900: 65 53 69 7a 65 7d 0a 7d 20 7b 33 7d 0a 73 65 74  eSize}.} {3}.set
0910: 20 63 6b 73 75 6d 20 5b 63 6b 73 75 6d 5d 0a 64   cksum [cksum].d
0920: 6f 5f 74 65 73 74 20 76 61 63 75 75 6d 32 2d 33  o_test vacuum2-3
0930: 2e 32 20 7b 0a 20 20 63 6b 73 75 6d 20 64 62 32  .2 {.  cksum db2
0940: 0a 7d 20 24 63 6b 73 75 6d 0a 0a 23 20 43 6f 6e  .} $cksum..# Con
0950: 76 65 72 74 20 74 68 65 20 64 61 74 61 62 61 73  vert the databas
0960: 65 20 74 6f 20 61 6e 20 61 75 74 6f 76 61 63 75  e to an autovacu
0970: 75 6d 65 64 20 64 61 74 61 62 61 73 65 2e 0a 69  umed database..i
0980: 66 63 61 70 61 62 6c 65 20 61 75 74 6f 76 61 63  fcapable autovac
0990: 75 75 6d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20  uum {.  do_test 
09a0: 76 61 63 75 75 6d 32 2d 33 2e 33 20 7b 0a 20 20  vacuum2-3.3 {.  
09b0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
09c0: 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61    PRAGMA auto_va
09d0: 63 75 75 6d 3d 46 55 4c 4c 3b 0a 20 20 20 20 20  cuum=FULL;.     
09e0: 20 56 41 43 55 55 4d 3b 0a 20 20 20 20 7d 0a 20   VACUUM;.    }. 
09f0: 20 20 20 65 78 70 72 20 7b 5b 66 69 6c 65 20 73     expr {[file s
0a00: 69 7a 65 20 74 65 73 74 2e 64 62 5d 2f 24 70 61  ize test.db]/$pa
0a10: 67 65 53 69 7a 65 7d 0a 20 20 7d 20 7b 34 7d 0a  geSize}.  } {4}.
0a20: 7d 0a 64 6f 5f 74 65 73 74 20 76 61 63 75 75 6d  }.do_test vacuum
0a30: 32 2d 33 2e 34 20 7b 0a 20 20 63 6b 73 75 6d 20  2-3.4 {.  cksum 
0a40: 64 62 32 0a 7d 20 24 63 6b 73 75 6d 0a 64 6f 5f  db2.} $cksum.do_
0a50: 74 65 73 74 20 76 61 63 75 75 6d 32 2d 33 2e 35  test vacuum2-3.5
0a60: 20 7b 0a 20 20 63 6b 73 75 6d 0a 7d 20 24 63 6b   {.  cksum.} $ck
0a70: 73 75 6d 0a 64 6f 5f 74 65 73 74 20 76 61 63 75  sum.do_test vacu
0a80: 75 6d 32 2d 33 2e 36 20 7b 0a 20 20 65 78 65 63  um2-3.6 {.  exec
0a90: 73 71 6c 20 7b 50 52 41 47 4d 41 20 69 6e 74 65  sql {PRAGMA inte
0aa0: 67 72 69 74 79 5f 63 68 65 63 6b 7d 20 64 62 32  grity_check} db2
0ab0: 0a 7d 20 7b 6f 6b 7d 0a 64 6f 5f 74 65 73 74 20  .} {ok}.do_test 
0ac0: 76 61 63 75 75 6d 32 2d 33 2e 37 20 7b 0a 20 20  vacuum2-3.7 {.  
0ad0: 65 78 65 63 73 71 6c 20 7b 50 52 41 47 4d 41 20  execsql {PRAGMA 
0ae0: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 7d  integrity_check}
0af0: 20 64 62 0a 7d 20 7b 6f 6b 7d 0a 0a 23 20 43 6f   db.} {ok}..# Co
0b00: 6e 76 65 72 74 20 74 68 65 20 64 61 74 61 62 61  nvert the databa
0b10: 73 65 20 62 61 63 6b 20 74 6f 20 61 20 6e 6f 6e  se back to a non
0b20: 2d 61 75 74 6f 76 61 63 75 75 6d 65 64 20 64 61  -autovacuumed da
0b30: 74 61 62 61 73 65 2e 0a 64 6f 5f 74 65 73 74 20  tabase..do_test 
0b40: 76 61 63 75 75 6d 32 2d 33 2e 31 33 20 7b 0a 20  vacuum2-3.13 {. 
0b50: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
0b60: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
0b70: 6d 3d 4e 4f 4e 45 3b 0a 20 20 20 20 56 41 43 55  m=NONE;.    VACU
0b80: 55 4d 3b 0a 20 20 7d 0a 20 20 65 78 70 72 20 7b  UM;.  }.  expr {
0b90: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e  [file size test.
0ba0: 64 62 5d 2f 24 70 61 67 65 53 69 7a 65 7d 0a 7d  db]/$pageSize}.}
0bb0: 20 7b 33 7d 0a 64 6f 5f 74 65 73 74 20 76 61 63   {3}.do_test vac
0bc0: 75 75 6d 32 2d 33 2e 31 34 20 7b 0a 20 20 63 6b  uum2-3.14 {.  ck
0bd0: 73 75 6d 20 64 62 32 0a 7d 20 24 63 6b 73 75 6d  sum db2.} $cksum
0be0: 0a 64 6f 5f 74 65 73 74 20 76 61 63 75 75 6d 32  .do_test vacuum2
0bf0: 2d 33 2e 31 35 20 7b 0a 20 20 63 6b 73 75 6d 0a  -3.15 {.  cksum.
0c00: 7d 20 24 63 6b 73 75 6d 0a 64 6f 5f 74 65 73 74  } $cksum.do_test
0c10: 20 76 61 63 75 75 6d 32 2d 33 2e 31 36 20 7b 0a   vacuum2-3.16 {.
0c20: 20 20 65 78 65 63 73 71 6c 20 7b 50 52 41 47 4d    execsql {PRAGM
0c30: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  A integrity_chec
0c40: 6b 7d 20 64 62 32 0a 7d 20 7b 6f 6b 7d 0a 64 6f  k} db2.} {ok}.do
0c50: 5f 74 65 73 74 20 76 61 63 75 75 6d 32 2d 33 2e  _test vacuum2-3.
0c60: 31 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  17 {.  execsql {
0c70: 50 52 41 47 4d 41 20 69 6e 74 65 67 72 69 74 79  PRAGMA integrity
0c80: 5f 63 68 65 63 6b 7d 20 64 62 0a 7d 20 7b 6f 6b  _check} db.} {ok
0c90: 7d 0a 0a 64 62 32 20 63 6c 6f 73 65 0a 0a 69 66  }..db2 close..if
0ca0: 63 61 70 61 62 6c 65 20 61 75 74 6f 76 61 63 75  capable autovacu
0cb0: 75 6d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 76  um {.  do_test v
0cc0: 61 63 75 75 6d 32 2d 34 2e 31 20 7b 0a 20 20 20  acuum2-4.1 {.   
0cd0: 20 64 62 20 63 6c 6f 73 65 0a 20 20 20 20 66 6f   db close.    fo
0ce0: 72 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64  rcedelete test.d
0cf0: 62 0a 20 20 20 20 73 71 6c 69 74 65 33 20 64 62  b.    sqlite3 db
0d00: 20 74 65 73 74 2e 64 62 0a 20 20 20 20 65 78 65   test.db.    exe
0d10: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 70 72 61  csql {.      pra
0d20: 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3d  gma auto_vacuum=
0d30: 31 3b 0a 20 20 20 20 20 20 63 72 65 61 74 65 20  1;.      create 
0d40: 74 61 62 6c 65 20 74 28 61 2c 20 62 29 3b 0a 20  table t(a, b);. 
0d50: 20 20 20 20 20 69 6e 73 65 72 74 20 69 6e 74 6f       insert into
0d60: 20 74 20 76 61 6c 75 65 73 28 31 2c 20 32 29 3b   t values(1, 2);
0d70: 0a 20 20 20 20 20 20 69 6e 73 65 72 74 20 69 6e  .      insert in
0d80: 74 6f 20 74 20 76 61 6c 75 65 73 28 31 2c 20 32  to t values(1, 2
0d90: 29 3b 0a 20 20 20 20 20 20 70 72 61 67 6d 61 20  );.      pragma 
0da0: 61 75 74 6f 5f 76 61 63 75 75 6d 3d 30 3b 0a 20  auto_vacuum=0;. 
0db0: 20 20 20 20 20 76 61 63 75 75 6d 3b 0a 20 20 20       vacuum;.   
0dc0: 20 20 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76     pragma auto_v
0dd0: 61 63 75 75 6d 3b 0a 20 20 20 20 7d 0a 20 20 7d  acuum;.    }.  }
0de0: 20 7b 30 7d 0a 20 20 64 6f 5f 74 65 73 74 20 76   {0}.  do_test v
0df0: 61 63 75 75 6d 32 2d 34 2e 32 20 7b 0a 20 20 20  acuum2-4.2 {.   
0e00: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20   execsql {.     
0e10: 20 70 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63   pragma auto_vac
0e20: 75 75 6d 3d 31 3b 0a 20 20 20 20 20 20 76 61 63  uum=1;.      vac
0e30: 75 75 6d 3b 0a 20 20 20 20 20 20 70 72 61 67 6d  uum;.      pragm
0e40: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20  a auto_vacuum;. 
0e50: 20 20 20 7d 0a 20 20 7d 20 7b 31 7d 0a 20 20 64     }.  } {1}.  d
0e60: 6f 5f 74 65 73 74 20 76 61 63 75 75 6d 32 2d 34  o_test vacuum2-4
0e70: 2e 33 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c  .3 {.    execsql
0e80: 20 7b 0a 20 20 20 20 20 20 70 72 61 67 6d 61 20   {.      pragma 
0e90: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 0a  integrity_check.
0ea0: 20 20 20 20 7d 0a 20 20 7d 20 7b 6f 6b 7d 0a 20      }.  } {ok}. 
0eb0: 20 64 6f 5f 74 65 73 74 20 76 61 63 75 75 6d 32   do_test vacuum2
0ec0: 2d 34 2e 34 20 7b 0a 20 20 20 20 64 62 20 63 6c  -4.4 {.    db cl
0ed0: 6f 73 65 0a 20 20 20 20 73 71 6c 69 74 65 33 20  ose.    sqlite3 
0ee0: 64 62 20 74 65 73 74 2e 64 62 0a 20 20 20 20 65  db test.db.    e
0ef0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 70  xecsql {.      p
0f00: 72 61 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75  ragma auto_vacuu
0f10: 6d 3b 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 31 7d  m;.    }.  } {1}
0f20: 0a 20 20 64 6f 5f 74 65 73 74 20 76 61 63 75 75  .  do_test vacuu
0f30: 6d 32 2d 34 2e 35 20 7b 20 20 23 20 54 69 63 6b  m2-4.5 {  # Tick
0f40: 65 74 20 23 33 36 36 33 0a 20 20 20 20 65 78 65  et #3663.    exe
0f50: 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 70 72 61  csql {.      pra
0f60: 67 6d 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3d  gma auto_vacuum=
0f70: 32 3b 0a 20 20 20 20 20 20 76 61 63 75 75 6d 3b  2;.      vacuum;
0f80: 0a 20 20 20 20 20 20 70 72 61 67 6d 61 20 61 75  .      pragma au
0f90: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 20 20 7d  to_vacuum;.    }
0fa0: 0a 20 20 7d 20 7b 32 7d 0a 20 20 64 6f 5f 74 65  .  } {2}.  do_te
0fb0: 73 74 20 76 61 63 75 75 6d 32 2d 34 2e 36 20 7b  st vacuum2-4.6 {
0fc0: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 0a 20  .    execsql {. 
0fd0: 20 20 20 20 20 70 72 61 67 6d 61 20 69 6e 74 65       pragma inte
0fe0: 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 20 20 20  grity_check.    
0ff0: 7d 0a 20 20 7d 20 7b 6f 6b 7d 0a 20 20 64 6f 5f  }.  } {ok}.  do_
1000: 74 65 73 74 20 76 61 63 75 75 6d 32 2d 34 2e 37  test vacuum2-4.7
1010: 20 7b 0a 20 20 20 20 64 62 20 63 6c 6f 73 65 0a   {.    db close.
1020: 20 20 20 20 73 71 6c 69 74 65 33 20 64 62 20 74      sqlite3 db t
1030: 65 73 74 2e 64 62 0a 20 20 20 20 65 78 65 63 73  est.db.    execs
1040: 71 6c 20 7b 0a 20 20 20 20 20 20 70 72 61 67 6d  ql {.      pragm
1050: 61 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20  a auto_vacuum;. 
1060: 20 20 20 7d 0a 20 20 7d 20 7b 32 7d 0a 7d 0a 0a     }.  } {2}.}..
1070: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
1080: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1090: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
10a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
10b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68  -----------.# Th
10c0: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 62 6c 6f 63  e following bloc
10d0: 6b 20 6f 66 20 74 65 73 74 73 20 76 65 72 69 66  k of tests verif
10e0: 79 20 74 68 65 20 62 65 68 61 76 69 6f 75 72 20  y the behaviour 
10f0: 6f 66 20 74 68 65 20 6c 69 62 72 61 72 79 20 77  of the library w
1100: 68 65 6e 0a 23 20 61 20 64 61 74 61 62 61 73 65  hen.# a database
1110: 20 69 73 20 56 41 43 55 55 4d 65 64 20 77 68 65   is VACUUMed whe
1120: 6e 20 74 68 65 72 65 20 61 72 65 20 6f 6e 65 20  n there are one 
1130: 6f 72 20 6d 6f 72 65 20 75 6e 66 69 6e 61 6c 69  or more unfinali
1140: 7a 65 64 20 53 51 4c 20 0a 23 20 73 74 61 74 65  zed SQL .# state
1150: 6d 65 6e 74 73 20 72 65 61 64 69 6e 67 20 74 68  ments reading th
1160: 65 20 73 61 6d 65 20 64 61 74 61 62 61 73 65 20  e same database 
1170: 75 73 69 6e 67 20 74 68 65 20 73 61 6d 65 20 64  using the same d
1180: 62 20 68 61 6e 64 6c 65 2e 0a 23 0a 64 62 20 63  b handle..#.db c
1190: 6c 6f 73 65 0a 66 6f 72 63 65 64 65 6c 65 74 65  lose.forcedelete
11a0: 20 74 65 73 74 2e 64 62 0a 73 71 6c 69 74 65 33   test.db.sqlite3
11b0: 20 64 62 20 74 65 73 74 2e 64 62 0a 64 6f 5f 65   db test.db.do_e
11c0: 78 65 63 73 71 6c 5f 74 65 73 74 20 76 61 63 75  xecsql_test vacu
11d0: 75 6d 32 2d 35 2e 31 20 7b 0a 20 20 43 52 45 41  um2-5.1 {.  CREA
11e0: 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 50 52  TE TABLE t1(a PR
11f0: 49 4d 41 52 59 20 4b 45 59 2c 20 62 20 55 4e 49  IMARY KEY, b UNI
1200: 51 55 45 29 3b 0a 20 20 49 4e 53 45 52 54 20 49  QUE);.  INSERT I
1210: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c  NTO t1 VALUES(1,
1220: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29   randomblob(500)
1230: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
1240: 20 74 31 20 53 45 4c 45 43 54 20 61 2b 31 2c 20   t1 SELECT a+1, 
1250: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 20  randomblob(500) 
1260: 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2d 2d  FROM t1;      --
1270: 20 32 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f   2.  INSERT INTO
1280: 20 74 31 20 53 45 4c 45 43 54 20 61 2b 32 2c 20   t1 SELECT a+2, 
1290: 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29 20  randomblob(500) 
12a0: 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2d 2d  FROM t1;      --
12b0: 20 34 20 0a 20 20 49 4e 53 45 52 54 20 49 4e 54   4 .  INSERT INT
12c0: 4f 20 74 31 20 53 45 4c 45 43 54 20 61 2b 34 2c  O t1 SELECT a+4,
12d0: 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30 29   randomblob(500)
12e0: 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20 2d   FROM t1;      -
12f0: 2d 20 38 20 0a 20 20 49 4e 53 45 52 54 20 49 4e  - 8 .  INSERT IN
1300: 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 2b 38  TO t1 SELECT a+8
1310: 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 28 35 30 30  , randomblob(500
1320: 29 20 46 52 4f 4d 20 74 31 3b 20 20 20 20 20 20  ) FROM t1;      
1330: 2d 2d 20 31 36 20 0a 7d 20 7b 7d 0a 0a 64 6f 5f  -- 16 .} {}..do_
1340: 74 65 73 74 20 76 61 63 75 75 6d 32 2d 35 2e 32  test vacuum2-5.2
1350: 20 7b 0a 20 20 6c 69 73 74 20 5b 63 61 74 63 68   {.  list [catch
1360: 20 7b 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b   {.    db eval {
1370: 53 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d  SELECT a, b FROM
1380: 20 74 31 7d 20 7b 20 69 66 20 7b 24 61 20 3d 3d   t1} { if {$a ==
1390: 20 38 7d 20 7b 20 65 78 65 63 73 71 6c 20 56 41   8} { execsql VA
13a0: 43 55 55 4d 20 7d 20 7d 0a 20 20 7d 20 6d 73 67  CUUM } }.  } msg
13b0: 5d 20 24 6d 73 67 0a 7d 20 7b 31 20 7b 63 61 6e  ] $msg.} {1 {can
13c0: 6e 6f 74 20 56 41 43 55 55 4d 20 2d 20 53 51 4c  not VACUUM - SQL
13d0: 20 73 74 61 74 65 6d 65 6e 74 73 20 69 6e 20 70   statements in p
13e0: 72 6f 67 72 65 73 73 7d 7d 0a 0a 64 6f 5f 74 65  rogress}}..do_te
13f0: 73 74 20 76 61 63 75 75 6d 32 2d 35 2e 33 20 7b  st vacuum2-5.3 {
1400: 0a 20 20 6c 69 73 74 20 5b 63 61 74 63 68 20 7b  .  list [catch {
1410: 0a 20 20 20 20 64 62 20 65 76 61 6c 20 7b 53 45  .    db eval {SE
1420: 4c 45 43 54 20 31 2c 20 32 2c 20 33 7d 20 7b 20  LECT 1, 2, 3} { 
1430: 65 78 65 63 73 71 6c 20 56 41 43 55 55 4d 20 7d  execsql VACUUM }
1440: 0a 20 20 7d 20 6d 73 67 5d 20 24 6d 73 67 0a 7d  .  } msg] $msg.}
1450: 20 7b 31 20 7b 63 61 6e 6e 6f 74 20 56 41 43 55   {1 {cannot VACU
1460: 55 4d 20 2d 20 53 51 4c 20 73 74 61 74 65 6d 65  UM - SQL stateme
1470: 6e 74 73 20 69 6e 20 70 72 6f 67 72 65 73 73 7d  nts in progress}
1480: 7d 0a 0a 64 6f 5f 74 65 73 74 20 76 61 63 75 75  }..do_test vacuu
1490: 6d 32 2d 35 2e 34 20 7b 0a 20 20 73 65 74 20 72  m2-5.4 {.  set r
14a0: 65 73 20 22 22 0a 20 20 73 65 74 20 72 65 73 32  es "".  set res2
14b0: 20 22 22 0a 20 20 64 62 20 65 76 61 6c 20 7b 53   "".  db eval {S
14c0: 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20  ELECT a, b FROM 
14d0: 74 31 20 57 48 45 52 45 20 61 3c 3d 31 30 7d 20  t1 WHERE a<=10} 
14e0: 7b 0a 20 20 20 20 69 66 20 7b 24 61 3d 3d 36 7d  {.    if {$a==6}
14f0: 20 7b 20 73 65 74 20 72 65 73 20 5b 63 61 74 63   { set res [catc
1500: 68 73 71 6c 20 56 41 43 55 55 4d 5d 20 7d 0a 20  hsql VACUUM] }. 
1510: 20 20 20 6c 61 70 70 65 6e 64 20 72 65 73 32 20     lappend res2 
1520: 24 61 0a 20 20 7d 0a 20 20 6c 61 70 70 65 6e 64  $a.  }.  lappend
1530: 20 72 65 73 32 20 24 72 65 73 0a 7d 20 7b 31 20   res2 $res.} {1 
1540: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
1550: 31 30 20 7b 31 20 7b 63 61 6e 6e 6f 74 20 56 41  10 {1 {cannot VA
1560: 43 55 55 4d 20 2d 20 53 51 4c 20 73 74 61 74 65  CUUM - SQL state
1570: 6d 65 6e 74 73 20 69 6e 20 70 72 6f 67 72 65 73  ments in progres
1580: 73 7d 7d 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65  s}}}...finish_te
1590: 73 74 0a                                         st.