/ Hex Artifact Content
Login

Artifact a95e8cdad0b98af1853ac7f0afd4ab27b77bf5f3:


0000: 23 20 32 30 31 31 20 46 65 62 72 75 61 72 79 20  # 2011 February 
0010: 32 31 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f  21.#.# 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 54 68 69 73 20 66 69  ary..#.# This fi
01b0: 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65  le implements te
01c0: 73 74 73 20 74 6f 20 76 65 72 69 66 79 20 74 68  sts to verify th
01d0: 61 74 20 74 69 63 6b 65 74 20 5b 62 37 32 37 38  at ticket [b7278
01e0: 37 62 31 61 37 5d 20 68 61 73 20 62 65 65 6e 0a  7b1a7] has been.
01f0: 23 20 66 69 78 65 64 2e 20 20 46 72 6f 6d 20 74  # fixed.  From t
0200: 68 65 20 74 69 63 6b 65 74 3a 0a 23 0a 23 20 20  he ticket:.#.#  
0210: 20 20 20 54 68 65 20 73 71 6c 69 74 65 33 45 78     The sqlite3Ex
0220: 70 69 72 65 50 72 65 70 61 72 65 64 53 74 61 74  pirePreparedStat
0230: 65 6d 65 6e 74 73 20 72 6f 75 74 69 6e 65 20 6d  ements routine m
0240: 61 72 6b 73 20 61 6c 6c 20 73 74 61 74 65 6d 65  arks all stateme
0250: 6e 74 73 0a 23 20 20 20 20 20 61 73 20 65 78 70  nts.#     as exp
0260: 69 72 65 64 2e 20 54 68 69 73 20 69 6e 63 6c 75  ired. This inclu
0270: 64 65 73 20 73 74 61 74 65 6d 65 6e 74 73 20 74  des statements t
0280: 68 61 74 20 61 72 65 20 6e 6f 74 20 65 78 70 69  hat are not expi
0290: 72 65 64 2e 0a 23 0a 23 20 20 20 20 20 53 74 65  red..#.#     Ste
02a0: 70 73 20 74 6f 20 72 65 70 72 6f 64 75 63 65 3a  ps to reproduce:
02b0: 0a 23 0a 23 20 20 20 20 20 20 20 20 2a 20 50 72  .#.#        * Pr
02c0: 65 70 61 72 65 20 61 20 73 74 61 74 65 6d 65 6e  epare a statemen
02d0: 74 20 28 41 29 0a 23 20 20 20 20 20 20 20 20 2a  t (A).#        *
02e0: 20 41 6c 74 65 72 20 74 68 65 20 73 63 68 65 6d   Alter the schem
02f0: 61 20 74 6f 20 69 6e 76 61 6c 69 64 61 74 65 20  a to invalidate 
0300: 63 6f 6f 6b 69 65 20 69 6e 20 41 0a 23 20 20 20  cookie in A.#   
0310: 20 20 20 20 20 2a 20 50 72 65 70 61 72 65 20 61       * Prepare a
0320: 20 73 74 61 74 65 6d 65 6e 74 20 28 42 29 0a 23   statement (B).#
0330: 20 20 20 20 20 20 20 20 2a 20 52 75 6e 20 42 20          * Run B 
0340: 61 6e 64 20 68 61 76 65 20 41 20 72 75 6e 20 61  and have A run a
0350: 73 20 70 61 72 74 20 6f 66 20 42 0a 23 20 20 20  s part of B.#   
0360: 20 20 20 20 20 2a 20 41 20 77 69 6c 6c 20 66 69       * A will fi
0370: 6e 64 20 61 20 62 61 64 20 63 6f 6f 6b 69 65 20  nd a bad cookie 
0380: 61 6e 64 20 63 61 75 73 65 20 2a 61 6c 6c 2a 20  and cause *all* 
0390: 73 74 61 74 65 6d 65 6e 74 73 0a 23 20 20 20 20  statements.#    
03a0: 20 20 20 20 20 20 74 6f 20 62 65 20 65 78 70 69        to be expi
03b0: 72 65 64 20 69 6e 63 6c 75 64 69 6e 67 20 74 68  red including th
03c0: 65 20 63 75 72 72 65 6e 74 6c 79 20 72 75 6e 6e  e currently runn
03d0: 69 6e 67 20 42 20 62 79 20 63 61 6c 6c 69 6e 67  ing B by calling
03e0: 0a 23 20 20 20 20 20 20 20 20 20 20 73 71 6c 69  .#          sqli
03f0: 74 65 33 45 78 70 69 72 65 50 72 65 70 61 72 65  te3ExpirePrepare
0400: 64 53 74 61 74 65 6d 65 6e 74 73 0a 23 20 20 20  dStatements.#   
0410: 20 20 20 20 20 2a 20 57 68 65 6e 20 63 6f 6e 74       * When cont
0420: 72 6f 6c 20 72 65 74 75 72 6e 73 20 74 6f 20 42  rol returns to B
0430: 20 69 74 20 77 69 6c 6c 20 74 68 65 6e 20 61 62   it will then ab
0440: 6f 72 74 20 0a 23 0a 23 20 20 20 20 20 54 68 65  ort .#.#     The
0450: 20 62 75 67 20 69 73 20 74 68 61 74 20 73 71 6c   bug is that sql
0460: 69 74 65 33 45 78 70 69 72 65 50 72 65 70 61 72  ite3ExpirePrepar
0470: 65 64 53 74 61 74 65 6d 65 6e 74 73 20 65 78 70  edStatements exp
0480: 69 72 65 73 20 61 6c 6c 20 73 74 61 74 65 6d 65  ires all stateme
0490: 6e 74 73 2e 0a 23 20 20 20 20 20 4e 6f 74 65 20  nts..#     Note 
04a0: 74 68 61 74 20 42 20 77 61 73 20 70 72 65 70 61  that B was prepa
04b0: 72 65 64 20 61 66 74 65 72 20 74 68 65 20 73 63  red after the sc
04c0: 68 65 6d 61 20 63 68 61 6e 67 65 20 61 6e 64 20  hema change and 
04d0: 68 65 6e 63 65 20 69 73 20 70 65 72 66 65 63 74  hence is perfect
04e0: 6c 79 0a 23 20 20 20 20 20 76 61 6c 69 64 20 61  ly.#     valid a
04f0: 6e 64 20 74 68 65 6e 20 69 73 20 6d 61 72 6b 65  nd then is marke
0500: 64 20 61 73 20 65 78 70 69 72 65 64 20 77 68 69  d as expired whi
0510: 6c 65 20 72 75 6e 6e 69 6e 67 2e 0a 23 0a 0a 73  le running..#..s
0520: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0530: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0540: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0550: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 69 66 63  /tester.tcl..ifc
0560: 61 70 61 62 6c 65 20 21 63 6f 6d 70 6f 75 6e 64  apable !compound
0570: 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74   {.  finish_test
0580: 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 75 6e 73  .  return.}..uns
0590: 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20 3a  et -nocomplain :
05a0: 3a 53 54 4d 54 0a 70 72 6f 63 20 72 75 6e 73 71  :STMT.proc runsq
05b0: 6c 20 7b 7d 20 7b 0a 20 20 64 62 20 65 76 61 6c  l {} {.  db eval
05c0: 20 7b 43 52 45 41 54 45 20 54 41 42 4c 45 20 49   {CREATE TABLE I
05d0: 46 20 4e 4f 54 20 45 58 49 53 54 53 20 74 34 28  F NOT EXISTS t4(
05e0: 71 29 7d 0a 20 20 73 71 6c 69 74 65 33 5f 73 74  q)}.  sqlite3_st
05f0: 65 70 20 24 3a 3a 53 54 4d 54 0a 20 20 73 65 74  ep $::STMT.  set
0600: 20 72 63 20 5b 73 71 6c 69 74 65 33 5f 63 6f 6c   rc [sqlite3_col
0610: 75 6d 6e 5f 69 6e 74 20 24 3a 3a 53 54 4d 54 20  umn_int $::STMT 
0620: 30 5d 0a 20 20 73 71 6c 69 74 65 33 5f 72 65 73  0].  sqlite3_res
0630: 65 74 20 24 3a 3a 53 54 4d 54 0a 20 20 72 65 74  et $::STMT.  ret
0640: 75 72 6e 20 24 72 63 0a 7d 0a 0a 64 6f 5f 74 65  urn $rc.}..do_te
0650: 73 74 20 74 6b 74 2d 62 37 32 37 38 37 62 31 2e  st tkt-b72787b1.
0660: 31 20 7b 0a 20 20 64 62 20 65 76 61 6c 20 7b 0a  1 {.  db eval {.
0670: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0680: 20 74 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45   t1(x);.    INSE
0690: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
06a0: 53 28 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  S(1);.    INSERT
06b0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
06c0: 32 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  2);.    CREATE T
06d0: 41 42 4c 45 20 74 32 28 79 29 3b 0a 20 20 20 20  ABLE t2(y);.    
06e0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53  INSERT INTO t2 S
06f0: 45 4c 45 43 54 20 78 2b 32 20 46 52 4f 4d 20 74  ELECT x+2 FROM t
0700: 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  1;.    INSERT IN
0710: 54 4f 20 74 32 20 53 45 4c 45 43 54 20 78 2b 34  TO t2 SELECT x+4
0720: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 20 20   FROM t1;.  }.  
0730: 64 62 20 66 75 6e 63 20 72 75 6e 73 71 6c 20 3a  db func runsql :
0740: 3a 72 75 6e 73 71 6c 0a 20 20 73 65 74 20 44 42  :runsql.  set DB
0750: 20 5b 73 71 6c 69 74 65 33 5f 63 6f 6e 6e 65 63   [sqlite3_connec
0760: 74 69 6f 6e 5f 70 6f 69 6e 74 65 72 20 64 62 5d  tion_pointer db]
0770: 0a 20 20 73 65 74 20 73 71 6c 20 7b 53 45 4c 45  .  set sql {SELE
0780: 43 54 20 6d 61 78 28 78 29 20 46 52 4f 4d 20 74  CT max(x) FROM t
0790: 31 7d 0a 20 20 73 65 74 20 3a 3a 53 54 4d 54 20  1}.  set ::STMT 
07a0: 5b 73 71 6c 69 74 65 33 5f 70 72 65 70 61 72 65  [sqlite3_prepare
07b0: 5f 76 32 20 24 44 42 20 24 73 71 6c 20 2d 31 20  _v2 $DB $sql -1 
07c0: 54 41 49 4c 5d 0a 0a 20 20 23 20 54 68 65 20 72  TAIL]..  # The r
07d0: 75 6e 73 71 6c 28 29 20 63 61 6c 6c 20 6f 6e 20  unsql() call on 
07e0: 74 68 65 20 73 65 63 6f 6e 64 20 72 6f 77 20 6f  the second row o
07f0: 66 20 74 68 65 20 66 69 72 73 74 20 71 75 65 72  f the first quer
0800: 79 20 77 69 6c 6c 0a 20 20 23 20 63 61 75 73 65  y will.  # cause
0810: 20 61 6c 6c 20 24 3a 3a 53 54 4d 54 20 74 6f 20   all $::STMT to 
0820: 68 69 74 20 61 6e 20 65 78 70 69 72 65 64 20 63  hit an expired c
0830: 6f 6f 6b 69 65 2e 20 20 50 72 69 6f 72 20 74 6f  ookie.  Prior to
0840: 20 74 68 65 20 66 69 78 0a 20 20 23 20 66 6f 72   the fix.  # for
0850: 20 5b 62 37 32 37 38 37 62 31 61 37 2c 20 74 68   [b72787b1a7, th
0860: 65 20 62 61 64 20 63 6f 6f 6b 69 65 20 77 6f 75  e bad cookie wou
0870: 6c 64 20 65 78 70 69 72 65 20 61 6c 6c 20 73 74  ld expire all st
0880: 61 74 65 6d 65 6e 74 73 2c 20 69 6e 63 6c 75 64  atements, includ
0890: 69 6e 67 0a 20 20 23 20 74 68 65 20 66 6f 6c 6c  ing.  # the foll
08a0: 6f 77 69 6e 67 20 63 6f 6d 70 6f 75 6e 64 20 53  owing compound S
08b0: 45 4c 45 43 54 2c 20 77 68 69 63 68 20 77 6f 75  ELECT, which wou
08c0: 6c 64 20 63 61 75 73 65 20 61 20 66 61 75 6c 74  ld cause a fault
08d0: 20 77 68 65 6e 20 74 68 65 0a 20 20 23 20 73 65   when the.  # se
08e0: 63 6f 6e 64 20 53 45 4c 45 43 54 20 77 61 73 20  cond SELECT was 
08f0: 72 65 61 63 68 65 64 2e 20 20 41 66 74 65 72 20  reached.  After 
0900: 74 68 65 20 66 69 78 2c 20 74 68 65 20 63 75 72  the fix, the cur
0910: 72 65 6e 74 20 73 74 61 74 65 6d 65 6e 74 0a 20  rent statement. 
0920: 20 23 20 63 6f 6e 74 69 6e 75 65 73 20 74 6f 20   # continues to 
0930: 63 6f 6d 70 6c 65 74 69 6f 6e 2e 0a 20 20 64 62  completion..  db
0940: 20 65 76 61 6c 20 7b 0a 20 20 20 20 53 45 4c 45   eval {.    SELE
0950: 43 54 20 43 41 53 45 20 57 48 45 4e 20 79 3d 33  CT CASE WHEN y=3
0960: 20 54 48 45 4e 20 79 2b 31 30 30 20 57 48 45 4e   THEN y+100 WHEN
0970: 20 79 3d 3d 34 20 54 48 45 4e 20 72 75 6e 73 71   y==4 THEN runsq
0980: 6c 28 29 2b 32 30 30 0a 20 20 20 20 20 20 20 20  l()+200.        
0990: 20 20 20 20 20 20 20 20 45 4c 53 45 20 33 30 30          ELSE 300
09a0: 2b 79 20 45 4e 44 20 46 52 4f 4d 20 74 32 0a 20  +y END FROM t2. 
09b0: 20 20 20 55 4e 49 4f 4e 20 41 4c 4c 0a 20 20 20     UNION ALL.   
09c0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
09d0: 31 3b 0a 20 20 7d 0a 7d 20 7b 31 30 33 20 32 30  1;.  }.} {103 20
09e0: 32 20 33 30 35 20 33 30 36 20 31 20 32 7d 0a 0a  2 305 306 1 2}..
09f0: 73 71 6c 69 74 65 33 5f 66 69 6e 61 6c 69 7a 65  sqlite3_finalize
0a00: 20 24 3a 3a 53 54 4d 54 0a 0a 66 69 6e 69 73 68   $::STMT..finish
0a10: 5f 74 65 73 74 0a                                _test.