# 2002 January 29

 #

 # 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.

 #

 # This file implements tests for the conflict resolution extension

 # to SQLite.

 #

 # $Id: conflict.test,v 1.31 2008/01/21 16:22:46 drh Exp $

 set testdir [file dirname $argv0]

 source $testdir/tester.tcl

 ifcapable !conflict {

   finish_test

   return

 }

 # Create tables for the first group of tests.

 #

 do_test conflict-1.0 {

   execsql {

     CREATE TABLE t1(a, b, c, UNIQUE(a,b));

     CREATE TABLE t2(x);

     SELECT c FROM t1 ORDER BY c;

   }

 } {}

 # Six columns of configuration data as follows:

 #

 #   i      The reference number of the test

 #   cmd    An INSERT or REPLACE command to execute against table t1

 #   t0     True if there is an error from $cmd

 #   t1     Content of "c" column of t1 assuming no error in $cmd

 #   t2     Content of "x" column of t2

 #   t3     Number of temporary files created by this test

 #

 foreach {i cmd t0 t1 t2 t3} {

   1 INSERT                  1 {}  1  0

   2 {INSERT OR IGNORE}      0 3   1  0

   3 {INSERT OR REPLACE}     0 4   1  0

   4 REPLACE                 0 4   1  0

   5 {INSERT OR FAIL}        1 {}  1  0

   6 {INSERT OR ABORT}       1 {}  1  0

   7 {INSERT OR ROLLBACK}    1 {}  {} 0

 } {

   do_test conflict-1.$i {

     set ::sqlite_opentemp_count 0

     set r0 [catch {execsql [subst {

       DELETE FROM t1;

       DELETE FROM t2;

       INSERT INTO t1 VALUES(1,2,3);

       BEGIN;

       INSERT INTO t2 VALUES(1); 

       $cmd INTO t1 VALUES(1,2,4);

     }]} r1]

     catch {execsql {COMMIT}}

     if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}

     set r2 [execsql {SELECT x FROM t2}]

     set r3 $::sqlite_opentemp_count

     list $r0 $r1 $r2 $r3

   } [list $t0 $t1 $t2 $t3]

 }

 # Create tables for the first group of tests.

 #

 do_test conflict-2.0 {

   execsql {

     DROP TABLE t1;

     DROP TABLE t2;

     CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c, UNIQUE(a,b));

     CREATE TABLE t2(x);

     SELECT c FROM t1 ORDER BY c;

   }

 } {}

 # Six columns of configuration data as follows:

 #

 #   i      The reference number of the test

 #   cmd    An INSERT or REPLACE command to execute against table t1

 #   t0     True if there is an error from $cmd

 #   t1     Content of "c" column of t1 assuming no error in $cmd

 #   t2     Content of "x" column of t2

 #

 foreach {i cmd t0 t1 t2} {

   1 INSERT                  1 {}  1

   2 {INSERT OR IGNORE}      0 3   1

   3 {INSERT OR REPLACE}     0 4   1

   4 REPLACE                 0 4   1

   5 {INSERT OR FAIL}        1 {}  1

   6 {INSERT OR ABORT}       1 {}  1

   7 {INSERT OR ROLLBACK}    1 {}  {}

 } {

   do_test conflict-2.$i {

     set r0 [catch {execsql [subst {

       DELETE FROM t1;

       DELETE FROM t2;

       INSERT INTO t1 VALUES(1,2,3);

       BEGIN;

       INSERT INTO t2 VALUES(1); 

       $cmd INTO t1 VALUES(1,2,4);

     }]} r1]

     catch {execsql {COMMIT}}

     if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}

     set r2 [execsql {SELECT x FROM t2}]

     list $r0 $r1 $r2

   } [list $t0 $t1 $t2]

 }

 # Create tables for the first group of tests.

 #

 do_test conflict-3.0 {

   execsql {

     DROP TABLE t1;

     DROP TABLE t2;

     CREATE TABLE t1(a, b, c INTEGER, PRIMARY KEY(c), UNIQUE(a,b));

     CREATE TABLE t2(x);

     SELECT c FROM t1 ORDER BY c;

   }

 } {}

 # Six columns of configuration data as follows:

 #

 #   i      The reference number of the test

 #   cmd    An INSERT or REPLACE command to execute against table t1

 #   t0     True if there is an error from $cmd

 #   t1     Content of "c" column of t1 assuming no error in $cmd

 #   t2     Content of "x" column of t2

 #

 foreach {i cmd t0 t1 t2} {

   1 INSERT                  1 {}  1

   2 {INSERT OR IGNORE}      0 3   1

   3 {INSERT OR REPLACE}     0 4   1

   4 REPLACE                 0 4   1

   5 {INSERT OR FAIL}        1 {}  1

   6 {INSERT OR ABORT}       1 {}  1

   7 {INSERT OR ROLLBACK}    1 {}  {}

 } {

   do_test conflict-3.$i {

     set r0 [catch {execsql [subst {

       DELETE FROM t1;

       DELETE FROM t2;

       INSERT INTO t1 VALUES(1,2,3);

       BEGIN;

       INSERT INTO t2 VALUES(1); 

       $cmd INTO t1 VALUES(1,2,4);

     }]} r1]

     catch {execsql {COMMIT}}

     if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}

     set r2 [execsql {SELECT x FROM t2}]

     list $r0 $r1 $r2

   } [list $t0 $t1 $t2]

 }

 do_test conflict-4.0 {

   execsql {

     DROP TABLE t2;

     CREATE TABLE t2(x);

     SELECT x FROM t2;

   }

 } {}

 # Six columns of configuration data as follows:

 #

 #   i      The reference number of the test

 #   conf1  The conflict resolution algorithm on the UNIQUE constraint

 #   cmd    An INSERT or REPLACE command to execute against table t1

 #   t0     True if there is an error from $cmd

 #   t1     Content of "c" column of t1 assuming no error in $cmd

 #   t2     Content of "x" column of t2

 #

 foreach {i conf1 cmd t0 t1 t2} {

   1 {}       INSERT                  1 {}  1

   2 REPLACE  INSERT                  0 4   1

   3 IGNORE   INSERT                  0 3   1

   4 FAIL     INSERT                  1 {}  1

   5 ABORT    INSERT                  1 {}  1

   6 ROLLBACK INSERT                  1 {}  {}

   7 REPLACE  {INSERT OR IGNORE}      0 3   1

   8 IGNORE   {INSERT OR REPLACE}     0 4   1

   9 FAIL     {INSERT OR IGNORE}      0 3   1

  10 ABORT    {INSERT OR REPLACE}     0 4   1

  11 ROLLBACK {INSERT OR IGNORE }     0 3   1

 } {

   do_test conflict-4.$i {

     if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}

     set r0 [catch {execsql [subst {

       DROP TABLE t1;

       CREATE TABLE t1(a,b,c,UNIQUE(a,b) $conf1);

       DELETE FROM t2;

       INSERT INTO t1 VALUES(1,2,3);

       BEGIN;

       INSERT INTO t2 VALUES(1); 

       $cmd INTO t1 VALUES(1,2,4);

     }]} r1]

     catch {execsql {COMMIT}}

     if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}

     set r2 [execsql {SELECT x FROM t2}]

     list $r0 $r1 $r2

   } [list $t0 $t1 $t2]

 }

 do_test conflict-5.0 {

   execsql {

     DROP TABLE t2;

     CREATE TABLE t2(x);

     SELECT x FROM t2;

   }

 } {}

 # Six columns of configuration data as follows:

 #

 #   i      The reference number of the test

 #   conf1  The conflict resolution algorithm on the NOT NULL constraint

 #   cmd    An INSERT or REPLACE command to execute against table t1

 #   t0     True if there is an error from $cmd

 #   t1     Content of "c" column of t1 assuming no error in $cmd

 #   t2     Content of "x" column of t2

 #

 foreach {i conf1 cmd t0 t1 t2} {

   1 {}       INSERT                  1 {}  1

   2 REPLACE  INSERT                  0 5   1

   3 IGNORE   INSERT                  0 {}  1

   4 FAIL     INSERT                  1 {}  1

   5 ABORT    INSERT                  1 {}  1

   6 ROLLBACK INSERT                  1 {}  {}

   7 REPLACE  {INSERT OR IGNORE}      0 {}  1

   8 IGNORE   {INSERT OR REPLACE}     0 5   1

   9 FAIL     {INSERT OR IGNORE}      0 {}  1

  10 ABORT    {INSERT OR REPLACE}     0 5   1

  11 ROLLBACK {INSERT OR IGNORE}      0 {}  1

  12 {}       {INSERT OR IGNORE}      0 {}  1

  13 {}       {INSERT OR REPLACE}     0 5   1

  14 {}       {INSERT OR FAIL}        1 {}  1

  15 {}       {INSERT OR ABORT}       1 {}  1

  16 {}       {INSERT OR ROLLBACK}    1 {}  {}

 } {

   if {$t0} {set t1 {t1.c may not be NULL}}

   do_test conflict-5.$i {

     if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}

     set r0 [catch {execsql [subst {

       DROP TABLE t1;

       CREATE TABLE t1(a,b,c NOT NULL $conf1 DEFAULT 5);

       DELETE FROM t2;

       BEGIN;

       INSERT INTO t2 VALUES(1); 

       $cmd INTO t1 VALUES(1,2,NULL);

     }]} r1]

     catch {execsql {COMMIT}}

     if {!$r0} {set r1 [execsql {SELECT c FROM t1}]}

     set r2 [execsql {SELECT x FROM t2}]

     list $r0 $r1 $r2

   } [list $t0 $t1 $t2]

 }

 do_test conflict-6.0 {

   execsql {

     DROP TABLE t2;

     CREATE TABLE t2(a,b,c);

     INSERT INTO t2 VALUES(1,2,1);

     INSERT INTO t2 VALUES(2,3,2);

     INSERT INTO t2 VALUES(3,4,1);

     INSERT INTO t2 VALUES(4,5,4);

     SELECT c FROM t2 ORDER BY b;

     CREATE TABLE t3(x);

     INSERT INTO t3 VALUES(1);

   }

 } {1 2 1 4}

 # Six columns of configuration data as follows:

 #

 #   i      The reference number of the test

 #   conf1  The conflict resolution algorithm on the UNIQUE constraint

 #   cmd    An UPDATE command to execute against table t1

 #   t0     True if there is an error from $cmd

 #   t1     Content of "b" column of t1 assuming no error in $cmd

 #   t2     Content of "x" column of t3

 #   t3     Number of temporary files for tables

 #   t4     Number of temporary files for statement journals

 #

 # Update: Since temporary table files are now opened lazily, and none

 # of the following tests use large quantities of data, t3 is always 0.

 #

 foreach {i conf1 cmd t0 t1 t2 t3 t4} {

   1 {}       UPDATE                  1 {6 7 8 9}  1 0 1

   2 REPLACE  UPDATE                  0 {7 6 9}    1 0 0

   3 IGNORE   UPDATE                  0 {6 7 3 9}  1 0 0

   4 FAIL     UPDATE                  1 {6 7 3 4}  1 0 0

   5 ABORT    UPDATE                  1 {1 2 3 4}  1 0 1

   6 ROLLBACK UPDATE                  1 {1 2 3 4}  0 0 0

   7 REPLACE  {UPDATE OR IGNORE}      0 {6 7 3 9}  1 0 0

   8 IGNORE   {UPDATE OR REPLACE}     0 {7 6 9}    1 0 0

   9 FAIL     {UPDATE OR IGNORE}      0 {6 7 3 9}  1 0 0

  10 ABORT    {UPDATE OR REPLACE}     0 {7 6 9}    1 0 0

  11 ROLLBACK {UPDATE OR IGNORE}      0 {6 7 3 9}  1 0 0

  12 {}       {UPDATE OR IGNORE}      0 {6 7 3 9}  1 0 0

  13 {}       {UPDATE OR REPLACE}     0 {7 6 9}    1 0 0

  14 {}       {UPDATE OR FAIL}        1 {6 7 3 4}  1 0 0

  15 {}       {UPDATE OR ABORT}       1 {1 2 3 4}  1 0 1

  16 {}       {UPDATE OR ROLLBACK}    1 {1 2 3 4}  0 0 0

 } {

   if {$t0} {set t1 {column a is not unique}}

   if {[info exists TEMP_STORE] && $TEMP_STORE>=2} {

     set t3 $t4

   } else {

     set t3 [expr {$t3+$t4}]

   }

   do_test conflict-6.$i {

     db close

     sqlite3 db test.db 

     if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}

     execsql {pragma temp_store=file}

     set ::sqlite_opentemp_count 0

     set r0 [catch {execsql [subst {

       DROP TABLE t1;

       CREATE TABLE t1(a,b,c, UNIQUE(a) $conf1);

       INSERT INTO t1 SELECT * FROM t2;

       UPDATE t3 SET x=0;

       BEGIN;

       $cmd t3 SET x=1;

       $cmd t1 SET b=b*2;

       $cmd t1 SET a=c+5;

     }]} r1]

     catch {execsql {COMMIT}}

     if {!$r0} {set r1 [execsql {SELECT a FROM t1 ORDER BY b}]}

     set r2 [execsql {SELECT x FROM t3}]

     list $r0 $r1 $r2 $::sqlite_opentemp_count

   } [list $t0 $t1 $t2 $t3]

 }

 # Test to make sure a lot of IGNOREs don't cause a stack overflow

 #

 do_test conflict-7.1 {

   execsql {

     DROP TABLE t1;

     DROP TABLE t2;

     DROP TABLE t3;

     CREATE TABLE t1(a unique, b);

   }

   for {set i 1} {$i<=50} {incr i} {

     execsql "INSERT into t1 values($i,[expr {$i+1}]);"

   }

   execsql {

     SELECT count(*), min(a), max(b) FROM t1;

   }

 } {50 1 51}

 do_test conflict-7.2 {

   execsql {

     PRAGMA count_changes=on;

     UPDATE OR IGNORE t1 SET a=1000;

   }

 } {1}

 do_test conflict-7.2.1 {

   db changes

 } {1}

 do_test conflict-7.3 {

   execsql {

     SELECT b FROM t1 WHERE a=1000;

   }

 } {2}

 do_test conflict-7.4 {

   execsql {

     SELECT count(*) FROM t1;

   }

 } {50}

 do_test conflict-7.5 {

   execsql {

     PRAGMA count_changes=on;

     UPDATE OR REPLACE t1 SET a=1001;

   }

 } {50}

 do_test conflict-7.5.1 {

   db changes

 } {50}

 do_test conflict-7.6 {

   execsql {

     SELECT b FROM t1 WHERE a=1001;

   }

 } {51}

 do_test conflict-7.7 {

   execsql {

     SELECT count(*) FROM t1;

   }

 } {1}

 # Update for version 3: A SELECT statement no longer resets the change

 # counter (Test result changes from 0 to 50).

 do_test conflict-7.7.1 {

   db changes

 } {50}

 # Make sure the row count is right for rows that are ignored on

 # an insert.

 #

 do_test conflict-8.1 {

   execsql {

     DELETE FROM t1;

     INSERT INTO t1 VALUES(1,2);

   }

   execsql {

     INSERT OR IGNORE INTO t1 VALUES(2,3);

   }

 } {1}

 do_test conflict-8.1.1 {

   db changes

 } {1}

 do_test conflict-8.2 {

   execsql {

     INSERT OR IGNORE INTO t1 VALUES(2,4);

   }

 } {0}

 do_test conflict-8.2.1 {

   db changes

 } {0}

 do_test conflict-8.3 {

   execsql {

     INSERT OR REPLACE INTO t1 VALUES(2,4);

   }

 } {1}

 do_test conflict-8.3.1 {

   db changes

 } {1}

 do_test conflict-8.4 {

   execsql {

     INSERT OR IGNORE INTO t1 SELECT * FROM t1;

   }

 } {0}

 do_test conflict-8.4.1 {

   db changes

 } {0}

 do_test conflict-8.5 {

   execsql {

     INSERT OR IGNORE INTO t1 SELECT a+2,b+2 FROM t1;

   }

 } {2}

 do_test conflict-8.5.1 {

   db changes

 } {2}

 do_test conflict-8.6 {

   execsql {

     INSERT OR IGNORE INTO t1 SELECT a+3,b+3 FROM t1;

   }

 } {3}

 do_test conflict-8.6.1 {

   db changes

 } {3}

 integrity_check conflict-8.99

 do_test conflict-9.1 {

   execsql {

     PRAGMA count_changes=0;

     CREATE TABLE t2(

       a INTEGER UNIQUE ON CONFLICT IGNORE,

       b INTEGER UNIQUE ON CONFLICT FAIL,

       c INTEGER UNIQUE ON CONFLICT REPLACE,

       d INTEGER UNIQUE ON CONFLICT ABORT,

       e INTEGER UNIQUE ON CONFLICT ROLLBACK

     );

     CREATE TABLE t3(x);

     INSERT INTO t3 VALUES(1);

     SELECT * FROM t3;

   }

 } {1}

 do_test conflict-9.2 {

   catchsql {

     INSERT INTO t2 VALUES(1,1,1,1,1);

     INSERT INTO t2 VALUES(2,2,2,2,2);

     SELECT * FROM t2;

   }

 } {0 {1 1 1 1 1 2 2 2 2 2}}

 do_test conflict-9.3 {

   catchsql {

     INSERT INTO t2 VALUES(1,3,3,3,3);

     SELECT * FROM t2;

   }

 } {0 {1 1 1 1 1 2 2 2 2 2}}

 do_test conflict-9.4 {

   catchsql {

     UPDATE t2 SET a=a+1 WHERE a=1;

     SELECT * FROM t2;

   }

 } {0 {1 1 1 1 1 2 2 2 2 2}}

 do_test conflict-9.5 {

   catchsql {

     INSERT INTO t2 VALUES(3,1,3,3,3);

     SELECT * FROM t2;

   }

 } {1 {column b is not unique}}

 do_test conflict-9.6 {

   catchsql {

     UPDATE t2 SET b=b+1 WHERE b=1;

     SELECT * FROM t2;

   }

 } {1 {column b is not unique}}

 do_test conflict-9.7 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     INSERT INTO t2 VALUES(3,1,3,3,3);

     SELECT * FROM t2;

   }

 } {1 {column b is not unique}}

 do_test conflict-9.8 {

   execsql {COMMIT}

   execsql {SELECT * FROM t3}

 } {2}

 do_test conflict-9.9 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     UPDATE t2 SET b=b+1 WHERE b=1;

     SELECT * FROM t2;

   }

 } {1 {column b is not unique}}

 do_test conflict-9.10 {

   execsql {COMMIT}

   execsql {SELECT * FROM t3}

 } {3}

 do_test conflict-9.11 {

   catchsql {

     INSERT INTO t2 VALUES(3,3,3,1,3);

     SELECT * FROM t2;

   }

 } {1 {column d is not unique}}

 do_test conflict-9.12 {

   catchsql {

     UPDATE t2 SET d=d+1 WHERE d=1;

     SELECT * FROM t2;

   }

 } {1 {column d is not unique}}

 do_test conflict-9.13 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     INSERT INTO t2 VALUES(3,3,3,1,3);

     SELECT * FROM t2;

   }

 } {1 {column d is not unique}}

 do_test conflict-9.14 {

   execsql {COMMIT}

   execsql {SELECT * FROM t3}

 } {4}

 do_test conflict-9.15 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     UPDATE t2 SET d=d+1 WHERE d=1;

     SELECT * FROM t2;

   }

 } {1 {column d is not unique}}

 do_test conflict-9.16 {

   execsql {COMMIT}

   execsql {SELECT * FROM t3}

 } {5}

 do_test conflict-9.17 {

   catchsql {

     INSERT INTO t2 VALUES(3,3,3,3,1);

     SELECT * FROM t2;

   }

 } {1 {column e is not unique}}

 do_test conflict-9.18 {

   catchsql {

     UPDATE t2 SET e=e+1 WHERE e=1;

     SELECT * FROM t2;

   }

 } {1 {column e is not unique}}

 do_test conflict-9.19 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     INSERT INTO t2 VALUES(3,3,3,3,1);

     SELECT * FROM t2;

   }

 } {1 {column e is not unique}}

 do_test conflict-9.20 {

   catch {execsql {COMMIT}}

   execsql {SELECT * FROM t3}

 } {5}

 do_test conflict-9.21 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     UPDATE t2 SET e=e+1 WHERE e=1;

     SELECT * FROM t2;

   }

 } {1 {column e is not unique}}

 do_test conflict-9.22 {

   catch {execsql {COMMIT}}

   execsql {SELECT * FROM t3}

 } {5}

 do_test conflict-9.23 {

   catchsql {

     INSERT INTO t2 VALUES(3,3,1,3,3);

     SELECT * FROM t2;

   }

 } {0 {2 2 2 2 2 3 3 1 3 3}}

 do_test conflict-9.24 {

   catchsql {

     UPDATE t2 SET c=c-1 WHERE c=2;

     SELECT * FROM t2;

   }

 } {0 {2 2 1 2 2}}

 do_test conflict-9.25 {

   catchsql {

     BEGIN;

     UPDATE t3 SET x=x+1;

     INSERT INTO t2 VALUES(3,3,1,3,3);

     SELECT * FROM t2;

   }

 } {0 {3 3 1 3 3}}

 do_test conflict-9.26 {

   catch {execsql {COMMIT}}

   execsql {SELECT * FROM t3}

 } {6}

 do_test conflict-10.1 {

   catchsql {

     DELETE FROM t1;

     BEGIN;

     INSERT OR ROLLBACK INTO t1 VALUES(1,2);

     INSERT OR ROLLBACK INTO t1 VALUES(1,3);

     COMMIT;

   }

   execsql {SELECT * FROM t1}

 } {}

 do_test conflict-10.2 {

   catchsql {

     CREATE TABLE t4(x);

     CREATE UNIQUE INDEX t4x ON t4(x);

     BEGIN;

     INSERT OR ROLLBACK INTO t4 VALUES(1);

     INSERT OR ROLLBACK INTO t4 VALUES(1);

     COMMIT;

   }

   execsql {SELECT * FROM t4}

 } {}

 # Ticket #1171.  Make sure statement rollbacks do not

 # damage the database.

 #

 do_test conflict-11.1 {

   execsql {

     -- Create a database object (pages 2, 3 of the file)

     BEGIN;

       CREATE TABLE abc(a UNIQUE, b, c);

       INSERT INTO abc VALUES(1, 2, 3);

       INSERT INTO abc VALUES(4, 5, 6);

       INSERT INTO abc VALUES(7, 8, 9);

     COMMIT;

   }

   # Set a small cache size so that changes will spill into

   # the database file.  

   execsql {

     PRAGMA cache_size = 10;

   }

   # Make lots of changes.  Because of the small cache, some

   # (most?) of these changes will spill into the disk file.

   # In other words, some of the changes will not be held in

   # cache.

   #

   execsql {

     BEGIN;

       -- Make sure the pager is in EXCLUSIVE state.

       CREATE TABLE def(d, e, f);

       INSERT INTO def VALUES

           ('xxxxxxxxxxxxxxx', 'yyyyyyyyyyyyyyyy', 'zzzzzzzzzzzzzzzz');

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       DELETE FROM abc WHERE a = 4;

   }

   # Execute a statement that does a statement rollback due to

   # a constraint failure.

   #

   catchsql {

     INSERT INTO abc SELECT 10, 20, 30 FROM def;

   }

   # Rollback the database.  Verify that the state of the ABC table

   # is unchanged from the beginning of the transaction.  In other words,

   # make sure the DELETE on table ABC that occurred within the transaction

   # had no effect.

   #

   execsql {

     ROLLBACK;

     SELECT * FROM abc;

   }

 } {1 2 3 4 5 6 7 8 9}

 integrity_check conflict-11.2

 # Repeat test conflict-11.1 but this time commit.

 #

 do_test conflict-11.3 {

   execsql {

     BEGIN;

       -- Make sure the pager is in EXCLUSIVE state.

       UPDATE abc SET a=a+1;

       CREATE TABLE def(d, e, f);

       INSERT INTO def VALUES

           ('xxxxxxxxxxxxxxx', 'yyyyyyyyyyyyyyyy', 'zzzzzzzzzzzzzzzz');

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       DELETE FROM abc WHERE a = 4;

   }

   catchsql {

     INSERT INTO abc SELECT 10, 20, 30 FROM def;

   }

   execsql {

     ROLLBACK;

     SELECT * FROM abc;

   }

 } {1 2 3 4 5 6 7 8 9}

 # Repeat test conflict-11.1 but this time commit.

 #

 do_test conflict-11.5 {

   execsql {

     BEGIN;

       -- Make sure the pager is in EXCLUSIVE state.

       CREATE TABLE def(d, e, f);

       INSERT INTO def VALUES

           ('xxxxxxxxxxxxxxx', 'yyyyyyyyyyyyyyyy', 'zzzzzzzzzzzzzzzz');

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       INSERT INTO def SELECT * FROM def;

       DELETE FROM abc WHERE a = 4;

   }

   catchsql {

     INSERT INTO abc SELECT 10, 20, 30 FROM def;

   }

   execsql {

     COMMIT;

     SELECT * FROM abc;

   }

 } {1 2 3 7 8 9}

 integrity_check conflict-11.6

 # Make sure UPDATE OR REPLACE works on tables that have only

 # an INTEGER PRIMARY KEY.

 #

 do_test conflict-12.1 {

   execsql {

     CREATE TABLE t5(a INTEGER PRIMARY KEY, b text);

     INSERT INTO t5 VALUES(1,'one');

     INSERT INTO t5 VALUES(2,'two');

     SELECT * FROM t5

   }

 } {1 one 2 two}

 do_test conflict-12.2 {

   execsql {

     UPDATE OR IGNORE t5 SET a=a+1 WHERE a=1;

     SELECT * FROM t5;

   }

 } {1 one 2 two}

 do_test conflict-12.3 {

   catchsql {

     UPDATE t5 SET a=a+1 WHERE a=1;

   }

 } {1 {PRIMARY KEY must be unique}}

 do_test conflict-12.4 {

   execsql {

     UPDATE OR REPLACE t5 SET a=a+1 WHERE a=1;

     SELECT * FROM t5;

   }

 } {2 one}

 finish_test