Import SQLite 3.7.6.3.

third_party/sqlite/src/test/tkt-313723c356.test

+# 2010 September 20
+#
+# The author disclaims copyright to this source code.  In place of
+# a legal notice, here is a blessing:
+#
+#    May you do good and not evil.
+#    May you find forgiveness for yourself and forgive others.
+#    May you share freely, never taking more than you give.
+#
+#***********************************************************************
+# This file implements regression tests for SQLite library.
+#
+# This file implements tests to verify that ticket [313723c356] has been
+# fixed.  
+#
+
+set testdir [file dirname $argv0]
+source $testdir/tester.tcl
+source $testdir/malloc_common.tcl
+
+ifcapable !wal { finish_test ; return }
+
+do_execsql_test tkt-313723c356.1 {
+  PRAGMA page_size = 1024;
+  PRAGMA journal_mode = WAL;
+  CREATE TABLE t1(a, b);
+  CREATE INDEX i1 ON t1(a, b);
+  INSERT INTO t1 VALUES(randomblob(400), randomblob(400));
+  INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
+  INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
+  INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
+  INSERT INTO t1 SELECT randomblob(400), randomblob(400) FROM t1;
+} {wal}
+faultsim_save_and_close
+
+do_faultsim_test tkt-313723c356.2 -faults shmerr* -prep {
+  faultsim_restore_and_reopen
+  sqlite3 db2 test.db
+  db eval  { SELECT * FROM t1 }
+  db2 eval { UPDATE t1 SET a = randomblob(399) }
+  db2 close
+} -body {
+  # At this point, the cache contains all of table t1 and none of index i1. The
+  # cache is out of date. When the bug existed and the right xShmLock() fails
+  # in the following statement, the internal cache of the WAL header was
+  # being updated, but the contents of the page-cache not flushed. This causes
+  # the integrity-check in the "-test" code to fail, as it is comparing the
+  # cached (out-of-date) version of table t1 with the on disk (up-to-date)
+  # version of index i1.
+  #
+  execsql { SELECT min(rowid) FROM t1 }
+} -test {
+  faultsim_test_result {0 1}
+  faultsim_integrity_check
+}
+
+finish_test