/ Hex Artifact Content
Login

Artifact 8d1d86b850fcc43e417450454f2044e52d55778a:


0000: 23 20 32 30 30 37 20 53 65 70 74 20 37 0a 23 0a  # 2007 Sept 7.#.
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 20 54 68 69 73 20 66 69 6c 65 20  ***.# This file 
0170: 69 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65  implements regre
0180: 73 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20  ssion tests for 
0190: 53 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 0a  SQLite library..
01a0: 23 0a 23 20 54 68 69 73 20 66 69 6c 65 20 69 6d  #.# This file im
01b0: 70 6c 65 6d 65 6e 74 73 20 74 65 73 74 73 20 74  plements tests t
01c0: 6f 20 6d 61 6b 65 20 73 75 72 65 20 53 51 4c 69  o make sure SQLi
01d0: 74 65 20 64 6f 65 73 20 6e 6f 74 20 63 72 61 73  te does not cras
01e0: 68 20 6f 72 0a 23 20 73 65 67 66 61 75 6c 74 20  h or.# segfault 
01f0: 69 66 20 69 74 20 73 65 65 73 20 61 20 63 6f 72  if it sees a cor
0200: 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66 69  rupt database fi
0210: 6c 65 2e 0a 23 0a 23 20 24 49 64 3a 20 63 6f 72  le..#.# $Id: cor
0220: 72 75 70 74 34 2e 74 65 73 74 2c 76 20 31 2e 31  rupt4.test,v 1.1
0230: 20 32 30 30 37 2f 30 39 2f 30 37 20 31 34 3a 33   2007/09/07 14:3
0240: 32 3a 30 37 20 64 72 68 20 45 78 70 20 24 0a 0a  2:07 drh Exp $..
0250: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
0260: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
0270: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
0280: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20  r/tester.tcl..# 
0290: 54 68 69 73 20 6d 6f 64 75 6c 65 20 75 73 65 73  This module uses
02a0: 20 68 61 72 64 2d 63 6f 64 65 64 20 6f 66 66 73   hard-coded offs
02b0: 65 74 73 20 77 68 69 63 68 20 64 6f 20 6e 6f 74  ets which do not
02c0: 20 77 6f 72 6b 20 69 66 20 74 68 65 20 72 65 73   work if the res
02d0: 65 72 76 65 64 5f 62 79 74 65 73 0a 23 20 76 61  erved_bytes.# va
02e0: 6c 75 65 20 69 73 20 6e 6f 6e 7a 65 72 6f 2e 0a  lue is nonzero..
02f0: 69 66 20 7b 5b 6e 6f 6e 7a 65 72 6f 5f 72 65 73  if {[nonzero_res
0300: 65 72 76 65 64 5f 62 79 74 65 73 5d 7d 20 7b 66  erved_bytes]} {f
0310: 69 6e 69 73 68 5f 74 65 73 74 3b 20 72 65 74 75  inish_test; retu
0320: 72 6e 3b 7d 0a 0a 23 20 54 68 65 73 65 20 74 65  rn;}..# These te
0330: 73 74 73 20 64 65 61 6c 20 77 69 74 68 20 63 6f  sts deal with co
0340: 72 72 75 70 74 20 64 61 74 61 62 61 73 65 20 66  rrupt database f
0350: 69 6c 65 73 0a 23 0a 64 61 74 61 62 61 73 65 5f  iles.#.database_
0360: 6d 61 79 5f 62 65 5f 63 6f 72 72 75 70 74 0a 0a  may_be_corrupt..
0370: 23 20 57 65 20 6d 75 73 74 20 68 61 76 65 20 74  # We must have t
0380: 68 65 20 70 61 67 65 5f 73 69 7a 65 20 70 72 61  he page_size pra
0390: 67 6d 61 20 66 6f 72 20 74 68 65 73 65 20 74 65  gma for these te
03a0: 73 74 73 20 74 6f 20 77 6f 72 6b 2e 0a 23 0a 69  sts to work..#.i
03b0: 66 63 61 70 61 62 6c 65 20 21 70 61 67 65 72 5f  fcapable !pager_
03c0: 70 72 61 67 6d 61 73 20 7b 0a 20 20 66 69 6e 69  pragmas {.  fini
03d0: 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e  sh_test.  return
03e0: 0a 7d 0a 0a 23 20 43 72 65 61 74 65 20 61 20 64  .}..# Create a d
03f0: 61 74 61 62 61 73 65 20 77 69 74 68 20 61 20 66  atabase with a f
0400: 72 65 65 6c 69 73 74 20 63 6f 6e 74 61 69 6e 69  reelist containi
0410: 6e 67 20 61 74 20 6c 65 61 73 74 20 74 77 6f 20  ng at least two 
0420: 70 61 67 65 73 2e 0a 23 0a 64 6f 5f 74 65 73 74  pages..#.do_test
0430: 20 63 6f 72 72 75 70 74 34 2d 31 2e 31 20 7b 0a   corrupt4-1.1 {.
0440: 20 20 73 65 74 20 62 69 67 73 74 72 69 6e 67 20    set bigstring 
0450: 5b 73 74 72 69 6e 67 20 72 65 70 65 61 74 20 30  [string repeat 0
0460: 31 32 33 34 35 36 37 38 39 20 32 30 30 5d 0a 20  123456789 200]. 
0470: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
0480: 52 41 47 4d 41 20 61 75 74 6f 5f 76 61 63 75 75  RAGMA auto_vacuu
0490: 6d 3d 4f 46 46 3b 0a 20 20 20 20 50 52 41 47 4d  m=OFF;.    PRAGM
04a0: 41 20 70 61 67 65 5f 73 69 7a 65 3d 31 30 32 34  A page_size=1024
04b0: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
04c0: 4c 45 20 74 31 28 78 29 3b 0a 20 20 20 20 49 4e  LE t1(x);.    IN
04d0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
04e0: 55 45 53 28 24 62 69 67 73 74 72 69 6e 67 29 3b  UES($bigstring);
04f0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0500: 45 20 74 32 28 79 29 3b 0a 20 20 20 20 49 4e 53  E t2(y);.    INS
0510: 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55  ERT INTO t2 VALU
0520: 45 53 28 31 29 3b 0a 20 20 20 20 44 52 4f 50 20  ES(1);.    DROP 
0530: 54 41 42 4c 45 20 74 31 3b 0a 20 20 7d 0a 20 20  TABLE t1;.  }.  
0540: 66 69 6c 65 20 73 69 7a 65 20 74 65 73 74 2e 64  file size test.d
0550: 62 0a 7d 20 5b 65 78 70 72 20 7b 31 30 32 34 2a  b.} [expr {1024*
0560: 34 7d 5d 0a 0a 23 20 56 65 72 69 66 79 20 74 68  4}]..# Verify th
0570: 61 74 20 74 68 65 72 65 20 61 72 65 20 74 77 6f  at there are two
0580: 20 70 61 67 65 73 20 6f 6e 20 74 68 65 20 66 72   pages on the fr
0590: 65 65 6c 69 73 74 2e 0a 23 0a 64 6f 5f 74 65 73  eelist..#.do_tes
05a0: 74 20 63 6f 72 72 75 70 74 34 2d 31 2e 32 20 7b  t corrupt4-1.2 {
05b0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 50 52 41 47  .  execsql {PRAG
05c0: 4d 41 20 66 72 65 65 6c 69 73 74 5f 63 6f 75 6e  MA freelist_coun
05d0: 74 7d 0a 7d 20 7b 32 7d 0a 0a 23 20 47 65 74 20  t}.} {2}..# Get 
05e0: 74 68 65 20 70 61 67 65 20 6e 75 6d 62 65 72 20  the page number 
05f0: 66 6f 72 20 74 68 65 20 74 72 75 6e 6b 20 6f 66  for the trunk of
0600: 20 74 68 65 20 66 72 65 65 6c 69 73 74 2e 0a 23   the freelist..#
0610: 0a 73 65 74 20 74 72 75 6e 6b 70 67 6e 6f 20 5b  .set trunkpgno [
0620: 68 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68  hexio_get_int [h
0630: 65 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64  exio_read test.d
0640: 62 20 33 32 20 34 5d 5d 0a 73 65 74 20 62 61 73  b 32 4]].set bas
0650: 65 61 64 64 72 20 5b 65 78 70 72 20 7b 28 24 74  eaddr [expr {($t
0660: 72 75 6e 6b 70 67 6e 6f 2d 31 29 2a 31 30 32 34  runkpgno-1)*1024
0670: 7d 5d 0a 0a 23 20 56 65 72 69 66 79 20 74 68 61  }]..# Verify tha
0680: 74 20 74 68 65 20 74 72 75 6e 6b 20 6f 66 20 74  t the trunk of t
0690: 68 65 20 66 72 65 65 6c 69 73 74 20 68 61 73 20  he freelist has 
06a0: 65 78 61 63 74 6c 79 20 6f 6e 65 0a 23 20 6c 65  exactly one.# le
06b0: 61 66 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f  af..#.do_test co
06c0: 72 72 75 70 74 34 2d 31 2e 33 20 7b 0a 20 20 68  rrupt4-1.3 {.  h
06d0: 65 78 69 6f 5f 67 65 74 5f 69 6e 74 20 5b 68 65  exio_get_int [he
06e0: 78 69 6f 5f 72 65 61 64 20 74 65 73 74 2e 64 62  xio_read test.db
06f0: 20 5b 65 78 70 72 20 7b 24 3a 3a 62 61 73 65 61   [expr {$::basea
0700: 64 64 72 2b 34 7d 5d 20 34 5d 0a 7d 20 7b 31 7d  ddr+4}] 4].} {1}
0710: 0a 0a 23 20 49 6e 73 65 72 74 20 61 20 6e 65 67  ..# Insert a neg
0720: 61 74 69 76 65 20 6e 75 6d 62 65 72 20 61 73 20  ative number as 
0730: 74 68 65 20 6e 75 6d 62 65 72 20 6f 66 20 6c 65  the number of le
0740: 61 76 65 73 20 6f 6e 20 74 68 65 20 74 72 75 6e  aves on the trun
0750: 6b 2e 0a 23 20 54 68 65 6e 20 74 72 79 20 74 6f  k..# Then try to
0760: 20 61 64 64 20 61 20 6e 65 77 20 65 6c 65 6d 65   add a new eleme
0770: 6e 74 20 74 6f 20 74 68 65 20 66 72 65 65 6c 69  nt to the freeli
0780: 73 74 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f  st..#.do_test co
0790: 72 72 75 70 74 34 2d 31 2e 34 20 7b 0a 20 20 68  rrupt4-1.4 {.  h
07a0: 65 78 69 6f 5f 77 72 69 74 65 20 74 65 73 74 2e  exio_write test.
07b0: 64 62 20 5b 65 78 70 72 20 7b 24 3a 3a 62 61 73  db [expr {$::bas
07c0: 65 61 64 64 72 2b 34 7d 5d 20 5b 68 65 78 69 6f  eaddr+4}] [hexio
07d0: 5f 72 65 6e 64 65 72 5f 69 6e 74 33 32 20 2d 31  _render_int32 -1
07e0: 30 30 30 30 30 30 30 30 5d 0a 20 20 64 62 20 63  00000000].  db c
07f0: 6c 6f 73 65 0a 20 20 73 71 6c 69 74 65 33 20 64  lose.  sqlite3 d
0800: 62 20 74 65 73 74 2e 64 62 0a 20 20 63 61 74 63  b test.db.  catc
0810: 68 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 20  hsql {.    DROP 
0820: 54 41 42 4c 45 20 74 32 0a 20 20 7d 0a 7d 20 7b  TABLE t2.  }.} {
0830: 31 20 7b 64 61 74 61 62 61 73 65 20 64 69 73 6b  1 {database disk
0840: 20 69 6d 61 67 65 20 69 73 20 6d 61 6c 66 6f 72   image is malfor
0850: 6d 65 64 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65  med}}..finish_te
0860: 73 74 0a                                         st.