ext/fts5/test/fts5corrupt.test

   1 # 2014 Dec 20
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 #
  12 # This file tests that the FTS5 'integrity-check' command detects
  13 # inconsistencies (corruption) in the on-disk backing tables.
  14 #
  15
  16 source [file join [file dirname [info script]] fts5_common.tcl]
  17 set testprefix fts5corrupt
  18
  19 # If SQLITE_ENABLE_FTS5 is defined, omit this file.
  20 ifcapable !fts5 {
  21   finish_test
  22   return
  23 }
  24
  25 do_execsql_test 1.0 {
  26   CREATE VIRTUAL TABLE t1 USING fts5(x);
  27   INSERT INTO t1(t1, rank) VALUES('pgsz', 32);
  28 }
  29
  30 do_test 1.1 {
  31   db transaction {
  32     for {set i 1} {$i < 200} {incr i} {
  33       set doc [list [string repeat x $i] [string repeat y $i]]
  34       execsql { INSERT INTO t1(rowid, x) VALUES($i, $doc) }
  35     }
  36   }
  37   fts5_level_segs t1
  38 } {1}
  39 db_save
  40
  41 do_execsql_test 1.2 { INSERT INTO t1(t1) VALUES('integrity-check') }
  42 set segid [lindex [fts5_level_segids t1] 0]
  43
  44 sqlite3_db_config db DEFENSIVE 0
  45 do_test 1.3 {
  46   execsql {
  47     DELETE FROM t1_data WHERE rowid = fts5_rowid('segment', $segid, 4);
  48   }
  49   catchsql { INSERT INTO t1(t1) VALUES('integrity-check') }
  50 } {1 {database disk image is malformed}}
  51 do_execsql_test 1.3b {
  52   PRAGMA integrity_check(t1);
  53 } {{malformed inverted index for FTS5 table main.t1}}
  54
  55
  56 do_test 1.4 {
  57   db_restore_and_reopen
  58   sqlite3_db_config db DEFENSIVE 0
  59   execsql {
  60     UPDATE t1_data set block = X'00000000' || substr(block, 5) WHERE
  61     rowid = fts5_rowid('segment', $segid, 4);
  62   }
  63   catchsql { INSERT INTO t1(t1) VALUES('integrity-check') }
  64 } {1 {database disk image is malformed}}
  65
  66 db_restore_and_reopen
  67 #db eval {SELECT rowid, fts5_decode(rowid, block) aS r FROM t1_data} {puts $r}
  68
  69
  70 #--------------------------------------------------------------------
  71 #
  72 do_execsql_test 2.0 {
  73   CREATE VIRTUAL TABLE t2 USING fts5(x);
  74   INSERT INTO t2(t2, rank) VALUES('pgsz', 64);
  75 }
  76 db func rnddoc fts5_rnddoc
  77 do_test 2.1 {
  78   for {set i 0} {$i < 500} {incr i} {
  79     execsql { INSERT INTO t2 VALUES(rnddoc(50)) }
  80   }
  81   execsql { INSERT INTO t2(t2) VALUES('integrity-check') }
  82 } {}
  83
  84 #--------------------------------------------------------------------
  85 # A mundane test - missing row in the %_content table.
  86 #
  87 do_execsql_test 3.0 {
  88   CREATE VIRTUAL TABLE t3 USING fts5(x);
  89   INSERT INTO t3 VALUES('one o');
  90   INSERT INTO t3 VALUES('two e');
  91   INSERT INTO t3 VALUES('three o');
  92   INSERT INTO t3 VALUES('four e');
  93   INSERT INTO t3 VALUES('five o');
  94 }
  95 do_execsql_test 3.1 {
  96   SELECT * FROM t3 WHERE t3 MATCH 'o'
  97 } {{one o} {three o} {five o}}
  98 sqlite3_db_config db DEFENSIVE 0
  99 do_catchsql_test 3.1 {
 100   DELETE FROM t3_content WHERE rowid = 3;
 101   SELECT * FROM t3 WHERE t3 MATCH 'o';
 102 } {1 {database disk image is malformed}}
 103
 104 finish_test