/ Hex Artifact Content
Login

Artifact 3b59dcb5c4e7754dacd91e7fd353a61492cc402a:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 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 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63  rary.  The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20  us of this file 
01c0: 69 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 65  is testing the e
01d0: 78 65 63 75 74 69 6f 6e 20 6f 66 20 53 51 4c 20  xecution of SQL 
01e0: 73 74 61 74 65 6d 65 6e 74 73 20 66 72 6f 6d 0a  statements from.
01f0: 23 20 77 69 74 68 69 6e 20 63 61 6c 6c 62 61 63  # within callbac
0200: 6b 73 20 67 65 6e 65 72 61 74 65 64 20 62 79 20  ks generated by 
0210: 56 4d 73 20 74 68 61 74 20 74 68 65 6d 73 65 6c  VMs that themsel
0220: 76 65 73 20 6f 70 65 6e 20 73 74 61 74 65 6d 65  ves open stateme
0230: 6e 74 20 0a 23 20 74 72 61 6e 73 61 63 74 69 6f  nt .# transactio
0240: 6e 73 2e 0a 23 0a 23 20 24 49 64 3a 20 74 6b 74  ns..#.# $Id: tkt
0250: 33 37 31 38 2e 74 65 73 74 2c 76 20 31 2e 32 20  3718.test,v 1.2 
0260: 32 30 30 39 2f 30 36 2f 30 35 20 31 37 3a 30 39  2009/06/05 17:09
0270: 3a 31 32 20 64 72 68 20 45 78 70 20 24 0a 0a 73  :12 drh Exp $..s
0280: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0290: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
02a0: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
02b0: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 64 6f 5f  /tester.tcl..do_
02c0: 74 65 73 74 20 74 6b 74 33 37 31 38 2d 31 2e 31  test tkt3718-1.1
02d0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
02e0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
02f0: 74 31 28 61 20 50 52 49 4d 41 52 59 20 4b 45 59  t1(a PRIMARY KEY
0300: 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , b);.    INSERT
0310: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0320: 31 2c 20 27 6f 6e 65 27 29 3b 0a 20 20 20 20 49  1, 'one');.    I
0330: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0340: 4c 55 45 53 28 32 2c 20 27 74 77 6f 27 29 3b 0a  LUES(2, 'two');.
0350: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0360: 74 31 20 56 41 4c 55 45 53 28 33 2c 20 27 74 68  t1 VALUES(3, 'th
0370: 72 65 65 27 29 3b 0a 20 20 20 20 49 4e 53 45 52  ree');.    INSER
0380: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0390: 28 34 2c 20 27 66 6f 75 72 27 29 3b 0a 20 20 20  (4, 'four');.   
03a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
03b0: 56 41 4c 55 45 53 28 35 2c 20 27 66 69 76 65 27  VALUES(5, 'five'
03c0: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  );.    CREATE TA
03d0: 42 4c 45 20 74 32 28 61 20 50 52 49 4d 41 52 59  BLE t2(a PRIMARY
03e0: 20 4b 45 59 2c 20 62 29 3b 0a 20 20 7d 0a 7d 20   KEY, b);.  }.} 
03f0: 7b 7d 0a 0a 23 20 53 51 4c 20 73 63 61 6c 61 72  {}..# SQL scalar
0400: 20 66 75 6e 63 74 69 6f 6e 3a 0a 23 0a 23 20 20   function:.#.#  
0410: 20 66 31 28 3c 61 72 67 3e 29 0a 23 0a 23 20 55   f1(<arg>).#.# U
0420: 73 65 73 20 64 61 74 61 62 61 73 65 20 68 61 6e  ses database han
0430: 64 6c 65 20 5b 64 62 5d 20 74 6f 20 65 78 65 63  dle [db] to exec
0440: 75 74 65 20 22 53 45 4c 45 43 54 20 66 32 28 3c  ute "SELECT f2(<
0450: 61 72 67 3e 29 22 2e 20 52 65 74 75 72 6e 73 20  arg>)". Returns 
0460: 65 69 74 68 65 72 0a 23 20 74 68 65 20 72 65 73  either.# the res
0470: 75 6c 74 73 20 6f 72 20 65 72 72 6f 72 20 6d 65  ults or error me
0480: 73 73 61 67 65 20 66 72 6f 6d 20 74 68 65 20 22  ssage from the "
0490: 53 45 4c 45 43 54 20 66 32 28 3c 61 72 67 3e 29  SELECT f2(<arg>)
04a0: 22 20 71 75 65 72 79 20 74 6f 20 74 68 65 0a 23  " query to the.#
04b0: 20 63 61 6c 6c 65 72 2e 0a 23 0a 70 72 6f 63 20   caller..#.proc 
04c0: 66 31 20 7b 61 72 67 73 7d 20 7b 0a 20 20 73 65  f1 {args} {.  se
04d0: 74 20 61 20 5b 6c 69 6e 64 65 78 20 24 61 72 67  t a [lindex $arg
04e0: 73 20 30 5d 0a 20 20 63 61 74 63 68 20 7b 20 64  s 0].  catch { d
04f0: 62 20 65 76 61 6c 20 7b 53 45 4c 45 43 54 20 66  b eval {SELECT f
0500: 32 28 24 61 29 7d 20 7d 20 6d 73 67 0a 20 20 73  2($a)} } msg.  s
0510: 65 74 20 6d 73 67 0a 7d 0a 0a 23 20 53 51 4c 20  et msg.}..# SQL 
0520: 73 63 61 6c 61 72 20 66 75 6e 63 74 69 6f 6e 3a  scalar function:
0530: 0a 23 0a 23 20 20 20 66 32 28 3c 61 72 67 3e 29  .#.#   f2(<arg>)
0540: 0a 23 0a 23 20 52 65 74 75 72 6e 20 74 68 65 20  .#.# Return the 
0550: 76 61 6c 75 65 20 6f 66 20 3c 61 72 67 3e 2e 20  value of <arg>. 
0560: 55 6e 6c 65 73 73 20 3c 61 72 67 3e 20 69 73 20  Unless <arg> is 
0570: 22 74 68 72 65 65 22 2c 20 69 6e 20 77 68 69 63  "three", in whic
0580: 68 20 63 61 73 65 20 74 68 72 6f 77 0a 23 20 61  h case throw.# a
0590: 6e 20 65 78 63 65 70 74 69 6f 6e 2e 0a 23 0a 70  n exception..#.p
05a0: 72 6f 63 20 66 32 20 7b 61 72 67 73 7d 20 7b 0a  roc f2 {args} {.
05b0: 20 20 73 65 74 20 61 20 5b 6c 69 6e 64 65 78 20    set a [lindex 
05c0: 24 61 72 67 73 20 30 5d 0a 20 20 69 66 20 7b 24  $args 0].  if {$
05d0: 61 20 3d 3d 20 22 74 68 72 65 65 22 7d 20 7b 20  a == "three"} { 
05e0: 65 72 72 6f 72 20 22 54 68 72 65 65 21 21 22 20  error "Three!!" 
05f0: 7d 0a 20 20 72 65 74 75 72 6e 20 24 61 0a 7d 0a  }.  return $a.}.
0600: 0a 64 62 20 66 75 6e 63 20 66 31 20 66 31 0a 64  .db func f1 f1.d
0610: 62 20 66 75 6e 63 20 66 32 20 66 32 0a 0a 23 20  b func f2 f2..# 
0620: 54 68 65 20 73 65 63 6f 6e 64 20 49 4e 53 45 52  The second INSER
0630: 54 20 73 74 61 74 65 6d 65 6e 74 20 62 65 6c 6f  T statement belo
0640: 77 20 75 73 65 73 20 74 68 65 20 66 31 20 75 73  w uses the f1 us
0650: 65 72 20 66 75 6e 63 74 69 6f 6e 20 73 75 63 68  er function such
0660: 20 74 68 61 74 0a 23 20 68 61 6c 66 2d 77 61 79   that.# half-way
0670: 20 74 68 72 6f 75 67 68 20 74 68 65 20 49 4e 53   through the INS
0680: 45 52 54 20 6f 70 65 72 61 74 69 6f 6e 20 66 31  ERT operation f1
0690: 28 29 20 77 69 6c 6c 20 72 75 6e 20 61 6e 20 53  () will run an S
06a0: 51 4c 20 73 74 61 74 65 6d 65 6e 74 0a 23 20 74  QL statement.# t
06b0: 68 61 74 20 74 68 72 6f 77 73 20 61 6e 20 65 78  hat throws an ex
06c0: 63 65 70 74 69 6f 6e 2e 20 41 74 20 6f 6e 65 20  ception. At one 
06d0: 70 6f 69 6e 74 2c 20 62 65 66 6f 72 65 20 23 33  point, before #3
06e0: 37 31 38 20 77 61 73 20 66 69 78 65 64 2c 20 74  718 was fixed, t
06f0: 68 69 73 0a 23 20 63 61 75 73 65 64 20 74 68 65  his.# caused the
0700: 20 73 74 61 74 65 6d 65 6e 74 20 74 72 61 6e 73   statement trans
0710: 61 63 74 69 6f 6e 20 62 65 6c 6f 6e 67 69 6e 67  action belonging
0720: 20 74 6f 20 74 68 65 20 49 4e 53 45 52 54 20 73   to the INSERT s
0730: 74 61 74 65 6d 65 6e 74 20 74 6f 0a 23 20 62 65  tatement to.# be
0740: 20 72 6f 6c 6c 65 64 20 62 61 63 6b 2e 20 54 68   rolled back. Th
0750: 65 20 72 65 73 75 6c 74 20 77 61 73 20 74 68 61  e result was tha
0760: 74 20 73 6f 6d 65 20 28 62 75 74 20 6e 6f 74 20  t some (but not 
0770: 61 6c 6c 29 20 6f 66 20 74 68 65 20 72 6f 77 73  all) of the rows
0780: 20 74 68 61 74 20 0a 23 20 73 68 6f 75 6c 64 20   that .# should 
0790: 68 61 76 65 20 62 65 65 6e 20 69 6e 73 65 72 74  have been insert
07a0: 65 64 20 77 65 6e 74 20 6d 69 73 73 69 6e 67 2e  ed went missing.
07b0: 0a 23 0a 64 6f 5f 74 65 73 74 20 74 6b 74 33 37  .#.do_test tkt37
07c0: 31 38 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63 73  18-1.2 {.  execs
07d0: 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a  ql {.    BEGIN;.
07e0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
07f0: 74 32 20 53 45 4c 45 43 54 20 61 2c 20 62 20 46  t2 SELECT a, b F
0800: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e 53 45  ROM t1;.    INSE
0810: 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43  RT INTO t2 SELEC
0820: 54 20 61 2b 35 2c 20 66 31 28 62 29 20 46 52 4f  T a+5, f1(b) FRO
0830: 4d 20 74 31 3b 0a 20 20 20 20 43 4f 4d 4d 49 54  M t1;.    COMMIT
0840: 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  ;.  }.  execsql 
0850: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46  {.    SELECT a F
0860: 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31  ROM t2;.  }.} {1
0870: 20 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39   2 3 4 5 6 7 8 9
0880: 20 31 30 7d 0a 0a 23 20 54 68 69 73 20 74 65 73   10}..# This tes
0890: 74 20 74 75 72 6e 73 20 6f 6e 20 74 68 65 20 63  t turns on the c
08a0: 6f 75 6e 74 5f 63 68 61 6e 67 65 73 20 70 72 61  ount_changes pra
08b0: 67 6d 61 20 28 63 61 75 73 69 6e 67 20 44 4d 4c  gma (causing DML
08c0: 20 73 74 61 74 65 6d 65 6e 74 73 20 74 6f 0a 23   statements to.#
08d0: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 52   return SQLITE_R
08e0: 4f 57 20 6f 6e 63 65 2c 20 77 69 74 68 20 61 20  OW once, with a 
08f0: 73 69 6e 67 6c 65 20 69 6e 74 65 67 65 72 20 72  single integer r
0900: 65 73 75 6c 74 20 76 61 6c 75 65 20 72 65 70 6f  esult value repo
0910: 72 74 69 6e 67 20 74 68 65 0a 23 20 6e 75 6d 62  rting the.# numb
0920: 65 72 20 6f 66 20 72 6f 77 73 20 61 66 66 65 63  er of rows affec
0930: 74 65 64 20 62 79 20 74 68 65 20 73 74 61 74 65  ted by the state
0940: 6d 65 6e 74 29 2e 20 49 74 20 74 68 65 6e 20 65  ment). It then e
0950: 78 65 63 75 74 65 73 20 61 6e 20 49 4e 53 45 52  xecutes an INSER
0960: 54 0a 23 20 73 74 61 74 65 6d 65 6e 74 20 74 68  T.# statement th
0970: 61 74 20 72 65 71 75 69 72 65 73 20 61 20 73 74  at requires a st
0980: 61 74 65 6d 65 6e 74 20 6a 6f 75 72 6e 61 6c 2e  atement journal.
0990: 20 41 66 74 65 72 20 73 74 65 70 70 69 6e 67 20   After stepping 
09a0: 74 68 65 20 73 74 61 74 65 6d 65 6e 74 0a 23 20  the statement.# 
09b0: 6f 6e 63 65 2c 20 73 6f 20 74 68 61 74 20 69 74  once, so that it
09c0: 20 72 65 74 75 72 6e 73 20 53 51 4c 49 54 45 5f   returns SQLITE_
09d0: 52 4f 57 2c 20 61 20 73 65 63 6f 6e 64 20 53 51  ROW, a second SQ
09e0: 4c 20 73 74 61 74 65 6d 65 6e 74 20 74 68 61 74  L statement that
09f0: 20 74 68 72 6f 77 73 20 61 6e 0a 23 20 65 78 63   throws an.# exc
0a00: 65 70 74 69 6f 6e 20 69 73 20 72 75 6e 2e 20 41  eption is run. A
0a10: 74 20 6f 6e 65 20 70 6f 69 6e 74 2c 20 62 65 66  t one point, bef
0a20: 6f 72 65 20 23 33 37 31 38 20 77 61 73 20 66 69  ore #3718 was fi
0a30: 78 65 64 2c 20 74 68 69 73 20 63 61 75 73 65 64  xed, this caused
0a40: 20 74 68 65 0a 23 20 73 74 61 74 65 6d 65 6e 74   the.# statement
0a50: 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 62 65 6c   transaction bel
0a60: 6f 6e 67 69 6e 67 20 74 6f 20 74 68 65 20 49 4e  onging to the IN
0a70: 53 45 52 54 20 73 74 61 74 65 6d 65 6e 74 20 74  SERT statement t
0a80: 6f 20 62 65 20 72 6f 6c 6c 65 64 20 62 61 63 6b  o be rolled back
0a90: 2e 0a 23 20 54 68 65 20 72 65 73 75 6c 74 20 77  ..# The result w
0aa0: 61 73 20 74 68 61 74 20 6e 6f 6e 65 20 6f 66 20  as that none of 
0ab0: 74 68 65 20 72 6f 77 73 20 77 65 72 65 20 61 63  the rows were ac
0ac0: 74 75 61 6c 6c 79 20 69 6e 73 65 72 74 65 64 2e  tually inserted.
0ad0: 0a 23 20 0a 23 0a 64 6f 5f 74 65 73 74 20 74 6b  .# .#.do_test tk
0ae0: 74 33 37 31 38 2d 31 2e 33 20 7b 0a 20 20 65 78  t3718-1.3 {.  ex
0af0: 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 44 45 4c  ecsql { .    DEL
0b00: 45 54 45 20 46 52 4f 4d 20 74 32 20 57 48 45 52  ETE FROM t2 WHER
0b10: 45 20 61 20 3e 20 35 3b 0a 20 20 20 20 50 52 41  E a > 5;.    PRA
0b20: 47 4d 41 20 63 6f 75 6e 74 5f 63 68 61 6e 67 65  GMA count_change
0b30: 73 20 3d 20 31 3b 0a 20 20 20 20 42 45 47 49 4e  s = 1;.    BEGIN
0b40: 3b 0a 20 20 7d 0a 20 20 64 62 20 65 76 61 6c 20  ;.  }.  db eval 
0b50: 7b 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20  {INSERT INTO t2 
0b60: 53 45 4c 45 43 54 20 61 2b 35 2c 20 62 7c 7c 27  SELECT a+5, b||'
0b70: 2b 35 27 20 46 52 4f 4d 20 74 31 7d 20 7b 0a 20  +5' FROM t1} {. 
0b80: 20 20 20 63 61 74 63 68 20 7b 20 64 62 20 65 76     catch { db ev
0b90: 61 6c 20 7b 53 45 4c 45 43 54 20 66 32 28 27 74  al {SELECT f2('t
0ba0: 68 72 65 65 27 29 7d 20 7d 20 6d 73 67 0a 20 20  hree')} } msg.  
0bb0: 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  }.  execsql {.  
0bc0: 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 45    COMMIT;.    SE
0bd0: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 32 3b 0a  LECT a FROM t2;.
0be0: 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35    }.} {1 2 3 4 5
0bf0: 20 36 20 37 20 38 20 39 20 31 30 7d 0a 0a 64 6f   6 7 8 9 10}..do
0c00: 5f 74 65 73 74 20 74 6b 74 33 37 31 38 2d 31 2e  _test tkt3718-1.
0c10: 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 70  4 {.  execsql {p
0c20: 72 61 67 6d 61 20 63 6f 75 6e 74 5f 63 68 61 6e  ragma count_chan
0c30: 67 65 73 3d 30 7d 0a 7d 20 7b 7d 0a 0a 23 20 54  ges=0}.} {}..# T
0c40: 68 69 73 20 53 51 4c 20 66 75 6e 63 74 69 6f 6e  his SQL function
0c50: 20 65 78 65 63 75 74 65 73 20 74 68 65 20 53 51   executes the SQ
0c60: 4c 20 73 70 65 63 69 66 69 65 64 20 61 73 20 61  L specified as a
0c70: 6e 20 61 72 67 75 6d 65 6e 74 20 61 67 61 69 6e  n argument again
0c80: 73 74 0a 23 20 64 61 74 61 62 61 73 65 20 5b 64  st.# database [d
0c90: 62 5d 2e 0a 23 0a 70 72 6f 63 20 73 71 6c 20 7b  b]..#.proc sql {
0ca0: 64 6f 69 74 20 7a 53 71 6c 7d 20 7b 0a 20 20 69  doit zSql} {.  i
0cb0: 66 20 7b 24 64 6f 69 74 7d 20 7b 20 63 61 74 63  f {$doit} { catc
0cc0: 68 73 71 6c 20 24 7a 53 71 6c 20 7d 0a 7d 0a 64  hsql $zSql }.}.d
0cd0: 62 20 66 75 6e 63 20 73 71 6c 20 5b 6c 69 73 74  b func sql [list
0ce0: 20 73 71 6c 5d 0a 0a 23 20 54 68 65 20 66 6f 6c   sql]..# The fol
0cf0: 6c 6f 77 69 6e 67 20 74 65 73 74 73 2c 20 74 6b  lowing tests, tk
0d00: 74 33 37 31 38 2d 32 2e 2a 2c 20 74 65 73 74 20  t3718-2.*, test 
0d10: 74 68 61 74 20 61 20 6e 65 73 74 65 64 20 73 74  that a nested st
0d20: 61 74 65 6d 65 6e 74 20 0a 23 20 74 72 61 6e 73  atement .# trans
0d30: 61 63 74 69 6f 6e 20 63 61 6e 20 62 65 20 73 75  action can be su
0d40: 63 63 65 73 73 66 75 6c 6c 79 20 63 6f 6d 6d 69  ccessfully commi
0d50: 74 74 65 64 20 6f 72 20 72 65 76 65 72 74 65 64  tted or reverted
0d60: 20 77 69 74 68 6f 75 74 20 0a 23 20 61 66 66 65   without .# affe
0d70: 63 74 69 6e 67 20 74 68 65 20 70 61 72 65 6e 74  cting the parent
0d80: 20 73 74 61 74 65 6d 65 6e 74 20 74 72 61 6e 73   statement trans
0d90: 61 63 74 69 6f 6e 2e 0a 23 0a 64 6f 5f 74 65 73  action..#.do_tes
0da0: 74 20 74 6b 74 33 37 31 38 2d 32 2e 31 20 7b 0a  t tkt3718-2.1 {.
0db0: 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45    execsql { SELE
0dc0: 43 54 20 73 71 6c 28 31 2c 20 27 44 45 4c 45 54  CT sql(1, 'DELET
0dd0: 45 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20  E FROM t2 WHERE 
0de0: 61 20 3d 20 27 7c 7c 61 20 29 20 46 52 4f 4d 20  a = '||a ) FROM 
0df0: 74 32 20 57 48 45 52 45 20 61 3e 35 20 7d 0a 20  t2 WHERE a>5 }. 
0e00: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
0e10: 54 20 61 20 66 72 6f 6d 20 74 32 20 7d 0a 7d 20  T a from t2 }.} 
0e20: 7b 31 20 32 20 33 20 34 20 35 7d 0a 64 6f 5f 74  {1 2 3 4 5}.do_t
0e30: 65 73 74 20 74 6b 74 33 37 31 38 2d 32 2e 32 20  est tkt3718-2.2 
0e40: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0e50: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 32    DELETE FROM t2
0e60: 20 57 48 45 52 45 20 61 20 3e 20 35 3b 0a 20 20   WHERE a > 5;.  
0e70: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 49 4e 53    BEGIN;.    INS
0e80: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
0e90: 43 54 20 61 2b 35 2c 20 73 71 6c 28 61 3d 3d 33  CT a+5, sql(a==3
0ea0: 2c 0a 20 20 20 20 20 20 20 20 27 49 4e 53 45 52  ,.        'INSER
0eb0: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
0ec0: 20 61 2b 31 30 2c 20 66 32 28 62 29 20 46 52 4f   a+10, f2(b) FRO
0ed0: 4d 20 74 31 27 0a 20 20 20 20 29 20 46 52 4f 4d  M t1'.    ) FROM
0ee0: 20 74 31 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73   t1;.  }.  execs
0ef0: 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b  ql {.    COMMIT;
0f00: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
0f10: 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20  OM t2;.  }.} {1 
0f20: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
0f30: 31 30 7d 0a 64 6f 5f 74 65 73 74 20 74 6b 74 33  10}.do_test tkt3
0f40: 37 31 38 2d 32 2e 33 20 7b 0a 20 20 65 78 65 63  718-2.3 {.  exec
0f50: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
0f60: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61   FROM t2 WHERE a
0f70: 20 3e 20 35 3b 0a 20 20 20 20 42 45 47 49 4e 3b   > 5;.    BEGIN;
0f80: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0f90: 20 74 32 20 53 45 4c 45 43 54 20 61 2b 35 2c 20   t2 SELECT a+5, 
0fa0: 73 71 6c 28 61 3d 3d 33 2c 0a 20 20 20 20 20 20  sql(a==3,.      
0fb0: 20 20 27 49 4e 53 45 52 54 20 49 4e 54 4f 20 74    'INSERT INTO t
0fc0: 32 20 53 45 4c 45 43 54 20 61 2b 31 30 2c 20 62  2 SELECT a+10, b
0fd0: 20 46 52 4f 4d 20 74 31 27 0a 20 20 20 20 29 20   FROM t1'.    ) 
0fe0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 43 4f 4d  FROM t1;.    COM
0ff0: 4d 49 54 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73  MIT;.  }.  execs
1000: 71 6c 20 7b 20 53 45 4c 45 43 54 20 61 20 46 52  ql { SELECT a FR
1010: 4f 4d 20 74 32 20 4f 52 44 45 52 20 42 59 20 61  OM t2 ORDER BY a
1020: 2b 30 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35  +0}.} {1 2 3 4 5
1030: 20 36 20 37 20 38 20 39 20 31 30 20 31 31 20 31   6 7 8 9 10 11 1
1040: 32 20 31 33 20 31 34 20 31 35 7d 0a 69 6e 74 65  2 13 14 15}.inte
1050: 67 72 69 74 79 5f 63 68 65 63 6b 20 74 6b 74 33  grity_check tkt3
1060: 37 31 38 2e 32 2d 34 0a 0a 23 20 54 68 65 20 6e  718.2-4..# The n
1070: 65 78 74 20 73 65 74 20 6f 66 20 74 65 73 74 73  ext set of tests
1080: 2c 20 74 6b 74 33 37 31 38 2d 33 2e 2a 2c 20 74  , tkt3718-3.*, t
1090: 65 73 74 20 74 68 61 74 20 61 20 73 74 61 74 65  est that a state
10a0: 6d 65 6e 74 20 74 72 61 6e 73 61 63 74 69 6f 6e  ment transaction
10b0: 0a 23 20 74 68 61 74 20 68 61 73 20 61 20 63 6f  .# that has a co
10c0: 6d 6d 69 74 74 65 64 20 73 74 61 74 65 6d 65 6e  mmitted statemen
10d0: 74 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 6e 65  t transaction ne
10e0: 73 74 65 64 20 69 6e 73 69 64 65 20 6f 66 20 69  sted inside of i
10f0: 74 20 63 61 6e 0a 23 20 62 65 20 63 6f 6d 6d 69  t can.# be commi
1100: 74 74 65 64 20 6f 72 20 72 65 76 65 72 74 65 64  tted or reverted
1110: 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b 74 6e 20  ..#.foreach {tn 
1120: 69 6f 20 69 69 20 72 65 73 75 6c 74 73 7d 20 7b  io ii results} {
1130: 0a 20 20 31 20 30 20 31 30 20 7b 31 20 32 20 33  .  1 0 10 {1 2 3
1140: 20 34 20 35 20 36 20 37 20 38 20 39 20 31 30 20   4 5 6 7 8 9 10 
1150: 31 31 20 31 32 20 31 33 20 31 34 20 31 35 20 31  11 12 13 14 15 1
1160: 36 20 31 37 20 31 38 20 31 39 20 32 30 7d 0a 20  6 17 18 19 20}. 
1170: 20 32 20 31 20 31 30 20 7b 36 20 37 20 38 20 39   2 1 10 {6 7 8 9
1180: 20 31 30 20 31 36 20 31 37 20 31 38 20 31 39 20   10 16 17 18 19 
1190: 32 30 7d 0a 20 20 33 20 30 20 31 31 20 7b 31 20  20}.  3 0 11 {1 
11a0: 32 20 33 20 34 20 35 20 36 20 37 20 38 20 39 20  2 3 4 5 6 7 8 9 
11b0: 31 30 20 31 36 20 31 37 20 31 38 20 31 39 20 32  10 16 17 18 19 2
11c0: 30 7d 0a 20 20 34 20 31 20 31 31 20 7b 36 20 37  0}.  4 1 11 {6 7
11d0: 20 38 20 39 20 31 30 20 31 36 20 31 37 20 31 38   8 9 10 16 17 18
11e0: 20 31 39 20 32 30 7d 0a 7d 20 7b 0a 20 20 64 6f   19 20}.} {.  do
11f0: 5f 74 65 73 74 20 74 6b 74 33 37 31 38 2d 33 2e  _test tkt3718-3.
1200: 24 74 6e 20 7b 0a 20 20 20 20 65 78 65 63 73 71  $tn {.    execsq
1210: 6c 20 7b 20 0a 20 20 20 20 20 20 44 45 4c 45 54  l { .      DELET
1220: 45 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20  E FROM t2;.     
1230: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
1240: 53 45 4c 45 43 54 20 61 2b 35 2c 20 62 20 46 52  SELECT a+5, b FR
1250: 4f 4d 20 74 31 3b 0a 20 20 20 20 20 20 49 4e 53  OM t1;.      INS
1260: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
1270: 43 54 20 61 2b 31 35 2c 20 62 20 46 52 4f 4d 20  CT a+15, b FROM 
1280: 74 31 3b 0a 20 20 20 20 7d 0a 0a 20 20 20 20 63  t1;.    }..    c
1290: 61 74 63 68 73 71 6c 20 22 0a 20 20 20 20 20 20  atchsql ".      
12a0: 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53  BEGIN;.      INS
12b0: 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45  ERT INTO t2 SELE
12c0: 43 54 20 61 2b 24 69 6f 2c 20 73 71 6c 28 61 3d  CT a+$io, sql(a=
12d0: 3d 33 2c 0a 20 20 20 20 20 20 20 20 20 20 27 49  =3,.          'I
12e0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45  NSERT INTO t2 SE
12f0: 4c 45 43 54 20 61 2b 24 69 69 2c 20 62 20 46 52  LECT a+$ii, b FR
1300: 4f 4d 20 74 31 27 0a 20 20 20 20 20 20 29 20 46  OM t1'.      ) F
1310: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 22 0a 0a 20  ROM t1;.    ".. 
1320: 20 20 20 65 78 65 63 73 71 6c 20 7b 20 43 4f 4d     execsql { COM
1330: 4d 49 54 20 7d 0a 0a 20 20 20 20 65 78 65 63 73  MIT }..    execs
1340: 71 6c 20 7b 20 53 45 4c 45 43 54 20 61 20 46 52  ql { SELECT a FR
1350: 4f 4d 20 74 32 20 4f 52 44 45 52 20 42 59 20 61  OM t2 ORDER BY a
1360: 2b 30 7d 0a 20 20 7d 20 24 72 65 73 75 6c 74 73  +0}.  } $results
1370: 0a 0a 20 20 69 6e 74 65 67 72 69 74 79 5f 63 68  ..  integrity_ch
1380: 65 63 6b 20 74 6b 74 33 37 31 38 2d 33 2e 24 74  eck tkt3718-3.$t
1390: 6e 2e 69 6e 74 65 67 72 69 74 79 0a 7d 0a 0a 23  n.integrity.}..#
13a0: 20 54 68 69 73 20 69 73 20 74 68 65 20 73 61 6d   This is the sam
13b0: 65 20 74 65 73 74 20 61 73 20 74 6b 74 33 37 31  e test as tkt371
13c0: 38 2d 33 2e 2a 2c 20 62 75 74 20 77 69 74 68 20  8-3.*, but with 
13d0: 33 20 6c 65 76 65 6c 73 20 6f 66 20 6e 65 73 74  3 levels of nest
13e0: 69 6e 67 2e 0a 23 0a 66 6f 72 65 61 63 68 20 7b  ing..#.foreach {
13f0: 74 6e 20 69 31 20 69 32 20 69 33 20 72 65 73 75  tn i1 i2 i3 resu
1400: 6c 74 73 7d 20 7b 0a 20 20 31 20 20 20 30 20 31  lts} {.  1   0 1
1410: 30 20 32 30 20 20 20 7b 35 20 31 30 20 31 35 20  0 20   {5 10 15 
1420: 32 30 20 32 35 20 33 30 7d 0a 20 20 32 20 20 20  20 25 30}.  2   
1430: 30 20 31 30 20 32 31 20 20 20 7b 35 20 31 30 20  0 10 21   {5 10 
1440: 31 35 20 32 30 20 33 30 7d 0a 20 20 33 20 20 20  15 20 30}.  3   
1450: 30 20 31 31 20 32 30 20 20 20 7b 35 20 31 30 20  0 11 20   {5 10 
1460: 32 30 20 33 30 7d 0a 20 20 34 20 20 20 30 20 31  20 30}.  4   0 1
1470: 31 20 32 31 20 20 20 7b 35 20 31 30 20 32 30 20  1 21   {5 10 20 
1480: 33 30 7d 0a 20 20 35 20 20 20 31 20 31 30 20 32  30}.  5   1 10 2
1490: 30 20 20 20 7b 31 30 20 32 30 20 33 30 7d 0a 20  0   {10 20 30}. 
14a0: 20 36 20 20 20 31 20 31 30 20 32 31 20 20 20 7b   6   1 10 21   {
14b0: 31 30 20 32 30 20 33 30 7d 0a 20 20 37 20 20 20  10 20 30}.  7   
14c0: 31 20 31 31 20 32 30 20 20 20 7b 31 30 20 32 30  1 11 20   {10 20
14d0: 20 33 30 7d 0a 20 20 38 20 20 20 31 20 31 31 20   30}.  8   1 11 
14e0: 32 31 20 20 20 7b 31 30 20 32 30 20 33 30 7d 0a  21   {10 20 30}.
14f0: 7d 20 7b 0a 20 20 64 6f 5f 74 65 73 74 20 74 6b  } {.  do_test tk
1500: 74 33 37 31 38 2d 34 2e 24 74 6e 20 7b 0a 20 20  t3718-4.$tn {.  
1510: 20 20 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20    execsql { .   
1520: 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74     DELETE FROM t
1530: 32 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  2;.      INSERT 
1540: 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54 20 61  INTO t2 SELECT a
1550: 2b 35 2c 20 62 20 46 52 4f 4d 20 74 31 3b 0a 20  +5, b FROM t1;. 
1560: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
1570: 20 74 32 20 53 45 4c 45 43 54 20 61 2b 31 35 2c   t2 SELECT a+15,
1580: 20 62 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20   b FROM t1;.    
1590: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
15a0: 20 53 45 4c 45 43 54 20 61 2b 32 35 2c 20 62 20   SELECT a+25, b 
15b0: 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 7d 0a 0a  FROM t1;.    }..
15c0: 20 20 20 20 63 61 74 63 68 73 71 6c 20 22 0a 20      catchsql ". 
15d0: 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20       BEGIN;.    
15e0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
15f0: 20 53 45 4c 45 43 54 20 61 2b 24 69 31 2c 20 73   SELECT a+$i1, s
1600: 71 6c 28 61 3d 3d 33 2c 0a 20 20 20 20 20 20 20  ql(a==3,.       
1610: 20 20 20 27 49 4e 53 45 52 54 20 49 4e 54 4f 20     'INSERT INTO 
1620: 74 32 20 53 45 4c 45 43 54 20 61 2b 24 69 32 2c  t2 SELECT a+$i2,
1630: 20 73 71 6c 28 61 3d 3d 33 2c 20 0a 20 20 20 20   sql(a==3, .    
1640: 20 20 20 20 20 20 20 20 20 27 27 49 4e 53 45 52           ''INSER
1650: 54 20 49 4e 54 4f 20 74 32 20 53 45 4c 45 43 54  T INTO t2 SELECT
1660: 20 61 2b 24 69 33 2c 20 62 20 46 52 4f 4d 20 74   a+$i3, b FROM t
1670: 31 27 27 0a 20 20 20 20 20 20 20 20 20 20 20 29  1''.           )
1680: 20 46 52 4f 4d 20 74 31 27 0a 20 20 20 20 20 20   FROM t1'.      
1690: 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 22  ) FROM t1;.    "
16a0: 0a 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20  ..    execsql { 
16b0: 43 4f 4d 4d 49 54 20 7d 0a 0a 20 20 20 20 65 78  COMMIT }..    ex
16c0: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 61  ecsql { SELECT a
16d0: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 28   FROM t2 WHERE (
16e0: 61 25 35 29 3d 3d 30 20 4f 52 44 45 52 20 42 59  a%5)==0 ORDER BY
16f0: 20 61 2b 30 7d 0a 20 20 7d 20 24 72 65 73 75 6c   a+0}.  } $resul
1700: 74 73 0a 0a 20 20 64 6f 5f 74 65 73 74 20 74 6b  ts..  do_test tk
1710: 74 33 37 31 38 2d 34 2e 24 74 6e 2e 65 78 74 72  t3718-4.$tn.extr
1720: 61 20 7b 0a 20 20 20 20 65 78 65 63 73 71 6c 20  a {.    execsql 
1730: 7b 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 0a  {.      SELECT .
1740: 20 20 20 20 20 20 20 20 28 53 45 4c 45 43 54 20          (SELECT 
1750: 73 75 6d 28 61 29 20 46 52 4f 4d 20 74 32 29 3d  sum(a) FROM t2)=
1760: 3d 28 53 45 4c 45 43 54 20 73 75 6d 28 61 2a 35  =(SELECT sum(a*5
1770: 2d 31 30 29 20 46 52 4f 4d 20 74 32 20 57 48 45  -10) FROM t2 WHE
1780: 52 45 20 28 61 25 35 29 3d 3d 30 29 0a 20 20 20  RE (a%5)==0).   
1790: 20 7d 0a 20 20 7d 20 7b 31 7d 0a 0a 20 20 69 6e   }.  } {1}..  in
17a0: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 74 6b  tegrity_check tk
17b0: 74 33 37 31 38 2d 34 2e 24 74 6e 2e 69 6e 74 65  t3718-4.$tn.inte
17c0: 67 72 69 74 79 0a 7d 0a 0a 0a 66 69 6e 69 73 68  grity.}...finish
17d0: 5f 74 65 73 74 0a                                _test.