/ Hex Artifact Content
Login

Artifact 77ae6f41a7eba10620efb921cf7dbe218b0ef232b04519deb43581cb17a57ebe:


0000: 23 20 32 30 31 34 20 44 65 63 20 32 30 0a 23 0a  # 2014 Dec 20.#.
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 74 65 73 74 73 20 74 68 61 74 20 74 68 65  e tests that the
0180: 20 46 54 53 35 20 27 69 6e 74 65 67 72 69 74 79   FTS5 'integrity
0190: 2d 63 68 65 63 6b 27 20 63 6f 6d 6d 61 6e 64 20  -check' command 
01a0: 64 65 74 65 63 74 73 20 0a 23 20 69 6e 63 6f 6e  detects .# incon
01b0: 73 69 73 74 65 6e 63 69 65 73 20 28 63 6f 72 72  sistencies (corr
01c0: 75 70 74 69 6f 6e 29 20 69 6e 20 74 68 65 20 6f  uption) in the o
01d0: 6e 2d 64 69 73 6b 20 62 61 63 6b 69 6e 67 20 74  n-disk backing t
01e0: 61 62 6c 65 73 2e 0a 23 0a 0a 73 6f 75 72 63 65  ables..#..source
01f0: 20 5b 66 69 6c 65 20 6a 6f 69 6e 20 5b 66 69 6c   [file join [fil
0200: 65 20 64 69 72 6e 61 6d 65 20 5b 69 6e 66 6f 20  e dirname [info 
0210: 73 63 72 69 70 74 5d 5d 20 66 74 73 35 5f 63 6f  script]] fts5_co
0220: 6d 6d 6f 6e 2e 74 63 6c 5d 0a 73 65 74 20 74 65  mmon.tcl].set te
0230: 73 74 70 72 65 66 69 78 20 66 74 73 35 63 6f 72  stprefix fts5cor
0240: 72 75 70 74 0a 0a 23 20 49 66 20 53 51 4c 49 54  rupt..# If SQLIT
0250: 45 5f 45 4e 41 42 4c 45 5f 46 54 53 35 20 69 73  E_ENABLE_FTS5 is
0260: 20 64 65 66 69 6e 65 64 2c 20 6f 6d 69 74 20 74   defined, omit t
0270: 68 69 73 20 66 69 6c 65 2e 0a 69 66 63 61 70 61  his file..ifcapa
0280: 62 6c 65 20 21 66 74 73 35 20 7b 0a 20 20 66 69  ble !fts5 {.  fi
0290: 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75  nish_test.  retu
02a0: 72 6e 0a 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c  rn.}..do_execsql
02b0: 5f 74 65 73 74 20 31 2e 30 20 7b 0a 20 20 43 52  _test 1.0 {.  CR
02c0: 45 41 54 45 20 56 49 52 54 55 41 4c 20 54 41 42  EATE VIRTUAL TAB
02d0: 4c 45 20 74 31 20 55 53 49 4e 47 20 66 74 73 35  LE t1 USING fts5
02e0: 28 78 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  (x);.  INSERT IN
02f0: 54 4f 20 74 31 28 74 31 2c 20 72 61 6e 6b 29 20  TO t1(t1, rank) 
0300: 56 41 4c 55 45 53 28 27 70 67 73 7a 27 2c 20 33  VALUES('pgsz', 3
0310: 32 29 3b 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 31  2);.}..do_test 1
0320: 2e 31 20 7b 0a 20 20 64 62 20 74 72 61 6e 73 61  .1 {.  db transa
0330: 63 74 69 6f 6e 20 7b 0a 20 20 20 20 66 6f 72 20  ction {.    for 
0340: 7b 73 65 74 20 69 20 31 7d 20 7b 24 69 20 3c 20  {set i 1} {$i < 
0350: 32 30 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a  200} {incr i} {.
0360: 20 20 20 20 20 20 73 65 74 20 64 6f 63 20 5b 6c        set doc [l
0370: 69 73 74 20 5b 73 74 72 69 6e 67 20 72 65 70 65  ist [string repe
0380: 61 74 20 78 20 24 69 5d 20 5b 73 74 72 69 6e 67  at x $i] [string
0390: 20 72 65 70 65 61 74 20 79 20 24 69 5d 5d 0a 20   repeat y $i]]. 
03a0: 20 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 49       execsql { I
03b0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 72 6f  NSERT INTO t1(ro
03c0: 77 69 64 2c 20 78 29 20 56 41 4c 55 45 53 28 24  wid, x) VALUES($
03d0: 69 2c 20 24 64 6f 63 29 20 7d 0a 20 20 20 20 7d  i, $doc) }.    }
03e0: 0a 20 20 7d 0a 20 20 66 74 73 35 5f 6c 65 76 65  .  }.  fts5_leve
03f0: 6c 5f 73 65 67 73 20 74 31 0a 7d 20 7b 31 7d 0a  l_segs t1.} {1}.
0400: 64 62 5f 73 61 76 65 0a 0a 64 6f 5f 65 78 65 63  db_save..do_exec
0410: 73 71 6c 5f 74 65 73 74 20 31 2e 32 20 7b 20 49  sql_test 1.2 { I
0420: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 74 31  NSERT INTO t1(t1
0430: 29 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72  ) VALUES('integr
0440: 69 74 79 2d 63 68 65 63 6b 27 29 20 7d 0a 73 65  ity-check') }.se
0450: 74 20 73 65 67 69 64 20 5b 6c 69 6e 64 65 78 20  t segid [lindex 
0460: 5b 66 74 73 35 5f 6c 65 76 65 6c 5f 73 65 67 69  [fts5_level_segi
0470: 64 73 20 74 31 5d 20 30 5d 0a 0a 73 71 6c 69 74  ds t1] 0]..sqlit
0480: 65 33 5f 64 62 5f 63 6f 6e 66 69 67 20 64 62 20  e3_db_config db 
0490: 44 45 46 45 4e 53 49 56 45 20 30 0a 64 6f 5f 74  DEFENSIVE 0.do_t
04a0: 65 73 74 20 31 2e 33 20 7b 0a 20 20 65 78 65 63  est 1.3 {.  exec
04b0: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
04c0: 20 46 52 4f 4d 20 74 31 5f 64 61 74 61 20 57 48   FROM t1_data WH
04d0: 45 52 45 20 72 6f 77 69 64 20 3d 20 66 74 73 35  ERE rowid = fts5
04e0: 5f 72 6f 77 69 64 28 27 73 65 67 6d 65 6e 74 27  _rowid('segment'
04f0: 2c 20 24 73 65 67 69 64 2c 20 34 29 3b 0a 20 20  , $segid, 4);.  
0500: 7d 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 20 49  }.  catchsql { I
0510: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28 74 31  NSERT INTO t1(t1
0520: 29 20 56 41 4c 55 45 53 28 27 69 6e 74 65 67 72  ) VALUES('integr
0530: 69 74 79 2d 63 68 65 63 6b 27 29 20 7d 0a 7d 20  ity-check') }.} 
0540: 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73  {1 {database dis
0550: 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f  k image is malfo
0560: 72 6d 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73 74 20  rmed}}..do_test 
0570: 31 2e 34 20 7b 0a 20 20 64 62 5f 72 65 73 74 6f  1.4 {.  db_resto
0580: 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a 20 20  re_and_reopen.  
0590: 73 71 6c 69 74 65 33 5f 64 62 5f 63 6f 6e 66 69  sqlite3_db_confi
05a0: 67 20 64 62 20 44 45 46 45 4e 53 49 56 45 20 30  g db DEFENSIVE 0
05b0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
05c0: 20 55 50 44 41 54 45 20 74 31 5f 64 61 74 61 20   UPDATE t1_data 
05d0: 73 65 74 20 62 6c 6f 63 6b 20 3d 20 58 27 30 30  set block = X'00
05e0: 30 30 30 30 30 30 27 20 7c 7c 20 73 75 62 73 74  000000' || subst
05f0: 72 28 62 6c 6f 63 6b 2c 20 35 29 20 57 48 45 52  r(block, 5) WHER
0600: 45 0a 20 20 20 20 72 6f 77 69 64 20 3d 20 66 74  E.    rowid = ft
0610: 73 35 5f 72 6f 77 69 64 28 27 73 65 67 6d 65 6e  s5_rowid('segmen
0620: 74 27 2c 20 24 73 65 67 69 64 2c 20 34 29 3b 0a  t', $segid, 4);.
0630: 20 20 7d 0a 20 20 63 61 74 63 68 73 71 6c 20 7b    }.  catchsql {
0640: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 28   INSERT INTO t1(
0650: 74 31 29 20 56 41 4c 55 45 53 28 27 69 6e 74 65  t1) VALUES('inte
0660: 67 72 69 74 79 2d 63 68 65 63 6b 27 29 20 7d 0a  grity-check') }.
0670: 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20 64  } {1 {database d
0680: 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61 6c  isk image is mal
0690: 66 6f 72 6d 65 64 7d 7d 0a 0a 64 62 5f 72 65 73  formed}}..db_res
06a0: 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e 0a  tore_and_reopen.
06b0: 23 64 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54  #db eval {SELECT
06c0: 20 72 6f 77 69 64 2c 20 66 74 73 35 5f 64 65 63   rowid, fts5_dec
06d0: 6f 64 65 28 72 6f 77 69 64 2c 20 62 6c 6f 63 6b  ode(rowid, block
06e0: 29 20 61 53 20 72 20 46 52 4f 4d 20 74 31 5f 64  ) aS r FROM t1_d
06f0: 61 74 61 7d 20 7b 70 75 74 73 20 24 72 7d 0a 0a  ata} {puts $r}..
0700: 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  .#--------------
0710: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0720: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0730: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0740: 2d 2d 2d 2d 2d 2d 0a 23 0a 64 6f 5f 65 78 65 63  ------.#.do_exec
0750: 73 71 6c 5f 74 65 73 74 20 32 2e 30 20 7b 0a 20  sql_test 2.0 {. 
0760: 20 43 52 45 41 54 45 20 56 49 52 54 55 41 4c 20   CREATE VIRTUAL 
0770: 54 41 42 4c 45 20 74 32 20 55 53 49 4e 47 20 66  TABLE t2 USING f
0780: 74 73 35 28 78 29 3b 0a 20 20 49 4e 53 45 52 54  ts5(x);.  INSERT
0790: 20 49 4e 54 4f 20 74 32 28 74 32 2c 20 72 61 6e   INTO t2(t2, ran
07a0: 6b 29 20 56 41 4c 55 45 53 28 27 70 67 73 7a 27  k) VALUES('pgsz'
07b0: 2c 20 36 34 29 3b 0a 7d 0a 64 62 20 66 75 6e 63  , 64);.}.db func
07c0: 20 72 6e 64 64 6f 63 20 66 74 73 35 5f 72 6e 64   rnddoc fts5_rnd
07d0: 64 6f 63 0a 64 6f 5f 74 65 73 74 20 32 2e 31 20  doc.do_test 2.1 
07e0: 7b 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 30  {.  for {set i 0
07f0: 7d 20 7b 24 69 20 3c 20 35 30 30 7d 20 7b 69 6e  } {$i < 500} {in
0800: 63 72 20 69 7d 20 7b 0a 20 20 20 20 65 78 65 63  cr i} {.    exec
0810: 73 71 6c 20 7b 20 49 4e 53 45 52 54 20 49 4e 54  sql { INSERT INT
0820: 4f 20 74 32 20 56 41 4c 55 45 53 28 72 6e 64 64  O t2 VALUES(rndd
0830: 6f 63 28 35 30 29 29 20 7d 0a 20 20 7d 0a 20 20  oc(50)) }.  }.  
0840: 65 78 65 63 73 71 6c 20 7b 20 49 4e 53 45 52 54  execsql { INSERT
0850: 20 49 4e 54 4f 20 74 32 28 74 32 29 20 56 41 4c   INTO t2(t2) VAL
0860: 55 45 53 28 27 69 6e 74 65 67 72 69 74 79 2d 63  UES('integrity-c
0870: 68 65 63 6b 27 29 20 7d 0a 7d 20 7b 7d 0a 0a 23  heck') }.} {}..#
0880: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0890: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
08a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
08b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
08c0: 2d 2d 2d 2d 0a 23 20 41 20 6d 75 6e 64 61 6e 65  ----.# A mundane
08d0: 20 74 65 73 74 20 2d 20 6d 69 73 73 69 6e 67 20   test - missing 
08e0: 72 6f 77 20 69 6e 20 74 68 65 20 25 5f 63 6f 6e  row in the %_con
08f0: 74 65 6e 74 20 74 61 62 6c 65 2e 0a 23 0a 64 6f  tent table..#.do
0900: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 33 2e  _execsql_test 3.
0910: 30 20 7b 0a 20 20 43 52 45 41 54 45 20 56 49 52  0 {.  CREATE VIR
0920: 54 55 41 4c 20 54 41 42 4c 45 20 74 33 20 55 53  TUAL TABLE t3 US
0930: 49 4e 47 20 66 74 73 35 28 78 29 3b 0a 20 20 49  ING fts5(x);.  I
0940: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
0950: 4c 55 45 53 28 27 6f 6e 65 20 6f 27 29 3b 0a 20  LUES('one o');. 
0960: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20   INSERT INTO t3 
0970: 56 41 4c 55 45 53 28 27 74 77 6f 20 65 27 29 3b  VALUES('two e');
0980: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
0990: 33 20 56 41 4c 55 45 53 28 27 74 68 72 65 65 20  3 VALUES('three 
09a0: 6f 27 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e  o');.  INSERT IN
09b0: 54 4f 20 74 33 20 56 41 4c 55 45 53 28 27 66 6f  TO t3 VALUES('fo
09c0: 75 72 20 65 27 29 3b 0a 20 20 49 4e 53 45 52 54  ur e');.  INSERT
09d0: 20 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28   INTO t3 VALUES(
09e0: 27 66 69 76 65 20 6f 27 29 3b 0a 7d 0a 64 6f 5f  'five o');.}.do_
09f0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 33 2e 31  execsql_test 3.1
0a00: 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52   {.  SELECT * FR
0a10: 4f 4d 20 74 33 20 57 48 45 52 45 20 74 33 20 4d  OM t3 WHERE t3 M
0a20: 41 54 43 48 20 27 6f 27 0a 7d 20 7b 7b 6f 6e 65  ATCH 'o'.} {{one
0a30: 20 6f 7d 20 7b 74 68 72 65 65 20 6f 7d 20 7b 66   o} {three o} {f
0a40: 69 76 65 20 6f 7d 7d 0a 73 71 6c 69 74 65 33 5f  ive o}}.sqlite3_
0a50: 64 62 5f 63 6f 6e 66 69 67 20 64 62 20 44 45 46  db_config db DEF
0a60: 45 4e 53 49 56 45 20 30 0a 64 6f 5f 63 61 74 63  ENSIVE 0.do_catc
0a70: 68 73 71 6c 5f 74 65 73 74 20 33 2e 31 20 7b 0a  hsql_test 3.1 {.
0a80: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 33    DELETE FROM t3
0a90: 5f 63 6f 6e 74 65 6e 74 20 57 48 45 52 45 20 72  _content WHERE r
0aa0: 6f 77 69 64 20 3d 20 33 3b 0a 20 20 53 45 4c 45  owid = 3;.  SELE
0ab0: 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57 48 45  CT * FROM t3 WHE
0ac0: 52 45 20 74 33 20 4d 41 54 43 48 20 27 6f 27 3b  RE t3 MATCH 'o';
0ad0: 0a 7d 20 7b 31 20 7b 64 61 74 61 62 61 73 65 20  .} {1 {database 
0ae0: 64 69 73 6b 20 69 6d 61 67 65 20 69 73 20 6d 61  disk image is ma
0af0: 6c 66 6f 72 6d 65 64 7d 7d 0a 0a 66 69 6e 69 73  lformed}}..finis
0b00: 68 5f 74 65 73 74 0a                             h_test.