3 # The author disclaims copyright to this source code. In place of
4 # a legal notice, here is a blessing:
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.
10 #***********************************************************************
11 # This file implements regression tests for SQLite library.
13 # This file implements tests to verify that ticket [313723c356] has been
17 set testdir [file dirname $argv0]
18 source $testdir/tester.tcl
19 source $testdir/malloc_common.tcl
21 ifcapable !wal { finish_test ; return }
23 do_execsql_test tkt-313723c356.1 {
24 PRAGMA page_size = 1024;
25 PRAGMA journal_mode = WAL;
26 CREATE TABLE t1(a, b);
27 CREATE INDEX i1 ON t1(a, b);
28 INSERT INTO t1 VALUES(randomblob(400), randomblob(400));
29 INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
30 INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
31 INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
32 INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
34 faultsim_save_and_close
36 do_faultsim_test tkt-313723c356.2 -faults shmerr* -prep {
37 faultsim_restore_and_reopen
39 db eval { SELECT * FROM t1 }
40 db2 eval { UPDATE t1 SET a = randomblob(399) }
43 # At this point, the cache contains all of table t1 and none of index i1. The
44 # cache is out of date. When the bug existed and the right xShmLock() fails
45 # in the following statement, the internal cache of the WAL header was
46 # being updated, but the contents of the page-cache not flushed. This causes
47 # the integrity-check in the "-test" code to fail, as it is comparing the
48 # cached (out-of-date) version of table t1 with the on disk (up-to-date)
49 # version of index i1.
51 execsql { SELECT min(rowid) FROM t1 }
53 faultsim_test_result {0 1}
54 faultsim_integrity_check