/ Hex Artifact Content
Login

Artifact a0edab4e5390f03b99a790de89aad15d6ec70b36:


0000: 23 20 32 30 31 30 20 4d 61 79 20 32 35 0a 23 0a  # 2010 May 25.#.
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 0a 0a 73 65 74 20 74 65 73 74  ***.#...set test
0170: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d  dir [file dirnam
0180: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65  e $argv0].source
0190: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72   $testdir/tester
01a0: 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73  .tcl.source $tes
01b0: 74 64 69 72 2f 6c 6f 63 6b 5f 63 6f 6d 6d 6f 6e  tdir/lock_common
01c0: 2e 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73  .tcl.source $tes
01d0: 74 64 69 72 2f 77 61 6c 5f 63 6f 6d 6d 6f 6e 2e  tdir/wal_common.
01e0: 74 63 6c 0a 69 66 63 61 70 61 62 6c 65 20 21 77  tcl.ifcapable !w
01f0: 61 6c 20 7b 66 69 6e 69 73 68 5f 74 65 73 74 20  al {finish_test 
0200: 3b 20 72 65 74 75 72 6e 20 7d 0a 0a 0a 23 2d 2d  ; return }...#--
0210: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0220: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0230: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0240: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0250: 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 69 73 20 74  -------.# This t
0260: 65 73 74 20 63 61 73 65 20 64 65 6d 6f 6e 73 74  est case demonst
0270: 72 61 74 65 73 20 61 20 66 6c 61 77 20 69 6e 20  rates a flaw in 
0280: 74 68 65 20 77 61 6c 2d 69 6e 64 65 78 20 6d 61  the wal-index ma
0290: 6e 69 70 75 6c 61 74 69 6f 6e 20 74 68 61 74 0a  nipulation that.
02a0: 23 20 65 78 69 73 74 65 64 20 61 74 20 6f 6e 65  # existed at one
02b0: 20 70 6f 69 6e 74 3a 20 49 66 20 61 20 70 72 6f   point: If a pro
02c0: 63 65 73 73 20 63 72 61 73 68 65 73 20 6d 69 64  cess crashes mid
02d0: 2d 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20 69 74  -transaction, it
02e0: 20 6d 61 79 20 68 61 76 65 0a 23 20 61 6c 72 65   may have.# alre
02f0: 61 64 79 20 61 64 64 65 64 20 73 6f 6d 65 20 65  ady added some e
0300: 6e 74 72 69 65 73 20 74 6f 20 6f 6e 65 20 6f 66  ntries to one of
0310: 20 74 68 65 20 68 61 73 68 2d 74 61 62 6c 65 73   the hash-tables
0320: 20 69 6e 20 74 68 65 20 77 61 6c 2d 69 6e 64 65   in the wal-inde
0330: 78 2e 0a 23 20 49 66 20 74 68 65 20 74 72 61 6e  x..# If the tran
0340: 73 61 63 74 69 6f 6e 20 77 65 72 65 20 74 6f 20  saction were to 
0350: 62 65 20 65 78 70 6c 69 63 69 74 6c 79 20 72 6f  be explicitly ro
0360: 6c 6c 65 64 20 62 61 63 6b 20 61 74 20 74 68 69  lled back at thi
0370: 73 20 70 6f 69 6e 74 2c 20 74 68 65 0a 23 20 68  s point, the.# h
0380: 61 73 68 2d 74 61 62 6c 65 20 65 6e 74 72 69 65  ash-table entrie
0390: 73 20 77 6f 75 6c 64 20 62 65 20 72 65 6d 6f 76  s would be remov
03a0: 65 64 20 61 73 20 70 61 72 74 20 6f 66 20 74 68  ed as part of th
03b0: 65 20 72 6f 6c 6c 62 61 63 6b 2e 20 48 6f 77 65  e rollback. Howe
03c0: 76 65 72 2c 0a 23 20 69 66 20 74 68 65 20 70 72  ver,.# if the pr
03d0: 6f 63 65 73 73 20 63 72 61 73 68 65 73 2c 20 74  ocess crashes, t
03e0: 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 69  he transaction i
03f0: 73 20 69 6d 70 6c 69 63 69 74 6c 79 20 72 6f 6c  s implicitly rol
0400: 6c 65 64 20 62 61 63 6b 20 61 6e 64 0a 23 20 74  led back and.# t
0410: 68 65 20 72 6f 67 75 65 20 65 6e 74 72 69 65 73  he rogue entries
0420: 20 72 65 6d 61 69 6e 20 69 6e 20 74 68 65 20 68   remain in the h
0430: 61 73 68 20 74 61 62 6c 65 2e 0a 23 0a 23 20 4e  ash table..#.# N
0440: 6f 72 6d 61 6c 6c 79 2c 20 74 68 69 73 20 63 61  ormally, this ca
0450: 75 73 65 73 20 6e 6f 20 70 72 6f 62 6c 65 6d 20  uses no problem 
0460: 2d 20 72 65 61 64 65 72 73 20 63 61 6e 20 74 65  - readers can te
0470: 6c 6c 20 74 68 65 20 64 69 66 66 65 72 65 6e 63  ll the differenc
0480: 65 20 0a 23 20 62 65 74 77 65 65 6e 20 63 6f 6d  e .# between com
0490: 6d 69 74 74 65 64 20 61 6e 64 20 75 6e 63 6f 6d  mitted and uncom
04a0: 6d 69 74 74 65 64 20 65 6e 74 72 69 65 73 20 69  mitted entries i
04b0: 6e 20 74 68 65 20 68 61 73 68 20 74 61 62 6c 65  n the hash table
04c0: 2e 20 48 6f 77 65 76 65 72 2c 0a 23 20 69 66 20  . However,.# if 
04d0: 69 74 20 68 61 70 70 65 6e 73 20 6f 66 74 65 6e  it happens often
04e0: 20 65 6e 6f 75 67 68 20 74 68 61 74 20 61 6c 6c   enough that all
04f0: 20 73 6c 6f 74 73 20 69 6e 20 74 68 65 20 68 61   slots in the ha
0500: 73 68 2d 74 61 62 6c 65 20 62 65 63 6f 6d 65 20  sh-table become 
0510: 0a 23 20 6e 6f 6e 2d 7a 65 72 6f 2c 20 74 68 65  .# non-zero, the
0520: 20 6e 65 78 74 20 70 72 6f 63 65 73 73 20 74 68   next process th
0530: 61 74 20 61 74 74 65 6d 70 74 73 20 74 6f 20 72  at attempts to r
0540: 65 61 64 20 6f 72 20 77 72 69 74 65 20 74 68 65  ead or write the
0550: 20 68 61 73 68 0a 23 20 74 61 62 6c 65 20 66 61   hash.# table fa
0560: 6c 6c 73 20 69 6e 74 6f 20 61 6e 20 69 6e 66 69  lls into an infi
0570: 6e 69 74 65 20 6c 6f 6f 70 2e 0a 23 0a 23 20 45  nite loop..#.# E
0580: 76 65 6e 20 69 66 20 72 75 6e 20 77 69 74 68 20  ven if run with 
0590: 61 6e 20 53 51 4c 69 74 65 20 76 65 72 73 69 6f  an SQLite versio
05a0: 6e 20 61 66 66 65 63 74 65 64 20 62 79 20 74 68  n affected by th
05b0: 65 20 62 75 67 2c 20 74 68 69 73 20 74 65 73 74  e bug, this test
05c0: 20 63 61 73 65 0a 23 20 6f 6e 6c 79 20 67 6f 65   case.# only goe
05d0: 73 20 69 6e 74 6f 20 61 6e 20 69 6e 66 69 6e 69  s into an infini
05e0: 74 65 20 6c 6f 6f 70 20 69 66 20 53 51 4c 69 74  te loop if SQLit
05f0: 65 20 69 73 20 63 6f 6d 70 69 6c 65 64 20 77 69  e is compiled wi
0600: 74 68 6f 75 74 20 53 51 4c 49 54 45 5f 44 45 42  thout SQLITE_DEB
0610: 55 47 0a 23 20 64 65 66 69 6e 65 64 2e 20 49 66  UG.# defined. If
0620: 20 53 51 4c 49 54 45 5f 44 45 42 55 47 20 69 73   SQLITE_DEBUG is
0630: 20 64 65 66 69 6e 65 64 2c 20 74 68 65 20 70 72   defined, the pr
0640: 6f 67 72 61 6d 20 69 73 20 68 61 6c 74 65 64 20  ogram is halted 
0650: 62 79 20 61 20 66 61 69 6c 69 6e 67 0a 23 20 61  by a failing.# a
0660: 73 73 65 72 74 28 29 20 62 65 66 6f 72 65 20 65  ssert() before e
0670: 6e 74 65 72 69 6e 67 20 74 68 65 20 69 6e 66 69  ntering the infi
0680: 6e 69 74 65 20 6c 6f 6f 70 2e 0a 23 0a 23 20 77  nite loop..#.# w
0690: 61 6c 63 72 61 73 68 32 2d 31 2e 31 3a 20 43 72  alcrash2-1.1: Cr
06a0: 65 61 74 65 20 61 20 64 61 74 61 62 61 73 65 2e  eate a database.
06b0: 20 43 6f 6d 6d 69 74 20 61 20 74 72 61 6e 73 61   Commit a transa
06c0: 63 74 69 6f 6e 20 74 68 61 74 20 61 64 64 73 20  ction that adds 
06d0: 38 20 66 72 61 6d 65 73 0a 23 20 20 20 20 20 20  8 frames.#      
06e0: 20 20 20 20 20 20 20 20 20 20 74 6f 20 74 68 65            to the
06f0: 20 57 41 4c 20 28 61 6e 64 20 38 20 65 6e 74 72   WAL (and 8 entr
0700: 79 20 74 6f 20 74 68 65 20 66 69 72 73 74 20 68  y to the first h
0710: 61 73 68 2d 74 61 62 6c 65 20 69 6e 20 74 68 65  ash-table in the
0720: 20 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20   .#             
0730: 20 20 20 77 61 6c 2d 69 6e 64 65 78 29 2e 0a 23     wal-index)..#
0740: 0a 23 20 77 61 6c 63 72 61 73 68 32 2d 31 2e 32  .# walcrash2-1.2
0750: 3a 20 48 61 76 65 20 61 6e 20 65 78 74 65 72 6e  : Have an extern
0760: 61 6c 20 70 72 6f 63 65 73 73 20 6f 70 65 6e 20  al process open 
0770: 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 2c 20 61  a transaction, a
0780: 64 64 20 38 20 65 6e 74 72 69 65 73 0a 23 20 20  dd 8 entries.#  
0790: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 74 6f                to
07a0: 20 74 68 65 20 77 61 6c 2d 69 6e 64 65 78 20 68   the wal-index h
07b0: 61 73 68 2d 74 61 62 6c 65 2c 20 74 68 65 6e 20  ash-table, then 
07c0: 63 72 61 73 68 2e 20 52 65 70 65 61 74 20 74 68  crash. Repeat th
07d0: 69 73 20 31 30 32 33 0a 23 20 20 20 20 20 20 20  is 1023.#       
07e0: 20 20 20 20 20 20 20 20 20 74 69 6d 65 73 20 28           times (
07f0: 73 6f 20 74 68 61 74 20 74 68 65 20 77 61 6c 2d  so that the wal-
0800: 69 6e 64 65 78 20 63 6f 6e 74 61 69 6e 73 20 38  index contains 8
0810: 31 39 32 20 65 6e 74 72 69 65 73 20 2d 20 61 6c  192 entries - al
0820: 6c 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20  l.#             
0830: 20 20 20 73 6c 6f 74 73 20 61 72 65 20 6e 6f 6e     slots are non
0840: 2d 7a 65 72 6f 29 2e 0a 23 0a 23 20 77 61 6c 63  -zero)..#.# walc
0850: 72 61 73 68 32 2d 31 2e 33 3a 20 55 73 69 6e 67  rash2-1.3: Using
0860: 20 61 20 6e 65 77 20 64 61 74 61 62 61 73 65 20   a new database 
0870: 63 6f 6e 6e 65 63 74 69 6f 6e 2c 20 61 74 74 65  connection, atte
0880: 6d 70 74 20 74 6f 20 71 75 65 72 79 20 74 68 65  mpt to query the
0890: 20 0a 23 20 20 20 20 20 20 20 20 20 20 20 20 20   .#             
08a0: 20 20 20 64 61 74 61 62 61 73 65 2e 20 54 68 69     database. Thi
08b0: 73 20 73 68 6f 75 6c 64 20 63 61 75 73 65 20 74  s should cause t
08c0: 68 65 20 70 72 6f 63 65 73 73 20 74 6f 20 67 6f  he process to go
08d0: 20 69 6e 74 6f 20 74 68 65 0a 23 20 20 20 20 20   into the.#     
08e0: 20 20 20 20 20 20 20 20 20 20 20 69 6e 66 69 6e             infin
08f0: 69 74 65 20 6c 6f 6f 70 2e 0a 23 0a 64 6f 5f 74  ite loop..#.do_t
0900: 65 73 74 20 77 61 6c 63 72 61 73 68 32 2d 31 2e  est walcrash2-1.
0910: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0920: 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65 5f      PRAGMA page_
0930: 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20 20  size = 1024;.   
0940: 20 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63   PRAGMA auto_vac
0950: 75 75 6d 20 3d 20 6f 66 66 3b 0a 20 20 20 20 50  uum = off;.    P
0960: 52 41 47 4d 41 20 6a 6f 75 72 6e 61 6c 5f 6d 6f  RAGMA journal_mo
0970: 64 65 20 3d 20 57 41 4c 3b 0a 20 20 20 20 50 52  de = WAL;.    PR
0980: 41 47 4d 41 20 73 79 6e 63 68 72 6f 6e 6f 75 73  AGMA synchronous
0990: 20 3d 20 4e 4f 52 4d 41 4c 3b 0a 20 20 20 20 42   = NORMAL;.    B
09a0: 45 47 49 4e 3b 0a 20 20 20 20 20 20 43 52 45 41  EGIN;.      CREA
09b0: 54 45 20 54 41 42 4c 45 20 74 31 28 78 29 3b 0a  TE TABLE t1(x);.
09c0: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
09d0: 4c 45 20 74 32 28 78 29 3b 0a 20 20 20 20 20 20  LE t2(x);.      
09e0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28  CREATE TABLE t3(
09f0: 78 29 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45  x);.      CREATE
0a00: 20 54 41 42 4c 45 20 74 34 28 78 29 3b 0a 20 20   TABLE t4(x);.  
0a10: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0a20: 20 74 35 28 78 29 3b 0a 20 20 20 20 20 20 43 52   t5(x);.      CR
0a30: 45 41 54 45 20 54 41 42 4c 45 20 74 36 28 78 29  EATE TABLE t6(x)
0a40: 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20 54  ;.      CREATE T
0a50: 41 42 4c 45 20 74 37 28 78 29 3b 0a 20 20 20 20  ABLE t7(x);.    
0a60: 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 66 69  COMMIT;.  }.  fi
0a70: 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 2d  le size test.db-
0a80: 77 61 6c 0a 7d 20 5b 77 61 6c 5f 66 69 6c 65 5f  wal.} [wal_file_
0a90: 73 69 7a 65 20 38 20 31 30 32 34 5d 20 0a 66 6f  size 8 1024] .fo
0aa0: 72 20 7b 73 65 74 20 6e 45 6e 74 72 79 20 38 7d  r {set nEntry 8}
0ab0: 20 7b 24 6e 45 6e 74 72 79 20 3c 20 38 31 39 32   {$nEntry < 8192
0ac0: 7d 20 7b 69 6e 63 72 20 6e 45 6e 74 72 79 20 38  } {incr nEntry 8
0ad0: 7d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 77 61  } {.  do_test wa
0ae0: 6c 63 72 61 73 68 32 2d 31 2e 32 2e 5b 65 78 70  lcrash2-1.2.[exp
0af0: 72 20 24 6e 45 6e 74 72 79 2f 38 5d 20 7b 0a 20  r $nEntry/8] {. 
0b00: 20 20 20 73 65 74 20 43 20 5b 6c 61 75 6e 63 68     set C [launch
0b10: 5f 74 65 73 74 66 69 78 74 75 72 65 5d 0a 20 20  _testfixture].  
0b20: 20 20 74 65 73 74 66 69 78 74 75 72 65 20 24 43    testfixture $C
0b30: 20 7b 0a 20 20 20 20 20 20 73 71 6c 69 74 65 33   {.      sqlite3
0b40: 20 64 62 20 74 65 73 74 2e 64 62 0a 20 20 20 20   db test.db.    
0b50: 20 20 64 62 20 65 76 61 6c 20 7b 0a 20 20 20 20    db eval {.    
0b60: 20 20 20 20 50 52 41 47 4d 41 20 63 61 63 68 65      PRAGMA cache
0b70: 5f 73 69 7a 65 20 3d 20 31 35 3b 0a 20 20 20 20  _size = 15;.    
0b80: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20      BEGIN;.     
0b90: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
0ba0: 20 74 31 20 56 41 4c 55 45 53 28 72 61 6e 64 6f   t1 VALUES(rando
0bb0: 6d 62 6c 6f 62 28 39 30 30 29 29 3b 20 20 20 20  mblob(900));    
0bc0: 20 20 20 20 20 2d 2d 20 20 31 20 72 6f 77 2c 20       --  1 row, 
0bd0: 20 31 20 20 70 61 67 65 0a 20 20 20 20 20 20 20   1  page.       
0be0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0bf0: 31 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  1 SELECT * FROM 
0c00: 74 31 3b 20 20 20 20 20 20 20 20 20 20 20 20 20  t1;             
0c10: 20 20 20 2d 2d 20 20 32 20 72 6f 77 73 2c 20 33     --  2 rows, 3
0c20: 20 20 70 61 67 65 73 0a 20 20 20 20 20 20 20 20    pages.        
0c30: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0c40: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0c50: 31 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20  1;              
0c60: 20 20 2d 2d 20 20 34 20 72 6f 77 73 2c 20 35 20    --  4 rows, 5 
0c70: 20 70 61 67 65 73 0a 20 20 20 20 20 20 20 20 20   pages.         
0c80: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
0c90: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0ca0: 3b 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  ;               
0cb0: 20 2d 2d 20 20 38 20 72 6f 77 73 2c 20 39 20 20   --  8 rows, 9  
0cc0: 70 61 67 65 73 0a 20 20 20 20 20 20 20 20 20 20  pages.          
0cd0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53  INSERT INTO t1 S
0ce0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b  ELECT * FROM t1;
0cf0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
0d00: 2d 2d 20 31 36 20 72 6f 77 73 2c 20 31 37 20 70  -- 16 rows, 17 p
0d10: 61 67 65 73 0a 20 20 20 20 20 20 20 20 20 20 49  ages.          I
0d20: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
0d30: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 4c  LECT * FROM t1 L
0d40: 49 4d 49 54 20 33 3b 20 20 20 20 20 20 20 20 2d  IMIT 3;        -
0d50: 2d 20 32 30 20 72 6f 77 73 2c 20 32 30 20 70 61  - 20 rows, 20 pa
0d60: 67 65 73 0a 20 20 20 20 20 20 7d 0a 20 20 20 20  ges.      }.    
0d70: 7d 20 0a 20 20 20 20 63 6c 6f 73 65 20 24 43 0a  } .    close $C.
0d80: 20 20 20 20 66 69 6c 65 20 73 69 7a 65 20 74 65      file size te
0d90: 73 74 2e 64 62 2d 77 61 6c 0a 20 20 7d 20 5b 77  st.db-wal.  } [w
0da0: 61 6c 5f 66 69 6c 65 5f 73 69 7a 65 20 31 36 20  al_file_size 16 
0db0: 31 30 32 34 5d 0a 7d 0a 64 6f 5f 74 65 73 74 20  1024].}.do_test 
0dc0: 77 61 6c 63 72 61 73 68 32 2d 31 2e 33 20 7b 0a  walcrash2-1.3 {.
0dd0: 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 74 65    sqlite3 db2 te
0de0: 73 74 2e 64 62 0a 20 20 65 78 65 63 73 71 6c 20  st.db.  execsql 
0df0: 7b 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a  { SELECT count(*
0e00: 29 20 46 52 4f 4d 20 74 31 20 7d 20 64 62 32 0a  ) FROM t1 } db2.
0e10: 7d 20 7b 30 7d 0a 63 61 74 63 68 20 7b 20 64 62  } {0}.catch { db
0e20: 32 20 63 6c 6f 73 65 20 7d 0a 0a 66 69 6e 69 73  2 close }..finis
0e30: 68 5f 74 65 73 74 0a                             h_test.