2N/A#pragma ident "%Z%%M% %I% %E% SMI"
2N/A# The author disclaims copyright to this source code. In place of
2N/A# a legal notice, here is a blessing:
2N/A# May you do good and not evil.
2N/A# May you find forgiveness for yourself and forgive others.
2N/A# May you share freely, never taking more than you give.
2N/A#***********************************************************************
2N/A# This file implements regression tests for SQLite library.
2N/A# This file implements tests for the conflict resolution extension
2N/Aset testdir [file dirname $argv0]
2N/A# Create tables for the first group of tests.
2N/Ado_test conflict-1.0 {
2N/A CREATE TABLE t1(a, b, c, UNIQUE(a,b));
2N/A SELECT c FROM t1 ORDER BY c;
2N/A# Six columns of configuration data as follows:
2N/A# i The reference number of the test
2N/A# conf The conflict resolution algorithm on the BEGIN statement
2N/A# cmd An INSERT or REPLACE command to execute against table t1
2N/A# t0 True if there is an error from $cmd
2N/A# t1 Content of "c" column of t1 assuming no error in $cmd
2N/A# t2 Content of "x" column of t2
2N/Aforeach {i conf cmd t0 t1 t2} {
2N/A 2 {} {INSERT OR IGNORE} 0 3 1
2N/A 3 {} {INSERT OR REPLACE} 0 4 1
2N/A 5 {} {INSERT OR FAIL} 1 {} 1
2N/A 6 {} {INSERT OR ABORT} 1 {} 1
2N/A 7 {} {INSERT OR ROLLBACK} 1 {} {}
2N/A 8 IGNORE INSERT 0 3 1
2N/A 9 IGNORE {INSERT OR IGNORE} 0 3 1
2N/A 10 IGNORE {INSERT OR REPLACE} 0 4 1
2N/A 11 IGNORE REPLACE 0 4 1
2N/A 12 IGNORE {INSERT OR FAIL} 1 {} 1
2N/A 13 IGNORE {INSERT OR ABORT} 1 {} 1
2N/A 14 IGNORE {INSERT OR ROLLBACK} 1 {} {}
2N/A 15 REPLACE INSERT 0 4 1
2N/A 16 FAIL INSERT 1 {} 1
2N/A 17 ABORT INSERT 1 {} 1
2N/A 18 ROLLBACK INSERT 1 {} {}
2N/A do_test conflict-1.$i {
2N/A if {$conf!=""} {set conf "ON CONFLICT $conf"}
2N/A set r0 [catch {execsql [subst {
2N/A INSERT INTO t1 VALUES(1,2,3);
2N/A INSERT INTO t2 VALUES(1);
2N/A $cmd INTO t1 VALUES(1,2,4);
2N/A catch {execsql {COMMIT}}
2N/A if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
2N/A set r2 [execsql {SELECT x FROM t2}]
2N/A } [list $t0 $t1 $t2]
2N/A# Create tables for the first group of tests.
2N/Ado_test conflict-2.0 {
2N/A CREATE TABLE t1(a INTEGER PRIMARY KEY, b, c, UNIQUE(a,b));
2N/A SELECT c FROM t1 ORDER BY c;
2N/A# Six columns of configuration data as follows:
2N/A# i The reference number of the test
2N/A# conf The conflict resolution algorithm on the BEGIN statement
2N/A# cmd An INSERT or REPLACE command to execute against table t1
2N/A# t0 True if there is an error from $cmd
2N/A# t1 Content of "c" column of t1 assuming no error in $cmd
2N/A# t2 Content of "x" column of t2
2N/Aforeach {i conf cmd t0 t1 t2} {
2N/A 2 {} {INSERT OR IGNORE} 0 3 1
2N/A 3 {} {INSERT OR REPLACE} 0 4 1
2N/A 5 {} {INSERT OR FAIL} 1 {} 1
2N/A 6 {} {INSERT OR ABORT} 1 {} 1
2N/A 7 {} {INSERT OR ROLLBACK} 1 {} {}
2N/A 8 IGNORE INSERT 0 3 1
2N/A 9 IGNORE {INSERT OR IGNORE} 0 3 1
2N/A 10 IGNORE {INSERT OR REPLACE} 0 4 1
2N/A 11 IGNORE REPLACE 0 4 1
2N/A 12 IGNORE {INSERT OR FAIL} 1 {} 1
2N/A 13 IGNORE {INSERT OR ABORT} 1 {} 1
2N/A 14 IGNORE {INSERT OR ROLLBACK} 1 {} {}
2N/A 15 REPLACE INSERT 0 4 1
2N/A 16 FAIL INSERT 1 {} 1
2N/A 17 ABORT INSERT 1 {} 1
2N/A 18 ROLLBACK INSERT 1 {} {}
2N/A do_test conflict-2.$i {
2N/A if {$conf!=""} {set conf "ON CONFLICT $conf"}
2N/A set r0 [catch {execsql [subst {
2N/A INSERT INTO t1 VALUES(1,2,3);
2N/A INSERT INTO t2 VALUES(1);
2N/A $cmd INTO t1 VALUES(1,2,4);
2N/A catch {execsql {COMMIT}}
2N/A if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
2N/A set r2 [execsql {SELECT x FROM t2}]
2N/A } [list $t0 $t1 $t2]
2N/A# Create tables for the first group of tests.
2N/Ado_test conflict-3.0 {
2N/A CREATE TABLE t1(a, b, c INTEGER, PRIMARY KEY(c), UNIQUE(a,b));
2N/A SELECT c FROM t1 ORDER BY c;
2N/A# Six columns of configuration data as follows:
2N/A# i The reference number of the test
2N/A# conf The conflict resolution algorithm on the BEGIN statement
2N/A# cmd An INSERT or REPLACE command to execute against table t1
2N/A# t0 True if there is an error from $cmd
2N/A# t1 Content of "c" column of t1 assuming no error in $cmd
2N/A# t2 Content of "x" column of t2
2N/Aforeach {i conf cmd t0 t1 t2} {
2 {} {INSERT OR IGNORE} 0 3 1
3 {} {INSERT OR REPLACE} 0 4 1
5 {} {INSERT OR FAIL} 1 {} 1
6 {} {INSERT OR ABORT} 1 {} 1
7 {} {INSERT OR ROLLBACK} 1 {} {}
9 IGNORE {INSERT OR IGNORE} 0 3 1
10 IGNORE {INSERT OR REPLACE} 0 4 1
12 IGNORE {INSERT OR FAIL} 1 {} 1
13 IGNORE {INSERT OR ABORT} 1 {} 1
14 IGNORE {INSERT OR ROLLBACK} 1 {} {}
18 ROLLBACK INSERT 1 {} {}
if {$conf!=""} {set conf "ON CONFLICT $conf"}
set r0 [catch {execsql [subst {
INSERT INTO t1 VALUES(1,2,3);
INSERT INTO t2 VALUES(1);
$cmd INTO t1 VALUES(1,2,4);
if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
set r2 [execsql {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
# conf2 The conflict resolution algorithm on the BEGIN statement
# 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 conf2 cmd t0 t1 t2} {
2 REPLACE {} INSERT 0 4 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
12 REPLACE IGNORE INSERT 0 3 1
13 IGNORE REPLACE INSERT 0 4 1
14 FAIL IGNORE INSERT 0 3 1
15 ABORT REPLACE INSERT 0 4 1
16 ROLLBACK IGNORE INSERT 0 3 1
12 IGNORE REPLACE INSERT 0 4 1
13 IGNORE FAIL INSERT 1 {} 1
14 IGNORE ABORT INSERT 1 {} 1
15 IGNORE ROLLBACK INSERT 1 {} {}
if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}
if {$conf2!=""} {set conf2 "ON CONFLICT $conf2"}
set r0 [catch {execsql [subst {
CREATE TABLE t1(a,b,c,UNIQUE(a,b) $conf1);
INSERT INTO t1 VALUES(1,2,3);
INSERT INTO t2 VALUES(1);
$cmd INTO t1 VALUES(1,2,4);
if {$r0} {set r1 {}} {set r1 [execsql {SELECT c FROM t1}]}
set r2 [execsql {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
# conf2 The conflict resolution algorithm on the BEGIN statement
# 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 conf2 cmd t0 t1 t2} {
2 REPLACE {} INSERT 0 5 1
3 IGNORE {} INSERT 0 {} 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 {} {}
17 {} IGNORE INSERT 0 {} 1
18 {} REPLACE INSERT 0 5 1
20 {} ABORT INSERT 1 {} 1
21 {} ROLLBACK INSERT 1 {} {}
22 REPLACE FAIL INSERT 1 {} 1
23 IGNORE ROLLBACK INSERT 1 {} {}
if {$t0} {set t1 {
t1.c may not be NULL}}
if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}
if {$conf2!=""} {set conf2 "ON CONFLICT $conf2"}
set r0 [catch {execsql [subst {
CREATE TABLE t1(a,b,c NOT NULL $conf1 DEFAULT 5);
INSERT INTO t2 VALUES(1);
$cmd INTO t1 VALUES(1,2,NULL);
if {!$r0} {set r1 [execsql {SELECT c FROM t1}]}
set r2 [execsql {SELECT x FROM t2}]
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;
INSERT INTO t3 VALUES(1);
# Six columns of configuration data as follows:
# i The reference number of the test
# conf1 The conflict resolution algorithm on the UNIQUE constraint
# conf2 The conflict resolution algorithm on the BEGIN statement
# 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
foreach {i conf1 conf2 cmd t0 t1 t2} {
1 {} {} UPDATE 1 {6 7 8 9} 1
2 REPLACE {} UPDATE 0 {7 6 9} 1
3 IGNORE {} UPDATE 0 {6 7 3 9} 1
4 FAIL {} UPDATE 1 {6 7 3 4} 1
5 ABORT {} UPDATE 1 {1 2 3 4} 1
6 ROLLBACK {} UPDATE 1 {1 2 3 4} 0
7 REPLACE {} {UPDATE OR IGNORE} 0 {6 7 3 9} 1
8 IGNORE {} {UPDATE OR REPLACE} 0 {7 6 9} 1
9 FAIL {} {UPDATE OR IGNORE} 0 {6 7 3 9} 1
10 ABORT {} {UPDATE OR REPLACE} 0 {7 6 9} 1
11 ROLLBACK {} {UPDATE OR IGNORE} 0 {6 7 3 9} 1
12 {} {} {UPDATE OR IGNORE} 0 {6 7 3 9} 1
13 {} {} {UPDATE OR REPLACE} 0 {7 6 9} 1
14 {} {} {UPDATE OR FAIL} 1 {6 7 3 4} 1
15 {} {} {UPDATE OR ABORT} 1 {1 2 3 4} 1
16 {} {} {UPDATE OR ROLLBACK} 1 {1 2 3 4} 0
17 {} IGNORE UPDATE 0 {6 7 3 9} 1
18 {} REPLACE UPDATE 0 {7 6 9} 1
19 {} FAIL UPDATE 1 {6 7 3 4} 1
20 {} ABORT UPDATE 1 {1 2 3 4} 1
21 {} ROLLBACK UPDATE 1 {1 2 3 4} 0
22 REPLACE IGNORE UPDATE 0 {6 7 3 9} 1
23 IGNORE REPLACE UPDATE 0 {7 6 9} 1
24 REPLACE FAIL UPDATE 1 {6 7 3 4} 1
25 IGNORE ABORT UPDATE 1 {1 2 3 4} 1
26 REPLACE ROLLBACK UPDATE 1 {1 2 3 4} 0
if {$t0} {set t1 {column a is not unique}}
if {$conf1!=""} {set conf1 "ON CONFLICT $conf1"}
if {$conf2!=""} {set conf2 "ON CONFLICT $conf2"}
set r0 [catch {execsql [subst {
CREATE TABLE t1(a,b,c, UNIQUE(a) $conf1);
INSERT INTO t1 SELECT * FROM t2;
if {!$r0} {set r1 [execsql {SELECT a FROM t1 ORDER BY b}]}
set r2 [execsql {SELECT x FROM t3}]
# Test to make sure a lot of IGNOREs don't cause a stack overflow
CREATE TABLE t1(a unique, b);
for {set i 1} {$i<=50} {incr i} {
execsql "INSERT into t1 values($i,[expr {$i+1}]);"
SELECT count(*), min(a), max(b) FROM t1;
UPDATE OR IGNORE t1 SET a=1000;
SELECT b FROM t1 WHERE a=1000;
UPDATE OR REPLACE t1 SET a=1001;
SELECT b FROM t1 WHERE a=1001;
# Make sure the row count is right for rows that are ignored on
INSERT INTO t1 VALUES(1,2);
INSERT OR IGNORE INTO t1 VALUES(2,3);
INSERT OR IGNORE INTO t1 VALUES(2,4);
INSERT OR REPLACE INTO t1 VALUES(2,4);
INSERT OR IGNORE INTO t1 SELECT * FROM t1;
INSERT OR IGNORE INTO t1 SELECT a+2,b+2 FROM t1;
INSERT OR IGNORE INTO t1 SELECT a+3,b+3 FROM t1;
integrity_check conflict-8.99
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
INSERT INTO t3 VALUES(1);
INSERT INTO t2 VALUES(1,1,1,1,1);
INSERT INTO t2 VALUES(2,2,2,2,2);
} {0 {1 1 1 1 1 2 2 2 2 2}}
INSERT INTO t2 VALUES(1,3,3,3,3);
} {0 {1 1 1 1 1 2 2 2 2 2}}
UPDATE t2 SET a=a+1 WHERE a=1;
} {0 {1 1 1 1 1 2 2 2 2 2}}
INSERT INTO t2 VALUES(3,1,3,3,3);
} {1 {column b is not unique}}
UPDATE t2 SET b=b+1 WHERE b=1;
} {1 {column b is not unique}}
INSERT INTO t2 VALUES(3,1,3,3,3);
} {1 {column b is not unique}}
execsql {SELECT * FROM t3}
UPDATE t2 SET b=b+1 WHERE b=1;
} {1 {column b is not unique}}
execsql {SELECT * FROM t3}
INSERT INTO t2 VALUES(3,3,3,1,3);
} {1 {column d is not unique}}
UPDATE t2 SET d=d+1 WHERE d=1;
} {1 {column d is not unique}}
INSERT INTO t2 VALUES(3,3,3,1,3);
} {1 {column d is not unique}}
execsql {SELECT * FROM t3}
UPDATE t2 SET d=d+1 WHERE d=1;
} {1 {column d is not unique}}
execsql {SELECT * FROM t3}
INSERT INTO t2 VALUES(3,3,3,3,1);
} {1 {column e is not unique}}
UPDATE t2 SET e=e+1 WHERE e=1;
} {1 {column e is not unique}}
INSERT INTO t2 VALUES(3,3,3,3,1);
} {1 {column e is not unique}}
execsql {SELECT * FROM t3}
UPDATE t2 SET e=e+1 WHERE e=1;
} {1 {column e is not unique}}
execsql {SELECT * FROM t3}
INSERT INTO t2 VALUES(3,3,1,3,3);
} {0 {2 2 2 2 2 3 3 1 3 3}}
UPDATE t2 SET c=c-1 WHERE c=2;
INSERT INTO t2 VALUES(3,3,1,3,3);
execsql {SELECT * FROM t3}
BEGIN ON CONFLICT ROLLBACK;
INSERT INTO t1 VALUES(1,2);
INSERT INTO t1 VALUES(1,3);
execsql {SELECT * FROM t1}
CREATE UNIQUE INDEX t4x ON t4(x);
BEGIN ON CONFLICT ROLLBACK;
INSERT INTO t4 VALUES(1);
INSERT INTO t4 VALUES(1);
execsql {SELECT * FROM t4}
integrity_check conflict-99.0