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