0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72 # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68 15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 ource code. In
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 al notice, here
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f .# May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 il..# May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 s..# May you
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 ver taking more
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 than you give..#
0120: 0a 23 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 2a 0a 23 20 54 68 69 73 *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 rary. The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 us of this file
01c0: 69 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 53 is testing the S
01d0: 45 4c 45 43 54 20 73 74 61 74 65 6d 65 6e 74 2e ELECT statement.
01e0: 0a 23 0a 23 20 24 49 64 3a 20 61 75 74 6f 76 61 .#.# $Id: autova
01f0: 63 75 75 6d 2e 74 65 73 74 2c 76 20 31 2e 32 39 cuum.test,v 1.29
0200: 20 32 30 30 39 2f 30 34 2f 30 36 20 31 37 3a 35 2009/04/06 17:5
0210: 30 3a 30 33 20 64 61 6e 69 65 6c 6b 31 39 37 37 0:03 danielk1977
0220: 20 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73 74 Exp $..set test
0230: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d dir [file dirnam
0240: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 e $argv0].source
0250: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 $testdir/tester
0260: 2e 74 63 6c 0a 0a 23 20 49 66 20 74 68 69 73 20 .tcl..# If this
0270: 62 75 69 6c 64 20 6f 66 20 74 68 65 20 6c 69 62 build of the lib
0280: 72 61 72 79 20 64 6f 65 73 20 6e 6f 74 20 73 75 rary does not su
0290: 70 70 6f 72 74 20 61 75 74 6f 2d 76 61 63 75 75 pport auto-vacuu
02a0: 6d 2c 20 6f 6d 69 74 20 74 68 69 73 0a 23 20 77 m, omit this.# w
02b0: 68 6f 6c 65 20 66 69 6c 65 2e 0a 69 66 63 61 70 hole file..ifcap
02c0: 61 62 6c 65 20 7b 21 61 75 74 6f 76 61 63 75 75 able {!autovacuu
02d0: 6d 20 7c 7c 20 21 70 72 61 67 6d 61 7d 20 7b 0a m || !pragma} {.
02e0: 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 finish_test.
02f0: 72 65 74 75 72 6e 0a 7d 0a 0a 23 20 52 65 74 75 return.}..# Retu
0300: 72 6e 20 61 20 73 74 72 69 6e 67 20 24 6c 65 6e rn a string $len
0310: 20 63 68 61 72 61 63 74 65 72 73 20 6c 6f 6e 67 characters long
0320: 2e 20 54 68 65 20 72 65 74 75 72 6e 65 64 20 73 . The returned s
0330: 74 72 69 6e 67 20 69 73 20 24 63 68 61 72 20 72 tring is $char r
0340: 65 70 65 61 74 65 64 0a 23 20 6f 76 65 72 20 61 epeated.# over a
0350: 6e 64 20 6f 76 65 72 2e 20 46 6f 72 20 65 78 61 nd over. For exa
0360: 6d 70 6c 65 2c 20 5b 6d 61 6b 65 5f 73 74 72 20 mple, [make_str
0370: 61 62 63 20 38 5d 20 72 65 74 75 72 6e 73 20 22 abc 8] returns "
0380: 61 62 63 61 62 63 61 62 22 2e 0a 70 72 6f 63 20 abcabcab"..proc
0390: 6d 61 6b 65 5f 73 74 72 20 7b 63 68 61 72 20 6c make_str {char l
03a0: 65 6e 7d 20 7b 0a 20 20 73 65 74 20 73 74 72 20 en} {. set str
03b0: 5b 73 74 72 69 6e 67 20 72 65 70 65 61 74 20 24 [string repeat $
03c0: 63 68 61 72 2e 20 24 6c 65 6e 5d 0a 20 20 72 65 char. $len]. re
03d0: 74 75 72 6e 20 5b 73 74 72 69 6e 67 20 72 61 6e turn [string ran
03e0: 67 65 20 24 73 74 72 20 30 20 5b 65 78 70 72 20 ge $str 0 [expr
03f0: 24 6c 65 6e 2d 31 5d 5d 0a 7d 0a 0a 23 20 52 65 $len-1]].}..# Re
0400: 74 75 72 6e 20 74 68 65 20 6e 75 6d 62 65 72 20 turn the number
0410: 6f 66 20 70 61 67 65 73 20 69 6e 20 74 68 65 20 of pages in the
0420: 66 69 6c 65 20 74 65 73 74 2e 64 62 20 62 79 20 file test.db by
0430: 6c 6f 6f 6b 69 6e 67 20 61 74 20 74 68 65 20 66 looking at the f
0440: 69 6c 65 20 73 79 73 74 65 6d 2e 0a 70 72 6f 63 ile system..proc
0450: 20 66 69 6c 65 5f 70 61 67 65 73 20 7b 7d 20 7b file_pages {} {
0460: 0a 20 20 72 65 74 75 72 6e 20 5b 65 78 70 72 20 . return [expr
0470: 5b 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e [file size test.
0480: 64 62 5d 20 2f 20 31 30 32 34 5d 0a 7d 0a 0a 23 db] / 1024].}..#
0490: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
04a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
04b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
04c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
04d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 ---------.# Test
04e0: 20 63 61 73 65 73 20 61 75 74 6f 76 61 63 75 75 cases autovacuu
04f0: 6d 2d 31 2e 2a 20 77 6f 72 6b 20 61 73 20 66 6f m-1.* work as fo
0500: 6c 6c 6f 77 73 3a 0a 23 0a 23 20 31 2e 20 41 20 llows:.#.# 1. A
0510: 74 61 62 6c 65 20 77 69 74 68 20 61 20 73 69 6e table with a sin
0520: 67 6c 65 20 69 6e 64 65 78 65 64 20 66 69 65 6c gle indexed fiel
0530: 64 20 69 73 20 63 72 65 61 74 65 64 2e 0a 23 20 d is created..#
0540: 32 2e 20 41 70 70 72 6f 78 69 6d 61 74 65 6c 79 2. Approximately
0550: 20 32 30 20 72 6f 77 73 20 61 72 65 20 69 6e 73 20 rows are ins
0560: 65 72 74 65 64 20 69 6e 74 6f 20 74 68 65 20 74 erted into the t
0570: 61 62 6c 65 2e 20 45 61 63 68 20 72 6f 77 20 69 able. Each row i
0580: 73 20 6c 6f 6e 67 20 0a 23 20 20 20 20 65 6e 6f s long .# eno
0590: 75 67 68 20 73 75 63 68 20 74 68 61 74 20 69 74 ugh such that it
05a0: 20 75 73 65 73 20 61 74 20 6c 65 61 73 74 20 32 uses at least 2
05b0: 20 6f 76 65 72 66 6c 6f 77 20 70 61 67 65 73 20 overflow pages
05c0: 66 6f 72 20 62 6f 74 68 20 74 68 65 20 74 61 62 for both the tab
05d0: 6c 65 20 0a 23 20 20 20 20 61 6e 64 20 69 6e 64 le .# and ind
05e0: 65 78 20 65 6e 74 72 79 2e 0a 23 20 33 2e 20 54 ex entry..# 3. T
05f0: 68 65 20 72 6f 77 73 20 61 72 65 20 64 65 6c 65 he rows are dele
0600: 74 65 64 20 69 6e 20 61 20 70 73 75 65 64 6f 2d ted in a psuedo-
0610: 72 61 6e 64 6f 6d 20 6f 72 64 65 72 2e 20 53 6f random order. So
0620: 6d 65 74 69 6d 65 73 20 6f 6e 6c 79 20 6f 6e 65 metimes only one
0630: 20 72 6f 77 0a 23 20 20 20 20 69 73 20 64 65 6c row.# is del
0640: 65 74 65 64 20 70 65 72 20 74 72 61 6e 73 61 63 eted per transac
0650: 74 69 6f 6e 2c 20 73 6f 6d 65 74 69 6d 65 73 20 tion, sometimes
0660: 6d 6f 72 65 20 74 68 61 6e 20 6f 6e 65 2e 0a 23 more than one..#
0670: 20 34 2e 20 41 66 74 65 72 20 65 61 63 68 20 74 4. After each t
0680: 72 61 6e 73 61 63 74 69 6f 6e 20 74 68 65 20 74 ransaction the t
0690: 61 62 6c 65 20 64 61 74 61 20 69 73 20 63 68 65 able data is che
06a0: 63 6b 65 64 20 74 6f 20 65 6e 73 75 72 65 20 69 cked to ensure i
06b0: 74 20 69 73 20 63 6f 72 72 65 63 74 0a 23 20 20 t is correct.#
06c0: 20 20 61 6e 64 20 61 20 22 50 52 41 47 4d 41 20 and a "PRAGMA
06d0: 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 22 integrity_check"
06e0: 20 69 73 20 65 78 65 63 75 74 65 64 2e 0a 23 20 is executed..#
06f0: 35 2e 20 4f 6e 63 65 20 61 6c 6c 20 74 68 65 20 5. Once all the
0700: 72 6f 77 73 20 61 72 65 20 64 65 6c 65 74 65 64 rows are deleted
0710: 20 74 68 65 20 66 69 6c 65 20 69 73 20 63 68 65 the file is che
0720: 63 6b 65 64 20 74 6f 20 6d 61 6b 65 20 73 75 72 cked to make sur
0730: 65 20 69 74 20 0a 23 20 20 20 20 63 6f 6e 73 69 e it .# consi
0740: 73 74 73 20 6f 66 20 65 78 61 63 74 6c 79 20 34 sts of exactly 4
0750: 20 70 61 67 65 73 2e 0a 23 0a 23 20 53 74 65 70 pages..#.# Step
0760: 73 20 32 2d 35 20 61 72 65 20 72 65 70 65 61 74 s 2-5 are repeat
0770: 65 64 20 66 6f 72 20 61 20 66 65 77 20 64 69 66 ed for a few dif
0780: 66 65 72 65 6e 74 20 70 73 75 65 64 6f 2d 72 61 ferent psuedo-ra
0790: 6e 64 6f 6d 20 64 65 6c 65 74 65 20 70 61 74 74 ndom delete patt
07a0: 65 72 6e 73 20 0a 23 20 28 64 65 66 69 6e 65 64 erns .# (defined
07b0: 20 62 79 20 74 68 65 20 24 64 65 6c 65 74 65 5f by the $delete_
07c0: 6f 72 64 65 72 73 20 6c 69 73 74 29 2e 0a 73 65 orders list)..se
07d0: 74 20 64 65 6c 65 74 65 5f 6f 72 64 65 72 73 20 t delete_orders
07e0: 5b 6c 69 73 74 5d 0a 6c 61 70 70 65 6e 64 20 64 [list].lappend d
07f0: 65 6c 65 74 65 5f 6f 72 64 65 72 73 20 7b 31 20 elete_orders {1
0800: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20 2 3 4 5 6 7 8 9
0810: 31 30 20 31 31 20 31 32 20 31 33 20 31 34 20 31 10 11 12 13 14 1
0820: 35 20 31 36 20 31 37 20 31 38 20 31 39 20 32 30 5 16 17 18 19 20
0830: 7d 0a 6c 61 70 70 65 6e 64 20 64 65 6c 65 74 65 }.lappend delete
0840: 5f 6f 72 64 65 72 73 20 7b 32 30 20 31 39 20 31 _orders {20 19 1
0850: 38 20 31 37 20 31 36 20 31 35 20 31 34 20 31 33 8 17 16 15 14 13
0860: 20 31 32 20 31 31 20 31 30 20 39 20 38 20 37 20 12 11 10 9 8 7
0870: 36 20 35 20 34 20 33 20 32 20 31 7d 20 0a 6c 61 6 5 4 3 2 1} .la
0880: 70 70 65 6e 64 20 64 65 6c 65 74 65 5f 6f 72 64 ppend delete_ord
0890: 65 72 73 20 7b 38 20 31 38 20 32 20 34 20 31 34 ers {8 18 2 4 14
08a0: 20 31 31 20 31 33 20 33 20 31 30 20 37 20 39 20 11 13 3 10 7 9
08b0: 35 20 31 32 20 31 37 20 31 39 20 31 35 20 32 30 5 12 17 19 15 20
08c0: 20 36 20 31 36 20 31 7d 0a 6c 61 70 70 65 6e 64 6 16 1}.lappend
08d0: 20 64 65 6c 65 74 65 5f 6f 72 64 65 72 73 20 7b delete_orders {
08e0: 31 30 20 33 20 31 31 20 31 37 20 31 39 20 32 30 10 3 11 17 19 20
08f0: 20 37 20 34 20 31 33 20 36 20 31 20 31 34 20 31 7 4 13 6 1 14 1
0900: 36 20 31 32 20 39 20 31 38 20 38 20 31 35 20 35 6 12 9 18 8 15 5
0910: 20 32 7d 0a 6c 61 70 70 65 6e 64 20 64 65 6c 65 2}.lappend dele
0920: 74 65 5f 6f 72 64 65 72 73 20 7b 7b 31 20 32 20 te_orders {{1 2
0930: 33 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30 3 4 5 6 7 8 9 10
0940: 7d 20 7b 31 31 20 31 32 20 31 33 20 31 34 20 31 } {11 12 13 14 1
0950: 35 20 31 36 20 31 37 20 31 38 20 31 39 20 32 30 5 16 17 18 19 20
0960: 7d 7d 0a 6c 61 70 70 65 6e 64 20 64 65 6c 65 74 }}.lappend delet
0970: 65 5f 6f 72 64 65 72 73 20 7b 7b 31 39 20 38 20 e_orders {{19 8
0980: 31 37 20 31 35 7d 20 7b 31 36 20 31 31 20 39 20 17 15} {16 11 9
0990: 31 34 7d 20 7b 31 38 20 35 20 33 20 31 7d 20 7b 14} {18 5 3 1} {
09a0: 31 33 20 32 30 20 37 20 32 7d 20 7b 36 20 31 32 13 20 7 2} {6 12
09b0: 7d 7d 0a 0a 23 20 54 68 65 20 6c 65 6e 67 74 68 }}..# The length
09c0: 20 6f 66 20 65 61 63 68 20 74 61 62 6c 65 20 65 of each table e
09d0: 6e 74 72 79 2e 20 0a 23 20 73 65 74 20 45 4e 54 ntry. .# set ENT
09e0: 52 59 5f 4c 45 4e 20 33 35 30 30 0a 73 65 74 20 RY_LEN 3500.set
09f0: 45 4e 54 52 59 5f 4c 45 4e 20 33 35 30 30 0a 0a ENTRY_LEN 3500..
0a00: 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 do_test autovacu
0a10: 75 6d 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 um-1.1 {. execs
0a20: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 ql {. PRAGMA
0a30: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 31 3b auto_vacuum = 1;
0a40: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
0a50: 45 20 61 76 31 28 61 29 3b 0a 20 20 20 20 43 52 E av1(a);. CR
0a60: 45 41 54 45 20 49 4e 44 45 58 20 61 76 31 5f 69 EATE INDEX av1_i
0a70: 64 78 20 4f 4e 20 61 76 31 28 61 29 3b 0a 20 20 dx ON av1(a);.
0a80: 7d 0a 7d 20 7b 7d 0a 0a 73 65 74 20 74 6e 20 30 }.} {}..set tn 0
0a90: 0a 66 6f 72 65 61 63 68 20 64 65 6c 65 74 65 5f .foreach delete_
0aa0: 6f 72 64 65 72 20 24 64 65 6c 65 74 65 5f 6f 72 order $delete_or
0ab0: 64 65 72 73 20 7b 0a 20 20 69 6e 63 72 20 74 6e ders {. incr tn
0ac0: 0a 0a 20 20 23 20 53 65 74 20 75 70 20 74 68 65 .. # Set up the
0ad0: 20 74 61 62 6c 65 2e 0a 20 20 73 65 74 20 3a 3a table.. set ::
0ae0: 74 62 6c 5f 64 61 74 61 20 5b 6c 69 73 74 5d 0a tbl_data [list].
0af0: 20 20 66 6f 72 65 61 63 68 20 69 20 5b 6c 73 6f foreach i [lso
0b00: 72 74 20 2d 69 6e 74 65 67 65 72 20 5b 65 76 61 rt -integer [eva
0b10: 6c 20 63 6f 6e 63 61 74 20 24 64 65 6c 65 74 65 l concat $delete
0b20: 5f 6f 72 64 65 72 5d 5d 20 7b 0a 20 20 20 20 65 _order]] {. e
0b30: 78 65 63 73 71 6c 20 22 49 4e 53 45 52 54 20 49 xecsql "INSERT I
0b40: 4e 54 4f 20 61 76 31 20 28 6f 69 64 2c 20 61 29 NTO av1 (oid, a)
0b50: 20 56 41 4c 55 45 53 28 24 69 2c 20 27 5b 6d 61 VALUES($i, '[ma
0b60: 6b 65 5f 73 74 72 20 24 69 20 24 45 4e 54 52 59 ke_str $i $ENTRY
0b70: 5f 4c 45 4e 5d 27 29 22 0a 20 20 20 20 6c 61 70 _LEN]')". lap
0b80: 70 65 6e 64 20 3a 3a 74 62 6c 5f 64 61 74 61 20 pend ::tbl_data
0b90: 5b 6d 61 6b 65 5f 73 74 72 20 24 69 20 24 45 4e [make_str $i $EN
0ba0: 54 52 59 5f 4c 45 4e 5d 0a 20 20 7d 0a 0a 20 20 TRY_LEN]. }..
0bb0: 23 20 4d 61 6b 65 20 73 75 72 65 20 74 68 65 20 # Make sure the
0bc0: 69 6e 74 65 67 72 69 74 79 20 63 68 65 63 6b 20 integrity check
0bd0: 70 61 73 73 65 73 20 77 69 74 68 20 74 68 65 20 passes with the
0be0: 69 6e 69 74 69 61 6c 20 64 61 74 61 2e 0a 20 20 initial data..
0bf0: 69 66 63 61 70 61 62 6c 65 20 7b 69 6e 74 65 67 ifcapable {integ
0c00: 72 69 74 79 63 6b 7d 20 7b 0a 20 20 20 20 64 6f rityck} {. do
0c10: 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d _test autovacuum
0c20: 2d 31 2e 24 74 6e 2e 31 20 7b 0a 20 20 20 20 20 -1.$tn.1 {.
0c30: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 execsql {.
0c40: 20 20 20 70 72 61 67 6d 61 20 69 6e 74 65 67 72 pragma integr
0c50: 69 74 79 5f 63 68 65 63 6b 0a 20 20 20 20 20 20 ity_check.
0c60: 7d 0a 20 20 20 20 7d 20 7b 6f 6b 7d 0a 20 20 7d }. } {ok}. }
0c70: 0a 0a 20 20 66 6f 72 65 61 63 68 20 64 65 6c 65 .. foreach dele
0c80: 74 65 20 24 64 65 6c 65 74 65 5f 6f 72 64 65 72 te $delete_order
0c90: 20 7b 0a 20 20 20 20 23 20 44 65 6c 65 74 65 20 {. # Delete
0ca0: 6f 6e 65 20 73 65 74 20 6f 66 20 72 6f 77 73 20 one set of rows
0cb0: 66 72 6f 6d 20 74 68 65 20 74 61 62 6c 65 2e 0a from the table..
0cc0: 20 20 20 20 64 6f 5f 74 65 73 74 20 61 75 74 6f do_test auto
0cd0: 76 61 63 75 75 6d 2d 31 2e 24 74 6e 2e 28 24 64 vacuum-1.$tn.($d
0ce0: 65 6c 65 74 65 29 2e 31 20 7b 0a 20 20 20 20 20 elete).1 {.
0cf0: 20 65 78 65 63 73 71 6c 20 22 0a 20 20 20 20 20 execsql ".
0d00: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 61 DELETE FROM a
0d10: 76 31 20 57 48 45 52 45 20 6f 69 64 20 3d 20 5b v1 WHERE oid = [
0d20: 6a 6f 69 6e 20 24 64 65 6c 65 74 65 20 22 20 4f join $delete " O
0d30: 52 20 6f 69 64 20 3d 20 22 5d 0a 20 20 20 20 20 R oid = "].
0d40: 20 22 0a 20 20 20 20 7d 20 7b 7d 0a 0a 20 20 20 ". } {}..
0d50: 20 23 20 44 6f 20 74 68 65 20 69 6e 74 65 67 72 # Do the integr
0d60: 69 74 79 20 63 68 65 63 6b 2e 0a 20 20 20 20 69 ity check.. i
0d70: 66 63 61 70 61 62 6c 65 20 7b 69 6e 74 65 67 72 fcapable {integr
0d80: 69 74 79 63 6b 7d 20 7b 0a 20 20 20 20 20 20 64 ityck} {. d
0d90: 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 o_test autovacuu
0da0: 6d 2d 31 2e 24 74 6e 2e 28 24 64 65 6c 65 74 65 m-1.$tn.($delete
0db0: 29 2e 32 20 7b 0a 20 20 20 20 20 20 20 20 65 78 ).2 {. ex
0dc0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 20 20 20 20 ecsql {.
0dd0: 20 20 70 72 61 67 6d 61 20 69 6e 74 65 67 72 69 pragma integri
0de0: 74 79 5f 63 68 65 63 6b 0a 20 20 20 20 20 20 20 ty_check.
0df0: 20 7d 0a 20 20 20 20 20 20 7d 20 7b 6f 6b 7d 0a }. } {ok}.
0e00: 20 20 20 20 7d 0a 20 20 20 20 23 20 45 6e 73 75 }. # Ensu
0e10: 72 65 20 74 68 65 20 64 61 74 61 20 72 65 6d 61 re the data rema
0e20: 69 6e 69 6e 67 20 69 6e 20 74 68 65 20 74 61 62 ining in the tab
0e30: 6c 65 20 69 73 20 77 68 61 74 20 77 61 73 20 65 le is what was e
0e40: 78 70 65 63 74 65 64 2e 0a 20 20 20 20 66 6f 72 xpected.. for
0e50: 65 61 63 68 20 64 20 24 64 65 6c 65 74 65 20 7b each d $delete {
0e60: 0a 20 20 20 20 20 20 73 65 74 20 69 64 78 20 5b . set idx [
0e70: 6c 73 65 61 72 63 68 20 24 3a 3a 74 62 6c 5f 64 lsearch $::tbl_d
0e80: 61 74 61 20 5b 6d 61 6b 65 5f 73 74 72 20 24 64 ata [make_str $d
0e90: 20 24 45 4e 54 52 59 5f 4c 45 4e 5d 5d 0a 20 20 $ENTRY_LEN]].
0ea0: 20 20 20 20 73 65 74 20 3a 3a 74 62 6c 5f 64 61 set ::tbl_da
0eb0: 74 61 20 5b 6c 72 65 70 6c 61 63 65 20 24 3a 3a ta [lreplace $::
0ec0: 74 62 6c 5f 64 61 74 61 20 24 69 64 78 20 24 69 tbl_data $idx $i
0ed0: 64 78 5d 0a 20 20 20 20 7d 0a 20 20 20 20 64 6f dx]. }. do
0ee0: 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d _test autovacuum
0ef0: 2d 31 2e 24 74 6e 2e 28 24 64 65 6c 65 74 65 29 -1.$tn.($delete)
0f00: 2e 33 20 7b 0a 20 20 20 20 20 20 65 78 65 63 73 .3 {. execs
0f10: 71 6c 20 7b 0a 20 20 20 20 20 20 20 20 73 65 6c ql {. sel
0f20: 65 63 74 20 61 20 66 72 6f 6d 20 61 76 31 20 6f ect a from av1 o
0f30: 72 64 65 72 20 62 79 20 72 6f 77 69 64 0a 20 20 rder by rowid.
0f40: 20 20 20 20 7d 0a 20 20 20 20 7d 20 24 3a 3a 74 }. } $::t
0f50: 62 6c 5f 64 61 74 61 0a 20 20 7d 0a 0a 20 20 23 bl_data. }.. #
0f60: 20 41 6c 6c 20 72 6f 77 73 20 68 61 76 65 20 62 All rows have b
0f70: 65 65 6e 20 64 65 6c 65 74 65 64 2e 20 45 6e 73 een deleted. Ens
0f80: 75 72 65 20 74 68 65 20 66 69 6c 65 20 68 61 73 ure the file has
0f90: 20 73 68 72 75 6e 6b 20 74 6f 20 34 20 70 61 67 shrunk to 4 pag
0fa0: 65 73 2e 0a 20 20 64 6f 5f 74 65 73 74 20 61 75 es.. do_test au
0fb0: 74 6f 76 61 63 75 75 6d 2d 31 2e 24 74 6e 2e 33 tovacuum-1.$tn.3
0fc0: 20 7b 0a 20 20 20 20 66 69 6c 65 5f 70 61 67 65 {. file_page
0fd0: 73 0a 20 20 7d 20 7b 34 7d 0a 7d 0a 0a 23 2d 2d s. } {4}.}..#--
0fe0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0ff0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1000: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 ---------.# Test
1030: 73 20 63 61 73 65 73 20 61 75 74 6f 76 61 63 75 s cases autovacu
1040: 75 6d 2d 32 2e 2a 20 74 65 73 74 20 74 68 61 74 um-2.* test that
1050: 20 72 6f 6f 74 20 70 61 67 65 73 20 61 72 65 20 root pages are
1060: 61 6c 6c 6f 63 61 74 65 64 20 0a 23 20 61 6e 64 allocated .# and
1070: 20 64 65 61 6c 6c 6f 63 61 74 65 64 20 63 6f 72 deallocated cor
1080: 72 65 63 74 6c 79 20 61 74 20 74 68 65 20 73 74 rectly at the st
1090: 61 72 74 20 6f 66 20 74 68 65 20 66 69 6c 65 2e art of the file.
10a0: 20 4f 70 65 72 61 74 69 6f 6e 20 69 73 20 72 6f Operation is ro
10b0: 75 67 68 6c 79 20 61 73 0a 23 20 66 6f 6c 6c 6f ughly as.# follo
10c0: 77 73 3a 0a 23 0a 23 20 61 75 74 6f 76 61 63 75 ws:.#.# autovacu
10d0: 75 6d 2d 32 2e 31 2e 2a 3a 20 44 72 6f 70 20 74 um-2.1.*: Drop t
10e0: 68 65 20 74 61 62 6c 65 73 20 74 68 61 74 20 63 he tables that c
10f0: 75 72 72 65 6e 74 6c 79 20 65 78 69 73 74 20 69 urrently exist i
1100: 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 0a n the database..
1110: 23 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 32 # autovacuum-2.2
1120: 2e 2a 3a 20 43 72 65 61 74 65 20 73 6f 6d 65 20 .*: Create some
1130: 74 61 62 6c 65 73 2e 20 45 6e 73 75 72 65 20 74 tables. Ensure t
1140: 68 61 74 20 64 61 74 61 20 70 61 67 65 73 20 63 hat data pages c
1150: 61 6e 20 62 65 0a 23 20 20 20 20 20 20 20 20 20 an be.#
1160: 20 20 20 20 20 20 20 20 20 20 6d 6f 76 65 64 20 moved
1170: 63 6f 72 72 65 63 74 6c 79 20 74 6f 20 6d 61 6b correctly to mak
1180: 65 20 73 70 61 63 65 20 66 6f 72 20 6e 65 77 20 e space for new
1190: 72 6f 6f 74 2d 70 61 67 65 73 2e 0a 23 20 61 75 root-pages..# au
11a0: 74 6f 76 61 63 75 75 6d 2d 32 2e 33 2e 2a 3a 20 tovacuum-2.3.*:
11b0: 44 72 6f 70 20 6f 6e 65 20 6f 66 20 74 68 65 20 Drop one of the
11c0: 74 61 62 6c 65 73 20 6a 75 73 74 20 63 72 65 61 tables just crea
11d0: 74 65 64 20 28 6e 6f 74 20 74 68 65 20 6c 61 73 ted (not the las
11e0: 74 20 6f 6e 65 29 2c 0a 23 20 20 20 20 20 20 20 t one),.#
11f0: 20 20 20 20 20 20 20 20 20 20 20 20 61 6e 64 20 and
1200: 63 68 65 63 6b 20 74 68 61 74 20 6f 6e 65 20 6f check that one o
1210: 66 20 74 68 65 20 6f 74 68 65 72 20 74 61 62 6c f the other tabl
1220: 65 73 20 69 73 20 6d 6f 76 65 64 20 74 6f 0a 23 es is moved to.#
1230: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1240: 20 20 20 74 68 65 20 66 72 65 65 20 72 6f 6f 74 the free root
1250: 2d 70 61 67 65 20 6c 6f 63 61 74 69 6f 6e 2e 0a -page location..
1260: 23 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 34 # autovacuum-2.4
1270: 2e 2a 3a 20 43 68 65 63 6b 20 74 68 61 74 20 61 .*: Check that a
1280: 20 74 61 62 6c 65 20 63 61 6e 20 62 65 20 63 72 table can be cr
1290: 65 61 74 65 64 20 63 6f 72 72 65 63 74 6c 79 20 eated correctly
12a0: 77 68 65 6e 20 74 68 65 0a 23 20 20 20 20 20 20 when the.#
12b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 72 6f 6f roo
12c0: 74 2d 70 61 67 65 20 69 74 20 72 65 71 75 69 72 t-page it requir
12d0: 65 73 20 69 73 20 6f 6e 20 74 68 65 20 66 72 65 es is on the fre
12e0: 65 2d 6c 69 73 74 2e 0a 23 20 61 75 74 6f 76 61 e-list..# autova
12f0: 63 75 75 6d 2d 32 2e 35 2e 2a 3a 20 43 68 65 63 cuum-2.5.*: Chec
1300: 6b 20 74 68 61 74 20 61 20 74 61 62 6c 65 20 77 k that a table w
1310: 69 74 68 20 69 6e 64 69 63 65 73 20 63 61 6e 20 ith indices can
1320: 62 65 20 64 72 6f 70 70 65 64 2e 20 54 68 69 73 be dropped. This
1330: 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .#
1340: 20 20 20 20 20 69 73 20 73 6c 69 67 68 74 6c 79 is slightly
1350: 20 74 72 69 63 6b 79 20 62 65 63 61 75 73 65 20 tricky because
1360: 64 72 6f 70 70 69 6e 67 20 6f 6e 65 20 6f 66 20 dropping one of
1370: 74 68 65 0a 23 20 20 20 20 20 20 20 20 20 20 20 the.#
1380: 20 20 20 20 20 20 20 20 69 6e 64 69 63 65 73 2f indices/
1390: 74 61 62 6c 65 20 62 74 72 65 65 73 20 63 6f 75 table btrees cou
13a0: 6c 64 20 6d 6f 76 65 20 74 68 65 20 72 6f 6f 74 ld move the root
13b0: 2d 70 61 67 65 20 6f 66 20 61 6e 6f 74 68 65 72 -page of another
13c0: 2e 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20 ..#
13d0: 20 20 20 20 20 20 54 68 65 20 63 6f 64 65 2d 67 The code-g
13e0: 65 6e 65 72 61 74 69 6f 6e 20 6c 61 79 65 72 20 eneration layer
13f0: 6f 66 20 53 51 4c 69 74 65 20 6f 76 65 72 63 6f of SQLite overco
1400: 6d 65 73 20 74 68 69 73 20 70 72 6f 62 6c 65 6d mes this problem
1410: 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20 20 .#
1420: 20 20 20 20 20 62 79 20 64 72 6f 70 70 69 6e 67 by dropping
1430: 20 74 68 65 20 62 74 72 65 65 73 20 69 6e 20 64 the btrees in d
1440: 65 73 63 65 6e 64 69 6e 67 20 6f 72 64 65 72 20 escending order
1450: 6f 66 20 72 6f 6f 74 2d 70 61 67 65 73 2e 0a 23 of root-pages..#
1460: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
1470: 20 20 20 54 68 69 73 20 74 65 73 74 20 65 6e 73 This test ens
1480: 75 72 65 73 20 74 68 61 74 20 74 68 69 73 20 61 ures that this a
1490: 63 74 75 61 6c 6c 79 20 68 61 70 70 65 6e 73 2e ctually happens.
14a0: 0a 23 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 .#.do_test autov
14b0: 61 63 75 75 6d 2d 32 2e 31 2e 31 20 7b 0a 20 20 acuum-2.1.1 {.
14c0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 execsql {. DR
14d0: 4f 50 20 54 41 42 4c 45 20 61 76 31 3b 0a 20 20 OP TABLE av1;.
14e0: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 61 }.} {}.do_test a
14f0: 75 74 6f 76 61 63 75 75 6d 2d 32 2e 31 2e 32 20 utovacuum-2.1.2
1500: 7b 0a 20 20 66 69 6c 65 5f 70 61 67 65 73 0a 7d {. file_pages.}
1510: 20 7b 31 7d 0a 0a 23 20 43 72 65 61 74 65 20 61 {1}..# Create a
1520: 20 74 61 62 6c 65 20 61 6e 64 20 70 75 74 20 73 table and put s
1530: 6f 6d 65 20 64 61 74 61 20 69 6e 20 69 74 2e 0a ome data in it..
1540: 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 do_test autovacu
1550: 75 6d 2d 32 2e 32 2e 31 20 7b 0a 20 20 65 78 65 um-2.2.1 {. exe
1560: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 csql {. CREAT
1570: 45 20 54 41 42 4c 45 20 61 76 31 28 78 29 3b 0a E TABLE av1(x);.
1580: 20 20 20 20 53 45 4c 45 43 54 20 72 6f 6f 74 70 SELECT rootp
1590: 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f age FROM sqlite_
15a0: 6d 61 73 74 65 72 20 4f 52 44 45 52 20 42 59 20 master ORDER BY
15b0: 72 6f 6f 74 70 61 67 65 3b 0a 20 20 7d 0a 7d 20 rootpage;. }.}
15c0: 7b 33 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f {3}.do_test auto
15d0: 76 61 63 75 75 6d 2d 32 2e 32 2e 32 20 7b 0a 20 vacuum-2.2.2 {.
15e0: 20 65 78 65 63 73 71 6c 20 22 0a 20 20 20 20 49 execsql ". I
15f0: 4e 53 45 52 54 20 49 4e 54 4f 20 61 76 31 20 56 NSERT INTO av1 V
1600: 41 4c 55 45 53 28 27 5b 6d 61 6b 65 5f 73 74 72 ALUES('[make_str
1610: 20 61 62 63 20 33 30 30 30 5d 27 29 3b 0a 20 20 abc 3000]');.
1620: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 76 INSERT INTO av
1630: 31 20 56 41 4c 55 45 53 28 27 5b 6d 61 6b 65 5f 1 VALUES('[make_
1640: 73 74 72 20 64 65 66 20 33 30 30 30 5d 27 29 3b str def 3000]');
1650: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
1660: 20 61 76 31 20 56 41 4c 55 45 53 28 27 5b 6d 61 av1 VALUES('[ma
1670: 6b 65 5f 73 74 72 20 67 68 69 20 33 30 30 30 5d ke_str ghi 3000]
1680: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 ');. INSERT I
1690: 4e 54 4f 20 61 76 31 20 56 41 4c 55 45 53 28 27 NTO av1 VALUES('
16a0: 5b 6d 61 6b 65 5f 73 74 72 20 6a 6b 6c 20 33 30 [make_str jkl 30
16b0: 30 30 5d 27 29 3b 0a 20 20 22 0a 20 20 73 65 74 00]');. ". set
16c0: 20 3a 3a 61 76 31 5f 64 61 74 61 20 5b 64 62 20 ::av1_data [db
16d0: 65 76 61 6c 20 7b 73 65 6c 65 63 74 20 2a 20 66 eval {select * f
16e0: 72 6f 6d 20 61 76 31 7d 5d 0a 20 20 66 69 6c 65 rom av1}]. file
16f0: 5f 70 61 67 65 73 0a 7d 20 7b 31 35 7d 0a 0a 23 _pages.} {15}..#
1700: 20 43 72 65 61 74 65 20 61 6e 6f 74 68 65 72 20 Create another
1710: 74 61 62 6c 65 2e 20 43 68 65 63 6b 20 69 74 20 table. Check it
1720: 69 73 20 6c 6f 63 61 74 65 64 20 69 6d 6d 65 64 is located immed
1730: 69 61 74 65 6c 79 20 61 66 74 65 72 20 74 68 65 iately after the
1740: 20 66 69 72 73 74 2e 0a 23 20 54 68 69 73 20 74 first..# This t
1750: 65 73 74 20 63 61 73 65 20 6d 6f 76 65 73 20 74 est case moves t
1760: 68 65 20 73 65 63 6f 6e 64 20 70 61 67 65 20 69 he second page i
1770: 6e 20 61 6e 20 6f 76 65 72 2d 66 6c 6f 77 20 63 n an over-flow c
1780: 68 61 69 6e 2e 0a 64 6f 5f 74 65 73 74 20 61 75 hain..do_test au
1790: 74 6f 76 61 63 75 75 6d 2d 32 2e 32 2e 33 20 7b tovacuum-2.2.3 {
17a0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
17b0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 61 76 CREATE TABLE av
17c0: 32 28 78 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 2(x);. SELECT
17d0: 20 72 6f 6f 74 70 61 67 65 20 46 52 4f 4d 20 73 rootpage FROM s
17e0: 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 4f 52 44 qlite_master ORD
17f0: 45 52 20 42 59 20 72 6f 6f 74 70 61 67 65 3b 0a ER BY rootpage;.
1800: 20 20 7d 0a 7d 20 7b 33 20 34 7d 0a 64 6f 5f 74 }.} {3 4}.do_t
1810: 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 est autovacuum-2
1820: 2e 32 2e 34 20 7b 0a 20 20 66 69 6c 65 5f 70 61 .2.4 {. file_pa
1830: 67 65 73 0a 7d 20 7b 31 36 7d 0a 0a 23 20 43 72 ges.} {16}..# Cr
1840: 65 61 74 65 20 61 6e 6f 74 68 65 72 20 74 61 62 eate another tab
1850: 6c 65 2e 20 43 68 65 63 6b 20 69 74 20 69 73 20 le. Check it is
1860: 6c 6f 63 61 74 65 64 20 69 6d 6d 65 64 69 61 74 located immediat
1870: 65 6c 79 20 61 66 74 65 72 20 74 68 65 20 73 65 ely after the se
1880: 63 6f 6e 64 2e 0a 23 20 54 68 69 73 20 74 65 73 cond..# This tes
1890: 74 20 63 61 73 65 20 6d 6f 76 65 73 20 74 68 65 t case moves the
18a0: 20 66 69 72 73 74 20 70 61 67 65 20 69 6e 20 61 first page in a
18b0: 6e 20 6f 76 65 72 2d 66 6c 6f 77 20 63 68 61 69 n over-flow chai
18c0: 6e 2e 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 n..do_test autov
18d0: 61 63 75 75 6d 2d 32 2e 32 2e 35 20 7b 0a 20 20 acuum-2.2.5 {.
18e0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 execsql {. CR
18f0: 45 41 54 45 20 54 41 42 4c 45 20 61 76 33 28 78 EATE TABLE av3(x
1900: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f );. SELECT ro
1910: 6f 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 otpage FROM sqli
1920: 74 65 5f 6d 61 73 74 65 72 20 4f 52 44 45 52 20 te_master ORDER
1930: 42 59 20 72 6f 6f 74 70 61 67 65 3b 0a 20 20 7d BY rootpage;. }
1940: 0a 7d 20 7b 33 20 34 20 35 7d 0a 64 6f 5f 74 65 .} {3 4 5}.do_te
1950: 73 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e st autovacuum-2.
1960: 32 2e 36 20 7b 0a 20 20 66 69 6c 65 5f 70 61 67 2.6 {. file_pag
1970: 65 73 0a 7d 20 7b 31 37 7d 0a 0a 23 20 43 72 65 es.} {17}..# Cre
1980: 61 74 65 20 61 6e 6f 74 68 65 72 20 74 61 62 6c ate another tabl
1990: 65 2e 20 43 68 65 63 6b 20 69 74 20 69 73 20 6c e. Check it is l
19a0: 6f 63 61 74 65 64 20 69 6d 6d 65 64 69 61 74 65 ocated immediate
19b0: 6c 79 20 61 66 74 65 72 20 74 68 65 20 73 65 63 ly after the sec
19c0: 6f 6e 64 2e 0a 23 20 54 68 69 73 20 74 65 73 74 ond..# This test
19d0: 20 63 61 73 65 20 6d 6f 76 65 73 20 61 20 62 74 case moves a bt
19e0: 72 65 65 20 6c 65 61 66 20 70 61 67 65 2e 0a 64 ree leaf page..d
19f0: 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 o_test autovacuu
1a00: 6d 2d 32 2e 32 2e 37 20 7b 0a 20 20 65 78 65 63 m-2.2.7 {. exec
1a10: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 sql {. CREATE
1a20: 20 54 41 42 4c 45 20 61 76 34 28 78 29 3b 0a 20 TABLE av4(x);.
1a30: 20 20 20 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 SELECT rootpa
1a40: 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d ge FROM sqlite_m
1a50: 61 73 74 65 72 20 4f 52 44 45 52 20 42 59 20 72 aster ORDER BY r
1a60: 6f 6f 74 70 61 67 65 3b 0a 20 20 7d 0a 7d 20 7b ootpage;. }.} {
1a70: 33 20 34 20 35 20 36 7d 0a 64 6f 5f 74 65 73 74 3 4 5 6}.do_test
1a80: 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 32 2e autovacuum-2.2.
1a90: 38 20 7b 0a 20 20 66 69 6c 65 5f 70 61 67 65 73 8 {. file_pages
1aa0: 0a 7d 20 7b 31 38 7d 0a 64 6f 5f 74 65 73 74 20 .} {18}.do_test
1ab0: 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 32 2e 39 autovacuum-2.2.9
1ac0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 {. execsql {.
1ad0: 20 20 20 73 65 6c 65 63 74 20 2a 20 66 72 6f 6d select * from
1ae0: 20 61 76 31 0a 20 20 7d 0a 7d 20 24 61 76 31 5f av1. }.} $av1_
1af0: 64 61 74 61 0a 0a 64 6f 5f 74 65 73 74 20 61 75 data..do_test au
1b00: 74 6f 76 61 63 75 75 6d 2d 32 2e 33 2e 31 20 7b tovacuum-2.3.1 {
1b10: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
1b20: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 76 32 INSERT INTO av2
1b30: 20 53 45 4c 45 43 54 20 27 61 76 31 27 20 7c 7c SELECT 'av1' ||
1b40: 20 78 20 46 52 4f 4d 20 61 76 31 3b 0a 20 20 20 x FROM av1;.
1b50: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 76 33 INSERT INTO av3
1b60: 20 53 45 4c 45 43 54 20 27 61 76 32 27 20 7c 7c SELECT 'av2' ||
1b70: 20 78 20 46 52 4f 4d 20 61 76 31 3b 0a 20 20 20 x FROM av1;.
1b80: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 76 34 INSERT INTO av4
1b90: 20 53 45 4c 45 43 54 20 27 61 76 33 27 20 7c 7c SELECT 'av3' ||
1ba0: 20 78 20 46 52 4f 4d 20 61 76 31 3b 0a 20 20 7d x FROM av1;. }
1bb0: 0a 20 20 73 65 74 20 3a 3a 61 76 32 5f 64 61 74 . set ::av2_dat
1bc0: 61 20 5b 65 78 65 63 73 71 6c 20 7b 73 65 6c 65 a [execsql {sele
1bd0: 63 74 20 78 20 66 72 6f 6d 20 61 76 32 7d 5d 0a ct x from av2}].
1be0: 20 20 73 65 74 20 3a 3a 61 76 33 5f 64 61 74 61 set ::av3_data
1bf0: 20 5b 65 78 65 63 73 71 6c 20 7b 73 65 6c 65 63 [execsql {selec
1c00: 74 20 78 20 66 72 6f 6d 20 61 76 33 7d 5d 0a 20 t x from av3}].
1c10: 20 73 65 74 20 3a 3a 61 76 34 5f 64 61 74 61 20 set ::av4_data
1c20: 5b 65 78 65 63 73 71 6c 20 7b 73 65 6c 65 63 74 [execsql {select
1c30: 20 78 20 66 72 6f 6d 20 61 76 34 7d 5d 0a 20 20 x from av4}].
1c40: 66 69 6c 65 5f 70 61 67 65 73 0a 7d 20 7b 35 34 file_pages.} {54
1c50: 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 }.do_test autova
1c60: 63 75 75 6d 2d 32 2e 33 2e 32 20 7b 0a 20 20 65 cuum-2.3.2 {. e
1c70: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f xecsql {. DRO
1c80: 50 20 54 41 42 4c 45 20 61 76 32 3b 0a 20 20 20 P TABLE av2;.
1c90: 20 53 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65 SELECT rootpage
1ca0: 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 FROM sqlite_mas
1cb0: 74 65 72 20 4f 52 44 45 52 20 42 59 20 72 6f 6f ter ORDER BY roo
1cc0: 74 70 61 67 65 3b 0a 20 20 7d 0a 7d 20 7b 33 20 tpage;. }.} {3
1cd0: 34 20 35 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 4 5}.do_test aut
1ce0: 6f 76 61 63 75 75 6d 2d 32 2e 33 2e 33 20 7b 0a ovacuum-2.3.3 {.
1cf0: 20 20 66 69 6c 65 5f 70 61 67 65 73 0a 7d 20 7b file_pages.} {
1d00: 34 31 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 41}.do_test auto
1d10: 76 61 63 75 75 6d 2d 32 2e 33 2e 34 20 7b 0a 20 vacuum-2.3.4 {.
1d20: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 execsql {. S
1d30: 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 61 76 33 ELECT x FROM av3
1d40: 3b 0a 20 20 7d 0a 7d 20 24 3a 3a 61 76 33 5f 64 ;. }.} $::av3_d
1d50: 61 74 61 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f ata.do_test auto
1d60: 76 61 63 75 75 6d 2d 32 2e 33 2e 35 20 7b 0a 20 vacuum-2.3.5 {.
1d70: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 execsql {. S
1d80: 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 61 76 34 ELECT x FROM av4
1d90: 3b 0a 20 20 7d 0a 7d 20 24 3a 3a 61 76 34 5f 64 ;. }.} $::av4_d
1da0: 61 74 61 0a 0a 23 20 44 72 6f 70 20 61 6c 6c 20 ata..# Drop all
1db0: 74 68 65 20 74 61 62 6c 65 73 20 69 6e 20 74 68 the tables in th
1dc0: 65 20 66 69 6c 65 2e 20 54 68 69 73 20 70 75 74 e file. This put
1dd0: 73 20 61 6c 6c 20 70 61 67 65 73 20 65 78 63 65 s all pages exce
1de0: 70 74 20 74 68 65 20 66 69 72 73 74 20 32 0a 23 pt the first 2.#
1df0: 20 28 74 68 65 20 73 71 6c 69 74 65 5f 6d 61 73 (the sqlite_mas
1e00: 74 65 72 20 72 6f 6f 74 2d 70 61 67 65 20 61 6e ter root-page an
1e10: 64 20 74 68 65 20 66 69 72 73 74 20 70 6f 69 6e d the first poin
1e20: 74 65 72 20 6d 61 70 20 70 61 67 65 29 20 6f 6e ter map page) on
1e30: 20 74 68 65 20 0a 23 20 66 72 65 65 2d 6c 69 73 the .# free-lis
1e40: 74 2e 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 t..do_test autov
1e50: 61 63 75 75 6d 2d 32 2e 34 2e 31 20 7b 0a 20 20 acuum-2.4.1 {.
1e60: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 execsql {. DR
1e70: 4f 50 20 54 41 42 4c 45 20 61 76 31 3b 0a 20 20 OP TABLE av1;.
1e80: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 61 76 33 DROP TABLE av3
1e90: 3b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 ;. BEGIN;.
1ea0: 20 44 52 4f 50 20 54 41 42 4c 45 20 61 76 34 3b DROP TABLE av4;
1eb0: 0a 20 20 7d 0a 20 20 66 69 6c 65 5f 70 61 67 65 . }. file_page
1ec0: 73 0a 7d 20 7b 31 35 7d 0a 64 6f 5f 74 65 73 74 s.} {15}.do_test
1ed0: 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 34 2e autovacuum-2.4.
1ee0: 32 20 7b 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 2 {. for {set i
1ef0: 20 33 7d 20 7b 24 69 3c 3d 31 30 7d 20 7b 69 6e 3} {$i<=10} {in
1f00: 63 72 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63 cr i} {. exec
1f10: 73 71 6c 20 22 43 52 45 41 54 45 20 54 41 42 4c sql "CREATE TABL
1f20: 45 20 61 76 24 69 20 28 78 29 22 0a 20 20 7d 0a E av$i (x)". }.
1f30: 20 20 66 69 6c 65 5f 70 61 67 65 73 0a 7d 20 7b file_pages.} {
1f40: 31 35 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 15}.do_test auto
1f50: 76 61 63 75 75 6d 2d 32 2e 34 2e 33 20 7b 0a 20 vacuum-2.4.3 {.
1f60: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 execsql {. S
1f70: 45 4c 45 43 54 20 72 6f 6f 74 70 61 67 65 20 46 ELECT rootpage F
1f80: 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 ROM sqlite_maste
1f90: 72 20 4f 52 44 45 52 20 62 79 20 72 6f 6f 74 70 r ORDER by rootp
1fa0: 61 67 65 0a 20 20 7d 0a 7d 20 7b 33 20 34 20 35 age. }.} {3 4 5
1fb0: 20 36 20 37 20 38 20 39 20 31 30 7d 0a 0a 23 20 6 7 8 9 10}..#
1fc0: 52 69 67 68 74 20 6e 6f 77 20 74 68 65 72 65 20 Right now there
1fd0: 61 72 65 20 35 20 66 72 65 65 20 70 61 67 65 73 are 5 free pages
1fe0: 20 69 6e 20 74 68 65 20 64 61 74 61 62 61 73 65 in the database
1ff0: 2e 20 43 6f 6e 73 75 6d 65 20 61 6e 64 20 74 68 . Consume and th
2000: 65 6e 20 66 72 65 65 0a 23 20 61 6c 6c 20 35 32 en free.# all 52
2010: 30 20 70 61 67 65 73 2e 20 54 68 65 6e 20 63 72 0 pages. Then cr
2020: 65 61 74 65 20 35 32 30 20 74 61 62 6c 65 73 2e eate 520 tables.
2030: 20 54 68 69 73 20 65 6e 73 75 72 65 73 20 74 68 This ensures th
2040: 61 74 20 61 74 20 6c 65 61 73 74 20 73 6f 6d 65 at at least some
2050: 20 6f 66 20 74 68 65 0a 23 20 64 65 73 69 72 65 of the.# desire
2060: 64 20 72 6f 6f 74 2d 70 61 67 65 73 20 72 65 73 d root-pages res
2070: 69 64 65 20 6f 6e 20 74 68 65 20 73 65 63 6f 6e ide on the secon
2080: 64 20 66 72 65 65 2d 6c 69 73 74 20 74 72 75 6e d free-list trun
2090: 6b 20 70 61 67 65 2c 20 61 6e 64 20 74 68 61 74 k page, and that
20a0: 20 74 68 65 0a 23 20 74 72 75 6e 6b 20 69 74 73 the.# trunk its
20b0: 65 6c 66 20 69 73 20 72 65 71 75 69 72 65 64 20 elf is required
20c0: 61 74 20 73 6f 6d 65 20 70 6f 69 6e 74 2e 0a 64 at some point..d
20d0: 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 o_test autovacuu
20e0: 6d 2d 32 2e 34 2e 34 20 7b 0a 20 20 65 78 65 63 m-2.4.4 {. exec
20f0: 73 71 6c 20 22 0a 20 20 20 20 49 4e 53 45 52 54 sql ". INSERT
2100: 20 49 4e 54 4f 20 61 76 33 20 56 41 4c 55 45 53 INTO av3 VALUES
2110: 20 28 27 5b 6d 61 6b 65 5f 73 74 72 20 61 62 63 ('[make_str abc
2120: 64 65 20 5b 65 78 70 72 20 31 30 32 30 2a 35 32 de [expr 1020*52
2130: 30 20 2b 20 35 30 30 5d 5d 27 29 3b 0a 20 20 20 0 + 500]]');.
2140: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 61 76 33 DELETE FROM av3
2150: 3b 0a 20 20 22 0a 7d 20 7b 7d 0a 73 65 74 20 72 ;. ".} {}.set r
2160: 6f 6f 74 5f 70 61 67 65 5f 6c 69 73 74 20 5b 6c oot_page_list [l
2170: 69 73 74 5d 0a 73 65 74 20 70 65 6e 64 69 6e 67 ist].set pending
2180: 5f 62 79 74 65 5f 70 61 67 65 20 5b 65 78 70 72 _byte_page [expr
2190: 20 28 24 3a 3a 73 71 6c 69 74 65 5f 70 65 6e 64 ($::sqlite_pend
21a0: 69 6e 67 5f 62 79 74 65 20 2f 20 31 30 32 34 29 ing_byte / 1024)
21b0: 20 2b 20 31 5d 0a 0a 23 20 75 6e 75 73 61 62 6c + 1]..# unusabl
21c0: 65 5f 70 61 67 65 73 0a 23 20 54 68 65 73 65 20 e_pages.# These
21d0: 61 72 65 20 65 69 74 68 65 72 20 74 68 65 20 70 are either the p
21e0: 65 6e 64 69 6e 67 5f 62 79 74 65 20 70 61 67 65 ending_byte page
21f0: 20 6f 72 20 74 68 65 20 70 6f 69 6e 74 65 72 20 or the pointer
2200: 6d 61 70 20 70 61 67 65 73 0a 23 0a 75 6e 73 65 map pages.#.unse
2210: 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20 75 6e t -nocomplain un
2220: 75 73 61 62 6c 65 5f 70 61 67 65 0a 69 66 20 7b usable_page.if {
2230: 5b 73 71 6c 69 74 65 33 20 2d 68 61 73 2d 63 6f [sqlite3 -has-co
2240: 64 65 63 5d 7d 20 7b 0a 20 20 61 72 72 61 79 20 dec]} {. array
2250: 73 65 74 20 75 6e 75 73 61 62 6c 65 5f 70 61 67 set unusable_pag
2260: 65 20 7b 32 30 35 20 31 20 34 30 38 20 31 7d 0a e {205 1 408 1}.
2270: 7d 20 65 6c 73 65 20 7b 0a 20 20 61 72 72 61 79 } else {. array
2280: 20 73 65 74 20 75 6e 75 73 61 62 6c 65 5f 70 61 set unusable_pa
2290: 67 65 20 7b 32 30 37 20 31 20 34 31 32 20 31 7d ge {207 1 412 1}
22a0: 0a 7d 0a 73 65 74 20 75 6e 75 73 61 62 6c 65 5f .}.set unusable_
22b0: 70 61 67 65 28 24 70 65 6e 64 69 6e 67 5f 62 79 page($pending_by
22c0: 74 65 5f 70 61 67 65 29 20 31 0a 0a 66 6f 72 20 te_page) 1..for
22d0: 7b 73 65 74 20 69 20 33 7d 20 7b 24 69 3c 3d 35 {set i 3} {$i<=5
22e0: 33 32 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 32} {incr i} {.
22f0: 20 69 66 20 7b 21 5b 69 6e 66 6f 20 65 78 69 73 if {![info exis
2300: 74 73 20 75 6e 75 73 61 62 6c 65 5f 70 61 67 65 ts unusable_page
2310: 28 24 69 29 5d 7d 20 7b 0a 20 20 20 20 6c 61 70 ($i)]} {. lap
2320: 70 65 6e 64 20 72 6f 6f 74 5f 70 61 67 65 5f 6c pend root_page_l
2330: 69 73 74 20 24 69 0a 20 20 7d 0a 7d 0a 69 66 20 ist $i. }.}.if
2340: 7b 24 69 20 3e 3d 20 24 70 65 6e 64 69 6e 67 5f {$i >= $pending_
2350: 62 79 74 65 5f 70 61 67 65 7d 20 7b 0a 20 20 6c byte_page} {. l
2360: 61 70 70 65 6e 64 20 72 6f 6f 74 5f 70 61 67 65 append root_page
2370: 5f 6c 69 73 74 20 24 69 0a 7d 0a 64 6f 5f 74 65 _list $i.}.do_te
2380: 73 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e st autovacuum-2.
2390: 34 2e 35 20 7b 0a 20 20 66 6f 72 20 7b 73 65 74 4.5 {. for {set
23a0: 20 69 20 31 31 7d 20 7b 24 69 3c 3d 35 33 30 7d i 11} {$i<=530}
23b0: 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 {incr i} {.
23c0: 65 78 65 63 73 71 6c 20 22 43 52 45 41 54 45 20 execsql "CREATE
23d0: 54 41 42 4c 45 20 61 76 24 69 20 28 78 29 22 0a TABLE av$i (x)".
23e0: 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a }. execsql {.
23f0: 20 20 20 20 53 45 4c 45 43 54 20 72 6f 6f 74 70 SELECT rootp
2400: 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f age FROM sqlite_
2410: 6d 61 73 74 65 72 20 4f 52 44 45 52 20 62 79 20 master ORDER by
2420: 72 6f 6f 74 70 61 67 65 0a 20 20 7d 0a 7d 20 24 rootpage. }.} $
2430: 72 6f 6f 74 5f 70 61 67 65 5f 6c 69 73 74 0a 0a root_page_list..
2440: 23 20 4a 75 73 74 20 66 6f 72 20 66 75 6e 2c 20 # Just for fun,
2450: 64 65 6c 65 74 65 20 61 6c 6c 20 74 68 6f 73 65 delete all those
2460: 20 74 61 62 6c 65 73 20 61 6e 64 20 73 65 65 20 tables and see
2470: 69 66 20 74 68 65 20 64 61 74 61 62 61 73 65 20 if the database
2480: 69 73 20 31 20 70 61 67 65 2e 0a 64 6f 5f 74 65 is 1 page..do_te
2490: 73 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e st autovacuum-2.
24a0: 34 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 4.6 {. execsql
24b0: 43 4f 4d 4d 49 54 3b 0a 20 20 66 69 6c 65 5f 70 COMMIT;. file_p
24c0: 61 67 65 73 0a 7d 20 5b 65 78 70 72 20 35 36 31 ages.} [expr 561
24d0: 20 2b 20 28 28 24 69 20 3e 3d 20 24 70 65 6e 64 + (($i >= $pend
24e0: 69 6e 67 5f 62 79 74 65 5f 70 61 67 65 29 3f 31 ing_byte_page)?1
24f0: 3a 30 29 5d 0a 69 6e 74 65 67 72 69 74 79 5f 63 :0)].integrity_c
2500: 68 65 63 6b 20 61 75 74 6f 76 61 63 75 75 6d 2d heck autovacuum-
2510: 32 2e 34 2e 36 0a 64 6f 5f 74 65 73 74 20 61 75 2.4.6.do_test au
2520: 74 6f 76 61 63 75 75 6d 2d 32 2e 34 2e 37 20 7b tovacuum-2.4.7 {
2530: 0a 20 20 65 78 65 63 73 71 6c 20 42 45 47 49 4e . execsql BEGIN
2540: 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 33 7d . for {set i 3}
2550: 20 7b 24 69 3c 3d 35 33 30 7d 20 7b 69 6e 63 72 {$i<=530} {incr
2560: 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63 73 71 i} {. execsq
2570: 6c 20 22 44 52 4f 50 20 54 41 42 4c 45 20 61 76 l "DROP TABLE av
2580: 24 69 22 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 $i". }. execsq
2590: 6c 20 43 4f 4d 4d 49 54 0a 20 20 66 69 6c 65 5f l COMMIT. file_
25a0: 70 61 67 65 73 0a 7d 20 31 0a 0a 23 20 43 72 65 pages.} 1..# Cre
25b0: 61 74 65 20 73 6f 6d 65 20 74 61 62 6c 65 73 20 ate some tables
25c0: 77 69 74 68 20 69 6e 64 69 63 65 73 20 74 6f 20 with indices to
25d0: 64 72 6f 70 2e 0a 64 6f 5f 74 65 73 74 20 61 75 drop..do_test au
25e0: 74 6f 76 61 63 75 75 6d 2d 32 2e 35 2e 31 20 7b tovacuum-2.5.1 {
25f0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 . execsql {.
2600: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 61 76 CREATE TABLE av
2610: 31 28 61 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 1(a PRIMARY KEY,
2620: 20 62 2c 20 63 29 3b 0a 20 20 20 20 49 4e 53 45 b, c);. INSE
2630: 52 54 20 49 4e 54 4f 20 61 76 31 20 56 41 4c 55 RT INTO av1 VALU
2640: 45 53 28 27 61 76 31 20 61 27 2c 20 27 61 76 31 ES('av1 a', 'av1
2650: 20 62 27 2c 20 27 61 76 31 20 63 27 29 3b 0a 0a b', 'av1 c');..
2660: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 CREATE TABLE
2670: 20 61 76 32 28 61 20 50 52 49 4d 41 52 59 20 4b av2(a PRIMARY K
2680: 45 59 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 43 EY, b, c);. C
2690: 52 45 41 54 45 20 49 4e 44 45 58 20 61 76 32 5f REATE INDEX av2_
26a0: 69 31 20 4f 4e 20 61 76 32 28 62 29 3b 0a 20 20 i1 ON av2(b);.
26b0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 61 CREATE INDEX a
26c0: 76 32 5f 69 32 20 4f 4e 20 61 76 32 28 63 29 3b v2_i2 ON av2(c);
26d0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
26e0: 20 61 76 32 20 56 41 4c 55 45 53 28 27 61 76 32 av2 VALUES('av2
26f0: 20 61 27 2c 20 27 61 76 32 20 62 27 2c 20 27 61 a', 'av2 b', 'a
2700: 76 32 20 63 27 29 3b 0a 0a 20 20 20 20 43 52 45 v2 c');.. CRE
2710: 41 54 45 20 54 41 42 4c 45 20 61 76 33 28 61 20 ATE TABLE av3(a
2720: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 2c 20 PRIMARY KEY, b,
2730: 63 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 c);. CREATE I
2740: 4e 44 45 58 20 61 76 33 5f 69 31 20 4f 4e 20 61 NDEX av3_i1 ON a
2750: 76 33 28 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 v3(b);. INSER
2760: 54 20 49 4e 54 4f 20 61 76 33 20 56 41 4c 55 45 T INTO av3 VALUE
2770: 53 28 27 61 76 33 20 61 27 2c 20 27 61 76 33 20 S('av3 a', 'av3
2780: 62 27 2c 20 27 61 76 33 20 63 27 29 3b 0a 0a 20 b', 'av3 c');..
2790: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 CREATE TABLE
27a0: 61 76 34 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 av4(a, b, c);.
27b0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 61 CREATE INDEX a
27c0: 76 34 5f 69 31 20 4f 4e 20 61 76 34 28 61 29 3b v4_i1 ON av4(a);
27d0: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 . CREATE INDE
27e0: 58 20 61 76 34 5f 69 32 20 4f 4e 20 61 76 34 28 X av4_i2 ON av4(
27f0: 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 b);. CREATE I
2800: 4e 44 45 58 20 61 76 34 5f 69 33 20 4f 4e 20 61 NDEX av4_i3 ON a
2810: 76 34 28 63 29 3b 0a 20 20 20 20 43 52 45 41 54 v4(c);. CREAT
2820: 45 20 49 4e 44 45 58 20 61 76 34 5f 69 34 20 4f E INDEX av4_i4 O
2830: 4e 20 61 76 34 28 61 2c 20 62 2c 20 63 29 3b 0a N av4(a, b, c);.
2840: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
2850: 61 76 34 20 56 41 4c 55 45 53 28 27 61 76 34 20 av4 VALUES('av4
2860: 61 27 2c 20 27 61 76 34 20 62 27 2c 20 27 61 76 a', 'av4 b', 'av
2870: 34 20 63 27 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 4 c');. }.} {}.
2880: 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 .do_test autovac
2890: 75 75 6d 2d 32 2e 35 2e 32 20 7b 0a 20 20 65 78 uum-2.5.2 {. ex
28a0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 ecsql {. SELE
28b0: 43 54 20 6e 61 6d 65 2c 20 72 6f 6f 74 70 61 67 CT name, rootpag
28c0: 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 e FROM sqlite_ma
28d0: 73 74 65 72 3b 0a 20 20 7d 0a 7d 20 5b 6c 69 73 ster;. }.} [lis
28e0: 74 20 61 76 31 20 33 20 20 73 71 6c 69 74 65 5f t av1 3 sqlite_
28f0: 61 75 74 6f 69 6e 64 65 78 5f 61 76 31 5f 31 20 autoindex_av1_1
2900: 34 20 5c 0a 20 20 20 20 20 20 20 20 61 76 32 20 4 \. av2
2910: 35 20 20 73 71 6c 69 74 65 5f 61 75 74 6f 69 6e 5 sqlite_autoin
2920: 64 65 78 5f 61 76 32 5f 31 20 36 20 61 76 32 5f dex_av2_1 6 av2_
2930: 69 31 20 37 20 61 76 32 5f 69 32 20 38 20 5c 0a i1 7 av2_i2 8 \.
2940: 20 20 20 20 20 20 20 20 61 76 33 20 39 20 73 71 av3 9 sq
2950: 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 61 lite_autoindex_a
2960: 76 33 5f 31 20 31 30 20 61 76 33 5f 69 31 20 31 v3_1 10 av3_i1 1
2970: 31 20 5c 0a 20 20 20 20 20 20 20 20 61 76 34 20 1 \. av4
2980: 31 32 20 61 76 34 5f 69 31 20 31 33 20 61 76 34 12 av4_i1 13 av4
2990: 5f 69 32 20 31 34 20 61 76 34 5f 69 33 20 31 35 _i2 14 av4_i3 15
29a0: 20 61 76 34 5f 69 34 20 31 36 20 5c 0a 5d 0a 0a av4_i4 16 \.]..
29b0: 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 # The following
29c0: 34 20 74 65 73 74 73 20 61 72 65 20 53 45 4c 45 4 tests are SELE
29d0: 43 54 20 71 75 65 72 69 65 73 20 74 68 61 74 20 CT queries that
29e0: 75 73 65 20 74 68 65 20 69 6e 64 69 63 65 73 20 use the indices
29f0: 63 72 65 61 74 65 64 2e 0a 23 20 49 66 20 74 68 created..# If th
2a00: 65 20 72 6f 6f 74 2d 70 61 67 65 73 20 69 6e 20 e root-pages in
2a10: 74 68 65 20 69 6e 74 65 72 6e 61 6c 20 73 63 68 the internal sch
2a20: 65 6d 61 20 61 72 65 20 6e 6f 74 20 75 70 64 61 ema are not upda
2a30: 74 65 64 20 63 6f 72 72 65 63 74 6c 79 20 77 68 ted correctly wh
2a40: 65 6e 0a 23 20 61 20 74 61 62 6c 65 20 6f 72 20 en.# a table or
2a50: 69 6e 64 69 63 65 20 69 73 20 6d 6f 76 65 64 2c indice is moved,
2a60: 20 74 68 65 73 65 20 71 75 65 72 69 65 73 20 77 these queries w
2a70: 69 6c 6c 20 66 61 69 6c 2e 20 54 68 65 79 20 61 ill fail. They a
2a80: 72 65 20 72 65 70 65 61 74 65 64 0a 23 20 61 66 re repeated.# af
2a90: 74 65 72 20 65 61 63 68 20 74 61 62 6c 65 20 69 ter each table i
2aa0: 73 20 64 72 6f 70 70 65 64 20 28 69 2e 65 2e 20 s dropped (i.e.
2ab0: 61 73 20 74 65 73 74 20 63 61 73 65 73 20 32 2e as test cases 2.
2ac0: 35 2e 2a 2e 5b 31 2e 2e 34 5d 29 2e 0a 64 6f 5f 5.*.[1..4])..do_
2ad0: 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d 2d test autovacuum-
2ae0: 32 2e 35 2e 32 2e 31 20 7b 0a 20 20 65 78 65 63 2.5.2.1 {. exec
2af0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 sql {. SELECT
2b00: 20 2a 20 46 52 4f 4d 20 61 76 31 20 57 48 45 52 * FROM av1 WHER
2b10: 45 20 61 20 3d 20 27 61 76 31 20 61 27 3b 0a 20 E a = 'av1 a';.
2b20: 20 7d 0a 7d 20 7b 7b 61 76 31 20 61 7d 20 7b 61 }.} {{av1 a} {a
2b30: 76 31 20 62 7d 20 7b 61 76 31 20 63 7d 7d 0a 64 v1 b} {av1 c}}.d
2b40: 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 o_test autovacuu
2b50: 6d 2d 32 2e 35 2e 32 2e 32 20 7b 0a 20 20 65 78 m-2.5.2.2 {. ex
2b60: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 ecsql {. SELE
2b70: 43 54 20 2a 20 46 52 4f 4d 20 61 76 32 20 57 48 CT * FROM av2 WH
2b80: 45 52 45 20 61 20 3d 20 27 61 76 32 20 61 27 20 ERE a = 'av2 a'
2b90: 41 4e 44 20 62 20 3d 20 27 61 76 32 20 62 27 20 AND b = 'av2 b'
2ba0: 41 4e 44 20 63 20 3d 20 27 61 76 32 20 63 27 0a AND c = 'av2 c'.
2bb0: 20 20 7d 0a 7d 20 7b 7b 61 76 32 20 61 7d 20 7b }.} {{av2 a} {
2bc0: 61 76 32 20 62 7d 20 7b 61 76 32 20 63 7d 7d 0a av2 b} {av2 c}}.
2bd0: 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 do_test autovacu
2be0: 75 6d 2d 32 2e 35 2e 32 2e 33 20 7b 0a 20 20 65 um-2.5.2.3 {. e
2bf0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c xecsql {. SEL
2c00: 45 43 54 20 2a 20 46 52 4f 4d 20 61 76 33 20 57 ECT * FROM av3 W
2c10: 48 45 52 45 20 61 20 3d 20 27 61 76 33 20 61 27 HERE a = 'av3 a'
2c20: 20 41 4e 44 20 62 20 3d 20 27 61 76 33 20 62 27 AND b = 'av3 b'
2c30: 3b 0a 20 20 7d 0a 7d 20 7b 7b 61 76 33 20 61 7d ;. }.} {{av3 a}
2c40: 20 7b 61 76 33 20 62 7d 20 7b 61 76 33 20 63 7d {av3 b} {av3 c}
2c50: 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 }.do_test autova
2c60: 63 75 75 6d 2d 32 2e 35 2e 32 2e 34 20 7b 0a 20 cuum-2.5.2.4 {.
2c70: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 execsql {. S
2c80: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 76 34 ELECT * FROM av4
2c90: 20 57 48 45 52 45 20 61 20 3d 20 27 61 76 34 20 WHERE a = 'av4
2ca0: 61 27 20 41 4e 44 20 62 20 3d 20 27 61 76 34 20 a' AND b = 'av4
2cb0: 62 27 20 41 4e 44 20 63 20 3d 20 27 61 76 34 20 b' AND c = 'av4
2cc0: 63 27 3b 0a 20 20 7d 0a 7d 20 7b 7b 61 76 34 20 c';. }.} {{av4
2cd0: 61 7d 20 7b 61 76 34 20 62 7d 20 7b 61 76 34 20 a} {av4 b} {av4
2ce0: 63 7d 7d 0a 0a 23 20 44 72 6f 70 20 74 61 62 6c c}}..# Drop tabl
2cf0: 65 20 61 76 33 2e 20 49 6e 64 69 63 65 73 20 61 e av3. Indices a
2d00: 76 34 5f 69 32 2c 20 61 76 34 5f 69 33 20 61 6e v4_i2, av4_i3 an
2d10: 64 20 61 76 34 5f 69 34 20 61 72 65 20 6d 6f 76 d av4_i4 are mov
2d20: 65 64 20 74 6f 20 66 69 6c 6c 20 74 68 65 20 74 ed to fill the t
2d30: 77 6f 0a 23 20 72 6f 6f 74 20 70 61 67 65 73 20 wo.# root pages
2d40: 76 61 63 61 74 65 64 2e 20 54 68 65 20 6f 70 65 vacated. The ope
2d50: 72 61 74 69 6f 6e 20 70 72 6f 63 65 65 64 73 20 ration proceeds
2d60: 61 73 3a 0a 23 20 53 74 65 70 20 31 3a 20 44 65 as:.# Step 1: De
2d70: 6c 65 74 65 20 61 76 33 5f 69 31 20 28 72 6f 6f lete av3_i1 (roo
2d80: 74 2d 70 61 67 65 20 31 31 29 2e 20 4d 6f 76 65 t-page 11). Move
2d90: 20 72 6f 6f 74 2d 70 61 67 65 20 6f 66 20 61 76 root-page of av
2da0: 34 5f 69 34 20 74 6f 20 70 61 67 65 20 31 31 2e 4_i4 to page 11.
2db0: 0a 23 20 53 74 65 70 20 32 3a 20 44 65 6c 65 74 .# Step 2: Delet
2dc0: 65 20 61 76 33 20 28 72 6f 6f 74 2d 70 61 67 65 e av3 (root-page
2dd0: 20 31 30 29 2e 20 4d 6f 76 65 20 72 6f 6f 74 2d 10). Move root-
2de0: 70 61 67 65 20 6f 66 20 61 76 34 5f 69 33 20 74 page of av4_i3 t
2df0: 6f 20 70 61 67 65 20 31 30 2e 0a 23 20 53 74 65 o page 10..# Ste
2e00: 70 20 33 3a 20 44 65 6c 65 74 65 20 73 71 6c 69 p 3: Delete sqli
2e10: 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 61 76 31 te_autoindex_av1
2e20: 5f 33 20 28 72 6f 6f 74 2d 70 61 67 65 20 39 29 _3 (root-page 9)
2e30: 2e 20 4d 6f 76 65 20 61 76 34 5f 69 32 20 74 6f . Move av4_i2 to
2e40: 20 70 61 67 65 20 39 2e 0a 64 6f 5f 74 65 73 74 page 9..do_test
2e50: 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 35 2e autovacuum-2.5.
2e60: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 3 {. execsql {.
2e70: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 61 DROP TABLE a
2e80: 76 33 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 6e v3;. SELECT n
2e90: 61 6d 65 2c 20 72 6f 6f 74 70 61 67 65 20 46 52 ame, rootpage FR
2ea0: 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 OM sqlite_master
2eb0: 3b 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 61 76 ;. }.} [list av
2ec0: 31 20 33 20 20 73 71 6c 69 74 65 5f 61 75 74 6f 1 3 sqlite_auto
2ed0: 69 6e 64 65 78 5f 61 76 31 5f 31 20 34 20 5c 0a index_av1_1 4 \.
2ee0: 20 20 20 20 20 20 20 20 61 76 32 20 35 20 20 73 av2 5 s
2ef0: 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f qlite_autoindex_
2f00: 61 76 32 5f 31 20 36 20 61 76 32 5f 69 31 20 37 av2_1 6 av2_i1 7
2f10: 20 61 76 32 5f 69 32 20 38 20 5c 0a 20 20 20 20 av2_i2 8 \.
2f20: 20 20 20 20 61 76 34 20 31 32 20 61 76 34 5f 69 av4 12 av4_i
2f30: 31 20 31 33 20 61 76 34 5f 69 32 20 39 20 61 76 1 13 av4_i2 9 av
2f40: 34 5f 69 33 20 31 30 20 61 76 34 5f 69 34 20 31 4_i3 10 av4_i4 1
2f50: 31 20 5c 0a 5d 0a 64 6f 5f 74 65 73 74 20 61 75 1 \.].do_test au
2f60: 74 6f 76 61 63 75 75 6d 2d 32 2e 35 2e 33 2e 31 tovacuum-2.5.3.1
2f70: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 {. execsql {.
2f80: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d SELECT * FROM
2f90: 20 61 76 31 20 57 48 45 52 45 20 61 20 3d 20 27 av1 WHERE a = '
2fa0: 61 76 31 20 61 27 3b 0a 20 20 7d 0a 7d 20 7b 7b av1 a';. }.} {{
2fb0: 61 76 31 20 61 7d 20 7b 61 76 31 20 62 7d 20 7b av1 a} {av1 b} {
2fc0: 61 76 31 20 63 7d 7d 0a 64 6f 5f 74 65 73 74 20 av1 c}}.do_test
2fd0: 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 35 2e 33 autovacuum-2.5.3
2fe0: 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b .2 {. execsql {
2ff0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 . SELECT * FR
3000: 4f 4d 20 61 76 32 20 57 48 45 52 45 20 61 20 3d OM av2 WHERE a =
3010: 20 27 61 76 32 20 61 27 20 41 4e 44 20 62 20 3d 'av2 a' AND b =
3020: 20 27 61 76 32 20 62 27 20 41 4e 44 20 63 20 3d 'av2 b' AND c =
3030: 20 27 61 76 32 20 63 27 0a 20 20 7d 0a 7d 20 7b 'av2 c'. }.} {
3040: 7b 61 76 32 20 61 7d 20 7b 61 76 32 20 62 7d 20 {av2 a} {av2 b}
3050: 7b 61 76 32 20 63 7d 7d 0a 64 6f 5f 74 65 73 74 {av2 c}}.do_test
3060: 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 35 2e autovacuum-2.5.
3070: 33 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 3.3 {. execsql
3080: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 {. SELECT * F
3090: 52 4f 4d 20 61 76 34 20 57 48 45 52 45 20 61 20 ROM av4 WHERE a
30a0: 3d 20 27 61 76 34 20 61 27 20 41 4e 44 20 62 20 = 'av4 a' AND b
30b0: 3d 20 27 61 76 34 20 62 27 20 41 4e 44 20 63 20 = 'av4 b' AND c
30c0: 3d 20 27 61 76 34 20 63 27 3b 0a 20 20 7d 0a 7d = 'av4 c';. }.}
30d0: 20 7b 7b 61 76 34 20 61 7d 20 7b 61 76 34 20 62 {{av4 a} {av4 b
30e0: 7d 20 7b 61 76 34 20 63 7d 7d 0a 0a 23 20 44 72 } {av4 c}}..# Dr
30f0: 6f 70 20 74 61 62 6c 65 20 61 76 31 3a 0a 23 20 op table av1:.#
3100: 53 74 65 70 20 31 3a 20 44 65 6c 65 74 65 20 61 Step 1: Delete a
3110: 76 31 20 28 72 6f 6f 74 20 70 61 67 65 20 34 29 v1 (root page 4)
3120: 2e 20 52 6f 6f 74 2d 70 61 67 65 20 6f 66 20 61 . Root-page of a
3130: 76 34 5f 69 31 20 66 69 6c 6c 73 20 74 68 65 20 v4_i1 fills the
3140: 67 61 70 2e 0a 23 20 53 74 65 70 20 32 3a 20 44 gap..# Step 2: D
3150: 65 6c 65 74 65 20 73 71 6c 69 74 65 5f 61 75 74 elete sqlite_aut
3160: 6f 69 6e 64 65 78 5f 61 76 31 5f 31 20 28 72 6f oindex_av1_1 (ro
3170: 6f 74 20 70 61 67 65 20 33 29 2e 20 4d 6f 76 65 ot page 3). Move
3180: 20 61 76 34 20 74 6f 20 74 68 65 20 67 61 70 2e av4 to the gap.
3190: 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 .do_test autovac
31a0: 75 75 6d 2d 32 2e 35 2e 34 20 7b 0a 20 20 65 78 uum-2.5.4 {. ex
31b0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 ecsql {. DROP
31c0: 20 54 41 42 4c 45 20 61 76 31 3b 0a 20 20 20 20 TABLE av1;.
31d0: 53 45 4c 45 43 54 20 6e 61 6d 65 2c 20 72 6f 6f SELECT name, roo
31e0: 74 70 61 67 65 20 46 52 4f 4d 20 73 71 6c 69 74 tpage FROM sqlit
31f0: 65 5f 6d 61 73 74 65 72 3b 0a 20 20 7d 0a 7d 20 e_master;. }.}
3200: 5b 6c 69 73 74 20 61 76 32 20 35 20 20 73 71 6c [list av2 5 sql
3210: 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f 61 76 ite_autoindex_av
3220: 32 5f 31 20 36 20 61 76 32 5f 69 31 20 37 20 61 2_1 6 av2_i1 7 a
3230: 76 32 5f 69 32 20 38 20 5c 0a 20 20 20 20 20 20 v2_i2 8 \.
3240: 20 20 61 76 34 20 33 20 61 76 34 5f 69 31 20 34 av4 3 av4_i1 4
3250: 20 61 76 34 5f 69 32 20 39 20 61 76 34 5f 69 33 av4_i2 9 av4_i3
3260: 20 31 30 20 61 76 34 5f 69 34 20 31 31 20 5c 0a 10 av4_i4 11 \.
3270: 5d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 ].do_test autova
3280: 63 75 75 6d 2d 32 2e 35 2e 34 2e 32 20 7b 0a 20 cuum-2.5.4.2 {.
3290: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 execsql {. S
32a0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 76 32 ELECT * FROM av2
32b0: 20 57 48 45 52 45 20 61 20 3d 20 27 61 76 32 20 WHERE a = 'av2
32c0: 61 27 20 41 4e 44 20 62 20 3d 20 27 61 76 32 20 a' AND b = 'av2
32d0: 62 27 20 41 4e 44 20 63 20 3d 20 27 61 76 32 20 b' AND c = 'av2
32e0: 63 27 0a 20 20 7d 0a 7d 20 7b 7b 61 76 32 20 61 c'. }.} {{av2 a
32f0: 7d 20 7b 61 76 32 20 62 7d 20 7b 61 76 32 20 63 } {av2 b} {av2 c
3300: 7d 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 }}.do_test autov
3310: 61 63 75 75 6d 2d 32 2e 35 2e 34 2e 34 20 7b 0a acuum-2.5.4.4 {.
3320: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
3330: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 76 SELECT * FROM av
3340: 34 20 57 48 45 52 45 20 61 20 3d 20 27 61 76 34 4 WHERE a = 'av4
3350: 20 61 27 20 41 4e 44 20 62 20 3d 20 27 61 76 34 a' AND b = 'av4
3360: 20 62 27 20 41 4e 44 20 63 20 3d 20 27 61 76 34 b' AND c = 'av4
3370: 20 63 27 3b 0a 20 20 7d 0a 7d 20 7b 7b 61 76 34 c';. }.} {{av4
3380: 20 61 7d 20 7b 61 76 34 20 62 7d 20 7b 61 76 34 a} {av4 b} {av4
3390: 20 63 7d 7d 0a 0a 23 20 44 72 6f 70 20 74 61 62 c}}..# Drop tab
33a0: 6c 65 20 61 76 34 3a 0a 23 20 53 74 65 70 20 31 le av4:.# Step 1
33b0: 3a 20 44 65 6c 65 74 65 20 61 76 34 5f 69 34 2e : Delete av4_i4.
33c0: 0a 23 20 53 74 65 70 20 32 3a 20 44 65 6c 65 74 .# Step 2: Delet
33d0: 65 20 61 76 34 5f 69 33 2e 0a 23 20 53 74 65 70 e av4_i3..# Step
33e0: 20 33 3a 20 44 65 6c 65 74 65 20 61 76 34 5f 69 3: Delete av4_i
33f0: 32 2e 0a 23 20 53 74 65 70 20 34 3a 20 44 65 6c 2..# Step 4: Del
3400: 65 74 65 20 61 76 34 5f 69 31 2e 20 61 76 32 5f ete av4_i1. av2_
3410: 69 32 20 72 65 70 6c 61 63 65 73 20 69 74 2e 0a i2 replaces it..
3420: 23 20 53 74 65 70 20 35 3a 20 44 65 6c 65 74 65 # Step 5: Delete
3430: 20 61 76 34 2e 20 61 76 32 5f 69 31 20 72 65 70 av4. av2_i1 rep
3440: 6c 61 63 65 73 20 69 74 2e 0a 64 6f 5f 74 65 73 laces it..do_tes
3450: 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 32 2e 35 t autovacuum-2.5
3460: 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b .5 {. execsql {
3470: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 . DROP TABLE
3480: 61 76 34 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 av4;. SELECT
3490: 6e 61 6d 65 2c 20 72 6f 6f 74 70 61 67 65 20 46 name, rootpage F
34a0: 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 ROM sqlite_maste
34b0: 72 3b 0a 20 20 7d 0a 7d 20 5b 6c 69 73 74 20 61 r;. }.} [list a
34c0: 76 32 20 35 20 73 71 6c 69 74 65 5f 61 75 74 6f v2 5 sqlite_auto
34d0: 69 6e 64 65 78 5f 61 76 32 5f 31 20 36 20 61 76 index_av2_1 6 av
34e0: 32 5f 69 31 20 33 20 61 76 32 5f 69 32 20 34 5d 2_i1 3 av2_i2 4]
34f0: 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 .do_test autovac
3500: 75 75 6d 2d 32 2e 35 2e 35 2e 32 20 7b 0a 20 20 uum-2.5.5.2 {.
3510: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 execsql {. SE
3520: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 76 32 20 LECT * FROM av2
3530: 57 48 45 52 45 20 61 20 3d 20 27 61 76 32 20 61 WHERE a = 'av2 a
3540: 27 20 41 4e 44 20 62 20 3d 20 27 61 76 32 20 62 ' AND b = 'av2 b
3550: 27 20 41 4e 44 20 63 20 3d 20 27 61 76 32 20 63 ' AND c = 'av2 c
3560: 27 0a 20 20 7d 0a 7d 20 7b 7b 61 76 32 20 61 7d '. }.} {{av2 a}
3570: 20 7b 61 76 32 20 62 7d 20 7b 61 76 32 20 63 7d {av2 b} {av2 c}
3580: 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d }..#------------
3590: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
35a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
35b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
35c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 --------------.#
35d0: 20 54 65 73 74 20 63 61 73 65 73 20 61 75 74 6f Test cases auto
35e0: 76 61 63 75 75 6d 2d 33 2e 2a 20 74 65 73 74 20 vacuum-3.* test
35f0: 74 68 65 20 6f 70 65 72 61 74 69 6f 6e 20 6f 66 the operation of
3600: 20 74 68 65 20 22 50 52 41 47 4d 41 20 61 75 74 the "PRAGMA aut
3610: 6f 5f 76 61 63 75 75 6d 22 0a 23 20 63 6f 6d 6d o_vacuum".# comm
3620: 61 6e 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 61 and..#.do_test a
3630: 75 74 6f 76 61 63 75 75 6d 2d 33 2e 31 20 7b 0a utovacuum-3.1 {.
3640: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
3650: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 PRAGMA auto_vacu
3660: 75 6d 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f um;. }.} {1}.do
3670: 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d _test autovacuum
3680: 2d 33 2e 32 20 7b 0a 20 20 64 62 20 63 6c 6f 73 -3.2 {. db clos
3690: 65 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 74 e. sqlite3 db t
36a0: 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c est.db. execsql
36b0: 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 {. PRAGMA au
36c0: 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a 7d to_vacuum;. }.}
36d0: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 {1}.do_test aut
36e0: 6f 76 61 63 75 75 6d 2d 33 2e 33 20 7b 0a 20 20 ovacuum-3.3 {.
36f0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 execsql {. PR
3700: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
3710: 20 3d 20 30 3b 0a 20 20 20 20 50 52 41 47 4d 41 = 0;. PRAGMA
3720: 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 auto_vacuum;.
3730: 7d 0a 7d 20 7b 31 7d 0a 0a 64 6f 5f 74 65 73 74 }.} {1}..do_test
3740: 20 61 75 74 6f 76 61 63 75 75 6d 2d 33 2e 34 20 autovacuum-3.4
3750: 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 {. db close. f
3760: 6f 72 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e orcedelete test.
3770: 64 62 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20 db. sqlite3 db
3780: 74 65 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 test.db. execsq
3790: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 61 l {. PRAGMA a
37a0: 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d 0a uto_vacuum;. }.
37b0: 7d 20 24 41 55 54 4f 56 41 43 55 55 4d 0a 64 6f } $AUTOVACUUM.do
37c0: 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d _test autovacuum
37d0: 2d 33 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c -3.5 {. execsql
37e0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 {. CREATE TA
37f0: 42 4c 45 20 61 76 31 28 78 29 3b 0a 20 20 20 20 BLE av1(x);.
3800: 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 PRAGMA auto_vacu
3810: 75 6d 3b 0a 20 20 7d 0a 7d 20 24 41 55 54 4f 56 um;. }.} $AUTOV
3820: 41 43 55 55 4d 0a 64 6f 5f 74 65 73 74 20 61 75 ACUUM.do_test au
3830: 74 6f 76 61 63 75 75 6d 2d 33 2e 36 20 7b 0a 20 tovacuum-3.6 {.
3840: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 execsql {. P
3850: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 RAGMA auto_vacuu
3860: 6d 20 3d 20 31 3b 0a 20 20 20 20 50 52 41 47 4d m = 1;. PRAGM
3870: 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 A auto_vacuum;.
3880: 20 7d 0a 7d 20 5b 65 78 70 72 20 24 41 55 54 4f }.} [expr $AUTO
3890: 56 41 43 55 55 4d 20 3f 20 31 20 3a 20 30 5d 0a VACUUM ? 1 : 0].
38a0: 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 do_test autovacu
38b0: 75 6d 2d 33 2e 37 20 7b 0a 20 20 65 78 65 63 73 um-3.7 {. execs
38c0: 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 ql {. DROP TA
38d0: 42 4c 45 20 61 76 31 3b 0a 20 20 7d 0a 20 20 66 BLE av1;. }. f
38e0: 69 6c 65 5f 70 61 67 65 73 0a 7d 20 5b 65 78 70 ile_pages.} [exp
38f0: 72 20 24 41 55 54 4f 56 41 43 55 55 4d 3f 31 3a r $AUTOVACUUM?1:
3900: 32 5d 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2]...#----------
3910: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3920: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3930: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
3940: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 -------------.#
3950: 54 65 73 74 20 74 68 61 74 20 69 66 20 61 20 73 Test that if a s
3960: 74 61 74 65 6d 65 6e 74 20 74 72 61 6e 73 61 63 tatement transac
3970: 74 69 6f 6e 20 61 72 6f 75 6e 64 20 61 20 43 52 tion around a CR
3980: 45 41 54 45 20 49 4e 44 45 58 20 73 74 61 74 65 EATE INDEX state
3990: 6d 65 6e 74 20 69 73 0a 23 20 72 6f 6c 6c 65 64 ment is.# rolled
39a0: 20 62 61 63 6b 20 6e 6f 20 63 6f 72 72 75 70 74 back no corrupt
39b0: 69 6f 6e 20 6f 63 63 75 72 73 2e 0a 23 0a 64 6f ion occurs..#.do
39c0: 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d _test autovacuum
39d0: 2d 34 2e 30 20 7b 0a 20 20 23 20 54 68 65 20 6c -4.0 {. # The l
39e0: 61 73 74 20 72 6f 75 6e 64 20 6f 66 20 74 65 73 ast round of tes
39f0: 74 73 20 6d 61 79 20 68 61 76 65 20 6c 65 66 74 ts may have left
3a00: 20 74 68 65 20 64 62 20 69 6e 20 6e 6f 6e 2d 61 the db in non-a
3a10: 75 74 6f 76 61 63 75 75 6d 20 6d 6f 64 65 2e 0a utovacuum mode..
3a20: 20 20 23 20 52 65 73 65 74 20 65 76 65 72 79 74 # Reset everyt
3a30: 68 69 6e 67 20 6a 75 73 74 20 69 6e 20 63 61 73 hing just in cas
3a40: 65 2e 0a 20 20 23 0a 20 20 64 62 20 63 6c 6f 73 e.. #. db clos
3a50: 65 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 e. forcedelete
3a60: 74 65 73 74 2e 64 62 20 74 65 73 74 2e 64 62 2d test.db test.db-
3a70: 6a 6f 75 72 6e 61 6c 0a 20 20 73 71 6c 69 74 65 journal. sqlite
3a80: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 65 3 db test.db. e
3a90: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 xecsql {. PRA
3aa0: 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 GMA auto_vacuum
3ab0: 3d 20 31 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 = 1;. PRAGMA
3ac0: 61 75 74 6f 5f 76 61 63 75 75 6d 3b 0a 20 20 7d auto_vacuum;. }
3ad0: 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 61 .} {1}.do_test a
3ae0: 75 74 6f 76 61 63 75 75 6d 2d 34 2e 31 20 7b 0a utovacuum-4.1 {.
3af0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 execsql {.
3b00: 43 52 45 41 54 45 20 54 41 42 4c 45 20 61 76 31 CREATE TABLE av1
3b10: 28 61 2c 20 62 29 3b 0a 20 20 20 20 42 45 47 49 (a, b);. BEGI
3b20: 4e 3b 0a 20 20 7d 0a 20 20 66 6f 72 20 7b 73 65 N;. }. for {se
3b30: 74 20 69 20 30 7d 20 7b 24 69 3c 31 30 30 7d 20 t i 0} {$i<100}
3b40: 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 65 {incr i} {. e
3b50: 78 65 63 73 71 6c 20 22 49 4e 53 45 52 54 20 49 xecsql "INSERT I
3b60: 4e 54 4f 20 61 76 31 20 56 41 4c 55 45 53 28 24 NTO av1 VALUES($
3b70: 69 2c 20 27 5b 73 74 72 69 6e 67 20 72 65 70 65 i, '[string repe
3b80: 61 74 20 58 20 32 30 30 5d 27 29 3b 22 0a 20 20 at X 200]');".
3b90: 7d 0a 20 20 65 78 65 63 73 71 6c 20 22 49 4e 53 }. execsql "INS
3ba0: 45 52 54 20 49 4e 54 4f 20 61 76 31 20 56 41 4c ERT INTO av1 VAL
3bb0: 55 45 53 28 39 39 2c 20 27 5b 73 74 72 69 6e 67 UES(99, '[string
3bc0: 20 72 65 70 65 61 74 20 58 20 32 30 30 5d 27 29 repeat X 200]')
3bd0: 3b 22 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 ;". execsql {.
3be0: 20 20 20 53 45 4c 45 43 54 20 73 75 6d 28 61 29 SELECT sum(a)
3bf0: 20 46 52 4f 4d 20 61 76 31 3b 0a 20 20 7d 0a 7d FROM av1;. }.}
3c00: 20 7b 35 30 34 39 7d 0a 64 6f 5f 74 65 73 74 20 {5049}.do_test
3c10: 61 75 74 6f 76 61 63 75 75 6d 2d 34 2e 32 20 7b autovacuum-4.2 {
3c20: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 . catchsql {.
3c30: 20 20 43 52 45 41 54 45 20 55 4e 49 51 55 45 20 CREATE UNIQUE
3c40: 49 4e 44 45 58 20 61 76 31 5f 69 20 4f 4e 20 61 INDEX av1_i ON a
3c50: 76 31 28 61 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 v1(a);. }.} {1
3c60: 7b 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61 69 {UNIQUE constrai
3c70: 6e 74 20 66 61 69 6c 65 64 3a 20 61 76 31 2e 61 nt failed: av1.a
3c80: 7d 7d 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 }}.do_test autov
3c90: 61 63 75 75 6d 2d 34 2e 33 20 7b 0a 20 20 65 78 acuum-4.3 {. ex
3ca0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 ecsql {. SELE
3cb0: 43 54 20 73 75 6d 28 61 29 20 46 52 4f 4d 20 61 CT sum(a) FROM a
3cc0: 76 31 3b 0a 20 20 7d 0a 7d 20 7b 35 30 34 39 7d v1;. }.} {5049}
3cd0: 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 .do_test autovac
3ce0: 75 75 6d 2d 34 2e 34 20 7b 0a 20 20 65 78 65 63 uum-4.4 {. exec
3cf0: 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d 49 54 sql {. COMMIT
3d00: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 69 66 63 61 ;. }.} {}..ifca
3d10: 70 61 62 6c 65 20 69 6e 74 65 67 72 69 74 79 63 pable integrityc
3d20: 6b 20 7b 0a 0a 23 20 54 69 63 6b 65 74 20 23 31 k {..# Ticket #1
3d30: 37 32 37 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 727.do_test auto
3d40: 76 61 63 75 75 6d 2d 35 2e 31 20 7b 0a 20 20 64 vacuum-5.1 {. d
3d50: 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 b close. sqlite
3d60: 33 20 64 62 20 3a 6d 65 6d 6f 72 79 3a 0a 20 20 3 db :memory:.
3d70: 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 50 52 db eval {. PR
3d80: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
3d90: 3d 31 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 =1;. CREATE T
3da0: 41 42 4c 45 20 74 31 28 61 29 3b 0a 20 20 20 20 ABLE t1(a);.
3db0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 CREATE TABLE t2(
3dc0: 61 29 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 a);. DROP TAB
3dd0: 4c 45 20 74 31 3b 0a 20 20 20 20 50 52 41 47 4d LE t1;. PRAGM
3de0: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 A integrity_chec
3df0: 6b 3b 0a 20 20 7d 0a 7d 20 6f 6b 0a 0a 7d 0a 0a k;. }.} ok..}..
3e00: 23 20 54 69 63 6b 65 74 20 23 31 37 32 38 2e 0a # Ticket #1728..
3e10: 23 0a 23 20 49 6e 20 61 75 74 6f 76 61 63 75 75 #.# In autovacuu
3e20: 6d 20 6d 6f 64 65 2c 20 77 68 65 6e 20 74 61 62 m mode, when tab
3e30: 6c 65 73 20 6f 72 20 69 6e 64 69 63 65 73 20 61 les or indices a
3e40: 72 65 20 64 65 6c 65 74 65 64 2c 20 74 68 65 20 re deleted, the
3e50: 72 6f 6f 74 70 61 67 65 0a 23 20 76 61 6c 75 65 rootpage.# value
3e60: 73 20 69 6e 20 74 68 65 20 73 79 6d 62 6f 6c 20 s in the symbol
3e70: 74 61 62 6c 65 20 68 61 76 65 20 74 6f 20 62 65 table have to be
3e80: 20 75 70 64 61 74 65 64 2e 20 20 54 68 65 72 65 updated. There
3e90: 20 77 61 73 20 61 20 62 75 67 20 69 6e 20 74 68 was a bug in th
3ea0: 69 73 0a 23 20 6c 6f 67 69 63 20 73 6f 20 74 68 is.# logic so th
3eb0: 61 74 20 69 66 20 61 6e 20 69 6e 64 65 78 2f 74 at if an index/t
3ec0: 61 62 6c 65 20 77 61 73 20 6d 6f 76 65 64 20 74 able was moved t
3ed0: 77 69 63 65 2c 20 74 68 65 20 73 65 63 6f 6e 64 wice, the second
3ee0: 20 6d 6f 76 65 20 6d 69 67 68 74 0a 23 20 6e 6f move might.# no
3ef0: 74 20 6f 63 63 75 72 2e 20 20 54 68 69 73 20 77 t occur. This w
3f00: 6f 75 6c 64 20 6c 65 61 76 65 20 74 68 65 20 69 ould leave the i
3f10: 6e 74 65 72 6e 61 6c 20 73 79 6d 62 6f 6c 20 74 nternal symbol t
3f20: 61 62 6c 65 20 69 6e 20 61 6e 20 69 6e 63 6f 6e able in an incon
3f30: 73 69 73 74 65 6e 74 0a 23 20 73 74 61 74 65 20 sistent.# state
3f40: 63 61 75 73 69 6e 67 20 73 75 62 73 65 71 75 65 causing subseque
3f50: 6e 74 20 73 74 61 74 65 6d 65 6e 74 73 20 74 6f nt statements to
3f60: 20 66 61 69 6c 2e 0a 23 0a 23 20 54 68 65 20 70 fail..#.# The p
3f70: 72 6f 62 6c 65 6d 20 69 73 20 64 69 66 66 69 63 roblem is diffic
3f80: 75 6c 74 20 74 6f 20 72 65 70 72 6f 64 75 63 65 ult to reproduce
3f90: 2e 20 20 54 68 65 20 73 65 71 75 65 6e 63 65 20 . The sequence
3fa0: 6f 66 20 73 74 61 74 65 6d 65 6e 74 73 20 69 6e of statements in
3fb0: 0a 23 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 .# the following
3fc0: 20 74 65 73 74 20 61 72 65 20 63 61 72 65 66 75 test are carefu
3fd0: 6c 6c 79 20 64 65 73 69 67 6e 65 64 20 6d 61 6b lly designed mak
3fe0: 65 20 69 74 20 6f 63 63 75 72 20 61 6e 64 20 74 e it occur and t
3ff0: 68 75 73 20 74 6f 0a 23 20 76 65 72 69 66 79 20 hus to.# verify
4000: 74 68 61 74 20 74 68 69 73 20 76 65 72 79 20 6f that this very o
4010: 62 73 63 75 72 65 20 62 75 67 20 68 61 73 20 62 bscure bug has b
4020: 65 65 6e 20 72 65 73 6f 6c 76 65 64 2e 0a 23 20 een resolved..#
4030: 0a 69 66 63 61 70 61 62 6c 65 20 69 6e 74 65 67 .ifcapable integ
4040: 72 69 74 79 63 6b 26 26 6d 65 6d 6f 72 79 64 62 rityck&&memorydb
4050: 20 7b 0a 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f {..do_test auto
4060: 76 61 63 75 75 6d 2d 36 2e 31 20 7b 0a 20 20 64 vacuum-6.1 {. d
4070: 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 b close. sqlite
4080: 33 20 64 62 20 3a 6d 65 6d 6f 72 79 3a 0a 20 20 3 db :memory:.
4090: 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20 50 52 db eval {. PR
40a0: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
40b0: 3d 31 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 =1;. CREATE T
40c0: 41 42 4c 45 20 74 31 28 61 2c 20 62 29 3b 0a 20 ABLE t1(a, b);.
40d0: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 CREATE INDEX
40e0: 69 31 20 4f 4e 20 74 31 28 61 29 3b 0a 20 20 20 i1 ON t1(a);.
40f0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 CREATE TABLE t2
4100: 28 61 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 (a);. CREATE
4110: 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 32 28 61 INDEX i2 ON t2(a
4120: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 );. CREATE TA
4130: 42 4c 45 20 74 33 28 61 29 3b 0a 20 20 20 20 43 BLE t3(a);. C
4140: 52 45 41 54 45 20 49 4e 44 45 58 20 69 33 20 4f REATE INDEX i3 O
4150: 4e 20 74 32 28 61 29 3b 0a 20 20 20 20 43 52 45 N t2(a);. CRE
4160: 41 54 45 20 49 4e 44 45 58 20 78 20 4f 4e 20 74 ATE INDEX x ON t
4170: 31 28 62 29 3b 0a 20 20 20 20 44 52 4f 50 20 54 1(b);. DROP T
4180: 41 42 4c 45 20 74 33 3b 0a 20 20 20 20 50 52 41 ABLE t3;. PRA
4190: 47 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 GMA integrity_ch
41a0: 65 63 6b 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 eck;. DROP TA
41b0: 42 4c 45 20 74 32 3b 0a 20 20 20 20 50 52 41 47 BLE t2;. PRAG
41c0: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 MA integrity_che
41d0: 63 6b 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 ck;. DROP TAB
41e0: 4c 45 20 74 31 3b 0a 20 20 20 20 50 52 41 47 4d LE t1;. PRAGM
41f0: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 A integrity_chec
4200: 6b 3b 0a 20 20 7d 0a 7d 20 7b 6f 6b 20 6f 6b 20 k;. }.} {ok ok
4210: 6f 6b 7d 0a 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d ok}..}..#-------
4220: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4250: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 --------------.#
4260: 20 54 65 73 74 20 63 61 73 65 73 20 61 75 74 6f Test cases auto
4270: 76 61 63 75 75 6d 2d 37 2e 58 20 74 65 73 74 20 vacuum-7.X test
4280: 74 68 65 20 63 61 73 65 20 77 68 65 72 65 20 61 the case where a
4290: 20 70 61 67 65 20 6d 75 73 74 20 62 65 20 6d 6f page must be mo
42a0: 76 65 64 0a 23 20 61 6e 64 20 74 68 65 20 64 65 ved.# and the de
42b0: 73 74 69 6e 61 74 69 6f 6e 20 6c 6f 63 61 74 69 stination locati
42c0: 6f 6e 20 63 6f 6c 6c 69 64 65 73 20 77 69 74 68 on collides with
42d0: 20 61 74 20 6c 65 61 73 74 20 6f 6e 65 20 6f 74 at least one ot
42e0: 68 65 72 0a 23 20 65 6e 74 72 79 20 69 6e 20 74 her.# entry in t
42f0: 68 65 20 70 61 67 65 20 68 61 73 68 2d 74 61 62 he page hash-tab
4300: 6c 65 20 28 69 6e 74 65 72 6e 61 6c 20 74 6f 20 le (internal to
4310: 74 68 65 20 70 61 67 65 72 2e 63 20 6d 6f 64 75 the pager.c modu
4320: 6c 65 2e 20 0a 23 0a 64 6f 5f 74 65 73 74 20 61 le. .#.do_test a
4330: 75 74 6f 76 61 63 75 75 6d 2d 37 2e 31 20 7b 0a utovacuum-7.1 {.
4340: 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66 6f 72 db close. for
4350: 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 cedelete test.db
4360: 0a 20 20 66 6f 72 63 65 64 65 6c 65 74 65 20 74 . forcedelete t
4370: 65 73 74 2e 64 62 2d 6a 6f 75 72 6e 61 6c 0a 20 est.db-journal.
4380: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 sqlite3 db test
4390: 2e 64 62 0a 0a 20 20 65 78 65 63 73 71 6c 20 7b .db.. execsql {
43a0: 0a 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f . PRAGMA auto
43b0: 5f 76 61 63 75 75 6d 3d 31 3b 0a 20 20 20 20 43 _vacuum=1;. C
43c0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 REATE TABLE t1(a
43d0: 2c 20 62 2c 20 50 52 49 4d 41 52 59 20 4b 45 59 , b, PRIMARY KEY
43e0: 28 61 2c 20 62 29 29 3b 0a 20 20 20 20 49 4e 53 (a, b));. INS
43f0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 ERT INTO t1 VALU
4400: 45 53 28 72 61 6e 64 73 74 72 28 34 30 30 2c 34 ES(randstr(400,4
4410: 30 30 29 2c 72 61 6e 64 73 74 72 28 34 30 30 2c 00),randstr(400,
4420: 34 30 30 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 400));. INSER
4430: 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 T INTO t1 SELECT
4440: 20 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 30 randstr(400,400
4450: 29 2c 20 72 61 6e 64 73 74 72 28 34 30 30 2c 34 ), randstr(400,4
4460: 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 2d 2d 20 00) FROM t1; --
4470: 32 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 2. INSERT INT
4480: 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 O t1 SELECT rand
4490: 73 74 72 28 34 30 30 2c 34 30 30 29 2c 20 72 61 str(400,400), ra
44a0: 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 20 46 ndstr(400,400) F
44b0: 52 4f 4d 20 74 31 3b 20 2d 2d 20 34 0a 20 20 20 ROM t1; -- 4.
44c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
44d0: 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28 34 SELECT randstr(4
44e0: 30 30 2c 34 30 30 29 2c 20 72 61 6e 64 73 74 72 00,400), randstr
44f0: 28 34 30 30 2c 34 30 30 29 20 46 52 4f 4d 20 74 (400,400) FROM t
4500: 31 3b 20 2d 2d 20 38 0a 20 20 20 20 49 4e 53 45 1; -- 8. INSE
4510: 52 54 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 RT INTO t1 SELEC
4520: 54 20 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 T randstr(400,40
4530: 30 29 2c 20 72 61 6e 64 73 74 72 28 34 30 30 2c 0), randstr(400,
4540: 34 30 30 29 20 46 52 4f 4d 20 74 31 3b 20 2d 2d 400) FROM t1; --
4550: 20 31 36 0a 20 20 20 20 49 4e 53 45 52 54 20 49 16. INSERT I
4560: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 72 61 NTO t1 SELECT ra
4570: 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 2c 20 ndstr(400,400),
4580: 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 randstr(400,400)
4590: 20 46 52 4f 4d 20 74 31 3b 20 2d 2d 20 33 32 0a FROM t1; -- 32.
45a0: 20 20 7d 0a 0a 20 20 65 78 70 72 20 7b 5b 66 69 }.. expr {[fi
45b0: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d le size test.db]
45c0: 20 2f 20 31 30 32 34 7d 0a 7d 20 7b 37 33 7d 0a / 1024}.} {73}.
45d0: 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 .do_test autovac
45e0: 75 75 6d 2d 37 2e 32 20 7b 0a 20 20 65 78 65 63 uum-7.2 {. exec
45f0: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 sql {. CREATE
4600: 20 54 41 42 4c 45 20 74 32 28 61 2c 20 62 2c 20 TABLE t2(a, b,
4610: 50 52 49 4d 41 52 59 20 4b 45 59 28 61 2c 20 62 PRIMARY KEY(a, b
4620: 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 ));. INSERT I
4630: 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 72 61 NTO t2 SELECT ra
4640: 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 2c 20 ndstr(400,400),
4650: 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 randstr(400,400)
4660: 20 46 52 4f 4d 20 74 31 3b 20 2d 2d 20 32 0a 20 FROM t1; -- 2.
4670: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 CREATE TABLE
4680: 74 33 28 61 2c 20 62 2c 20 50 52 49 4d 41 52 59 t3(a, b, PRIMARY
4690: 20 4b 45 59 28 61 2c 20 62 29 29 3b 0a 20 20 20 KEY(a, b));.
46a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 INSERT INTO t3
46b0: 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72 28 34 SELECT randstr(4
46c0: 30 30 2c 34 30 30 29 2c 20 72 61 6e 64 73 74 72 00,400), randstr
46d0: 28 34 30 30 2c 34 30 30 29 20 46 52 4f 4d 20 74 (400,400) FROM t
46e0: 31 3b 20 2d 2d 20 32 0a 20 20 20 20 43 52 45 41 1; -- 2. CREA
46f0: 54 45 20 54 41 42 4c 45 20 74 34 28 61 2c 20 62 TE TABLE t4(a, b
4700: 2c 20 50 52 49 4d 41 52 59 20 4b 45 59 28 61 2c , PRIMARY KEY(a,
4710: 20 62 29 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 b));. INSERT
4720: 20 49 4e 54 4f 20 74 34 20 53 45 4c 45 43 54 20 INTO t4 SELECT
4730: 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 30 29 randstr(400,400)
4740: 2c 20 72 61 6e 64 73 74 72 28 34 30 30 2c 34 30 , randstr(400,40
4750: 30 29 20 46 52 4f 4d 20 74 31 3b 20 2d 2d 20 32 0) FROM t1; -- 2
4760: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
4770: 45 20 74 35 28 61 2c 20 62 2c 20 50 52 49 4d 41 E t5(a, b, PRIMA
4780: 52 59 20 4b 45 59 28 61 2c 20 62 29 29 3b 0a 20 RY KEY(a, b));.
4790: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
47a0: 35 20 53 45 4c 45 43 54 20 72 61 6e 64 73 74 72 5 SELECT randstr
47b0: 28 34 30 30 2c 34 30 30 29 2c 20 72 61 6e 64 73 (400,400), rands
47c0: 74 72 28 34 30 30 2c 34 30 30 29 20 46 52 4f 4d tr(400,400) FROM
47d0: 20 74 31 3b 20 2d 2d 20 32 0a 20 20 7d 0a 20 20 t1; -- 2. }.
47e0: 65 78 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 expr {[file size
47f0: 20 74 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 test.db] / 1024
4800: 7d 0a 7d 20 7b 33 35 34 7d 0a 0a 64 6f 5f 74 65 }.} {354}..do_te
4810: 73 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 37 2e st autovacuum-7.
4820: 33 20 7b 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 3 {. db close.
4830: 20 73 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 sqlite3 db test
4840: 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a .db. execsql {.
4850: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 44 BEGIN;. D
4860: 45 4c 45 54 45 20 46 52 4f 4d 20 74 34 3b 0a 20 ELETE FROM t4;.
4870: 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 COMMIT;. S
4880: 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 ELECT count(*) F
4890: 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20 20 65 78 ROM t1;. }. ex
48a0: 70 72 20 7b 5b 66 69 6c 65 20 73 69 7a 65 20 74 pr {[file size t
48b0: 65 73 74 2e 64 62 5d 20 2f 20 31 30 32 34 7d 0a est.db] / 1024}.
48c0: 7d 20 7b 32 38 36 7d 0a 0a 23 2d 2d 2d 2d 2d 2d } {286}..#------
48d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
48e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
48f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4900: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
4910: 2d 2d 0a 23 20 41 64 64 69 74 69 6f 6e 61 6c 20 --.# Additional
4920: 74 65 73 74 73 2e 0a 23 0a 23 20 54 72 79 20 74 tests..#.# Try t
4930: 6f 20 64 65 74 65 72 6d 69 6e 65 20 74 68 65 20 o determine the
4940: 61 75 74 6f 76 61 63 75 75 6d 20 73 65 74 74 69 autovacuum setti
4950: 6e 67 20 66 6f 72 20 61 20 64 61 74 61 62 61 73 ng for a databas
4960: 65 20 74 68 61 74 20 69 73 20 6c 6f 63 6b 65 64 e that is locked
4970: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f ..#.do_test auto
4980: 76 61 63 75 75 6d 2d 38 2e 31 20 7b 0a 20 20 64 vacuum-8.1 {. d
4990: 62 20 63 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 b close. sqlite
49a0: 33 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 73 3 db test.db. s
49b0: 71 6c 69 74 65 33 20 64 62 32 20 74 65 73 74 2e qlite3 db2 test.
49c0: 64 62 0a 20 20 64 62 20 65 76 61 6c 20 7b 50 52 db. db eval {PR
49d0: 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75 6d AGMA auto_vacuum
49e0: 7d 0a 7d 20 7b 31 7d 0a 69 66 20 7b 5b 70 65 72 }.} {1}.if {[per
49f0: 6d 75 74 61 74 69 6f 6e 5d 20 3d 3d 20 22 22 7d mutation] == ""}
4a00: 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 61 75 74 {. do_test aut
4a10: 6f 76 61 63 75 75 6d 2d 38 2e 32 20 7b 0a 20 20 ovacuum-8.2 {.
4a20: 20 20 64 62 20 65 76 61 6c 20 7b 42 45 47 49 4e db eval {BEGIN
4a30: 20 45 58 43 4c 55 53 49 56 45 7d 0a 20 20 20 20 EXCLUSIVE}.
4a40: 63 61 74 63 68 73 71 6c 20 7b 50 52 41 47 4d 41 catchsql {PRAGMA
4a50: 20 61 75 74 6f 5f 76 61 63 75 75 6d 7d 20 64 62 auto_vacuum} db
4a60: 32 0a 20 20 7d 20 7b 31 20 7b 64 61 74 61 62 61 2. } {1 {databa
4a70: 73 65 20 69 73 20 6c 6f 63 6b 65 64 7d 7d 0a 20 se is locked}}.
4a80: 20 63 61 74 63 68 20 7b 64 62 32 20 63 6c 6f 73 catch {db2 clos
4a90: 65 7d 0a 20 20 63 61 74 63 68 20 7b 64 62 20 65 e}. catch {db e
4aa0: 76 61 6c 20 7b 43 4f 4d 4d 49 54 7d 7d 0a 7d 0a val {COMMIT}}.}.
4ab0: 0a 64 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 .do_test autovac
4ac0: 75 75 6d 2d 39 2e 31 20 7b 0a 20 20 65 78 65 63 uum-9.1 {. exec
4ad0: 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 20 54 sql {. DROP T
4ae0: 41 42 4c 45 20 74 31 3b 0a 20 20 20 20 44 52 4f ABLE t1;. DRO
4af0: 50 20 54 41 42 4c 45 20 74 32 3b 0a 20 20 20 20 P TABLE t2;.
4b00: 44 52 4f 50 20 54 41 42 4c 45 20 74 33 3b 0a 20 DROP TABLE t3;.
4b10: 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 34 DROP TABLE t4
4b20: 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 ;. DROP TABLE
4b30: 20 74 35 3b 0a 20 20 20 20 50 52 41 47 4d 41 20 t5;. PRAGMA
4b40: 70 61 67 65 5f 63 6f 75 6e 74 3b 0a 20 20 7d 0a page_count;. }.
4b50: 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 61 75 } {1}.do_test au
4b60: 74 6f 76 61 63 75 75 6d 2d 39 2e 32 20 7b 0a 20 tovacuum-9.2 {.
4b70: 20 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e file size test.
4b80: 64 62 0a 7d 20 31 30 32 34 0a 64 6f 5f 74 65 73 db.} 1024.do_tes
4b90: 74 20 61 75 74 6f 76 61 63 75 75 6d 2d 39 2e 33 t autovacuum-9.3
4ba0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 {. execsql {.
4bb0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 CREATE TABLE
4bc0: 74 31 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 t1(a INTEGER PRI
4bd0: 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 MARY KEY, b);.
4be0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
4bf0: 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 72 61 VALUES(NULL, ra
4c00: 6e 64 73 74 72 28 35 30 2c 35 30 29 29 3b 0a 20 ndstr(50,50));.
4c10: 20 7d 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 69 }. for {set ii
4c20: 20 30 7d 20 7b 24 69 69 20 3c 20 31 30 7d 20 7b 0} {$ii < 10} {
4c30: 69 6e 63 72 20 69 69 7d 20 7b 0a 20 20 20 20 64 incr ii} {. d
4c40: 62 20 65 76 61 6c 20 7b 20 49 4e 53 45 52 54 20 b eval { INSERT
4c50: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 4e INTO t1 SELECT N
4c60: 55 4c 4c 2c 20 72 61 6e 64 73 74 72 28 35 30 2c ULL, randstr(50,
4c70: 35 30 29 20 46 52 4f 4d 20 74 31 20 7d 0a 20 20 50) FROM t1 }.
4c80: 7d 0a 20 20 66 69 6c 65 20 73 69 7a 65 20 74 65 }. file size te
4c90: 73 74 2e 64 62 0a 7d 20 24 3a 3a 73 71 6c 69 74 st.db.} $::sqlit
4ca0: 65 5f 70 65 6e 64 69 6e 67 5f 62 79 74 65 0a 64 e_pending_byte.d
4cb0: 6f 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 o_test autovacuu
4cc0: 6d 2d 39 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 m-9.4 {. execsq
4cd0: 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 l { INSERT INTO
4ce0: 74 31 20 53 45 4c 45 43 54 20 4e 55 4c 4c 2c 20 t1 SELECT NULL,
4cf0: 72 61 6e 64 73 74 72 28 35 30 2c 35 30 29 20 46 randstr(50,50) F
4d00: 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 7d 0a 64 6f ROM t1 }.} {}.do
4d10: 5f 74 65 73 74 20 61 75 74 6f 76 61 63 75 75 6d _test autovacuum
4d20: 2d 39 2e 35 20 7b 0a 20 20 65 78 65 63 73 71 6c -9.5 {. execsql
4d30: 20 7b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 { DELETE FROM t
4d40: 31 20 57 48 45 52 45 20 72 6f 77 69 64 20 3e 20 1 WHERE rowid >
4d50: 28 53 45 4c 45 43 54 20 6d 61 78 28 61 29 2f 32 (SELECT max(a)/2
4d60: 20 46 52 4f 4d 20 74 31 29 20 7d 0a 20 20 66 69 FROM t1) }. fi
4d70: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 0a le size test.db.
4d80: 7d 20 24 3a 3a 73 71 6c 69 74 65 5f 70 65 6e 64 } $::sqlite_pend
4d90: 69 6e 67 5f 62 79 74 65 0a 20 0a 64 6f 5f 65 78 ing_byte. .do_ex
4da0: 65 63 73 71 6c 5f 74 65 73 74 20 61 75 74 6f 76 ecsql_test autov
4db0: 61 63 75 75 6d 2d 31 30 2e 31 20 7b 0a 20 20 44 acuum-10.1 {. D
4dc0: 52 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a 20 20 ROP TABLE t1;.
4dd0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 CREATE TABLE t1(
4de0: 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 a INTEGER PRIMAR
4df0: 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 49 4e 53 Y KEY, b);. INS
4e00: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 ERT INTO t1 VALU
4e10: 45 53 28 32 35 2c 20 72 61 6e 64 6f 6d 62 6c 6f ES(25, randomblo
4e20: 62 28 31 30 34 29 29 3b 0a 20 20 52 45 50 4c 41 b(104));. REPLA
4e30: 43 45 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 CE INTO t1 VALUE
4e40: 53 28 32 35 2c 20 72 61 6e 64 6f 6d 62 6c 6f 62 S(25, randomblob
4e50: 28 31 31 31 37 29 29 3b 0a 20 20 50 52 41 47 4d (1117));. PRAGM
4e60: 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 A integrity_chec
4e70: 6b 3b 0a 7d 20 7b 6f 6b 7d 0a 0a 66 69 6e 69 73 k;.} {ok}..finis
4e80: 68 5f 74 65 73 74 0a h_test.