Merge Chromium + Blink git repositories
[chromium-blink-merge.git] / third_party / sqlite / sqlite-src-3080704 / test / tkt3718.test
blobe5eb247481310bf1cb16f90a30b2a66f9a747c16
1 # 2001 September 15
3 # The author disclaims copyright to this source code.  In place of
4 # a legal notice, here is a blessing:
6 #    May you do good and not evil.
7 #    May you find forgiveness for yourself and forgive others.
8 #    May you share freely, never taking more than you give.
10 #***********************************************************************
11 # This file implements regression tests for SQLite library.  The
12 # focus of this file is testing the execution of SQL statements from
13 # within callbacks generated by VMs that themselves open statement 
14 # transactions.
16 # $Id: tkt3718.test,v 1.2 2009/06/05 17:09:12 drh Exp $
18 set testdir [file dirname $argv0]
19 source $testdir/tester.tcl
21 do_test tkt3718-1.1 {
22   execsql {
23     CREATE TABLE t1(a PRIMARY KEY, b);
24     INSERT INTO t1 VALUES(1, 'one');
25     INSERT INTO t1 VALUES(2, 'two');
26     INSERT INTO t1 VALUES(3, 'three');
27     INSERT INTO t1 VALUES(4, 'four');
28     INSERT INTO t1 VALUES(5, 'five');
29     CREATE TABLE t2(a PRIMARY KEY, b);
30   }
31 } {}
33 # SQL scalar function:
35 #   f1(<arg>)
37 # Uses database handle [db] to execute "SELECT f2(<arg>)". Returns either
38 # the results or error message from the "SELECT f2(<arg>)" query to the
39 # caller.
41 proc f1 {args} {
42   set a [lindex $args 0]
43   catch { db eval {SELECT f2($a)} } msg
44   set msg
47 # SQL scalar function:
49 #   f2(<arg>)
51 # Return the value of <arg>. Unless <arg> is "three", in which case throw
52 # an exception.
54 proc f2 {args} {
55   set a [lindex $args 0]
56   if {$a == "three"} { error "Three!!" }
57   return $a
60 db func f1 f1
61 db func f2 f2
63 # The second INSERT statement below uses the f1 user function such that
64 # half-way through the INSERT operation f1() will run an SQL statement
65 # that throws an exception. At one point, before #3718 was fixed, this
66 # caused the statement transaction belonging to the INSERT statement to
67 # be rolled back. The result was that some (but not all) of the rows that 
68 # should have been inserted went missing.
70 do_test tkt3718-1.2 {
71   execsql {
72     BEGIN;
73     INSERT INTO t2 SELECT a, b FROM t1;
74     INSERT INTO t2 SELECT a+5, f1(b) FROM t1;
75     COMMIT;
76   }
77   execsql {
78     SELECT a FROM t2;
79   }
80 } {1 2 3 4 5 6 7 8 9 10}
82 # This test turns on the count_changes pragma (causing DML statements to
83 # return SQLITE_ROW once, with a single integer result value reporting the
84 # number of rows affected by the statement). It then executes an INSERT
85 # statement that requires a statement journal. After stepping the statement
86 # once, so that it returns SQLITE_ROW, a second SQL statement that throws an
87 # exception is run. At one point, before #3718 was fixed, this caused the
88 # statement transaction belonging to the INSERT statement to be rolled back.
89 # The result was that none of the rows were actually inserted.
90
92 do_test tkt3718-1.3 {
93   execsql { 
94     DELETE FROM t2 WHERE a > 5;
95     PRAGMA count_changes = 1;
96     BEGIN;
97   }
98   db eval {INSERT INTO t2 SELECT a+5, b||'+5' FROM t1} {
99     catch { db eval {SELECT f2('three')} } msg
100   }
101   execsql {
102     COMMIT;
103     SELECT a FROM t2;
104   }
105 } {1 2 3 4 5 6 7 8 9 10}
107 do_test tkt3718-1.4 {
108   execsql {pragma count_changes=0}
109 } {}
111 # This SQL function executes the SQL specified as an argument against
112 # database [db].
114 proc sql {doit zSql} {
115   if {$doit} { catchsql $zSql }
117 db func sql [list sql]
119 # The following tests, tkt3718-2.*, test that a nested statement 
120 # transaction can be successfully committed or reverted without 
121 # affecting the parent statement transaction.
123 do_test tkt3718-2.1 {
124   execsql { SELECT sql(1, 'DELETE FROM t2 WHERE a = '||a ) FROM t2 WHERE a>5 }
125   execsql { SELECT a from t2 }
126 } {1 2 3 4 5}
127 do_test tkt3718-2.2 {
128   execsql {
129     DELETE FROM t2 WHERE a > 5;
130     BEGIN;
131     INSERT INTO t2 SELECT a+5, sql(a==3,
132         'INSERT INTO t2 SELECT a+10, f2(b) FROM t1'
133     ) FROM t1;
134   }
135   execsql {
136     COMMIT;
137     SELECT a FROM t2;
138   }
139 } {1 2 3 4 5 6 7 8 9 10}
140 do_test tkt3718-2.3 {
141   execsql {
142     DELETE FROM t2 WHERE a > 5;
143     BEGIN;
144     INSERT INTO t2 SELECT a+5, sql(a==3,
145         'INSERT INTO t2 SELECT a+10, b FROM t1'
146     ) FROM t1;
147     COMMIT;
148   }
149   execsql { SELECT a FROM t2 ORDER BY a+0}
150 } {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15}
151 integrity_check tkt3718.2-4
153 # The next set of tests, tkt3718-3.*, test that a statement transaction
154 # that has a committed statement transaction nested inside of it can
155 # be committed or reverted.
157 foreach {tn io ii results} {
158   1 0 10 {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
159   2 1 10 {6 7 8 9 10 16 17 18 19 20}
160   3 0 11 {1 2 3 4 5 6 7 8 9 10 16 17 18 19 20}
161   4 1 11 {6 7 8 9 10 16 17 18 19 20}
162 } {
163   do_test tkt3718-3.$tn {
164     execsql { 
165       DELETE FROM t2;
166       INSERT INTO t2 SELECT a+5, b FROM t1;
167       INSERT INTO t2 SELECT a+15, b FROM t1;
168     }
170     catchsql "
171       BEGIN;
172       INSERT INTO t2 SELECT a+$io, sql(a==3,
173           'INSERT INTO t2 SELECT a+$ii, b FROM t1'
174       ) FROM t1;
175     "
177     execsql { COMMIT }
179     execsql { SELECT a FROM t2 ORDER BY a+0}
180   } $results
182   integrity_check tkt3718-3.$tn.integrity
185 # This is the same test as tkt3718-3.*, but with 3 levels of nesting.
187 foreach {tn i1 i2 i3 results} {
188   1   0 10 20   {5 10 15 20 25 30}
189   2   0 10 21   {5 10 15 20 30}
190   3   0 11 20   {5 10 20 30}
191   4   0 11 21   {5 10 20 30}
192   5   1 10 20   {10 20 30}
193   6   1 10 21   {10 20 30}
194   7   1 11 20   {10 20 30}
195   8   1 11 21   {10 20 30}
196 } {
197   do_test tkt3718-4.$tn {
198     execsql { 
199       DELETE FROM t2;
200       INSERT INTO t2 SELECT a+5, b FROM t1;
201       INSERT INTO t2 SELECT a+15, b FROM t1;
202       INSERT INTO t2 SELECT a+25, b FROM t1;
203     }
205     catchsql "
206       BEGIN;
207       INSERT INTO t2 SELECT a+$i1, sql(a==3,
208           'INSERT INTO t2 SELECT a+$i2, sql(a==3, 
209              ''INSERT INTO t2 SELECT a+$i3, b FROM t1''
210            ) FROM t1'
211       ) FROM t1;
212     "
214     execsql { COMMIT }
216     execsql { SELECT a FROM t2 WHERE (a%5)==0 ORDER BY a+0}
217   } $results
219   do_test tkt3718-4.$tn.extra {
220     execsql {
221       SELECT 
222         (SELECT sum(a) FROM t2)==(SELECT sum(a*5-10) FROM t2 WHERE (a%5)==0)
223     }
224   } {1}
226   integrity_check tkt3718-4.$tn.integrity
230 finish_test