ext/fts5/test/fts5corrupt7.test

   1 # 2023 April 30
   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
  13 source [file join [file dirname [info script]] fts5_common.tcl]
  14 set testprefix fts5corrupt7
  15
  16 # If SQLITE_ENABLE_FTS5 is defined, omit this file.
  17 ifcapable !fts5 {
  18   finish_test
  19   return
  20 }
  21 sqlite3_fts5_may_be_corrupt 1
  22
  23 do_execsql_test 1.0 {
  24   CREATE VIRTUAL TABLE t1 USING fts5(x);
  25   INSERT INTO t1(t1, rank) VALUES('pgsz', 32);
  26 }
  27
  28 set doc [string repeat "a b " 30]
  29
  30 do_execsql_test 1.1 {
  31   BEGIN;
  32     INSERT INTO t1(rowid, x) VALUES(123, $doc);
  33     INSERT INTO t1(rowid, x) VALUES(124, $doc);
  34   COMMIT;
  35 }
  36
  37 execsql_pp {
  38   SELECT id, fts5_decode(id, block), quote(block) FROM t1_data
  39 }
  40
  41 set rows [db eval { SELECT rowid FROM t1_data }]
  42 db_save_and_close
  43
  44 foreach r $rows {
  45   db_restore_and_reopen
  46
  47   proc edit_block {b} {
  48     binary scan $b c* in
  49     set out [lreplace $in 0 1 255 255]
  50     binary format c* $out
  51   }
  52   db func edit_block edit_block
  53
  54   do_execsql_test 1.2.$r.1 {
  55     UPDATE t1_data SET block = edit_block(block) WHERE rowid=$r;
  56   }
  57
  58   do_execsql_test 1.2.$r.2 {
  59     INSERT INTO t1(t1, rank) VALUES('secure-delete', 1);
  60   }
  61
  62   do_test 1.2.$r.3 {
  63     catchsql { DELETE FROM t1 WHERE rowid=123; }
  64     catchsql { DELETE FROM t1 WHERE rowid=124; }
  65     set {} {}
  66   } {}
  67
  68   db close
  69 }
  70
  71 foreach r $rows {
  72 set r 137438953475
  73   db_restore_and_reopen
  74
  75   proc edit_block {b} {
  76     binary scan $b c* in
  77     set out [lreplace $in end end 127]
  78     binary format c* $out
  79   }
  80   db func edit_block edit_block
  81
  82   do_execsql_test 1.2.$r.1 {
  83     UPDATE t1_data SET block = edit_block(block) WHERE rowid=$r;
  84   }
  85
  86   do_execsql_test 1.2.$r.2 {
  87     INSERT INTO t1(t1, rank) VALUES('secure-delete', 1);
  88   }
  89
  90   do_test 1.2.$r.3 {
  91     catchsql { DELETE FROM t1 WHERE rowid=124; }
  92     catchsql { DELETE FROM t1 WHERE rowid=123; }
  93     set {} {}
  94   } {}
  95
  96   db close
  97 }
  98
  99 finish_test