| Index: third_party/sqlite/sqlite-src-3080704/test/tkt3718.test | 
| diff --git a/third_party/sqlite/sqlite-src-3080704/test/tkt3718.test b/third_party/sqlite/sqlite-src-3080704/test/tkt3718.test | 
| new file mode 100644 | 
| index 0000000000000000000000000000000000000000..e5eb247481310bf1cb16f90a30b2a66f9a747c16 | 
| --- /dev/null | 
| +++ b/third_party/sqlite/sqlite-src-3080704/test/tkt3718.test | 
| @@ -0,0 +1,230 @@ | 
| +# 2001 September 15 | 
| +# | 
| +# The author disclaims copyright to this source code.  In place of | 
| +# a legal notice, here is a blessing: | 
| +# | 
| +#    May you do good and not evil. | 
| +#    May you find forgiveness for yourself and forgive others. | 
| +#    May you share freely, never taking more than you give. | 
| +# | 
| +#*********************************************************************** | 
| +# This file implements regression tests for SQLite library.  The | 
| +# focus of this file is testing the execution of SQL statements from | 
| +# within callbacks generated by VMs that themselves open statement | 
| +# transactions. | 
| +# | 
| +# $Id: tkt3718.test,v 1.2 2009/06/05 17:09:12 drh Exp $ | 
| + | 
| +set testdir [file dirname $argv0] | 
| +source $testdir/tester.tcl | 
| + | 
| +do_test tkt3718-1.1 { | 
| +  execsql { | 
| +    CREATE TABLE t1(a PRIMARY KEY, b); | 
| +    INSERT INTO t1 VALUES(1, 'one'); | 
| +    INSERT INTO t1 VALUES(2, 'two'); | 
| +    INSERT INTO t1 VALUES(3, 'three'); | 
| +    INSERT INTO t1 VALUES(4, 'four'); | 
| +    INSERT INTO t1 VALUES(5, 'five'); | 
| +    CREATE TABLE t2(a PRIMARY KEY, b); | 
| +  } | 
| +} {} | 
| + | 
| +# SQL scalar function: | 
| +# | 
| +#   f1(<arg>) | 
| +# | 
| +# Uses database handle [db] to execute "SELECT f2(<arg>)". Returns either | 
| +# the results or error message from the "SELECT f2(<arg>)" query to the | 
| +# caller. | 
| +# | 
| +proc f1 {args} { | 
| +  set a [lindex $args 0] | 
| +  catch { db eval {SELECT f2($a)} } msg | 
| +  set msg | 
| +} | 
| + | 
| +# SQL scalar function: | 
| +# | 
| +#   f2(<arg>) | 
| +# | 
| +# Return the value of <arg>. Unless <arg> is "three", in which case throw | 
| +# an exception. | 
| +# | 
| +proc f2 {args} { | 
| +  set a [lindex $args 0] | 
| +  if {$a == "three"} { error "Three!!" } | 
| +  return $a | 
| +} | 
| + | 
| +db func f1 f1 | 
| +db func f2 f2 | 
| + | 
| +# The second INSERT statement below uses the f1 user function such that | 
| +# half-way through the INSERT operation f1() will run an SQL statement | 
| +# that throws an exception. At one point, before #3718 was fixed, this | 
| +# caused the statement transaction belonging to the INSERT statement to | 
| +# be rolled back. The result was that some (but not all) of the rows that | 
| +# should have been inserted went missing. | 
| +# | 
| +do_test tkt3718-1.2 { | 
| +  execsql { | 
| +    BEGIN; | 
| +    INSERT INTO t2 SELECT a, b FROM t1; | 
| +    INSERT INTO t2 SELECT a+5, f1(b) FROM t1; | 
| +    COMMIT; | 
| +  } | 
| +  execsql { | 
| +    SELECT a FROM t2; | 
| +  } | 
| +} {1 2 3 4 5 6 7 8 9 10} | 
| + | 
| +# This test turns on the count_changes pragma (causing DML statements to | 
| +# return SQLITE_ROW once, with a single integer result value reporting the | 
| +# number of rows affected by the statement). It then executes an INSERT | 
| +# statement that requires a statement journal. After stepping the statement | 
| +# once, so that it returns SQLITE_ROW, a second SQL statement that throws an | 
| +# exception is run. At one point, before #3718 was fixed, this caused the | 
| +# statement transaction belonging to the INSERT statement to be rolled back. | 
| +# The result was that none of the rows were actually inserted. | 
| +# | 
| +# | 
| +do_test tkt3718-1.3 { | 
| +  execsql { | 
| +    DELETE FROM t2 WHERE a > 5; | 
| +    PRAGMA count_changes = 1; | 
| +    BEGIN; | 
| +  } | 
| +  db eval {INSERT INTO t2 SELECT a+5, b||'+5' FROM t1} { | 
| +    catch { db eval {SELECT f2('three')} } msg | 
| +  } | 
| +  execsql { | 
| +    COMMIT; | 
| +    SELECT a FROM t2; | 
| +  } | 
| +} {1 2 3 4 5 6 7 8 9 10} | 
| + | 
| +do_test tkt3718-1.4 { | 
| +  execsql {pragma count_changes=0} | 
| +} {} | 
| + | 
| +# This SQL function executes the SQL specified as an argument against | 
| +# database [db]. | 
| +# | 
| +proc sql {doit zSql} { | 
| +  if {$doit} { catchsql $zSql } | 
| +} | 
| +db func sql [list sql] | 
| + | 
| +# The following tests, tkt3718-2.*, test that a nested statement | 
| +# transaction can be successfully committed or reverted without | 
| +# affecting the parent statement transaction. | 
| +# | 
| +do_test tkt3718-2.1 { | 
| +  execsql { SELECT sql(1, 'DELETE FROM t2 WHERE a = '||a ) FROM t2 WHERE a>5 } | 
| +  execsql { SELECT a from t2 } | 
| +} {1 2 3 4 5} | 
| +do_test tkt3718-2.2 { | 
| +  execsql { | 
| +    DELETE FROM t2 WHERE a > 5; | 
| +    BEGIN; | 
| +    INSERT INTO t2 SELECT a+5, sql(a==3, | 
| +        'INSERT INTO t2 SELECT a+10, f2(b) FROM t1' | 
| +    ) FROM t1; | 
| +  } | 
| +  execsql { | 
| +    COMMIT; | 
| +    SELECT a FROM t2; | 
| +  } | 
| +} {1 2 3 4 5 6 7 8 9 10} | 
| +do_test tkt3718-2.3 { | 
| +  execsql { | 
| +    DELETE FROM t2 WHERE a > 5; | 
| +    BEGIN; | 
| +    INSERT INTO t2 SELECT a+5, sql(a==3, | 
| +        'INSERT INTO t2 SELECT a+10, b FROM t1' | 
| +    ) FROM t1; | 
| +    COMMIT; | 
| +  } | 
| +  execsql { SELECT a FROM t2 ORDER BY a+0} | 
| +} {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15} | 
| +integrity_check tkt3718.2-4 | 
| + | 
| +# The next set of tests, tkt3718-3.*, test that a statement transaction | 
| +# that has a committed statement transaction nested inside of it can | 
| +# be committed or reverted. | 
| +# | 
| +foreach {tn io ii results} { | 
| +  1 0 10 {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20} | 
| +  2 1 10 {6 7 8 9 10 16 17 18 19 20} | 
| +  3 0 11 {1 2 3 4 5 6 7 8 9 10 16 17 18 19 20} | 
| +  4 1 11 {6 7 8 9 10 16 17 18 19 20} | 
| +} { | 
| +  do_test tkt3718-3.$tn { | 
| +    execsql { | 
| +      DELETE FROM t2; | 
| +      INSERT INTO t2 SELECT a+5, b FROM t1; | 
| +      INSERT INTO t2 SELECT a+15, b FROM t1; | 
| +    } | 
| + | 
| +    catchsql " | 
| +      BEGIN; | 
| +      INSERT INTO t2 SELECT a+$io, sql(a==3, | 
| +          'INSERT INTO t2 SELECT a+$ii, b FROM t1' | 
| +      ) FROM t1; | 
| +    " | 
| + | 
| +    execsql { COMMIT } | 
| + | 
| +    execsql { SELECT a FROM t2 ORDER BY a+0} | 
| +  } $results | 
| + | 
| +  integrity_check tkt3718-3.$tn.integrity | 
| +} | 
| + | 
| +# This is the same test as tkt3718-3.*, but with 3 levels of nesting. | 
| +# | 
| +foreach {tn i1 i2 i3 results} { | 
| +  1   0 10 20   {5 10 15 20 25 30} | 
| +  2   0 10 21   {5 10 15 20 30} | 
| +  3   0 11 20   {5 10 20 30} | 
| +  4   0 11 21   {5 10 20 30} | 
| +  5   1 10 20   {10 20 30} | 
| +  6   1 10 21   {10 20 30} | 
| +  7   1 11 20   {10 20 30} | 
| +  8   1 11 21   {10 20 30} | 
| +} { | 
| +  do_test tkt3718-4.$tn { | 
| +    execsql { | 
| +      DELETE FROM t2; | 
| +      INSERT INTO t2 SELECT a+5, b FROM t1; | 
| +      INSERT INTO t2 SELECT a+15, b FROM t1; | 
| +      INSERT INTO t2 SELECT a+25, b FROM t1; | 
| +    } | 
| + | 
| +    catchsql " | 
| +      BEGIN; | 
| +      INSERT INTO t2 SELECT a+$i1, sql(a==3, | 
| +          'INSERT INTO t2 SELECT a+$i2, sql(a==3, | 
| +             ''INSERT INTO t2 SELECT a+$i3, b FROM t1'' | 
| +           ) FROM t1' | 
| +      ) FROM t1; | 
| +    " | 
| + | 
| +    execsql { COMMIT } | 
| + | 
| +    execsql { SELECT a FROM t2 WHERE (a%5)==0 ORDER BY a+0} | 
| +  } $results | 
| + | 
| +  do_test tkt3718-4.$tn.extra { | 
| +    execsql { | 
| +      SELECT | 
| +        (SELECT sum(a) FROM t2)==(SELECT sum(a*5-10) FROM t2 WHERE (a%5)==0) | 
| +    } | 
| +  } {1} | 
| + | 
| +  integrity_check tkt3718-4.$tn.integrity | 
| +} | 
| + | 
| + | 
| +finish_test | 
|  |