/ Hex Artifact Content
Login

Artifact 69d038ce5898f1b64f2084b780bbab1cf9be0a25:


0000: 23 20 32 30 30 38 20 4e 6f 76 65 6d 62 65 72 20  # 2008 November 
0010: 32 30 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  20.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 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 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20  ********.# This 
0170: 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20  file implements 
0180: 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73  regression tests
0190: 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72   for SQLite libr
01a0: 61 72 79 2e 0a 23 0a 23 20 57 68 65 6e 20 61 20  ary..#.# When a 
01b0: 74 72 61 6e 73 61 63 74 69 6f 6e 20 72 6f 6c 6c  transaction roll
01c0: 73 20 62 61 63 6b 2c 20 6d 61 6b 65 20 73 75 72  s back, make sur
01d0: 65 20 74 68 61 74 20 64 69 72 74 79 20 70 61 67  e that dirty pag
01e0: 65 73 20 69 6e 20 74 68 65 0a 23 20 70 61 67 65  es in the.# page
01f0: 20 63 61 63 68 65 20 77 68 69 63 68 20 61 72 65   cache which are
0200: 20 6e 6f 74 20 69 6e 20 74 68 65 20 72 6f 6c 6c   not in the roll
0210: 62 61 63 6b 20 6a 6f 75 72 6e 61 6c 20 61 72 65  back journal are
0220: 20 72 65 69 6e 69 74 69 61 6c 69 7a 65 64 0a 23   reinitialized.#
0230: 20 69 6e 20 74 68 65 20 62 74 72 65 65 20 6c 61   in the btree la
0240: 79 65 72 2e 0a 23 0a 23 20 24 49 64 3a 20 74 6b  yer..#.# $Id: tk
0250: 74 33 35 78 78 2e 74 65 73 74 2c 76 20 31 2e 34  t35xx.test,v 1.4
0260: 20 32 30 30 39 2f 30 36 2f 30 35 20 31 37 3a 30   2009/06/05 17:0
0270: 39 3a 31 32 20 64 72 68 20 45 78 70 20 24 0a 0a  9:12 drh Exp $..
0280: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
0290: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
02a0: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
02b0: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 64 6f  r/tester.tcl..do
02c0: 5f 74 65 73 74 20 74 6b 74 33 35 78 78 2d 31 2e  _test tkt35xx-1.
02d0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
02e0: 20 20 20 20 50 52 41 47 4d 41 20 61 75 74 6f 5f      PRAGMA auto_
02f0: 76 61 63 75 75 6d 20 3d 20 30 3b 0a 20 20 20 20  vacuum = 0;.    
0300: 50 52 41 47 4d 41 20 70 61 67 65 5f 73 69 7a 65  PRAGMA page_size
0310: 20 3d 20 31 30 32 34 3b 0a 20 20 7d 0a 7d 20 7b   = 1024;.  }.} {
0320: 7d 0a 0a 23 20 54 72 69 67 67 65 72 20 74 68 65  }..# Trigger the
0330: 20 70 72 6f 62 6c 65 6d 20 75 73 69 6e 67 20 65   problem using e
0340: 78 70 6c 69 63 69 74 20 72 6f 6c 6c 62 61 63 6b  xplicit rollback
0350: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 74 6b 74 33  ..#.do_test tkt3
0360: 35 78 78 2d 31 2e 31 20 7b 0a 20 20 65 78 65 63  5xx-1.1 {.  exec
0370: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
0380: 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30   auto_vacuum = 0
0390: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
03a0: 4c 45 20 74 31 28 61 2c 62 2c 63 29 3b 0a 20 20  LE t1(a,b,c);.  
03b0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69    CREATE INDEX i
03c0: 31 20 4f 4e 20 74 31 28 63 29 3b 0a 20 20 20 20  1 ON t1(c);.    
03d0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
03e0: 41 4c 55 45 53 28 30 2c 20 30 2c 20 7a 65 72 6f  ALUES(0, 0, zero
03f0: 62 6c 6f 62 28 36 37 36 29 29 3b 0a 20 20 20 20  blob(676));.    
0400: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
0410: 41 4c 55 45 53 28 31 2c 20 31 2c 20 7a 65 72 6f  ALUES(1, 1, zero
0420: 62 6c 6f 62 28 36 37 36 29 29 3b 0a 20 20 20 20  blob(676));.    
0430: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b 0a  DELETE FROM t1;.
0440: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 49      BEGIN;.    I
0450: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0460: 4c 55 45 53 28 30 2c 20 30 2c 20 7a 65 72 6f 62  LUES(0, 0, zerob
0470: 6c 6f 62 28 36 37 36 29 29 3b 0a 20 20 20 20 49  lob(676));.    I
0480: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0490: 4c 55 45 53 28 31 2c 20 31 2c 20 7a 65 72 6f 62  LUES(1, 1, zerob
04a0: 6c 6f 62 28 36 37 36 29 29 3b 0a 20 20 20 20 52  lob(676));.    R
04b0: 4f 4c 4c 42 41 43 4b 3b 0a 20 20 20 20 49 4e 53  OLLBACK;.    INS
04c0: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
04d0: 45 53 28 30 2c 20 30 2c 20 7a 65 72 6f 62 6c 6f  ES(0, 0, zeroblo
04e0: 62 28 36 37 36 29 29 3b 0a 20 20 7d 0a 20 20 65  b(676));.  }.  e
04f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  xecsql {.    INS
0500: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0510: 45 53 28 31 2c 20 31 2c 20 7a 65 72 6f 62 6c 6f  ES(1, 1, zeroblo
0520: 62 28 36 37 36 29 29 3b 0a 20 20 7d 0a 7d 20 7b  b(676));.  }.} {
0530: 7d 0a 0a 23 20 54 72 69 67 67 65 72 20 74 68 65  }..# Trigger the
0540: 20 70 72 6f 62 6c 65 6d 20 75 73 69 6e 67 20 73   problem using s
0550: 74 61 74 65 6d 65 6e 74 20 72 6f 6c 6c 62 61 63  tatement rollbac
0560: 6b 2e 0a 23 0a 64 62 20 63 6c 6f 73 65 0a 64 65  k..#.db close.de
0570: 6c 65 74 65 5f 66 69 6c 65 20 74 65 73 74 2e 64  lete_file test.d
0580: 62 0a 73 71 6c 69 74 65 33 20 64 62 20 74 65 73  b.sqlite3 db tes
0590: 74 2e 64 62 0a 73 65 74 20 62 69 67 20 5b 73 74  t.db.set big [st
05a0: 72 69 6e 67 20 72 65 70 65 61 74 20 61 62 63 64  ring repeat abcd
05b0: 65 66 67 68 69 6a 20 32 32 5d 20 20 20 20 3b 23  efghij 22]    ;#
05c0: 20 32 32 30 20 62 79 74 65 20 73 74 72 69 6e 67   220 byte string
05d0: 0a 64 6f 5f 74 65 73 74 20 74 6b 74 33 35 78 78  .do_test tkt35xx
05e0: 2d 31 2e 32 2e 31 20 7b 0a 20 20 65 78 65 63 73  -1.2.1 {.  execs
05f0: 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20  ql {.    PRAGMA 
0600: 61 75 74 6f 5f 76 61 63 75 75 6d 20 3d 20 30 3b  auto_vacuum = 0;
0610: 0a 20 20 20 20 50 52 41 47 4d 41 20 70 61 67 65  .    PRAGMA page
0620: 5f 73 69 7a 65 20 3d 20 31 30 32 34 3b 0a 20 20  _size = 1024;.  
0630: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0640: 33 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d  3(a INTEGER PRIM
0650: 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20 20  ARY KEY, b);.   
0660: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20   INSERT INTO t3 
0670: 56 41 4c 55 45 53 28 31 2c 20 24 62 69 67 29 3b  VALUES(1, $big);
0680: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0690: 20 74 33 20 56 41 4c 55 45 53 28 32 2c 20 24 62   t3 VALUES(2, $b
06a0: 69 67 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  ig);.    INSERT 
06b0: 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28 33  INTO t3 VALUES(3
06c0: 2c 20 24 62 69 67 29 3b 0a 20 20 20 20 49 4e 53  , $big);.    INS
06d0: 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c 55  ERT INTO t3 VALU
06e0: 45 53 28 34 2c 20 24 62 69 67 29 3b 0a 20 20 20  ES(4, $big);.   
06f0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 34   CREATE TABLE t4
0700: 28 63 2c 20 64 29 3b 0a 20 20 20 20 49 4e 53 45  (c, d);.    INSE
0710: 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45  RT INTO t4 VALUE
0720: 53 28 35 2c 20 24 62 69 67 29 3b 0a 20 20 20 20  S(5, $big);.    
0730: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20 56  INSERT INTO t4 V
0740: 41 4c 55 45 53 28 31 2c 20 24 62 69 67 29 3b 0a  ALUES(1, $big);.
0750: 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74    }.} {}.do_test
0760: 20 74 6b 74 33 35 78 78 2d 31 2e 32 2e 32 20 7b   tkt35xx-1.2.2 {
0770: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0780: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 43 52 45    BEGIN;.    CRE
0790: 41 54 45 20 54 41 42 4c 45 20 74 35 28 65 20 50  ATE TABLE t5(e P
07a0: 52 49 4d 41 52 59 20 4b 45 59 2c 20 66 29 3b 0a  RIMARY KEY, f);.
07b0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
07c0: 35 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  5;.    INSERT IN
07d0: 54 4f 20 74 33 28 61 2c 20 62 29 20 53 45 4c 45  TO t3(a, b) SELE
07e0: 43 54 20 63 2c 20 64 20 46 52 4f 4d 20 74 34 3b  CT c, d FROM t4;
07f0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 50 52 49 4d 41  .  }.} {1 {PRIMA
0800: 52 59 20 4b 45 59 20 6d 75 73 74 20 62 65 20 75  RY KEY must be u
0810: 6e 69 71 75 65 7d 7d 0a 64 6f 5f 74 65 73 74 20  nique}}.do_test 
0820: 74 6b 74 33 35 78 78 2d 31 2e 32 2e 33 20 7b 0a  tkt35xx-1.2.3 {.
0830: 20 20 23 20 53 68 6f 77 20 74 68 61 74 20 74 68    # Show that th
0840: 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 68 61  e transaction ha
0850: 73 20 6e 6f 74 20 62 65 65 6e 20 72 6f 6c 6c 65  s not been rolle
0860: 64 20 62 61 63 6b 2e 0a 20 20 63 61 74 63 68 73  d back..  catchs
0870: 71 6c 20 42 45 47 49 4e 0a 7d 20 7b 31 20 7b 63  ql BEGIN.} {1 {c
0880: 61 6e 6e 6f 74 20 73 74 61 72 74 20 61 20 74 72  annot start a tr
0890: 61 6e 73 61 63 74 69 6f 6e 20 77 69 74 68 69 6e  ansaction within
08a0: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 7d 7d   a transaction}}
08b0: 0a 64 6f 5f 74 65 73 74 20 74 6b 74 33 35 78 78  .do_test tkt35xx
08c0: 2d 31 2e 32 2e 34 20 7b 0a 20 20 65 78 65 63 73  -1.2.4 {.  execs
08d0: 71 6c 20 7b 20 53 45 4c 45 43 54 20 63 6f 75 6e  ql { SELECT coun
08e0: 74 28 2a 29 20 46 52 4f 4d 20 74 33 20 7d 0a 7d  t(*) FROM t3 }.}
08f0: 20 7b 34 7d 0a 64 6f 5f 74 65 73 74 20 74 6b 74   {4}.do_test tkt
0900: 33 35 78 78 2d 31 2e 32 2e 35 20 7b 0a 20 20 23  35xx-1.2.5 {.  #
0910: 20 42 65 66 6f 72 65 20 74 68 65 20 62 75 67 20   Before the bug 
0920: 77 61 73 20 66 69 78 65 64 2c 20 69 66 20 53 51  was fixed, if SQ
0930: 4c 49 54 45 5f 44 45 42 55 47 20 77 61 73 20 64  LITE_DEBUG was d
0940: 65 66 69 6e 65 64 20 61 6e 20 61 73 73 65 72 74  efined an assert
0950: 28 29 0a 20 20 23 20 77 6f 75 6c 64 20 66 61 69  ().  # would fai
0960: 6c 20 64 75 72 69 6e 67 20 74 68 65 20 66 6f 6c  l during the fol
0970: 6c 6f 77 69 6e 67 20 49 4e 53 45 52 54 20 73 74  lowing INSERT st
0980: 61 74 65 6d 65 6e 74 2e 20 49 66 20 53 51 4c 49  atement. If SQLI
0990: 54 45 5f 44 45 42 55 47 0a 20 20 23 20 77 61 73  TE_DEBUG.  # was
09a0: 20 6e 6f 74 20 64 65 66 69 6e 65 64 2c 20 74 68   not defined, th
09b0: 65 6e 20 74 68 65 20 73 74 61 74 65 6d 65 6e 74  en the statement
09c0: 20 77 6f 75 6c 64 20 70 61 73 73 20 61 6e 64 20   would pass and 
09d0: 74 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 0a  the transaction.
09e0: 20 20 23 20 77 6f 75 6c 64 20 62 65 20 63 6f 6d    # would be com
09f0: 6d 69 74 74 65 64 2e 20 42 75 74 2c 20 74 68 65  mitted. But, the
0a00: 20 22 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a   "SELECT count(*
0a10: 29 22 20 69 6e 20 74 6b 74 33 35 78 78 2d 31 2e  )" in tkt35xx-1.
0a20: 32 2e 36 20 77 6f 75 6c 64 0a 20 20 23 20 72 65  2.6 would.  # re
0a30: 74 75 72 6e 20 31 2c 20 6e 6f 74 20 35 2e 20 44  turn 1, not 5. D
0a40: 61 74 61 20 6d 61 67 69 63 61 6c 6c 79 20 64 69  ata magically di
0a50: 73 61 70 70 65 61 72 65 64 21 0a 20 20 23 0a 20  sappeared!.  #. 
0a60: 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20   execsql { .    
0a70: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56  INSERT INTO t3 V
0a80: 41 4c 55 45 53 28 35 2c 20 24 62 69 67 29 3b 0a  ALUES(5, $big);.
0a90: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a      COMMIT;.  }.
0aa0: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 74 6b 74  } {}.do_test tkt
0ab0: 33 35 78 78 2d 31 2e 32 2e 36 20 7b 0a 20 20 65  35xx-1.2.6 {.  e
0ac0: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
0ad0: 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 33  count(*) FROM t3
0ae0: 20 7d 0a 7d 20 7b 35 7d 0a 69 6e 74 65 67 72 69   }.} {5}.integri
0af0: 74 79 5f 63 68 65 63 6b 20 74 6b 74 33 35 78 78  ty_check tkt35xx
0b00: 2d 31 2e 32 2e 37 0a 0a 66 69 6e 69 73 68 5f 74  -1.2.7..finish_t
0b10: 65 73 74 0a                                      est.