xref: /sqlite-3.40.0/test/conflict.test (revision 0342b1f5)
1bb37fdc7Sdrh# 2002 January 29
2bb37fdc7Sdrh#
3bb37fdc7Sdrh# The author disclaims copyright to this source code.  In place of
4bb37fdc7Sdrh# a legal notice, here is a blessing:
5bb37fdc7Sdrh#
6bb37fdc7Sdrh#    May you do good and not evil.
7bb37fdc7Sdrh#    May you find forgiveness for yourself and forgive others.
8bb37fdc7Sdrh#    May you share freely, never taking more than you give.
9bb37fdc7Sdrh#
10bb37fdc7Sdrh#***********************************************************************
11bb37fdc7Sdrh# This file implements regression tests for SQLite library.
12bb37fdc7Sdrh#
13bb37fdc7Sdrh# This file implements tests for the conflict resolution extension
14bb37fdc7Sdrh# to SQLite.
15bb37fdc7Sdrh#
16*0342b1f5Sdrh# $Id: conflict.test,v 1.25 2005/09/01 03:07:45 drh Exp $
17bb37fdc7Sdrh
18bb37fdc7Sdrhset testdir [file dirname $argv0]
19bb37fdc7Sdrhsource $testdir/tester.tcl
20bb37fdc7Sdrh
210d65dc0eSdrh# Create tables for the first group of tests.
22bb37fdc7Sdrh#
230d65dc0eSdrhdo_test conflict-1.0 {
24bb37fdc7Sdrh  execsql {
25bb37fdc7Sdrh    CREATE TABLE t1(a, b, c, UNIQUE(a,b));
260d65dc0eSdrh    CREATE TABLE t2(x);
27bb37fdc7Sdrh    SELECT c FROM t1 ORDER BY c;
28bb37fdc7Sdrh  }
290d65dc0eSdrh} {}
30bb37fdc7Sdrh
310d65dc0eSdrh# Six columns of configuration data as follows:
320d65dc0eSdrh#
330d65dc0eSdrh#   i      The reference number of the test
340d65dc0eSdrh#   cmd    An INSERT or REPLACE command to execute against table t1
350d65dc0eSdrh#   t0     True if there is an error from $cmd
360d65dc0eSdrh#   t1     Content of "c" column of t1 assuming no error in $cmd
370d65dc0eSdrh#   t2     Content of "x" column of t2
38af6df11fSdrh#   t3     Number of temporary files created by this test
390d65dc0eSdrh#
40af6df11fSdrhforeach {i cmd t0 t1 t2 t3} {
41af6df11fSdrh  1 INSERT                  1 {}  1  0
42af6df11fSdrh  2 {INSERT OR IGNORE}      0 3   1  0
43af6df11fSdrh  3 {INSERT OR REPLACE}     0 4   1  0
44af6df11fSdrh  4 REPLACE                 0 4   1  0
45af6df11fSdrh  5 {INSERT OR FAIL}        1 {}  1  0
46af6df11fSdrh  6 {INSERT OR ABORT}       1 {}  1  0
47af6df11fSdrh  7 {INSERT OR ROLLBACK}    1 {}  {} 0
480d65dc0eSdrh} {
490d65dc0eSdrh  do_test conflict-1.$i {
50af6df11fSdrh    set ::sqlite_opentemp_count 0
510d65dc0eSdrh    set r0 [catch {execsql [subst {
52bb37fdc7Sdrh      DELETE FROM t1;
530d65dc0eSdrh      DELETE FROM t2;
54bb37fdc7Sdrh      INSERT INTO t1 VALUES(1,2,3);
55af6df11fSdrh      BEGIN;
560d65dc0eSdrh      INSERT INTO t2 VALUES(1);
570d65dc0eSdrh      $cmd INTO t1 VALUES(1,2,4);
580d65dc0eSdrh    }]} r1]
596b8b8749Sdrh    catch {execsql {COMMIT}}
600d65dc0eSdrh    if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
610d65dc0eSdrh    set r2 [execsql {SELECT x FROM t2}]
62af6df11fSdrh    set r3 $::sqlite_opentemp_count
63af6df11fSdrh    list $r0 $r1 $r2 $r3
64af6df11fSdrh  } [list $t0 $t1 $t2 $t3]
65bb37fdc7Sdrh}
66bb37fdc7Sdrh
670d65dc0eSdrh# Create tables for the first group of tests.
680d65dc0eSdrh#
690d65dc0eSdrhdo_test conflict-2.0 {
70ef6764a1Sdrh  execsql {
71ef6764a1Sdrh    DROP TABLE t1;
72ef6764a1Sdrh    DROP TABLE t2;
730d65dc0eSdrh    CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c, UNIQUE(a,b));
740d65dc0eSdrh    CREATE TABLE t2(x);
75ef6764a1Sdrh    SELECT c FROM t1 ORDER BY c;
76ef6764a1Sdrh  }
770d65dc0eSdrh} {}
78ef6764a1Sdrh
790d65dc0eSdrh# Six columns of configuration data as follows:
800d65dc0eSdrh#
810d65dc0eSdrh#   i      The reference number of the test
820d65dc0eSdrh#   cmd    An INSERT or REPLACE command to execute against table t1
830d65dc0eSdrh#   t0     True if there is an error from $cmd
840d65dc0eSdrh#   t1     Content of "c" column of t1 assuming no error in $cmd
850d65dc0eSdrh#   t2     Content of "x" column of t2
860d65dc0eSdrh#
87af6df11fSdrhforeach {i cmd t0 t1 t2} {
88af6df11fSdrh  1 INSERT                  1 {}  1
89af6df11fSdrh  2 {INSERT OR IGNORE}      0 3   1
90af6df11fSdrh  3 {INSERT OR REPLACE}     0 4   1
91af6df11fSdrh  4 REPLACE                 0 4   1
92af6df11fSdrh  5 {INSERT OR FAIL}        1 {}  1
93af6df11fSdrh  6 {INSERT OR ABORT}       1 {}  1
94af6df11fSdrh  7 {INSERT OR ROLLBACK}    1 {}  {}
950d65dc0eSdrh} {
960d65dc0eSdrh  do_test conflict-2.$i {
970d65dc0eSdrh    set r0 [catch {execsql [subst {
98ef6764a1Sdrh      DELETE FROM t1;
990d65dc0eSdrh      DELETE FROM t2;
100ef6764a1Sdrh      INSERT INTO t1 VALUES(1,2,3);
101af6df11fSdrh      BEGIN;
1020d65dc0eSdrh      INSERT INTO t2 VALUES(1);
1030d65dc0eSdrh      $cmd INTO t1 VALUES(1,2,4);
1040d65dc0eSdrh    }]} r1]
1056b8b8749Sdrh    catch {execsql {COMMIT}}
1060d65dc0eSdrh    if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
1070d65dc0eSdrh    set r2 [execsql {SELECT x FROM t2}]
1080d65dc0eSdrh    list $r0 $r1 $r2
1090d65dc0eSdrh  } [list $t0 $t1 $t2]
110ef6764a1Sdrh}
1110d65dc0eSdrh
1120d65dc0eSdrh# Create tables for the first group of tests.
1130d65dc0eSdrh#
1140d65dc0eSdrhdo_test conflict-3.0 {
1150d65dc0eSdrh  execsql {
1160d65dc0eSdrh    DROP TABLE t1;
1170d65dc0eSdrh    DROP TABLE t2;
118e0194f2bSdrh    CREATE TABLE t1(a, b, c INTEGER, PRIMARY KEY(c), UNIQUE(a,b));
1190d65dc0eSdrh    CREATE TABLE t2(x);
120ef6764a1Sdrh    SELECT c FROM t1 ORDER BY c;
121ef6764a1Sdrh  }
1220d65dc0eSdrh} {}
1230d65dc0eSdrh
1240d65dc0eSdrh# Six columns of configuration data as follows:
1250d65dc0eSdrh#
1260d65dc0eSdrh#   i      The reference number of the test
1270d65dc0eSdrh#   cmd    An INSERT or REPLACE command to execute against table t1
1280d65dc0eSdrh#   t0     True if there is an error from $cmd
1290d65dc0eSdrh#   t1     Content of "c" column of t1 assuming no error in $cmd
1300d65dc0eSdrh#   t2     Content of "x" column of t2
1310d65dc0eSdrh#
132af6df11fSdrhforeach {i cmd t0 t1 t2} {
133af6df11fSdrh  1 INSERT                  1 {}  1
134af6df11fSdrh  2 {INSERT OR IGNORE}      0 3   1
135af6df11fSdrh  3 {INSERT OR REPLACE}     0 4   1
136af6df11fSdrh  4 REPLACE                 0 4   1
137af6df11fSdrh  5 {INSERT OR FAIL}        1 {}  1
138af6df11fSdrh  6 {INSERT OR ABORT}       1 {}  1
139af6df11fSdrh  7 {INSERT OR ROLLBACK}    1 {}  {}
1400d65dc0eSdrh} {
1410d65dc0eSdrh  do_test conflict-3.$i {
1420d65dc0eSdrh    set r0 [catch {execsql [subst {
1430d65dc0eSdrh      DELETE FROM t1;
1440d65dc0eSdrh      DELETE FROM t2;
1450d65dc0eSdrh      INSERT INTO t1 VALUES(1,2,3);
146af6df11fSdrh      BEGIN;
1470d65dc0eSdrh      INSERT INTO t2 VALUES(1);
1480d65dc0eSdrh      $cmd INTO t1 VALUES(1,2,4);
1490d65dc0eSdrh    }]} r1]
1506b8b8749Sdrh    catch {execsql {COMMIT}}
1510d65dc0eSdrh    if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
1520d65dc0eSdrh    set r2 [execsql {SELECT x FROM t2}]
1530d65dc0eSdrh    list $r0 $r1 $r2
1540d65dc0eSdrh  } [list $t0 $t1 $t2]
155ef6764a1Sdrh}
1560d65dc0eSdrh
1570d65dc0eSdrhdo_test conflict-4.0 {
1580d65dc0eSdrh  execsql {
1590d65dc0eSdrh    DROP TABLE t2;
1600d65dc0eSdrh    CREATE TABLE t2(x);
1610d65dc0eSdrh    SELECT x FROM t2;
162ef6764a1Sdrh  }
1630d65dc0eSdrh} {}
1640d65dc0eSdrh
1650d65dc0eSdrh# Six columns of configuration data as follows:
1660d65dc0eSdrh#
1670d65dc0eSdrh#   i      The reference number of the test
1680d65dc0eSdrh#   conf1  The conflict resolution algorithm on the UNIQUE constraint
1690d65dc0eSdrh#   cmd    An INSERT or REPLACE command to execute against table t1
1700d65dc0eSdrh#   t0     True if there is an error from $cmd
1710d65dc0eSdrh#   t1     Content of "c" column of t1 assuming no error in $cmd
1720d65dc0eSdrh#   t2     Content of "x" column of t2
1730d65dc0eSdrh#
174af6df11fSdrhforeach {i conf1 cmd t0 t1 t2} {
175af6df11fSdrh  1 {}       INSERT                  1 {}  1
176af6df11fSdrh  2 REPLACE  INSERT                  0 4   1
177af6df11fSdrh  3 IGNORE   INSERT                  0 3   1
178af6df11fSdrh  4 FAIL     INSERT                  1 {}  1
179af6df11fSdrh  5 ABORT    INSERT                  1 {}  1
180af6df11fSdrh  6 ROLLBACK INSERT                  1 {}  {}
181af6df11fSdrh  7 REPLACE  {INSERT OR IGNORE}      0 3   1
182af6df11fSdrh  8 IGNORE   {INSERT OR REPLACE}     0 4   1
183af6df11fSdrh  9 FAIL     {INSERT OR IGNORE}      0 3   1
184af6df11fSdrh 10 ABORT    {INSERT OR REPLACE}     0 4   1
185af6df11fSdrh 11 ROLLBACK {INSERT OR IGNORE }     0 3   1
1860d65dc0eSdrh} {
1870d65dc0eSdrh  do_test conflict-4.$i {
1880d65dc0eSdrh    if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}
1890d65dc0eSdrh    set r0 [catch {execsql [subst {
1900d65dc0eSdrh      DROP TABLE t1;
1910d65dc0eSdrh      CREATE TABLE t1(a,b,c,UNIQUE(a,b) $conf1);
1920d65dc0eSdrh      DELETE FROM t2;
1930d65dc0eSdrh      INSERT INTO t1 VALUES(1,2,3);
194af6df11fSdrh      BEGIN;
1950d65dc0eSdrh      INSERT INTO t2 VALUES(1);
1960d65dc0eSdrh      $cmd INTO t1 VALUES(1,2,4);
1970d65dc0eSdrh    }]} r1]
1986b8b8749Sdrh    catch {execsql {COMMIT}}
1990d65dc0eSdrh    if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
2000d65dc0eSdrh    set r2 [execsql {SELECT x FROM t2}]
2010d65dc0eSdrh    list $r0 $r1 $r2
2020d65dc0eSdrh  } [list $t0 $t1 $t2]
203ef6764a1Sdrh}
2040d65dc0eSdrh
2050d65dc0eSdrhdo_test conflict-5.0 {
2060d65dc0eSdrh  execsql {
2070d65dc0eSdrh    DROP TABLE t2;
2080d65dc0eSdrh    CREATE TABLE t2(x);
2090d65dc0eSdrh    SELECT x FROM t2;
2100d65dc0eSdrh  }
2110d65dc0eSdrh} {}
2120d65dc0eSdrh
2130d65dc0eSdrh# Six columns of configuration data as follows:
2140d65dc0eSdrh#
2150d65dc0eSdrh#   i      The reference number of the test
2160d65dc0eSdrh#   conf1  The conflict resolution algorithm on the NOT NULL constraint
2170d65dc0eSdrh#   cmd    An INSERT or REPLACE command to execute against table t1
2180d65dc0eSdrh#   t0     True if there is an error from $cmd
2190d65dc0eSdrh#   t1     Content of "c" column of t1 assuming no error in $cmd
2200d65dc0eSdrh#   t2     Content of "x" column of t2
2210d65dc0eSdrh#
222af6df11fSdrhforeach {i conf1 cmd t0 t1 t2} {
223af6df11fSdrh  1 {}       INSERT                  1 {}  1
224af6df11fSdrh  2 REPLACE  INSERT                  0 5   1
225af6df11fSdrh  3 IGNORE   INSERT                  0 {}  1
226af6df11fSdrh  4 FAIL     INSERT                  1 {}  1
227af6df11fSdrh  5 ABORT    INSERT                  1 {}  1
228af6df11fSdrh  6 ROLLBACK INSERT                  1 {}  {}
229af6df11fSdrh  7 REPLACE  {INSERT OR IGNORE}      0 {}  1
230af6df11fSdrh  8 IGNORE   {INSERT OR REPLACE}     0 5   1
231af6df11fSdrh  9 FAIL     {INSERT OR IGNORE}      0 {}  1
232af6df11fSdrh 10 ABORT    {INSERT OR REPLACE}     0 5   1
233af6df11fSdrh 11 ROLLBACK {INSERT OR IGNORE}      0 {}  1
234af6df11fSdrh 12 {}       {INSERT OR IGNORE}      0 {}  1
235af6df11fSdrh 13 {}       {INSERT OR REPLACE}     0 5   1
236af6df11fSdrh 14 {}       {INSERT OR FAIL}        1 {}  1
237af6df11fSdrh 15 {}       {INSERT OR ABORT}       1 {}  1
238af6df11fSdrh 16 {}       {INSERT OR ROLLBACK}    1 {}  {}
2390d65dc0eSdrh} {
240483750baSdrh  if {$t0} {set t1 {t1.c may not be NULL}}
2410d65dc0eSdrh  do_test conflict-5.$i {
2420d65dc0eSdrh    if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}
2430d65dc0eSdrh    set r0 [catch {execsql [subst {
2440d65dc0eSdrh      DROP TABLE t1;
2450d65dc0eSdrh      CREATE TABLE t1(a,b,c NOT NULL $conf1 DEFAULT 5);
2460d65dc0eSdrh      DELETE FROM t2;
247af6df11fSdrh      BEGIN;
2480d65dc0eSdrh      INSERT INTO t2 VALUES(1);
2490d65dc0eSdrh      $cmd INTO t1 VALUES(1,2,NULL);
2500d65dc0eSdrh    }]} r1]
2516b8b8749Sdrh    catch {execsql {COMMIT}}
2520d65dc0eSdrh    if {!$r0} {set r1 [execsql {SELECT c FROM t1}]}
2530d65dc0eSdrh    set r2 [execsql {SELECT x FROM t2}]
2540d65dc0eSdrh    list $r0 $r1 $r2
2550d65dc0eSdrh  } [list $t0 $t1 $t2]
2560d65dc0eSdrh}
2570d65dc0eSdrh
2580d65dc0eSdrhdo_test conflict-6.0 {
2590d65dc0eSdrh  execsql {
2600d65dc0eSdrh    DROP TABLE t2;
2610d65dc0eSdrh    CREATE TABLE t2(a,b,c);
2620d65dc0eSdrh    INSERT INTO t2 VALUES(1,2,1);
2630d65dc0eSdrh    INSERT INTO t2 VALUES(2,3,2);
2640d65dc0eSdrh    INSERT INTO t2 VALUES(3,4,1);
2650d65dc0eSdrh    INSERT INTO t2 VALUES(4,5,4);
2660d65dc0eSdrh    SELECT c FROM t2 ORDER BY b;
2670d65dc0eSdrh    CREATE TABLE t3(x);
2680d65dc0eSdrh    INSERT INTO t3 VALUES(1);
2690d65dc0eSdrh  }
2700d65dc0eSdrh} {1 2 1 4}
2710d65dc0eSdrh
2720d65dc0eSdrh# Six columns of configuration data as follows:
2730d65dc0eSdrh#
2740d65dc0eSdrh#   i      The reference number of the test
2750d65dc0eSdrh#   conf1  The conflict resolution algorithm on the UNIQUE constraint
2760d65dc0eSdrh#   cmd    An UPDATE command to execute against table t1
2770d65dc0eSdrh#   t0     True if there is an error from $cmd
2780d65dc0eSdrh#   t1     Content of "b" column of t1 assuming no error in $cmd
2790d65dc0eSdrh#   t2     Content of "x" column of t3
280af6df11fSdrh#   t3     Number of temporary files created
2810d65dc0eSdrh#
282af6df11fSdrhforeach {i conf1 cmd t0 t1 t2 t3} {
283af6df11fSdrh  1 {}       UPDATE                  1 {6 7 8 9}  1 1
284*0342b1f5Sdrh  2 REPLACE  UPDATE                  0 {7 6 9}    1 1
285*0342b1f5Sdrh  3 IGNORE   UPDATE                  0 {6 7 3 9}  1 1
286af6df11fSdrh  4 FAIL     UPDATE                  1 {6 7 3 4}  1 0
287af6df11fSdrh  5 ABORT    UPDATE                  1 {1 2 3 4}  1 1
288af6df11fSdrh  6 ROLLBACK UPDATE                  1 {1 2 3 4}  0 0
289*0342b1f5Sdrh  7 REPLACE  {UPDATE OR IGNORE}      0 {6 7 3 9}  1 1
290*0342b1f5Sdrh  8 IGNORE   {UPDATE OR REPLACE}     0 {7 6 9}    1 1
291*0342b1f5Sdrh  9 FAIL     {UPDATE OR IGNORE}      0 {6 7 3 9}  1 1
292*0342b1f5Sdrh 10 ABORT    {UPDATE OR REPLACE}     0 {7 6 9}    1 1
293*0342b1f5Sdrh 11 ROLLBACK {UPDATE OR IGNORE}      0 {6 7 3 9}  1 1
294*0342b1f5Sdrh 12 {}       {UPDATE OR IGNORE}      0 {6 7 3 9}  1 1
295*0342b1f5Sdrh 13 {}       {UPDATE OR REPLACE}     0 {7 6 9}    1 1
296af6df11fSdrh 14 {}       {UPDATE OR FAIL}        1 {6 7 3 4}  1 0
297af6df11fSdrh 15 {}       {UPDATE OR ABORT}       1 {1 2 3 4}  1 1
298af6df11fSdrh 16 {}       {UPDATE OR ROLLBACK}    1 {1 2 3 4}  0 0
2990d65dc0eSdrh} {
30037ed48edSdrh  if {$t0} {set t1 {column a is not unique}}
3010d65dc0eSdrh  do_test conflict-6.$i {
302af6df11fSdrh    db close
303af6df11fSdrh    sqlite3 db test.db
3040d65dc0eSdrh    if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}
305af6df11fSdrh    set ::sqlite_opentemp_count 0
3060d65dc0eSdrh    set r0 [catch {execsql [subst {
3070d65dc0eSdrh      DROP TABLE t1;
3080d65dc0eSdrh      CREATE TABLE t1(a,b,c, UNIQUE(a) $conf1);
3090d65dc0eSdrh      INSERT INTO t1 SELECT * FROM t2;
3100d65dc0eSdrh      UPDATE t3 SET x=0;
311af6df11fSdrh      BEGIN;
3120d65dc0eSdrh      $cmd t3 SET x=1;
3131dd397f0Sdrh      $cmd t1 SET b=b*2;
3140d65dc0eSdrh      $cmd t1 SET a=c+5;
3150d65dc0eSdrh    }]} r1]
3166b8b8749Sdrh    catch {execsql {COMMIT}}
3170d65dc0eSdrh    if {!$r0} {set r1 [execsql {SELECT a FROM t1 ORDER BY b}]}
3180d65dc0eSdrh    set r2 [execsql {SELECT x FROM t3}]
319af6df11fSdrh    list $r0 $r1 $r2 $::sqlite_opentemp_count
320af6df11fSdrh  } [list $t0 $t1 $t2 $t3]
3210d65dc0eSdrh}
322ef6764a1Sdrh
323fe1a1773Sdrh# Test to make sure a lot of IGNOREs don't cause a stack overflow
324fe1a1773Sdrh#
325fe1a1773Sdrhdo_test conflict-7.1 {
326fe1a1773Sdrh  execsql {
327fe1a1773Sdrh    DROP TABLE t1;
328fe1a1773Sdrh    DROP TABLE t2;
329fe1a1773Sdrh    DROP TABLE t3;
330fe1a1773Sdrh    CREATE TABLE t1(a unique, b);
331fe1a1773Sdrh  }
332fe1a1773Sdrh  for {set i 1} {$i<=50} {incr i} {
333fe1a1773Sdrh    execsql "INSERT into t1 values($i,[expr {$i+1}]);"
334fe1a1773Sdrh  }
335fe1a1773Sdrh  execsql {
336fe1a1773Sdrh    SELECT count(*), min(a), max(b) FROM t1;
337fe1a1773Sdrh  }
338fe1a1773Sdrh} {50 1 51}
339fe1a1773Sdrhdo_test conflict-7.2 {
340fe1a1773Sdrh  execsql {
341fe1a1773Sdrh    PRAGMA count_changes=on;
342fe1a1773Sdrh    UPDATE OR IGNORE t1 SET a=1000;
343fe1a1773Sdrh  }
344fe1a1773Sdrh} {1}
345c8d30ac1Sdrhdo_test conflict-7.2.1 {
346c8d30ac1Sdrh  db changes
347c8d30ac1Sdrh} {1}
348fe1a1773Sdrhdo_test conflict-7.3 {
349fe1a1773Sdrh  execsql {
350fe1a1773Sdrh    SELECT b FROM t1 WHERE a=1000;
351fe1a1773Sdrh  }
352fe1a1773Sdrh} {2}
353fe1a1773Sdrhdo_test conflict-7.4 {
354fe1a1773Sdrh  execsql {
355fe1a1773Sdrh    SELECT count(*) FROM t1;
356fe1a1773Sdrh  }
357fe1a1773Sdrh} {50}
358fe1a1773Sdrhdo_test conflict-7.5 {
359fe1a1773Sdrh  execsql {
360fe1a1773Sdrh    PRAGMA count_changes=on;
361fe1a1773Sdrh    UPDATE OR REPLACE t1 SET a=1001;
362fe1a1773Sdrh  }
363fe1a1773Sdrh} {50}
364c8d30ac1Sdrhdo_test conflict-7.5.1 {
365c8d30ac1Sdrh  db changes
366c8d30ac1Sdrh} {50}
367fe1a1773Sdrhdo_test conflict-7.6 {
368fe1a1773Sdrh  execsql {
369fe1a1773Sdrh    SELECT b FROM t1 WHERE a=1001;
370fe1a1773Sdrh  }
371fe1a1773Sdrh} {51}
372fe1a1773Sdrhdo_test conflict-7.7 {
373fe1a1773Sdrh  execsql {
374fe1a1773Sdrh    SELECT count(*) FROM t1;
375fe1a1773Sdrh  }
376fe1a1773Sdrh} {1}
377b28af71aSdanielk1977
378b28af71aSdanielk1977# Update for version 3: A SELECT statement no longer resets the change
379b28af71aSdanielk1977# counter (Test result changes from 0 to 50).
380c8d30ac1Sdrhdo_test conflict-7.7.1 {
381c8d30ac1Sdrh  db changes
382b28af71aSdanielk1977} {50}
383fe1a1773Sdrh
384feeb1394Sdrh# Make sure the row count is right for rows that are ignored on
385feeb1394Sdrh# an insert.
386feeb1394Sdrh#
387feeb1394Sdrhdo_test conflict-8.1 {
388feeb1394Sdrh  execsql {
389feeb1394Sdrh    DELETE FROM t1;
390feeb1394Sdrh    INSERT INTO t1 VALUES(1,2);
391feeb1394Sdrh  }
392feeb1394Sdrh  execsql {
393feeb1394Sdrh    INSERT OR IGNORE INTO t1 VALUES(2,3);
394feeb1394Sdrh  }
395feeb1394Sdrh} {1}
396c8d30ac1Sdrhdo_test conflict-8.1.1 {
397c8d30ac1Sdrh  db changes
398c8d30ac1Sdrh} {1}
399feeb1394Sdrhdo_test conflict-8.2 {
400feeb1394Sdrh  execsql {
401feeb1394Sdrh    INSERT OR IGNORE INTO t1 VALUES(2,4);
402feeb1394Sdrh  }
403feeb1394Sdrh} {0}
404c8d30ac1Sdrhdo_test conflict-8.2.1 {
405c8d30ac1Sdrh  db changes
406c8d30ac1Sdrh} {0}
407feeb1394Sdrhdo_test conflict-8.3 {
408feeb1394Sdrh  execsql {
409feeb1394Sdrh    INSERT OR REPLACE INTO t1 VALUES(2,4);
410feeb1394Sdrh  }
411feeb1394Sdrh} {1}
412c8d30ac1Sdrhdo_test conflict-8.3.1 {
413c8d30ac1Sdrh  db changes
414c8d30ac1Sdrh} {1}
415feeb1394Sdrhdo_test conflict-8.4 {
416feeb1394Sdrh  execsql {
417feeb1394Sdrh    INSERT OR IGNORE INTO t1 SELECT * FROM t1;
418feeb1394Sdrh  }
419feeb1394Sdrh} {0}
420c8d30ac1Sdrhdo_test conflict-8.4.1 {
421c8d30ac1Sdrh  db changes
422c8d30ac1Sdrh} {0}
423feeb1394Sdrhdo_test conflict-8.5 {
424feeb1394Sdrh  execsql {
425feeb1394Sdrh    INSERT OR IGNORE INTO t1 SELECT a+2,b+2 FROM t1;
426feeb1394Sdrh  }
427feeb1394Sdrh} {2}
428c8d30ac1Sdrhdo_test conflict-8.5.1 {
429c8d30ac1Sdrh  db changes
430c8d30ac1Sdrh} {2}
431feeb1394Sdrhdo_test conflict-8.6 {
432feeb1394Sdrh  execsql {
433feeb1394Sdrh    INSERT OR IGNORE INTO t1 SELECT a+3,b+3 FROM t1;
434feeb1394Sdrh  }
435feeb1394Sdrh} {3}
436c8d30ac1Sdrhdo_test conflict-8.6.1 {
437c8d30ac1Sdrh  db changes
438c8d30ac1Sdrh} {3}
439fe1a1773Sdrh
4403b167c75Sdrhintegrity_check conflict-8.99
4413b167c75Sdrh
4423b167c75Sdrhdo_test conflict-9.1 {
4433b167c75Sdrh  execsql {
4443b167c75Sdrh    PRAGMA count_changes=0;
4453b167c75Sdrh    CREATE TABLE t2(
4463b167c75Sdrh      a INTEGER UNIQUE ON CONFLICT IGNORE,
4473b167c75Sdrh      b INTEGER UNIQUE ON CONFLICT FAIL,
4483b167c75Sdrh      c INTEGER UNIQUE ON CONFLICT REPLACE,
4493b167c75Sdrh      d INTEGER UNIQUE ON CONFLICT ABORT,
4503b167c75Sdrh      e INTEGER UNIQUE ON CONFLICT ROLLBACK
4513b167c75Sdrh    );
4523b167c75Sdrh    CREATE TABLE t3(x);
4533b167c75Sdrh    INSERT INTO t3 VALUES(1);
4543b167c75Sdrh    SELECT * FROM t3;
4553b167c75Sdrh  }
4563b167c75Sdrh} {1}
4573b167c75Sdrhdo_test conflict-9.2 {
4583b167c75Sdrh  catchsql {
4593b167c75Sdrh    INSERT INTO t2 VALUES(1,1,1,1,1);
4603b167c75Sdrh    INSERT INTO t2 VALUES(2,2,2,2,2);
4613b167c75Sdrh    SELECT * FROM t2;
4623b167c75Sdrh  }
4633b167c75Sdrh} {0 {1 1 1 1 1 2 2 2 2 2}}
4643b167c75Sdrhdo_test conflict-9.3 {
4653b167c75Sdrh  catchsql {
4663b167c75Sdrh    INSERT INTO t2 VALUES(1,3,3,3,3);
4673b167c75Sdrh    SELECT * FROM t2;
4683b167c75Sdrh  }
4693b167c75Sdrh} {0 {1 1 1 1 1 2 2 2 2 2}}
4703b167c75Sdrhdo_test conflict-9.4 {
4713b167c75Sdrh  catchsql {
4723b167c75Sdrh    UPDATE t2 SET a=a+1 WHERE a=1;
4733b167c75Sdrh    SELECT * FROM t2;
4743b167c75Sdrh  }
4753b167c75Sdrh} {0 {1 1 1 1 1 2 2 2 2 2}}
4763b167c75Sdrhdo_test conflict-9.5 {
4773b167c75Sdrh  catchsql {
4783b167c75Sdrh    INSERT INTO t2 VALUES(3,1,3,3,3);
4793b167c75Sdrh    SELECT * FROM t2;
4803b167c75Sdrh  }
48137ed48edSdrh} {1 {column b is not unique}}
4823b167c75Sdrhdo_test conflict-9.6 {
4833b167c75Sdrh  catchsql {
4843b167c75Sdrh    UPDATE t2 SET b=b+1 WHERE b=1;
4853b167c75Sdrh    SELECT * FROM t2;
4863b167c75Sdrh  }
48737ed48edSdrh} {1 {column b is not unique}}
4883b167c75Sdrhdo_test conflict-9.7 {
4893b167c75Sdrh  catchsql {
4903b167c75Sdrh    BEGIN;
4913b167c75Sdrh    UPDATE t3 SET x=x+1;
4923b167c75Sdrh    INSERT INTO t2 VALUES(3,1,3,3,3);
4933b167c75Sdrh    SELECT * FROM t2;
4943b167c75Sdrh  }
49537ed48edSdrh} {1 {column b is not unique}}
4963b167c75Sdrhdo_test conflict-9.8 {
4973b167c75Sdrh  execsql {COMMIT}
4983b167c75Sdrh  execsql {SELECT * FROM t3}
4993b167c75Sdrh} {2}
500483750baSdrhdo_test conflict-9.9 {
5013b167c75Sdrh  catchsql {
5023b167c75Sdrh    BEGIN;
5033b167c75Sdrh    UPDATE t3 SET x=x+1;
5043b167c75Sdrh    UPDATE t2 SET b=b+1 WHERE b=1;
5053b167c75Sdrh    SELECT * FROM t2;
5063b167c75Sdrh  }
50737ed48edSdrh} {1 {column b is not unique}}
5083b167c75Sdrhdo_test conflict-9.10 {
5093b167c75Sdrh  execsql {COMMIT}
5103b167c75Sdrh  execsql {SELECT * FROM t3}
5113b167c75Sdrh} {3}
5123b167c75Sdrhdo_test conflict-9.11 {
5133b167c75Sdrh  catchsql {
5143b167c75Sdrh    INSERT INTO t2 VALUES(3,3,3,1,3);
5153b167c75Sdrh    SELECT * FROM t2;
5163b167c75Sdrh  }
51737ed48edSdrh} {1 {column d is not unique}}
5183b167c75Sdrhdo_test conflict-9.12 {
5193b167c75Sdrh  catchsql {
5203b167c75Sdrh    UPDATE t2 SET d=d+1 WHERE d=1;
5213b167c75Sdrh    SELECT * FROM t2;
5223b167c75Sdrh  }
52337ed48edSdrh} {1 {column d is not unique}}
5243b167c75Sdrhdo_test conflict-9.13 {
5253b167c75Sdrh  catchsql {
5263b167c75Sdrh    BEGIN;
5273b167c75Sdrh    UPDATE t3 SET x=x+1;
5283b167c75Sdrh    INSERT INTO t2 VALUES(3,3,3,1,3);
5293b167c75Sdrh    SELECT * FROM t2;
5303b167c75Sdrh  }
53137ed48edSdrh} {1 {column d is not unique}}
5323b167c75Sdrhdo_test conflict-9.14 {
5333b167c75Sdrh  execsql {COMMIT}
5343b167c75Sdrh  execsql {SELECT * FROM t3}
5353b167c75Sdrh} {4}
5363b167c75Sdrhdo_test conflict-9.15 {
5373b167c75Sdrh  catchsql {
5383b167c75Sdrh    BEGIN;
5393b167c75Sdrh    UPDATE t3 SET x=x+1;
5403b167c75Sdrh    UPDATE t2 SET d=d+1 WHERE d=1;
5413b167c75Sdrh    SELECT * FROM t2;
5423b167c75Sdrh  }
54337ed48edSdrh} {1 {column d is not unique}}
5443b167c75Sdrhdo_test conflict-9.16 {
5453b167c75Sdrh  execsql {COMMIT}
5463b167c75Sdrh  execsql {SELECT * FROM t3}
5473b167c75Sdrh} {5}
5483b167c75Sdrhdo_test conflict-9.17 {
5493b167c75Sdrh  catchsql {
5503b167c75Sdrh    INSERT INTO t2 VALUES(3,3,3,3,1);
5513b167c75Sdrh    SELECT * FROM t2;
5523b167c75Sdrh  }
55337ed48edSdrh} {1 {column e is not unique}}
5543b167c75Sdrhdo_test conflict-9.18 {
5553b167c75Sdrh  catchsql {
5563b167c75Sdrh    UPDATE t2 SET e=e+1 WHERE e=1;
5573b167c75Sdrh    SELECT * FROM t2;
5583b167c75Sdrh  }
55937ed48edSdrh} {1 {column e is not unique}}
5603b167c75Sdrhdo_test conflict-9.19 {
5613b167c75Sdrh  catchsql {
5623b167c75Sdrh    BEGIN;
5633b167c75Sdrh    UPDATE t3 SET x=x+1;
5643b167c75Sdrh    INSERT INTO t2 VALUES(3,3,3,3,1);
5653b167c75Sdrh    SELECT * FROM t2;
5663b167c75Sdrh  }
56737ed48edSdrh} {1 {column e is not unique}}
5683b167c75Sdrhdo_test conflict-9.20 {
5696b8b8749Sdrh  catch {execsql {COMMIT}}
5703b167c75Sdrh  execsql {SELECT * FROM t3}
5713b167c75Sdrh} {5}
5723b167c75Sdrhdo_test conflict-9.21 {
5733b167c75Sdrh  catchsql {
5743b167c75Sdrh    BEGIN;
5753b167c75Sdrh    UPDATE t3 SET x=x+1;
5763b167c75Sdrh    UPDATE t2 SET e=e+1 WHERE e=1;
5773b167c75Sdrh    SELECT * FROM t2;
5783b167c75Sdrh  }
57937ed48edSdrh} {1 {column e is not unique}}
5803b167c75Sdrhdo_test conflict-9.22 {
5816b8b8749Sdrh  catch {execsql {COMMIT}}
5823b167c75Sdrh  execsql {SELECT * FROM t3}
5833b167c75Sdrh} {5}
5843b167c75Sdrhdo_test conflict-9.23 {
5853b167c75Sdrh  catchsql {
5863b167c75Sdrh    INSERT INTO t2 VALUES(3,3,1,3,3);
5873b167c75Sdrh    SELECT * FROM t2;
5883b167c75Sdrh  }
5893b167c75Sdrh} {0 {2 2 2 2 2 3 3 1 3 3}}
5903b167c75Sdrhdo_test conflict-9.24 {
5913b167c75Sdrh  catchsql {
5923b167c75Sdrh    UPDATE t2 SET c=c-1 WHERE c=2;
5933b167c75Sdrh    SELECT * FROM t2;
5943b167c75Sdrh  }
5953b167c75Sdrh} {0 {2 2 1 2 2}}
5963b167c75Sdrhdo_test conflict-9.25 {
5973b167c75Sdrh  catchsql {
5983b167c75Sdrh    BEGIN;
5993b167c75Sdrh    UPDATE t3 SET x=x+1;
6003b167c75Sdrh    INSERT INTO t2 VALUES(3,3,1,3,3);
6013b167c75Sdrh    SELECT * FROM t2;
6023b167c75Sdrh  }
6033b167c75Sdrh} {0 {3 3 1 3 3}}
6043b167c75Sdrhdo_test conflict-9.26 {
6056b8b8749Sdrh  catch {execsql {COMMIT}}
6063b167c75Sdrh  execsql {SELECT * FROM t3}
6073b167c75Sdrh} {6}
608bb37fdc7Sdrh
609a996e477Sdrhdo_test conflict-10.1 {
610a996e477Sdrh  catchsql {
611a996e477Sdrh    DELETE FROM t1;
61233752f8aSdanielk1977    BEGIN;
61333752f8aSdanielk1977    INSERT OR ROLLBACK INTO t1 VALUES(1,2);
61433752f8aSdanielk1977    INSERT OR ROLLBACK INTO t1 VALUES(1,3);
615a996e477Sdrh    COMMIT;
616a996e477Sdrh  }
617a996e477Sdrh  execsql {SELECT * FROM t1}
618a996e477Sdrh} {}
619a996e477Sdrhdo_test conflict-10.2 {
620a996e477Sdrh  catchsql {
621a996e477Sdrh    CREATE TABLE t4(x);
622a996e477Sdrh    CREATE UNIQUE INDEX t4x ON t4(x);
62333752f8aSdanielk1977    BEGIN;
62433752f8aSdanielk1977    INSERT OR ROLLBACK INTO t4 VALUES(1);
62533752f8aSdanielk1977    INSERT OR ROLLBACK INTO t4 VALUES(1);
626a996e477Sdrh    COMMIT;
627a996e477Sdrh  }
628a996e477Sdrh  execsql {SELECT * FROM t4}
629a996e477Sdrh} {}
630a996e477Sdrh
63141712ef1Sdrh# Ticket #1171.  Make sure statement rollbacks do not
63241712ef1Sdrh# damage the database.
63341712ef1Sdrh#
63441712ef1Sdrhdo_test conflict-11.1 {
63541712ef1Sdrh  execsql {
63641712ef1Sdrh    -- Create a database object (pages 2, 3 of the file)
63741712ef1Sdrh    BEGIN;
63841712ef1Sdrh      CREATE TABLE abc(a UNIQUE, b, c);
63941712ef1Sdrh      INSERT INTO abc VALUES(1, 2, 3);
64041712ef1Sdrh      INSERT INTO abc VALUES(4, 5, 6);
64141712ef1Sdrh      INSERT INTO abc VALUES(7, 8, 9);
64241712ef1Sdrh    COMMIT;
64341712ef1Sdrh  }
64441712ef1Sdrh
64541712ef1Sdrh
64641712ef1Sdrh  # Set a small cache size so that changes will spill into
64741712ef1Sdrh  # the database file.
64841712ef1Sdrh  execsql {
64941712ef1Sdrh    PRAGMA cache_size = 10;
65041712ef1Sdrh  }
65141712ef1Sdrh
65241712ef1Sdrh  # Make lots of changes.  Because of the small cache, some
65341712ef1Sdrh  # (most?) of these changes will spill into the disk file.
65441712ef1Sdrh  # In other words, some of the changes will not be held in
65541712ef1Sdrh  # cache.
65641712ef1Sdrh  #
65741712ef1Sdrh  execsql {
65841712ef1Sdrh    BEGIN;
65941712ef1Sdrh      -- Make sure the pager is in EXCLUSIVE state.
66041712ef1Sdrh      CREATE TABLE def(d, e, f);
66141712ef1Sdrh      INSERT INTO def VALUES
66241712ef1Sdrh          ('xxxxxxxxxxxxxxx', 'yyyyyyyyyyyyyyyy', 'zzzzzzzzzzzzzzzz');
66341712ef1Sdrh      INSERT INTO def SELECT * FROM def;
66441712ef1Sdrh      INSERT INTO def SELECT * FROM def;
66541712ef1Sdrh      INSERT INTO def SELECT * FROM def;
66641712ef1Sdrh      INSERT INTO def SELECT * FROM def;
66741712ef1Sdrh      INSERT INTO def SELECT * FROM def;
66841712ef1Sdrh      INSERT INTO def SELECT * FROM def;
66941712ef1Sdrh      INSERT INTO def SELECT * FROM def;
67041712ef1Sdrh      DELETE FROM abc WHERE a = 4;
67141712ef1Sdrh  }
67241712ef1Sdrh
67341712ef1Sdrh  # Execute a statement that does a statement rollback due to
67441712ef1Sdrh  # a constraint failure.
67541712ef1Sdrh  #
67641712ef1Sdrh  catchsql {
67741712ef1Sdrh    INSERT INTO abc SELECT 10, 20, 30 FROM def;
67841712ef1Sdrh  }
67941712ef1Sdrh
68041712ef1Sdrh  # Rollback the database.  Verify that the state of the ABC table
68141712ef1Sdrh  # is unchanged from the beginning of the transaction.  In other words,
68241712ef1Sdrh  # make sure the DELETE on table ABC that occurred within the transaction
68341712ef1Sdrh  # had no effect.
68441712ef1Sdrh  #
68541712ef1Sdrh  execsql {
68641712ef1Sdrh    ROLLBACK;
68741712ef1Sdrh    SELECT * FROM abc;
68841712ef1Sdrh  }
68941712ef1Sdrh} {1 2 3 4 5 6 7 8 9}
69041712ef1Sdrhintegrity_check conflict-11.2
69141712ef1Sdrh
69241712ef1Sdrh# Repeat test conflict-11.1 but this time commit.
69341712ef1Sdrh#
69441712ef1Sdrhdo_test conflict-11.3 {
69541712ef1Sdrh  execsql {
69641712ef1Sdrh    BEGIN;
69741712ef1Sdrh      -- Make sure the pager is in EXCLUSIVE state.
69841712ef1Sdrh      UPDATE abc SET a=a+1;
69941712ef1Sdrh      CREATE TABLE def(d, e, f);
70041712ef1Sdrh      INSERT INTO def VALUES
70141712ef1Sdrh          ('xxxxxxxxxxxxxxx', 'yyyyyyyyyyyyyyyy', 'zzzzzzzzzzzzzzzz');
70241712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70341712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70441712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70541712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70641712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70741712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70841712ef1Sdrh      INSERT INTO def SELECT * FROM def;
70941712ef1Sdrh      DELETE FROM abc WHERE a = 4;
71041712ef1Sdrh  }
71141712ef1Sdrh  catchsql {
71241712ef1Sdrh    INSERT INTO abc SELECT 10, 20, 30 FROM def;
71341712ef1Sdrh  }
71441712ef1Sdrh  execsql {
71541712ef1Sdrh    ROLLBACK;
71641712ef1Sdrh    SELECT * FROM abc;
71741712ef1Sdrh  }
71841712ef1Sdrh} {1 2 3 4 5 6 7 8 9}
71941712ef1Sdrh# Repeat test conflict-11.1 but this time commit.
72041712ef1Sdrh#
72141712ef1Sdrhdo_test conflict-11.5 {
72241712ef1Sdrh  execsql {
72341712ef1Sdrh    BEGIN;
72441712ef1Sdrh      -- Make sure the pager is in EXCLUSIVE state.
72541712ef1Sdrh      CREATE TABLE def(d, e, f);
72641712ef1Sdrh      INSERT INTO def VALUES
72741712ef1Sdrh          ('xxxxxxxxxxxxxxx', 'yyyyyyyyyyyyyyyy', 'zzzzzzzzzzzzzzzz');
72841712ef1Sdrh      INSERT INTO def SELECT * FROM def;
72941712ef1Sdrh      INSERT INTO def SELECT * FROM def;
73041712ef1Sdrh      INSERT INTO def SELECT * FROM def;
73141712ef1Sdrh      INSERT INTO def SELECT * FROM def;
73241712ef1Sdrh      INSERT INTO def SELECT * FROM def;
73341712ef1Sdrh      INSERT INTO def SELECT * FROM def;
73441712ef1Sdrh      INSERT INTO def SELECT * FROM def;
73541712ef1Sdrh      DELETE FROM abc WHERE a = 4;
73641712ef1Sdrh  }
73741712ef1Sdrh  catchsql {
73841712ef1Sdrh    INSERT INTO abc SELECT 10, 20, 30 FROM def;
73941712ef1Sdrh  }
74041712ef1Sdrh  execsql {
74141712ef1Sdrh    COMMIT;
74241712ef1Sdrh    SELECT * FROM abc;
74341712ef1Sdrh  }
74441712ef1Sdrh} {1 2 3 7 8 9}
74541712ef1Sdrhintegrity_check conflict-11.6
74641712ef1Sdrh
747ed717fe3Sdrh
748bb37fdc7Sdrhfinish_test
749