/ Hex Artifact Content
Login

Artifact 4317561cd25eca7df16aa1f7d1a700ee958059fa639785f94aba0a84df9ab17b:


0000: 23 20 32 30 31 35 20 4a 61 6e 20 31 33 0a 23 0a  # 2015 Jan 13.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou give..#.#****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 0a 23 0a 23 20 54 68 69 73 20 66 69 6c  ***.#.# This fil
0170: 65 20 63 6f 6e 74 61 69 6e 73 20 74 65 73 74 73  e contains tests
0180: 20 66 6f 63 75 73 65 64 20 6f 6e 20 74 68 65 20   focused on the 
0190: 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b 20  integrity-check 
01a0: 70 72 6f 63 65 64 75 72 65 2e 0a 23 0a 0a 73 6f  procedure..#..so
01b0: 75 72 63 65 20 5b 66 69 6c 65 20 6a 6f 69 6e 20  urce [file join 
01c0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 5b 69  [file dirname [i
01d0: 6e 66 6f 20 73 63 72 69 70 74 5d 5d 20 66 74 73  nfo script]] fts
01e0: 35 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 5d 0a 73 65  5_common.tcl].se
01f0: 74 20 74 65 73 74 70 72 65 66 69 78 20 66 74 73  t testprefix fts
0200: 35 69 6e 74 65 67 72 69 74 79 0a 0a 23 20 49 66  5integrity..# If
0210: 20 53 51 4c 49 54 45 5f 45 4e 41 42 4c 45 5f 46   SQLITE_ENABLE_F
0220: 54 53 35 20 69 73 20 64 65 66 69 6e 65 64 2c 20  TS5 is defined, 
0230: 6f 6d 69 74 20 74 68 69 73 20 66 69 6c 65 2e 0a  omit this file..
0240: 69 66 63 61 70 61 62 6c 65 20 21 66 74 73 35 20  ifcapable !fts5 
0250: 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a  {.  finish_test.
0260: 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 64 6f 5f 65    return.}..do_e
0270: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 30 20  xecsql_test 1.0 
0280: 7b 0a 20 20 43 52 45 41 54 45 20 56 49 52 54 55  {.  CREATE VIRTU
0290: 41 4c 20 54 41 42 4c 45 20 78 78 20 55 53 49 4e  AL TABLE xx USIN
02a0: 47 20 66 74 73 35 28 78 29 3b 0a 20 20 49 4e 53  G fts5(x);.  INS
02b0: 45 52 54 20 49 4e 54 4f 20 78 78 20 56 41 4c 55  ERT INTO xx VALU
02c0: 45 53 28 27 74 65 72 6d 27 29 3b 0a 7d 0a 64 6f  ES('term');.}.do
02d0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e  _execsql_test 1.
02e0: 31 20 7b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  1 {.  INSERT INT
02f0: 4f 20 78 78 28 78 78 29 20 56 41 4c 55 45 53 28  O xx(xx) VALUES(
0300: 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b  'integrity-check
0310: 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  ');.}..do_execsq
0320: 6c 5f 74 65 73 74 20 32 2e 30 20 7b 0a 20 20 43  l_test 2.0 {.  C
0330: 52 45 41 54 45 20 56 49 52 54 55 41 4c 20 54 41  REATE VIRTUAL TA
0340: 42 4c 45 20 79 79 20 55 53 49 4e 47 20 66 74 73  BLE yy USING fts
0350: 35 28 78 2c 20 70 72 65 66 69 78 3d 31 29 3b 0a  5(x, prefix=1);.
0360: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 79 79    INSERT INTO yy
0370: 20 56 41 4c 55 45 53 28 27 74 65 72 6d 27 29 3b   VALUES('term');
0380: 0a 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  .}.do_execsql_te
0390: 73 74 20 32 2e 31 20 7b 0a 20 20 49 4e 53 45 52  st 2.1 {.  INSER
03a0: 54 20 49 4e 54 4f 20 79 79 28 79 79 29 20 56 41  T INTO yy(yy) VA
03b0: 4c 55 45 53 28 27 69 6e 74 65 67 72 69 74 79 2d  LUES('integrity-
03c0: 63 68 65 63 6b 27 29 3b 0a 7d 0a 0a 23 2d 2d 2d  check');.}..#---
03d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
03f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0400: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0410: 2d 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  -.#.do_execsql_t
0420: 65 73 74 20 33 2e 30 20 7b 0a 20 20 43 52 45 41  est 3.0 {.  CREA
0430: 54 45 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45  TE VIRTUAL TABLE
0440: 20 7a 7a 20 55 53 49 4e 47 20 66 74 73 35 28 7a   zz USING fts5(z
0450: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0460: 20 7a 7a 28 7a 7a 2c 20 72 61 6e 6b 29 20 56 41   zz(zz, rank) VA
0470: 4c 55 45 53 28 27 70 67 73 7a 27 2c 20 33 32 29  LUES('pgsz', 32)
0480: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
0490: 7a 7a 20 56 41 4c 55 45 53 28 27 62 20 62 20 62  zz VALUES('b b b
04a0: 20 62 20 62 20 62 20 62 20 62 20 62 20 62 20 62   b b b b b b b b
04b0: 20 62 20 62 20 62 27 29 3b 0a 20 20 49 4e 53 45   b b b');.  INSE
04c0: 52 54 20 49 4e 54 4f 20 7a 7a 20 53 45 4c 45 43  RT INTO zz SELEC
04d0: 54 20 7a 20 46 52 4f 4d 20 7a 7a 3b 0a 20 20 49  T z FROM zz;.  I
04e0: 4e 53 45 52 54 20 49 4e 54 4f 20 7a 7a 20 53 45  NSERT INTO zz SE
04f0: 4c 45 43 54 20 7a 20 46 52 4f 4d 20 7a 7a 3b 0a  LECT z FROM zz;.
0500: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 7a 7a    INSERT INTO zz
0510: 20 53 45 4c 45 43 54 20 7a 20 46 52 4f 4d 20 7a   SELECT z FROM z
0520: 7a 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  z;.  INSERT INTO
0530: 20 7a 7a 20 53 45 4c 45 43 54 20 7a 20 46 52 4f   zz SELECT z FRO
0540: 4d 20 7a 7a 3b 0a 20 20 49 4e 53 45 52 54 20 49  M zz;.  INSERT I
0550: 4e 54 4f 20 7a 7a 20 53 45 4c 45 43 54 20 7a 20  NTO zz SELECT z 
0560: 46 52 4f 4d 20 7a 7a 3b 0a 20 20 49 4e 53 45 52  FROM zz;.  INSER
0570: 54 20 49 4e 54 4f 20 7a 7a 20 53 45 4c 45 43 54  T INTO zz SELECT
0580: 20 7a 20 46 52 4f 4d 20 7a 7a 3b 0a 20 20 49 4e   z FROM zz;.  IN
0590: 53 45 52 54 20 49 4e 54 4f 20 7a 7a 28 7a 7a 29  SERT INTO zz(zz)
05a0: 20 56 41 4c 55 45 53 28 27 6f 70 74 69 6d 69 7a   VALUES('optimiz
05b0: 65 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73  e');.}..do_execs
05c0: 71 6c 5f 74 65 73 74 20 33 2e 31 20 7b 20 49 4e  ql_test 3.1 { IN
05d0: 53 45 52 54 20 49 4e 54 4f 20 7a 7a 28 7a 7a 29  SERT INTO zz(zz)
05e0: 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69   VALUES('integri
05f0: 74 79 2d 63 68 65 63 6b 27 29 3b 20 7d 0a 0a 23  ty-check'); }..#
0600: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0630: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0640: 2d 2d 2d 2d 0a 23 20 4d 65 73 73 20 61 72 6f 75  ----.# Mess arou
0650: 6e 64 20 77 69 74 68 20 61 20 64 6f 63 73 69 7a  nd with a docsiz
0660: 65 20 72 65 63 6f 72 64 2e 20 41 6e 64 20 74 68  e record. And th
0670: 65 20 61 76 65 72 61 67 65 73 20 72 65 63 6f 72  e averages recor
0680: 64 2e 20 54 68 65 6e 0a 23 20 63 68 65 63 6b 20  d. Then.# check 
0690: 74 68 61 74 20 69 6e 74 65 67 72 69 74 79 2d 63  that integrity-c
06a0: 68 65 63 6b 20 70 69 63 6b 73 20 69 74 20 75 70  heck picks it up
06b0: 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ..#.do_execsql_t
06c0: 65 73 74 20 34 2e 30 20 7b 0a 20 20 43 52 45 41  est 4.0 {.  CREA
06d0: 54 45 20 56 49 52 54 55 41 4c 20 54 41 42 4c 45  TE VIRTUAL TABLE
06e0: 20 61 61 20 55 53 49 4e 47 20 66 74 73 35 28 7a   aa USING fts5(z
06f0: 7a 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  z);.  INSERT INT
0700: 4f 20 61 61 28 7a 7a 29 20 56 41 4c 55 45 53 28  O aa(zz) VALUES(
0710: 27 61 20 62 20 63 20 64 20 65 27 29 3b 0a 20 20  'a b c d e');.  
0720: 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 61 28 7a  INSERT INTO aa(z
0730: 7a 29 20 56 41 4c 55 45 53 28 27 61 20 62 20 63  z) VALUES('a b c
0740: 20 64 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49   d');.  INSERT I
0750: 4e 54 4f 20 61 61 28 7a 7a 29 20 56 41 4c 55 45  NTO aa(zz) VALUE
0760: 53 28 27 61 20 62 20 63 27 29 3b 0a 20 20 49 4e  S('a b c');.  IN
0770: 53 45 52 54 20 49 4e 54 4f 20 61 61 28 7a 7a 29  SERT INTO aa(zz)
0780: 20 56 41 4c 55 45 53 28 27 61 20 62 27 29 3b 0a   VALUES('a b');.
0790: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 61    INSERT INTO aa
07a0: 28 7a 7a 29 20 56 41 4c 55 45 53 28 27 61 27 29  (zz) VALUES('a')
07b0: 3b 0a 20 20 53 45 4c 45 43 54 20 6c 65 6e 67 74  ;.  SELECT lengt
07c0: 68 28 73 7a 29 20 46 52 4f 4d 20 61 61 5f 64 6f  h(sz) FROM aa_do
07d0: 63 73 69 7a 65 3b 0a 7d 20 7b 31 20 31 20 31 20  csize;.} {1 1 1 
07e0: 31 20 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  1 1}.do_execsql_
07f0: 74 65 73 74 20 34 2e 31 20 7b 20 0a 20 20 49 4e  test 4.1 { .  IN
0800: 53 45 52 54 20 49 4e 54 4f 20 61 61 28 61 61 29  SERT INTO aa(aa)
0810: 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69   VALUES('integri
0820: 74 79 2d 63 68 65 63 6b 27 29 3b 20 0a 7d 0a 0a  ty-check'); .}..
0830: 73 71 6c 69 74 65 33 5f 64 62 5f 63 6f 6e 66 69  sqlite3_db_confi
0840: 67 20 64 62 20 44 45 46 45 4e 53 49 56 45 20 30  g db DEFENSIVE 0
0850: 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73  .do_catchsql_tes
0860: 74 20 34 2e 32 20 7b 20 0a 20 20 42 45 47 49 4e  t 4.2 { .  BEGIN
0870: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 61 61 5f  ;.    UPDATE aa_
0880: 64 6f 63 73 69 7a 65 20 53 45 54 20 73 7a 20 3d  docsize SET sz =
0890: 20 58 27 34 34 27 20 57 48 45 52 45 20 72 6f 77   X'44' WHERE row
08a0: 69 64 20 3d 20 33 3b 0a 20 20 20 20 49 4e 53 45  id = 3;.    INSE
08b0: 52 54 20 49 4e 54 4f 20 61 61 28 61 61 29 20 56  RT INTO aa(aa) V
08c0: 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69 74 79  ALUES('integrity
08d0: 2d 63 68 65 63 6b 27 29 3b 20 0a 7d 20 7b 31 20  -check'); .} {1 
08e0: 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69  {database disk i
08f0: 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65  mage is malforme
0900: 64 7d 7d 0a 0a 64 6f 5f 63 61 74 63 68 73 71 6c  d}}..do_catchsql
0910: 5f 74 65 73 74 20 34 2e 33 20 7b 20 0a 20 20 52  _test 4.3 { .  R
0920: 4f 4c 4c 42 41 43 4b 3b 0a 20 20 42 45 47 49 4e  OLLBACK;.  BEGIN
0930: 3b 0a 20 20 20 20 55 50 44 41 54 45 20 61 61 5f  ;.    UPDATE aa_
0940: 64 61 74 61 20 53 45 54 20 62 6c 6f 63 6b 20 3d  data SET block =
0950: 20 58 27 34 34 27 20 57 48 45 52 45 20 72 6f 77   X'44' WHERE row
0960: 69 64 20 3d 20 31 3b 0a 20 20 20 20 49 4e 53 45  id = 1;.    INSE
0970: 52 54 20 49 4e 54 4f 20 61 61 28 61 61 29 20 56  RT INTO aa(aa) V
0980: 41 4c 55 45 53 28 27 69 6e 74 65 67 72 69 74 79  ALUES('integrity
0990: 2d 63 68 65 63 6b 27 29 3b 20 0a 7d 20 7b 31 20  -check'); .} {1 
09a0: 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b 20 69  {database disk i
09b0: 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72 6d 65  mage is malforme
09c0: 64 7d 7d 0a 0a 64 6f 5f 63 61 74 63 68 73 71 6c  d}}..do_catchsql
09d0: 5f 74 65 73 74 20 34 2e 34 20 7b 20 0a 20 20 52  _test 4.4 { .  R
09e0: 4f 4c 4c 42 41 43 4b 3b 0a 20 20 42 45 47 49 4e  OLLBACK;.  BEGIN
09f0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0a00: 4f 20 61 61 5f 64 6f 63 73 69 7a 65 20 56 41 4c  O aa_docsize VAL
0a10: 55 45 53 28 32 33 2c 20 58 27 30 34 27 29 3b 0a  UES(23, X'04');.
0a20: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0a30: 61 61 28 61 61 29 20 56 41 4c 55 45 53 28 27 69  aa(aa) VALUES('i
0a40: 6e 74 65 67 72 69 74 79 2d 63 68 65 63 6b 27 29  ntegrity-check')
0a50: 3b 20 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73  ; .} {1 {databas
0a60: 65 20 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20  e disk image is 
0a70: 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 64 6f 5f  malformed}}..do_
0a80: 63 61 74 63 68 73 71 6c 5f 74 65 73 74 20 34 2e  catchsql_test 4.
0a90: 35 20 7b 20 0a 20 20 52 4f 4c 4c 42 41 43 4b 3b  5 { .  ROLLBACK;
0aa0: 0a 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 49 4e  .  BEGIN;.    IN
0ab0: 53 45 52 54 20 49 4e 54 4f 20 61 61 5f 64 6f 63  SERT INTO aa_doc
0ac0: 73 69 7a 65 20 56 41 4c 55 45 53 28 32 33 2c 20  size VALUES(23, 
0ad0: 58 27 30 30 27 29 3b 0a 20 20 20 20 49 4e 53 45  X'00');.    INSE
0ae0: 52 54 20 49 4e 54 4f 20 61 61 5f 63 6f 6e 74 65  RT INTO aa_conte
0af0: 6e 74 20 56 41 4c 55 45 53 28 32 33 2c 20 27 27  nt VALUES(23, ''
0b00: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0b10: 54 4f 20 61 61 28 61 61 29 20 56 41 4c 55 45 53  TO aa(aa) VALUES
0b20: 28 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65 63  ('integrity-chec
0b30: 6b 27 29 3b 20 0a 7d 20 7b 31 20 7b 64 61 74 61  k'); .} {1 {data
0b40: 62 61 73 65 20 64 69 73 6b 20 69 6d 61 67 65 20  base disk image 
0b50: 69 73 20 6d 61 6c 66 6f 72 6d 65 64 7d 7d 0a 0a  is malformed}}..
0b60: 23 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54  #db eval {SELECT
0b70: 20 72 6f 77 69 64 2c 20 66 74 73 35 5f 64 65 63   rowid, fts5_dec
0b80: 6f 64 65 28 72 6f 77 69 64 2c 20 62 6c 6f 63 6b  ode(rowid, block
0b90: 29 20 61 53 20 72 20 46 52 4f 4d 20 7a 7a 5f 64  ) aS r FROM zz_d
0ba0: 61 74 61 7d 20 7b 70 75 74 73 20 24 72 7d 0a 23  ata} {puts $r}.#
0bb0: 65 78 69 74 0a 0a 65 78 65 63 73 71 6c 20 7b 20  exit..execsql { 
0bc0: 52 4f 4c 4c 42 41 43 4b 20 7d 0a 0a 0a 23 2d 2d  ROLLBACK }...#--
0bd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0be0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0bf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0c10: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 65 73 74 20 74  -------.# Test t
0c20: 68 61 74 20 69 6e 74 65 67 72 69 74 79 2d 63 68  hat integrity-ch
0c30: 65 63 6b 20 77 6f 72 6b 73 20 6f 6e 20 61 20 72  eck works on a r
0c40: 65 61 73 6f 6e 61 62 6c 79 20 6c 61 72 67 65 20  easonably large 
0c50: 64 62 20 77 69 74 68 20 6d 61 6e 79 0a 23 20 64  db with many.# d
0c60: 69 66 66 65 72 65 6e 74 20 74 65 72 6d 73 2e 0a  ifferent terms..
0c70: 0a 23 20 44 6f 63 75 6d 65 6e 74 20 67 65 6e 65  .# Document gene
0c80: 72 61 74 6f 72 20 63 6f 6d 6d 61 6e 64 2e 0a 70  rator command..p
0c90: 72 6f 63 20 72 6e 64 64 6f 63 20 7b 6e 7d 20 7b  roc rnddoc {n} {
0ca0: 0a 20 20 73 65 74 20 64 6f 63 20 5b 6c 69 73 74  .  set doc [list
0cb0: 5d 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30  ].  for {set i 0
0cc0: 7d 20 7b 24 69 3c 24 6e 7d 20 7b 69 6e 63 72 20  } {$i<$n} {incr 
0cd0: 69 7d 20 7b 0a 20 20 20 20 6c 61 70 70 65 6e 64  i} {.    lappend
0ce0: 20 64 6f 63 20 5b 66 6f 72 6d 61 74 20 25 2e 35   doc [format %.5
0cf0: 64 20 5b 65 78 70 72 20 69 6e 74 28 72 61 6e 64  d [expr int(rand
0d00: 28 29 2a 31 30 30 30 30 29 5d 5d 0a 20 20 7d 0a  ()*10000)]].  }.
0d10: 20 20 72 65 74 75 72 6e 20 24 64 6f 63 0a 7d 0a    return $doc.}.
0d20: 64 62 20 66 75 6e 63 20 72 6e 64 64 6f 63 20 72  db func rnddoc r
0d30: 6e 64 64 6f 63 0a 0a 65 78 70 72 20 73 72 61 6e  nddoc..expr sran
0d40: 64 28 30 29 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  d(0).do_execsql_
0d50: 74 65 73 74 20 35 2e 30 20 7b 0a 20 20 43 52 45  test 5.0 {.  CRE
0d60: 41 54 45 20 56 49 52 54 55 41 4c 20 54 41 42 4c  ATE VIRTUAL TABL
0d70: 45 20 67 67 20 55 53 49 4e 47 20 66 74 73 35 28  E gg USING fts5(
0d80: 61 2c 20 70 72 65 66 69 78 3d 22 31 2c 32 2c 33  a, prefix="1,2,3
0d90: 22 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  ");.  INSERT INT
0da0: 4f 20 67 67 28 67 67 2c 20 72 61 6e 6b 29 20 56  O gg(gg, rank) V
0db0: 41 4c 55 45 53 28 27 70 67 73 7a 27 2c 20 32 35  ALUES('pgsz', 25
0dc0: 36 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54  6);.  INSERT INT
0dd0: 4f 20 67 67 20 56 41 4c 55 45 53 28 72 6e 64 64  O gg VALUES(rndd
0de0: 6f 63 28 32 30 29 29 3b 0a 20 20 49 4e 53 45 52  oc(20));.  INSER
0df0: 54 20 49 4e 54 4f 20 67 67 20 53 45 4c 45 43 54  T INTO gg SELECT
0e00: 20 72 6e 64 64 6f 63 28 32 30 29 20 46 52 4f 4d   rnddoc(20) FROM
0e10: 20 67 67 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   gg;.  INSERT IN
0e20: 54 4f 20 67 67 20 53 45 4c 45 43 54 20 72 6e 64  TO gg SELECT rnd
0e30: 64 6f 63 28 32 30 29 20 46 52 4f 4d 20 67 67 3b  doc(20) FROM gg;
0e40: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67  .  INSERT INTO g
0e50: 67 20 53 45 4c 45 43 54 20 72 6e 64 64 6f 63 28  g SELECT rnddoc(
0e60: 32 30 29 20 46 52 4f 4d 20 67 67 3b 0a 20 20 49  20) FROM gg;.  I
0e70: 4e 53 45 52 54 20 49 4e 54 4f 20 67 67 20 53 45  NSERT INTO gg SE
0e80: 4c 45 43 54 20 72 6e 64 64 6f 63 28 32 30 29 20  LECT rnddoc(20) 
0e90: 46 52 4f 4d 20 67 67 3b 0a 20 20 49 4e 53 45 52  FROM gg;.  INSER
0ea0: 54 20 49 4e 54 4f 20 67 67 20 53 45 4c 45 43 54  T INTO gg SELECT
0eb0: 20 72 6e 64 64 6f 63 28 32 30 29 20 46 52 4f 4d   rnddoc(20) FROM
0ec0: 20 67 67 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   gg;.  INSERT IN
0ed0: 54 4f 20 67 67 20 53 45 4c 45 43 54 20 72 6e 64  TO gg SELECT rnd
0ee0: 64 6f 63 28 32 30 29 20 46 52 4f 4d 20 67 67 3b  doc(20) FROM gg;
0ef0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67  .  INSERT INTO g
0f00: 67 20 53 45 4c 45 43 54 20 72 6e 64 64 6f 63 28  g SELECT rnddoc(
0f10: 32 30 29 20 46 52 4f 4d 20 67 67 3b 0a 20 20 49  20) FROM gg;.  I
0f20: 4e 53 45 52 54 20 49 4e 54 4f 20 67 67 20 53 45  NSERT INTO gg SE
0f30: 4c 45 43 54 20 72 6e 64 64 6f 63 28 32 30 29 20  LECT rnddoc(20) 
0f40: 46 52 4f 4d 20 67 67 3b 0a 20 20 49 4e 53 45 52  FROM gg;.  INSER
0f50: 54 20 49 4e 54 4f 20 67 67 20 53 45 4c 45 43 54  T INTO gg SELECT
0f60: 20 72 6e 64 64 6f 63 28 32 30 29 20 46 52 4f 4d   rnddoc(20) FROM
0f70: 20 67 67 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e   gg;.  INSERT IN
0f80: 54 4f 20 67 67 20 53 45 4c 45 43 54 20 72 6e 64  TO gg SELECT rnd
0f90: 64 6f 63 28 32 30 29 20 46 52 4f 4d 20 67 67 3b  doc(20) FROM gg;
0fa0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67  .  INSERT INTO g
0fb0: 67 20 53 45 4c 45 43 54 20 72 6e 64 64 6f 63 28  g SELECT rnddoc(
0fc0: 32 30 29 20 46 52 4f 4d 20 67 67 3b 0a 7d 0a 0a  20) FROM gg;.}..
0fd0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0fe0: 35 2e 31 20 7b 0a 20 20 49 4e 53 45 52 54 20 49  5.1 {.  INSERT I
0ff0: 4e 54 4f 20 67 67 28 67 67 29 20 56 41 4c 55 45  NTO gg(gg) VALUE
1000: 53 28 27 69 6e 74 65 67 72 69 74 79 2d 63 68 65  S('integrity-che
1010: 63 6b 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78 65 63  ck');.}..do_exec
1020: 73 71 6c 5f 74 65 73 74 20 35 2e 32 20 7b 0a 20  sql_test 5.2 {. 
1030: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 67 28   INSERT INTO gg(
1040: 67 67 29 20 56 41 4c 55 45 53 28 27 6f 70 74 69  gg) VALUES('opti
1050: 6d 69 7a 65 27 29 3b 0a 7d 0a 0a 64 6f 5f 65 78  mize');.}..do_ex
1060: 65 63 73 71 6c 5f 74 65 73 74 20 35 2e 33 20 7b  ecsql_test 5.3 {
1070: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67  .  INSERT INTO g
1080: 67 28 67 67 29 20 56 41 4c 55 45 53 28 27 69 6e  g(gg) VALUES('in
1090: 74 65 67 72 69 74 79 2d 63 68 65 63 6b 27 29 3b  tegrity-check');
10a0: 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 35 2e 34 2e  .}..do_test 5.4.
10b0: 31 20 7b 0a 20 20 73 65 74 20 6f 6b 20 30 0a 20  1 {.  set ok 0. 
10c0: 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b   for {set i 0} {
10d0: 24 69 20 3c 20 31 30 30 30 30 7d 20 7b 69 6e 63  $i < 10000} {inc
10e0: 72 20 69 7d 20 7b 0a 20 20 20 20 73 65 74 20 54  r i} {.    set T
10f0: 20 5b 66 6f 72 6d 61 74 20 25 2e 35 64 20 24 69   [format %.5d $i
1100: 5d 0a 20 20 20 20 73 65 74 20 72 65 73 20 20 5b  ].    set res  [
1110: 64 62 20 65 76 61 6c 20 7b 20 53 45 4c 45 43 54  db eval { SELECT
1120: 20 72 6f 77 69 64 20 46 52 4f 4d 20 67 67 28 24   rowid FROM gg($
1130: 54 29 20 4f 52 44 45 52 20 42 59 20 72 6f 77 69  T) ORDER BY rowi
1140: 64 20 41 53 43 20 20 7d 5d 0a 20 20 20 20 73 65  d ASC  }].    se
1150: 74 20 72 65 73 32 20 5b 64 62 20 65 76 61 6c 20  t res2 [db eval 
1160: 7b 20 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46  { SELECT rowid F
1170: 52 4f 4d 20 67 67 28 24 54 29 20 4f 52 44 45 52  ROM gg($T) ORDER
1180: 20 42 59 20 72 6f 77 69 64 20 44 45 53 43 20 7d   BY rowid DESC }
1190: 5d 0a 20 20 20 20 69 66 20 7b 24 72 65 73 20 3d  ].    if {$res =
11a0: 3d 20 5b 6c 73 6f 72 74 20 2d 69 6e 74 65 67 65  = [lsort -intege
11b0: 72 20 24 72 65 73 32 5d 7d 20 7b 20 69 6e 63 72  r $res2]} { incr
11c0: 20 6f 6b 20 7d 0a 20 20 7d 0a 20 20 73 65 74 20   ok }.  }.  set 
11d0: 6f 6b 0a 7d 20 7b 31 30 30 30 30 7d 0a 0a 64 6f  ok.} {10000}..do
11e0: 5f 74 65 73 74 20 35 2e 34 2e 32 20 7b 0a 20 20  _test 5.4.2 {.  
11f0: 73 65 74 20 6f 6b 20 30 0a 20 20 66 6f 72 20 7b  set ok 0.  for {
1200: 73 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 31  set i 0} {$i < 1
1210: 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20  00} {incr i} {. 
1220: 20 20 20 73 65 74 20 54 20 22 5b 66 6f 72 6d 61     set T "[forma
1230: 74 20 25 2e 33 64 20 24 69 5d 2a 22 0a 20 20 20  t %.3d $i]*".   
1240: 20 73 65 74 20 72 65 73 20 20 5b 64 62 20 65 76   set res  [db ev
1250: 61 6c 20 7b 20 53 45 4c 45 43 54 20 72 6f 77 69  al { SELECT rowi
1260: 64 20 46 52 4f 4d 20 67 67 28 24 54 29 20 4f 52  d FROM gg($T) OR
1270: 44 45 52 20 42 59 20 72 6f 77 69 64 20 41 53 43  DER BY rowid ASC
1280: 20 20 7d 5d 0a 20 20 20 20 73 65 74 20 72 65 73    }].    set res
1290: 32 20 5b 64 62 20 65 76 61 6c 20 7b 20 53 45 4c  2 [db eval { SEL
12a0: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 67  ECT rowid FROM g
12b0: 67 28 24 54 29 20 4f 52 44 45 52 20 42 59 20 72  g($T) ORDER BY r
12c0: 6f 77 69 64 20 44 45 53 43 20 7d 5d 0a 20 20 20  owid DESC }].   
12d0: 20 69 66 20 7b 24 72 65 73 20 3d 3d 20 5b 6c 73   if {$res == [ls
12e0: 6f 72 74 20 2d 69 6e 74 65 67 65 72 20 24 72 65  ort -integer $re
12f0: 73 32 5d 7d 20 7b 20 69 6e 63 72 20 6f 6b 20 7d  s2]} { incr ok }
1300: 0a 20 20 7d 0a 20 20 73 65 74 20 6f 6b 0a 7d 20  .  }.  set ok.} 
1310: 7b 31 30 30 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d  {100}..#--------
1320: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1330: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1340: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1350: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
1360: 2d 0a 23 20 53 69 6d 69 6c 61 72 20 74 6f 20 35  -.# Similar to 5
1370: 2e 2a 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74  .*..#.foreach {t
1380: 6e 20 70 67 73 7a 7d 20 7b 0a 20 20 31 20 20 33  n pgsz} {.  1  3
1390: 32 0a 20 20 32 20 20 33 36 0a 20 20 33 20 20 34  2.  2  36.  3  4
13a0: 30 0a 20 20 34 20 20 34 34 0a 20 20 35 20 20 34  0.  4  44.  5  4
13b0: 38 0a 7d 20 7b 0a 20 20 64 6f 5f 65 78 65 63 73  8.} {.  do_execs
13c0: 71 6c 5f 74 65 73 74 20 36 2e 24 74 6e 2e 31 20  ql_test 6.$tn.1 
13d0: 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45  {.    DROP TABLE
13e0: 20 49 46 20 45 58 49 53 54 53 20 68 68 3b 0a 20   IF EXISTS hh;. 
13f0: 20 20 20 43 52 45 41 54 45 20 56 49 52 54 55 41     CREATE VIRTUA
1400: 4c 20 54 41 42 4c 45 20 68 68 20 55 53 49 4e 47  L TABLE hh USING
1410: 20 66 74 73 35 28 79 29 3b 0a 20 20 20 20 49 4e   fts5(y);.    IN
1420: 53 45 52 54 20 49 4e 54 4f 20 68 68 28 68 68 2c  SERT INTO hh(hh,
1430: 20 72 61 6e 6b 29 20 56 41 4c 55 45 53 28 27 70   rank) VALUES('p
1440: 67 73 7a 27 2c 20 24 70 67 73 7a 29 3b 0a 0a 20  gsz', $pgsz);.. 
1450: 20 20 20 57 49 54 48 20 73 28 69 29 20 41 53 20     WITH s(i) AS 
1460: 28 53 45 4c 45 43 54 20 30 20 55 4e 49 4f 4e 20  (SELECT 0 UNION 
1470: 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b 31 20 46  ALL SELECT i+1 F
1480: 52 4f 4d 20 73 20 57 48 45 52 45 20 69 3c 39 39  ROM s WHERE i<99
1490: 39 29 0a 20 20 20 20 20 49 4e 53 45 52 54 20 49  9).     INSERT I
14a0: 4e 54 4f 20 68 68 20 53 45 4c 45 43 54 20 70 72  NTO hh SELECT pr
14b0: 69 6e 74 66 28 22 25 2e 33 64 25 2e 33 64 25 2e  intf("%.3d%.3d%.
14c0: 33 64 20 25 2e 33 64 25 2e 33 64 25 2e 33 64 22  3d %.3d%.3d%.3d"
14d0: 2c 69 2c 69 2c 69 2c 69 2b 31 2c 69 2b 31 2c 69  ,i,i,i,i+1,i+1,i
14e0: 2b 31 29 0a 20 20 20 20 20 46 52 4f 4d 20 73 3b  +1).     FROM s;
14f0: 0a 0a 20 20 20 20 57 49 54 48 20 73 28 69 29 20  ..    WITH s(i) 
1500: 41 53 20 28 53 45 4c 45 43 54 20 30 20 55 4e 49  AS (SELECT 0 UNI
1510: 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b  ON ALL SELECT i+
1520: 31 20 46 52 4f 4d 20 73 20 57 48 45 52 45 20 69  1 FROM s WHERE i
1530: 3c 39 39 39 29 0a 20 20 20 20 20 49 4e 53 45 52  <999).     INSER
1540: 54 20 49 4e 54 4f 20 68 68 20 53 45 4c 45 43 54  T INTO hh SELECT
1550: 20 70 72 69 6e 74 66 28 22 25 2e 33 64 25 2e 33   printf("%.3d%.3
1560: 64 25 2e 33 64 20 25 2e 33 64 25 2e 33 64 25 2e  d%.3d %.3d%.3d%.
1570: 33 64 22 2c 69 2c 69 2c 69 2c 69 2b 31 2c 69 2b  3d",i,i,i,i+1,i+
1580: 31 2c 69 2b 31 29 0a 20 20 20 20 20 46 52 4f 4d  1,i+1).     FROM
1590: 20 73 3b 0a 0a 20 20 20 20 49 4e 53 45 52 54 20   s;..    INSERT 
15a0: 49 4e 54 4f 20 68 68 28 68 68 29 20 56 41 4c 55  INTO hh(hh) VALU
15b0: 45 53 28 27 6f 70 74 69 6d 69 7a 65 27 29 3b 0a  ES('optimize');.
15c0: 20 20 7d 0a 0a 20 20 64 6f 5f 74 65 73 74 20 36    }..  do_test 6
15d0: 2e 24 74 6e 2e 32 20 7b 0a 20 20 20 20 73 65 74  .$tn.2 {.    set
15e0: 20 6f 6b 20 30 0a 20 20 20 20 66 6f 72 20 7b 73   ok 0.    for {s
15f0: 65 74 20 69 20 30 7d 20 7b 24 69 20 3c 20 31 30  et i 0} {$i < 10
1600: 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20  00} {incr i} {. 
1610: 20 20 20 20 20 73 65 74 20 54 20 5b 66 6f 72 6d       set T [form
1620: 61 74 20 25 2e 33 64 25 2e 33 64 25 2e 33 64 20  at %.3d%.3d%.3d 
1630: 24 69 20 24 69 20 24 69 5d 0a 20 20 20 20 20 20  $i $i $i].      
1640: 73 65 74 20 72 65 73 20 20 5b 64 62 20 65 76 61  set res  [db eva
1650: 6c 20 7b 20 53 45 4c 45 43 54 20 72 6f 77 69 64  l { SELECT rowid
1660: 20 46 52 4f 4d 20 68 68 28 24 54 29 20 4f 52 44   FROM hh($T) ORD
1670: 45 52 20 42 59 20 72 6f 77 69 64 20 41 53 43 20  ER BY rowid ASC 
1680: 20 7d 5d 0a 20 20 20 20 20 20 73 65 74 20 72 65   }].      set re
1690: 73 32 20 5b 64 62 20 65 76 61 6c 20 7b 20 53 45  s2 [db eval { SE
16a0: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
16b0: 68 68 28 24 54 29 20 4f 52 44 45 52 20 42 59 20  hh($T) ORDER BY 
16c0: 72 6f 77 69 64 20 44 45 53 43 20 7d 5d 0a 20 20  rowid DESC }].  
16d0: 20 20 20 20 69 66 20 7b 24 72 65 73 20 3d 3d 20      if {$res == 
16e0: 5b 6c 73 6f 72 74 20 2d 69 6e 74 65 67 65 72 20  [lsort -integer 
16f0: 24 72 65 73 32 5d 7d 20 7b 20 69 6e 63 72 20 6f  $res2]} { incr o
1700: 6b 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 73 65  k }.    }.    se
1710: 74 20 6f 6b 0a 20 20 7d 20 7b 31 30 30 30 7d 0a  t ok.  } {1000}.
1720: 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     }..finish_test.