/ Hex Artifact Content
Login

Artifact c7cc007e2af151516ddf38f7412fe10d473a694f55e3df437e2c7b31c2590e8d:


0000: 23 20 32 30 30 32 20 4a 61 6e 75 61 72 79 20 32  # 2002 January 2
0010: 39 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  9.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an you give..#.#
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66  *******.# This f
0170: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72  ile implements r
0180: 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20  egression tests 
0190: 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61  for SQLite libra
01a0: 72 79 2e 0a 23 0a 23 20 54 68 69 73 20 66 69 6c  ry..#.# This fil
01b0: 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73  e implements tes
01c0: 74 73 20 66 6f 72 20 74 68 65 20 63 6f 6e 66 6c  ts for the confl
01d0: 69 63 74 20 72 65 73 6f 6c 75 74 69 6f 6e 20 65  ict resolution e
01e0: 78 74 65 6e 73 69 6f 6e 0a 23 20 74 6f 20 53 51  xtension.# to SQ
01f0: 4c 69 74 65 2e 0a 23 0a 0a 73 65 74 20 74 65 73  Lite..#..set tes
0200: 74 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61  tdir [file dirna
0210: 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63  me $argv0].sourc
0220: 65 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65  e $testdir/teste
0230: 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61 62 6c 65  r.tcl..ifcapable
0240: 20 21 63 6f 6e 66 6c 69 63 74 20 7b 0a 20 20 66   !conflict {.  f
0250: 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74  inish_test.  ret
0260: 75 72 6e 0a 7d 0a 0a 23 20 43 72 65 61 74 65 20  urn.}..# Create 
0270: 74 61 62 6c 65 73 20 66 6f 72 20 74 68 65 20 66  tables for the f
0280: 69 72 73 74 20 67 72 6f 75 70 20 6f 66 20 74 65  irst group of te
0290: 73 74 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63  sts..#.do_test c
02a0: 6f 6e 66 6c 69 63 74 2d 31 2e 30 20 7b 0a 20 20  onflict-1.0 {.  
02b0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
02c0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c  EATE TABLE t1(a,
02d0: 20 62 2c 20 63 2c 20 55 4e 49 51 55 45 28 61 2c   b, c, UNIQUE(a,
02e0: 62 29 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20  b));.    CREATE 
02f0: 54 41 42 4c 45 20 74 32 28 78 29 3b 0a 20 20 20  TABLE t2(x);.   
0300: 20 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74   SELECT c FROM t
0310: 31 20 4f 52 44 45 52 20 42 59 20 63 3b 0a 20 20  1 ORDER BY c;.  
0320: 7d 0a 7d 20 7b 7d 0a 0a 23 20 53 69 78 20 63 6f  }.} {}..# Six co
0330: 6c 75 6d 6e 73 20 6f 66 20 63 6f 6e 66 69 67 75  lumns of configu
0340: 72 61 74 69 6f 6e 20 64 61 74 61 20 61 73 20 66  ration data as f
0350: 6f 6c 6c 6f 77 73 3a 0a 23 0a 23 20 20 20 69 20  ollows:.#.#   i 
0360: 20 20 20 20 20 54 68 65 20 72 65 66 65 72 65 6e       The referen
0370: 63 65 20 6e 75 6d 62 65 72 20 6f 66 20 74 68 65  ce number of the
0380: 20 74 65 73 74 0a 23 20 20 20 63 6d 64 20 20 20   test.#   cmd   
0390: 20 41 6e 20 49 4e 53 45 52 54 20 6f 72 20 52 45   An INSERT or RE
03a0: 50 4c 41 43 45 20 63 6f 6d 6d 61 6e 64 20 74 6f  PLACE command to
03b0: 20 65 78 65 63 75 74 65 20 61 67 61 69 6e 73 74   execute against
03c0: 20 74 61 62 6c 65 20 74 31 0a 23 20 20 20 74 30   table t1.#   t0
03d0: 20 20 20 20 20 54 72 75 65 20 69 66 20 74 68 65       True if the
03e0: 72 65 20 69 73 20 61 6e 20 65 72 72 6f 72 20 66  re is an error f
03f0: 72 6f 6d 20 24 63 6d 64 0a 23 20 20 20 74 31 20  rom $cmd.#   t1 
0400: 20 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66 20 22      Content of "
0410: 63 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74 31 20  c" column of t1 
0420: 61 73 73 75 6d 69 6e 67 20 6e 6f 20 65 72 72 6f  assuming no erro
0430: 72 20 69 6e 20 24 63 6d 64 0a 23 20 20 20 74 32  r in $cmd.#   t2
0440: 20 20 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66 20       Content of 
0450: 22 78 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74 32  "x" column of t2
0460: 0a 23 20 20 20 74 33 20 20 20 20 20 4e 75 6d 62  .#   t3     Numb
0470: 65 72 20 6f 66 20 74 65 6d 70 6f 72 61 72 79 20  er of temporary 
0480: 66 69 6c 65 73 20 63 72 65 61 74 65 64 20 62 79  files created by
0490: 20 74 68 69 73 20 74 65 73 74 0a 23 0a 66 6f 72   this test.#.for
04a0: 65 61 63 68 20 7b 69 20 63 6d 64 20 74 30 20 74  each {i cmd t0 t
04b0: 31 20 74 32 20 74 33 7d 20 7b 0a 20 20 31 20 49  1 t2 t3} {.  1 I
04c0: 4e 53 45 52 54 20 20 20 20 20 20 20 20 20 20 20  NSERT           
04d0: 20 20 20 20 20 20 20 31 20 7b 7d 20 20 31 20 20         1 {}  1  
04e0: 30 0a 20 20 32 20 7b 49 4e 53 45 52 54 20 4f 52  0.  2 {INSERT OR
04f0: 20 49 47 4e 4f 52 45 7d 20 20 20 20 20 20 30 20   IGNORE}      0 
0500: 33 20 20 20 31 20 20 30 0a 20 20 33 20 7b 49 4e  3   1  0.  3 {IN
0510: 53 45 52 54 20 4f 52 20 52 45 50 4c 41 43 45 7d  SERT OR REPLACE}
0520: 20 20 20 20 20 30 20 34 20 20 20 31 20 20 30 0a       0 4   1  0.
0530: 20 20 34 20 52 45 50 4c 41 43 45 20 20 20 20 20    4 REPLACE     
0540: 20 20 20 20 20 20 20 20 20 20 20 20 30 20 34 20              0 4 
0550: 20 20 31 20 20 30 0a 20 20 35 20 7b 49 4e 53 45    1  0.  5 {INSE
0560: 52 54 20 4f 52 20 46 41 49 4c 7d 20 20 20 20 20  RT OR FAIL}     
0570: 20 20 20 31 20 7b 7d 20 20 31 20 20 30 0a 20 20     1 {}  1  0.  
0580: 36 20 7b 49 4e 53 45 52 54 20 4f 52 20 41 42 4f  6 {INSERT OR ABO
0590: 52 54 7d 20 20 20 20 20 20 20 31 20 7b 7d 20 20  RT}       1 {}  
05a0: 31 20 20 30 0a 20 20 37 20 7b 49 4e 53 45 52 54  1  0.  7 {INSERT
05b0: 20 4f 52 20 52 4f 4c 4c 42 41 43 4b 7d 20 20 20   OR ROLLBACK}   
05c0: 20 31 20 7b 7d 20 20 7b 7d 20 30 0a 7d 20 7b 0a   1 {}  {} 0.} {.
05d0: 20 20 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69    do_test confli
05e0: 63 74 2d 31 2e 24 69 20 7b 0a 20 20 20 20 73 65  ct-1.$i {.    se
05f0: 74 20 3a 3a 73 71 6c 69 74 65 5f 6f 70 65 6e 74  t ::sqlite_opent
0600: 65 6d 70 5f 63 6f 75 6e 74 20 30 0a 20 20 20 20  emp_count 0.    
0610: 73 65 74 20 72 30 20 5b 63 61 74 63 68 20 7b 65  set r0 [catch {e
0620: 78 65 63 73 71 6c 20 5b 73 75 62 73 74 20 7b 0a  xecsql [subst {.
0630: 20 20 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f        DELETE FRO
0640: 4d 20 74 31 3b 0a 20 20 20 20 20 20 44 45 4c 45  M t1;.      DELE
0650: 54 45 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20  TE FROM t2;.    
0660: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0670: 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b 0a   VALUES(1,2,3);.
0680: 20 20 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20        BEGIN;.   
0690: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
06a0: 32 20 56 41 4c 55 45 53 28 31 29 3b 20 0a 20 20  2 VALUES(1); .  
06b0: 20 20 20 20 24 63 6d 64 20 49 4e 54 4f 20 74 31      $cmd INTO t1
06c0: 20 56 41 4c 55 45 53 28 31 2c 32 2c 34 29 3b 0a   VALUES(1,2,4);.
06d0: 20 20 20 20 7d 5d 7d 20 72 31 5d 0a 20 20 20 20      }]} r1].    
06e0: 63 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b  catch {execsql {
06f0: 43 4f 4d 4d 49 54 7d 7d 0a 20 20 20 20 69 66 20  COMMIT}}.    if 
0700: 7b 24 72 30 7d 20 7b 73 65 74 20 72 31 20 7b 7d  {$r0} {set r1 {}
0710: 7d 20 7b 73 65 74 20 72 31 20 5b 65 78 65 63 73  } {set r1 [execs
0720: 71 6c 20 7b 53 45 4c 45 43 54 20 63 20 46 52 4f  ql {SELECT c FRO
0730: 4d 20 74 31 7d 5d 7d 0a 20 20 20 20 73 65 74 20  M t1}]}.    set 
0740: 72 32 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c  r2 [execsql {SEL
0750: 45 43 54 20 78 20 46 52 4f 4d 20 74 32 7d 5d 0a  ECT x FROM t2}].
0760: 20 20 20 20 73 65 74 20 72 33 20 24 3a 3a 73 71      set r3 $::sq
0770: 6c 69 74 65 5f 6f 70 65 6e 74 65 6d 70 5f 63 6f  lite_opentemp_co
0780: 75 6e 74 0a 20 20 20 20 6c 69 73 74 20 24 72 30  unt.    list $r0
0790: 20 24 72 31 20 24 72 32 20 24 72 33 0a 20 20 7d   $r1 $r2 $r3.  }
07a0: 20 5b 6c 69 73 74 20 24 74 30 20 24 74 31 20 24   [list $t0 $t1 $
07b0: 74 32 20 24 74 33 5d 0a 7d 0a 0a 23 20 43 72 65  t2 $t3].}..# Cre
07c0: 61 74 65 20 74 61 62 6c 65 73 20 66 6f 72 20 74  ate tables for t
07d0: 68 65 20 66 69 72 73 74 20 67 72 6f 75 70 20 6f  he first group o
07e0: 66 20 74 65 73 74 73 2e 0a 23 0a 64 6f 5f 74 65  f tests..#.do_te
07f0: 73 74 20 63 6f 6e 66 6c 69 63 74 2d 32 2e 30 20  st conflict-2.0 
0800: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0810: 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 31 3b    DROP TABLE t1;
0820: 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20  .    DROP TABLE 
0830: 74 32 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  t2;.    CREATE T
0840: 41 42 4c 45 20 74 31 28 61 20 49 4e 54 45 47 45  ABLE t1(a INTEGE
0850: 52 20 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62  R PRIMARY KEY, b
0860: 2c 20 63 2c 20 55 4e 49 51 55 45 28 61 2c 62 29  , c, UNIQUE(a,b)
0870: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  );.    CREATE TA
0880: 42 4c 45 20 74 32 28 78 29 3b 0a 20 20 20 20 53  BLE t2(x);.    S
0890: 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 31 20  ELECT c FROM t1 
08a0: 4f 52 44 45 52 20 42 59 20 63 3b 0a 20 20 7d 0a  ORDER BY c;.  }.
08b0: 7d 20 7b 7d 0a 0a 23 20 53 69 78 20 63 6f 6c 75  } {}..# Six colu
08c0: 6d 6e 73 20 6f 66 20 63 6f 6e 66 69 67 75 72 61  mns of configura
08d0: 74 69 6f 6e 20 64 61 74 61 20 61 73 20 66 6f 6c  tion data as fol
08e0: 6c 6f 77 73 3a 0a 23 0a 23 20 20 20 69 20 20 20  lows:.#.#   i   
08f0: 20 20 20 54 68 65 20 72 65 66 65 72 65 6e 63 65     The reference
0900: 20 6e 75 6d 62 65 72 20 6f 66 20 74 68 65 20 74   number of the t
0910: 65 73 74 0a 23 20 20 20 63 6d 64 20 20 20 20 41  est.#   cmd    A
0920: 6e 20 49 4e 53 45 52 54 20 6f 72 20 52 45 50 4c  n INSERT or REPL
0930: 41 43 45 20 63 6f 6d 6d 61 6e 64 20 74 6f 20 65  ACE command to e
0940: 78 65 63 75 74 65 20 61 67 61 69 6e 73 74 20 74  xecute against t
0950: 61 62 6c 65 20 74 31 0a 23 20 20 20 74 30 20 20  able t1.#   t0  
0960: 20 20 20 54 72 75 65 20 69 66 20 74 68 65 72 65     True if there
0970: 20 69 73 20 61 6e 20 65 72 72 6f 72 20 66 72 6f   is an error fro
0980: 6d 20 24 63 6d 64 0a 23 20 20 20 74 31 20 20 20  m $cmd.#   t1   
0990: 20 20 43 6f 6e 74 65 6e 74 20 6f 66 20 22 63 22    Content of "c"
09a0: 20 63 6f 6c 75 6d 6e 20 6f 66 20 74 31 20 61 73   column of t1 as
09b0: 73 75 6d 69 6e 67 20 6e 6f 20 65 72 72 6f 72 20  suming no error 
09c0: 69 6e 20 24 63 6d 64 0a 23 20 20 20 74 32 20 20  in $cmd.#   t2  
09d0: 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66 20 22 78     Content of "x
09e0: 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74 32 0a 23  " column of t2.#
09f0: 0a 66 6f 72 65 61 63 68 20 7b 69 20 63 6d 64 20  .foreach {i cmd 
0a00: 74 30 20 74 31 20 74 32 7d 20 7b 0a 20 20 31 20  t0 t1 t2} {.  1 
0a10: 49 4e 53 45 52 54 20 20 20 20 20 20 20 20 20 20  INSERT          
0a20: 20 20 20 20 20 20 20 20 31 20 7b 7d 20 20 31 0a          1 {}  1.
0a30: 20 20 32 20 7b 49 4e 53 45 52 54 20 4f 52 20 49    2 {INSERT OR I
0a40: 47 4e 4f 52 45 7d 20 20 20 20 20 20 30 20 33 20  GNORE}      0 3 
0a50: 20 20 31 0a 20 20 33 20 7b 49 4e 53 45 52 54 20    1.  3 {INSERT 
0a60: 4f 52 20 52 45 50 4c 41 43 45 7d 20 20 20 20 20  OR REPLACE}     
0a70: 30 20 34 20 20 20 31 0a 20 20 34 20 52 45 50 4c  0 4   1.  4 REPL
0a80: 41 43 45 20 20 20 20 20 20 20 20 20 20 20 20 20  ACE             
0a90: 20 20 20 20 30 20 34 20 20 20 31 0a 20 20 35 20      0 4   1.  5 
0aa0: 7b 49 4e 53 45 52 54 20 4f 52 20 46 41 49 4c 7d  {INSERT OR FAIL}
0ab0: 20 20 20 20 20 20 20 20 31 20 7b 7d 20 20 31 0a          1 {}  1.
0ac0: 20 20 36 20 7b 49 4e 53 45 52 54 20 4f 52 20 41    6 {INSERT OR A
0ad0: 42 4f 52 54 7d 20 20 20 20 20 20 20 31 20 7b 7d  BORT}       1 {}
0ae0: 20 20 31 0a 20 20 37 20 7b 49 4e 53 45 52 54 20    1.  7 {INSERT 
0af0: 4f 52 20 52 4f 4c 4c 42 41 43 4b 7d 20 20 20 20  OR ROLLBACK}    
0b00: 31 20 7b 7d 20 20 7b 7d 0a 7d 20 7b 0a 20 20 64  1 {}  {}.} {.  d
0b10: 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d  o_test conflict-
0b20: 32 2e 24 69 20 7b 0a 20 20 20 20 73 65 74 20 72  2.$i {.    set r
0b30: 30 20 5b 63 61 74 63 68 20 7b 65 78 65 63 73 71  0 [catch {execsq
0b40: 6c 20 5b 73 75 62 73 74 20 7b 0a 20 20 20 20 20  l [subst {.     
0b50: 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 3b   DELETE FROM t1;
0b60: 0a 20 20 20 20 20 20 44 45 4c 45 54 45 20 46 52  .      DELETE FR
0b70: 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20 49 4e 53  OM t2;.      INS
0b80: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0b90: 45 53 28 31 2c 32 2c 33 29 3b 0a 20 20 20 20 20  ES(1,2,3);.     
0ba0: 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e   BEGIN;.      IN
0bb0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
0bc0: 55 45 53 28 31 29 3b 20 0a 20 20 20 20 20 20 24  UES(1); .      $
0bd0: 63 6d 64 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  cmd INTO t1 VALU
0be0: 45 53 28 31 2c 32 2c 34 29 3b 0a 20 20 20 20 7d  ES(1,2,4);.    }
0bf0: 5d 7d 20 72 31 5d 0a 20 20 20 20 63 61 74 63 68  ]} r1].    catch
0c00: 20 7b 65 78 65 63 73 71 6c 20 7b 43 4f 4d 4d 49   {execsql {COMMI
0c10: 54 7d 7d 0a 20 20 20 20 69 66 20 7b 24 72 30 7d  T}}.    if {$r0}
0c20: 20 7b 73 65 74 20 72 31 20 7b 7d 7d 20 7b 73 65   {set r1 {}} {se
0c30: 74 20 72 31 20 5b 65 78 65 63 73 71 6c 20 7b 53  t r1 [execsql {S
0c40: 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 31 7d  ELECT c FROM t1}
0c50: 5d 7d 0a 20 20 20 20 73 65 74 20 72 32 20 5b 65  ]}.    set r2 [e
0c60: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 78  xecsql {SELECT x
0c70: 20 46 52 4f 4d 20 74 32 7d 5d 0a 20 20 20 20 6c   FROM t2}].    l
0c80: 69 73 74 20 24 72 30 20 24 72 31 20 24 72 32 0a  ist $r0 $r1 $r2.
0c90: 20 20 7d 20 5b 6c 69 73 74 20 24 74 30 20 24 74    } [list $t0 $t
0ca0: 31 20 24 74 32 5d 0a 7d 0a 0a 23 20 43 72 65 61  1 $t2].}..# Crea
0cb0: 74 65 20 74 61 62 6c 65 73 20 66 6f 72 20 74 68  te tables for th
0cc0: 65 20 66 69 72 73 74 20 67 72 6f 75 70 20 6f 66  e first group of
0cd0: 20 74 65 73 74 73 2e 0a 23 0a 64 6f 5f 74 65 73   tests..#.do_tes
0ce0: 74 20 63 6f 6e 66 6c 69 63 74 2d 33 2e 30 20 7b  t conflict-3.0 {
0cf0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0d00: 20 44 52 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a   DROP TABLE t1;.
0d10: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
0d20: 32 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  2;.    CREATE TA
0d30: 42 4c 45 20 74 31 28 61 2c 20 62 2c 20 63 20 49  BLE t1(a, b, c I
0d40: 4e 54 45 47 45 52 2c 20 50 52 49 4d 41 52 59 20  NTEGER, PRIMARY 
0d50: 4b 45 59 28 63 29 2c 20 55 4e 49 51 55 45 28 61  KEY(c), UNIQUE(a
0d60: 2c 62 29 29 3b 0a 20 20 20 20 43 52 45 41 54 45  ,b));.    CREATE
0d70: 20 54 41 42 4c 45 20 74 32 28 78 29 3b 0a 20 20   TABLE t2(x);.  
0d80: 20 20 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20    SELECT c FROM 
0d90: 74 31 20 4f 52 44 45 52 20 42 59 20 63 3b 0a 20  t1 ORDER BY c;. 
0da0: 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 53 69 78 20 63   }.} {}..# Six c
0db0: 6f 6c 75 6d 6e 73 20 6f 66 20 63 6f 6e 66 69 67  olumns of config
0dc0: 75 72 61 74 69 6f 6e 20 64 61 74 61 20 61 73 20  uration data as 
0dd0: 66 6f 6c 6c 6f 77 73 3a 0a 23 0a 23 20 20 20 69  follows:.#.#   i
0de0: 20 20 20 20 20 20 54 68 65 20 72 65 66 65 72 65        The refere
0df0: 6e 63 65 20 6e 75 6d 62 65 72 20 6f 66 20 74 68  nce number of th
0e00: 65 20 74 65 73 74 0a 23 20 20 20 63 6d 64 20 20  e test.#   cmd  
0e10: 20 20 41 6e 20 49 4e 53 45 52 54 20 6f 72 20 52    An INSERT or R
0e20: 45 50 4c 41 43 45 20 63 6f 6d 6d 61 6e 64 20 74  EPLACE command t
0e30: 6f 20 65 78 65 63 75 74 65 20 61 67 61 69 6e 73  o execute agains
0e40: 74 20 74 61 62 6c 65 20 74 31 0a 23 20 20 20 74  t table t1.#   t
0e50: 30 20 20 20 20 20 54 72 75 65 20 69 66 20 74 68  0     True if th
0e60: 65 72 65 20 69 73 20 61 6e 20 65 72 72 6f 72 20  ere is an error 
0e70: 66 72 6f 6d 20 24 63 6d 64 0a 23 20 20 20 74 31  from $cmd.#   t1
0e80: 20 20 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66 20       Content of 
0e90: 22 63 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74 31  "c" column of t1
0ea0: 20 61 73 73 75 6d 69 6e 67 20 6e 6f 20 65 72 72   assuming no err
0eb0: 6f 72 20 69 6e 20 24 63 6d 64 0a 23 20 20 20 74  or in $cmd.#   t
0ec0: 32 20 20 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66  2     Content of
0ed0: 20 22 78 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74   "x" column of t
0ee0: 32 0a 23 0a 66 6f 72 65 61 63 68 20 7b 69 20 63  2.#.foreach {i c
0ef0: 6d 64 20 74 30 20 74 31 20 74 32 7d 20 7b 0a 20  md t0 t1 t2} {. 
0f00: 20 31 20 49 4e 53 45 52 54 20 20 20 20 20 20 20   1 INSERT       
0f10: 20 20 20 20 20 20 20 20 20 20 20 31 20 7b 7d 20             1 {} 
0f20: 20 31 0a 20 20 32 20 7b 49 4e 53 45 52 54 20 4f   1.  2 {INSERT O
0f30: 52 20 49 47 4e 4f 52 45 7d 20 20 20 20 20 20 30  R IGNORE}      0
0f40: 20 33 20 20 20 31 0a 20 20 33 20 7b 49 4e 53 45   3   1.  3 {INSE
0f50: 52 54 20 4f 52 20 52 45 50 4c 41 43 45 7d 20 20  RT OR REPLACE}  
0f60: 20 20 20 30 20 34 20 20 20 31 0a 20 20 34 20 52     0 4   1.  4 R
0f70: 45 50 4c 41 43 45 20 20 20 20 20 20 20 20 20 20  EPLACE          
0f80: 20 20 20 20 20 20 20 30 20 34 20 20 20 31 0a 20         0 4   1. 
0f90: 20 35 20 7b 49 4e 53 45 52 54 20 4f 52 20 46 41   5 {INSERT OR FA
0fa0: 49 4c 7d 20 20 20 20 20 20 20 20 31 20 7b 7d 20  IL}        1 {} 
0fb0: 20 31 0a 20 20 36 20 7b 49 4e 53 45 52 54 20 4f   1.  6 {INSERT O
0fc0: 52 20 41 42 4f 52 54 7d 20 20 20 20 20 20 20 31  R ABORT}       1
0fd0: 20 7b 7d 20 20 31 0a 20 20 37 20 7b 49 4e 53 45   {}  1.  7 {INSE
0fe0: 52 54 20 4f 52 20 52 4f 4c 4c 42 41 43 4b 7d 20  RT OR ROLLBACK} 
0ff0: 20 20 20 31 20 7b 7d 20 20 7b 7d 0a 7d 20 7b 0a     1 {}  {}.} {.
1000: 20 20 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69    do_test confli
1010: 63 74 2d 33 2e 24 69 20 7b 0a 20 20 20 20 73 65  ct-3.$i {.    se
1020: 74 20 72 30 20 5b 63 61 74 63 68 20 7b 65 78 65  t r0 [catch {exe
1030: 63 73 71 6c 20 5b 73 75 62 73 74 20 7b 0a 20 20  csql [subst {.  
1040: 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20      DELETE FROM 
1050: 74 31 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45  t1;.      DELETE
1060: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20   FROM t2;.      
1070: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
1080: 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b 0a 20 20  ALUES(1,2,3);.  
1090: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20      BEGIN;.     
10a0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
10b0: 56 41 4c 55 45 53 28 31 29 3b 20 0a 20 20 20 20  VALUES(1); .    
10c0: 20 20 24 63 6d 64 20 49 4e 54 4f 20 74 31 20 56    $cmd INTO t1 V
10d0: 41 4c 55 45 53 28 31 2c 32 2c 34 29 3b 0a 20 20  ALUES(1,2,4);.  
10e0: 20 20 7d 5d 7d 20 72 31 5d 0a 20 20 20 20 63 61    }]} r1].    ca
10f0: 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 43 4f  tch {execsql {CO
1100: 4d 4d 49 54 7d 7d 0a 20 20 20 20 69 66 20 7b 24  MMIT}}.    if {$
1110: 72 30 7d 20 7b 73 65 74 20 72 31 20 7b 7d 7d 20  r0} {set r1 {}} 
1120: 7b 73 65 74 20 72 31 20 5b 65 78 65 63 73 71 6c  {set r1 [execsql
1130: 20 7b 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20   {SELECT c FROM 
1140: 74 31 7d 5d 7d 0a 20 20 20 20 73 65 74 20 72 32  t1}]}.    set r2
1150: 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43   [execsql {SELEC
1160: 54 20 78 20 46 52 4f 4d 20 74 32 7d 5d 0a 20 20  T x FROM t2}].  
1170: 20 20 6c 69 73 74 20 24 72 30 20 24 72 31 20 24    list $r0 $r1 $
1180: 72 32 0a 20 20 7d 20 5b 6c 69 73 74 20 24 74 30  r2.  } [list $t0
1190: 20 24 74 31 20 24 74 32 5d 0a 7d 0a 0a 64 6f 5f   $t1 $t2].}..do_
11a0: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 34 2e  test conflict-4.
11b0: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  0 {.  execsql {.
11c0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
11d0: 32 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  2;.    CREATE TA
11e0: 42 4c 45 20 74 32 28 78 29 3b 0a 20 20 20 20 53  BLE t2(x);.    S
11f0: 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 74 32 3b  ELECT x FROM t2;
1200: 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 53 69 78  .  }.} {}..# Six
1210: 20 63 6f 6c 75 6d 6e 73 20 6f 66 20 63 6f 6e 66   columns of conf
1220: 69 67 75 72 61 74 69 6f 6e 20 64 61 74 61 20 61  iguration data a
1230: 73 20 66 6f 6c 6c 6f 77 73 3a 0a 23 0a 23 20 20  s follows:.#.#  
1240: 20 69 20 20 20 20 20 20 54 68 65 20 72 65 66 65   i      The refe
1250: 72 65 6e 63 65 20 6e 75 6d 62 65 72 20 6f 66 20  rence number of 
1260: 74 68 65 20 74 65 73 74 0a 23 20 20 20 63 6f 6e  the test.#   con
1270: 66 31 20 20 54 68 65 20 63 6f 6e 66 6c 69 63 74  f1  The conflict
1280: 20 72 65 73 6f 6c 75 74 69 6f 6e 20 61 6c 67 6f   resolution algo
1290: 72 69 74 68 6d 20 6f 6e 20 74 68 65 20 55 4e 49  rithm on the UNI
12a0: 51 55 45 20 63 6f 6e 73 74 72 61 69 6e 74 0a 23  QUE constraint.#
12b0: 20 20 20 63 6d 64 20 20 20 20 41 6e 20 49 4e 53     cmd    An INS
12c0: 45 52 54 20 6f 72 20 52 45 50 4c 41 43 45 20 63  ERT or REPLACE c
12d0: 6f 6d 6d 61 6e 64 20 74 6f 20 65 78 65 63 75 74  ommand to execut
12e0: 65 20 61 67 61 69 6e 73 74 20 74 61 62 6c 65 20  e against table 
12f0: 74 31 0a 23 20 20 20 74 30 20 20 20 20 20 54 72  t1.#   t0     Tr
1300: 75 65 20 69 66 20 74 68 65 72 65 20 69 73 20 61  ue if there is a
1310: 6e 20 65 72 72 6f 72 20 66 72 6f 6d 20 24 63 6d  n error from $cm
1320: 64 0a 23 20 20 20 74 31 20 20 20 20 20 43 6f 6e  d.#   t1     Con
1330: 74 65 6e 74 20 6f 66 20 22 63 22 20 63 6f 6c 75  tent of "c" colu
1340: 6d 6e 20 6f 66 20 74 31 20 61 73 73 75 6d 69 6e  mn of t1 assumin
1350: 67 20 6e 6f 20 65 72 72 6f 72 20 69 6e 20 24 63  g no error in $c
1360: 6d 64 0a 23 20 20 20 74 32 20 20 20 20 20 43 6f  md.#   t2     Co
1370: 6e 74 65 6e 74 20 6f 66 20 22 78 22 20 63 6f 6c  ntent of "x" col
1380: 75 6d 6e 20 6f 66 20 74 32 0a 23 0a 66 6f 72 65  umn of t2.#.fore
1390: 61 63 68 20 7b 69 20 63 6f 6e 66 31 20 63 6d 64  ach {i conf1 cmd
13a0: 20 74 30 20 74 31 20 74 32 7d 20 7b 0a 20 20 31   t0 t1 t2} {.  1
13b0: 20 7b 7d 20 20 20 20 20 20 20 49 4e 53 45 52 54   {}       INSERT
13c0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
13d0: 20 20 31 20 7b 7d 20 20 31 0a 20 20 32 20 52 45    1 {}  1.  2 RE
13e0: 50 4c 41 43 45 20 20 49 4e 53 45 52 54 20 20 20  PLACE  INSERT   
13f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 30                 0
1400: 20 34 20 20 20 31 0a 20 20 33 20 49 47 4e 4f 52   4   1.  3 IGNOR
1410: 45 20 20 20 49 4e 53 45 52 54 20 20 20 20 20 20  E   INSERT      
1420: 20 20 20 20 20 20 20 20 20 20 20 20 30 20 33 20              0 3 
1430: 20 20 31 0a 20 20 34 20 46 41 49 4c 20 20 20 20    1.  4 FAIL    
1440: 20 49 4e 53 45 52 54 20 20 20 20 20 20 20 20 20   INSERT         
1450: 20 20 20 20 20 20 20 20 20 31 20 7b 7d 20 20 31           1 {}  1
1460: 0a 20 20 35 20 41 42 4f 52 54 20 20 20 20 49 4e  .  5 ABORT    IN
1470: 53 45 52 54 20 20 20 20 20 20 20 20 20 20 20 20  SERT            
1480: 20 20 20 20 20 20 31 20 7b 7d 20 20 31 0a 20 20        1 {}  1.  
1490: 36 20 52 4f 4c 4c 42 41 43 4b 20 49 4e 53 45 52  6 ROLLBACK INSER
14a0: 54 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20  T               
14b0: 20 20 20 31 20 7b 7d 20 20 7b 7d 0a 20 20 37 20     1 {}  {}.  7 
14c0: 52 45 50 4c 41 43 45 20 20 7b 49 4e 53 45 52 54  REPLACE  {INSERT
14d0: 20 4f 52 20 49 47 4e 4f 52 45 7d 20 20 20 20 20   OR IGNORE}     
14e0: 20 30 20 33 20 20 20 31 0a 20 20 38 20 49 47 4e   0 3   1.  8 IGN
14f0: 4f 52 45 20 20 20 7b 49 4e 53 45 52 54 20 4f 52  ORE   {INSERT OR
1500: 20 52 45 50 4c 41 43 45 7d 20 20 20 20 20 30 20   REPLACE}     0 
1510: 34 20 20 20 31 0a 20 20 39 20 46 41 49 4c 20 20  4   1.  9 FAIL  
1520: 20 20 20 7b 49 4e 53 45 52 54 20 4f 52 20 49 47     {INSERT OR IG
1530: 4e 4f 52 45 7d 20 20 20 20 20 20 30 20 33 20 20  NORE}      0 3  
1540: 20 31 0a 20 31 30 20 41 42 4f 52 54 20 20 20 20   1. 10 ABORT    
1550: 7b 49 4e 53 45 52 54 20 4f 52 20 52 45 50 4c 41  {INSERT OR REPLA
1560: 43 45 7d 20 20 20 20 20 30 20 34 20 20 20 31 0a  CE}     0 4   1.
1570: 20 31 31 20 52 4f 4c 4c 42 41 43 4b 20 7b 49 4e   11 ROLLBACK {IN
1580: 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45 20 7d  SERT OR IGNORE }
1590: 20 20 20 20 20 30 20 33 20 20 20 31 0a 7d 20 7b       0 3   1.} {
15a0: 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c  .  do_test confl
15b0: 69 63 74 2d 34 2e 24 69 20 7b 0a 20 20 20 20 69  ict-4.$i {.    i
15c0: 66 20 7b 24 63 6f 6e 66 31 21 3d 22 22 7d 20 7b  f {$conf1!=""} {
15d0: 73 65 74 20 63 6f 6e 66 31 20 22 4f 4e 20 43 4f  set conf1 "ON CO
15e0: 4e 46 4c 49 43 54 20 24 63 6f 6e 66 31 22 7d 0a  NFLICT $conf1"}.
15f0: 20 20 20 20 73 65 74 20 72 30 20 5b 63 61 74 63      set r0 [catc
1600: 68 20 7b 65 78 65 63 73 71 6c 20 5b 73 75 62 73  h {execsql [subs
1610: 74 20 7b 0a 20 20 20 20 20 20 44 52 4f 50 20 54  t {.      DROP T
1620: 41 42 4c 45 20 74 31 3b 0a 20 20 20 20 20 20 43  ABLE t1;.      C
1630: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 61  REATE TABLE t1(a
1640: 2c 62 2c 63 2c 55 4e 49 51 55 45 28 61 2c 62 29  ,b,c,UNIQUE(a,b)
1650: 20 24 63 6f 6e 66 31 29 3b 0a 20 20 20 20 20 20   $conf1);.      
1660: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 32 3b 0a  DELETE FROM t2;.
1670: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
1680: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 32 2c  O t1 VALUES(1,2,
1690: 33 29 3b 0a 20 20 20 20 20 20 42 45 47 49 4e 3b  3);.      BEGIN;
16a0: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
16b0: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 31 29 3b  TO t2 VALUES(1);
16c0: 20 0a 20 20 20 20 20 20 24 63 6d 64 20 49 4e 54   .      $cmd INT
16d0: 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 32 2c  O t1 VALUES(1,2,
16e0: 34 29 3b 0a 20 20 20 20 7d 5d 7d 20 72 31 5d 0a  4);.    }]} r1].
16f0: 20 20 20 20 63 61 74 63 68 20 7b 65 78 65 63 73      catch {execs
1700: 71 6c 20 7b 43 4f 4d 4d 49 54 7d 7d 0a 20 20 20  ql {COMMIT}}.   
1710: 20 69 66 20 7b 24 72 30 7d 20 7b 73 65 74 20 72   if {$r0} {set r
1720: 31 20 7b 7d 7d 20 7b 73 65 74 20 72 31 20 5b 65  1 {}} {set r1 [e
1730: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 63  xecsql {SELECT c
1740: 20 46 52 4f 4d 20 74 31 7d 5d 7d 0a 20 20 20 20   FROM t1}]}.    
1750: 73 65 74 20 72 32 20 5b 65 78 65 63 73 71 6c 20  set r2 [execsql 
1760: 7b 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20 74  {SELECT x FROM t
1770: 32 7d 5d 0a 20 20 20 20 6c 69 73 74 20 24 72 30  2}].    list $r0
1780: 20 24 72 31 20 24 72 32 0a 20 20 7d 20 5b 6c 69   $r1 $r2.  } [li
1790: 73 74 20 24 74 30 20 24 74 31 20 24 74 32 5d 0a  st $t0 $t1 $t2].
17a0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c  }..do_test confl
17b0: 69 63 74 2d 35 2e 30 20 7b 0a 20 20 65 78 65 63  ict-5.0 {.  exec
17c0: 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 20 54  sql {.    DROP T
17d0: 41 42 4c 45 20 74 32 3b 0a 20 20 20 20 43 52 45  ABLE t2;.    CRE
17e0: 41 54 45 20 54 41 42 4c 45 20 74 32 28 78 29 3b  ATE TABLE t2(x);
17f0: 0a 20 20 20 20 53 45 4c 45 43 54 20 78 20 46 52  .    SELECT x FR
1800: 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a  OM t2;.  }.} {}.
1810: 0a 23 20 53 69 78 20 63 6f 6c 75 6d 6e 73 20 6f  .# Six columns o
1820: 66 20 63 6f 6e 66 69 67 75 72 61 74 69 6f 6e 20  f configuration 
1830: 64 61 74 61 20 61 73 20 66 6f 6c 6c 6f 77 73 3a  data as follows:
1840: 0a 23 0a 23 20 20 20 69 20 20 20 20 20 20 54 68  .#.#   i      Th
1850: 65 20 72 65 66 65 72 65 6e 63 65 20 6e 75 6d 62  e reference numb
1860: 65 72 20 6f 66 20 74 68 65 20 74 65 73 74 0a 23  er of the test.#
1870: 20 20 20 63 6f 6e 66 31 20 20 54 68 65 20 63 6f     conf1  The co
1880: 6e 66 6c 69 63 74 20 72 65 73 6f 6c 75 74 69 6f  nflict resolutio
1890: 6e 20 61 6c 67 6f 72 69 74 68 6d 20 6f 6e 20 74  n algorithm on t
18a0: 68 65 20 4e 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73  he NOT NULL cons
18b0: 74 72 61 69 6e 74 0a 23 20 20 20 63 6d 64 20 20  traint.#   cmd  
18c0: 20 20 41 6e 20 49 4e 53 45 52 54 20 6f 72 20 52    An INSERT or R
18d0: 45 50 4c 41 43 45 20 63 6f 6d 6d 61 6e 64 20 74  EPLACE command t
18e0: 6f 20 65 78 65 63 75 74 65 20 61 67 61 69 6e 73  o execute agains
18f0: 74 20 74 61 62 6c 65 20 74 31 0a 23 20 20 20 74  t table t1.#   t
1900: 30 20 20 20 20 20 54 72 75 65 20 69 66 20 74 68  0     True if th
1910: 65 72 65 20 69 73 20 61 6e 20 65 72 72 6f 72 20  ere is an error 
1920: 66 72 6f 6d 20 24 63 6d 64 0a 23 20 20 20 74 31  from $cmd.#   t1
1930: 20 20 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66 20       Content of 
1940: 22 63 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74 31  "c" column of t1
1950: 20 61 73 73 75 6d 69 6e 67 20 6e 6f 20 65 72 72   assuming no err
1960: 6f 72 20 69 6e 20 24 63 6d 64 0a 23 20 20 20 74  or in $cmd.#   t
1970: 32 20 20 20 20 20 43 6f 6e 74 65 6e 74 20 6f 66  2     Content of
1980: 20 22 78 22 20 63 6f 6c 75 6d 6e 20 6f 66 20 74   "x" column of t
1990: 32 0a 23 0a 66 6f 72 65 61 63 68 20 7b 69 20 63  2.#.foreach {i c
19a0: 6f 6e 66 31 20 63 6d 64 20 74 30 20 74 31 20 74  onf1 cmd t0 t1 t
19b0: 32 7d 20 7b 0a 20 20 31 20 7b 7d 20 20 20 20 20  2} {.  1 {}     
19c0: 20 20 49 4e 53 45 52 54 20 20 20 20 20 20 20 20    INSERT        
19d0: 20 20 20 20 20 20 20 20 20 20 31 20 7b 7d 20 20            1 {}  
19e0: 31 0a 20 20 32 20 52 45 50 4c 41 43 45 20 20 49  1.  2 REPLACE  I
19f0: 4e 53 45 52 54 20 20 20 20 20 20 20 20 20 20 20  NSERT           
1a00: 20 20 20 20 20 20 20 30 20 35 20 20 20 31 0a 20         0 5   1. 
1a10: 20 33 20 49 47 4e 4f 52 45 20 20 20 49 4e 53 45   3 IGNORE   INSE
1a20: 52 54 20 20 20 20 20 20 20 20 20 20 20 20 20 20  RT              
1a30: 20 20 20 20 30 20 7b 7d 20 20 31 0a 20 20 34 20      0 {}  1.  4 
1a40: 46 41 49 4c 20 20 20 20 20 49 4e 53 45 52 54 20  FAIL     INSERT 
1a50: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1a60: 20 31 20 7b 7d 20 20 31 0a 20 20 35 20 41 42 4f   1 {}  1.  5 ABO
1a70: 52 54 20 20 20 20 49 4e 53 45 52 54 20 20 20 20  RT    INSERT    
1a80: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 31 20                1 
1a90: 7b 7d 20 20 31 0a 20 20 36 20 52 4f 4c 4c 42 41  {}  1.  6 ROLLBA
1aa0: 43 4b 20 49 4e 53 45 52 54 20 20 20 20 20 20 20  CK INSERT       
1ab0: 20 20 20 20 20 20 20 20 20 20 20 31 20 7b 7d 20             1 {} 
1ac0: 20 7b 7d 0a 20 20 37 20 52 45 50 4c 41 43 45 20   {}.  7 REPLACE 
1ad0: 20 7b 49 4e 53 45 52 54 20 4f 52 20 49 47 4e 4f   {INSERT OR IGNO
1ae0: 52 45 7d 20 20 20 20 20 20 30 20 7b 7d 20 20 31  RE}      0 {}  1
1af0: 0a 20 20 38 20 49 47 4e 4f 52 45 20 20 20 7b 49  .  8 IGNORE   {I
1b00: 4e 53 45 52 54 20 4f 52 20 52 45 50 4c 41 43 45  NSERT OR REPLACE
1b10: 7d 20 20 20 20 20 30 20 35 20 20 20 31 0a 20 20  }     0 5   1.  
1b20: 39 20 46 41 49 4c 20 20 20 20 20 7b 49 4e 53 45  9 FAIL     {INSE
1b30: 52 54 20 4f 52 20 49 47 4e 4f 52 45 7d 20 20 20  RT OR IGNORE}   
1b40: 20 20 20 30 20 7b 7d 20 20 31 0a 20 31 30 20 41     0 {}  1. 10 A
1b50: 42 4f 52 54 20 20 20 20 7b 49 4e 53 45 52 54 20  BORT    {INSERT 
1b60: 4f 52 20 52 45 50 4c 41 43 45 7d 20 20 20 20 20  OR REPLACE}     
1b70: 30 20 35 20 20 20 31 0a 20 31 31 20 52 4f 4c 4c  0 5   1. 11 ROLL
1b80: 42 41 43 4b 20 7b 49 4e 53 45 52 54 20 4f 52 20  BACK {INSERT OR 
1b90: 49 47 4e 4f 52 45 7d 20 20 20 20 20 20 30 20 7b  IGNORE}      0 {
1ba0: 7d 20 20 31 0a 20 31 32 20 7b 7d 20 20 20 20 20  }  1. 12 {}     
1bb0: 20 20 7b 49 4e 53 45 52 54 20 4f 52 20 49 47 4e    {INSERT OR IGN
1bc0: 4f 52 45 7d 20 20 20 20 20 20 30 20 7b 7d 20 20  ORE}      0 {}  
1bd0: 31 0a 20 31 33 20 7b 7d 20 20 20 20 20 20 20 7b  1. 13 {}       {
1be0: 49 4e 53 45 52 54 20 4f 52 20 52 45 50 4c 41 43  INSERT OR REPLAC
1bf0: 45 7d 20 20 20 20 20 30 20 35 20 20 20 31 0a 20  E}     0 5   1. 
1c00: 31 34 20 7b 7d 20 20 20 20 20 20 20 7b 49 4e 53  14 {}       {INS
1c10: 45 52 54 20 4f 52 20 46 41 49 4c 7d 20 20 20 20  ERT OR FAIL}    
1c20: 20 20 20 20 31 20 7b 7d 20 20 31 0a 20 31 35 20      1 {}  1. 15 
1c30: 7b 7d 20 20 20 20 20 20 20 7b 49 4e 53 45 52 54  {}       {INSERT
1c40: 20 4f 52 20 41 42 4f 52 54 7d 20 20 20 20 20 20   OR ABORT}      
1c50: 20 31 20 7b 7d 20 20 31 0a 20 31 36 20 7b 7d 20   1 {}  1. 16 {} 
1c60: 20 20 20 20 20 20 7b 49 4e 53 45 52 54 20 4f 52        {INSERT OR
1c70: 20 52 4f 4c 4c 42 41 43 4b 7d 20 20 20 20 31 20   ROLLBACK}    1 
1c80: 7b 7d 20 20 7b 7d 0a 7d 20 7b 0a 20 20 69 66 20  {}  {}.} {.  if 
1c90: 7b 24 74 30 7d 20 7b 73 65 74 20 74 31 20 7b 4e  {$t0} {set t1 {N
1ca0: 4f 54 20 4e 55 4c 4c 20 63 6f 6e 73 74 72 61 69  OT NULL constrai
1cb0: 6e 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 63 7d  nt failed: t1.c}
1cc0: 7d 0a 20 20 64 6f 5f 74 65 73 74 20 63 6f 6e 66  }.  do_test conf
1cd0: 6c 69 63 74 2d 35 2e 24 69 20 7b 0a 20 20 20 20  lict-5.$i {.    
1ce0: 69 66 20 7b 24 63 6f 6e 66 31 21 3d 22 22 7d 20  if {$conf1!=""} 
1cf0: 7b 73 65 74 20 63 6f 6e 66 31 20 22 4f 4e 20 43  {set conf1 "ON C
1d00: 4f 4e 46 4c 49 43 54 20 24 63 6f 6e 66 31 22 7d  ONFLICT $conf1"}
1d10: 0a 20 20 20 20 73 65 74 20 72 30 20 5b 63 61 74  .    set r0 [cat
1d20: 63 68 20 7b 65 78 65 63 73 71 6c 20 5b 73 75 62  ch {execsql [sub
1d30: 73 74 20 7b 0a 20 20 20 20 20 20 44 52 4f 50 20  st {.      DROP 
1d40: 54 41 42 4c 45 20 74 31 3b 0a 20 20 20 20 20 20  TABLE t1;.      
1d50: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
1d60: 61 2c 62 2c 63 20 4e 4f 54 20 4e 55 4c 4c 20 24  a,b,c NOT NULL $
1d70: 63 6f 6e 66 31 20 44 45 46 41 55 4c 54 20 35 29  conf1 DEFAULT 5)
1d80: 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45 20 46  ;.      DELETE F
1d90: 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20 42 45  ROM t2;.      BE
1da0: 47 49 4e 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  GIN;.      INSER
1db0: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
1dc0: 28 31 29 3b 20 0a 20 20 20 20 20 20 24 63 6d 64  (1); .      $cmd
1dd0: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
1de0: 31 2c 32 2c 4e 55 4c 4c 29 3b 0a 20 20 20 20 7d  1,2,NULL);.    }
1df0: 5d 7d 20 72 31 5d 0a 20 20 20 20 63 61 74 63 68  ]} r1].    catch
1e00: 20 7b 65 78 65 63 73 71 6c 20 7b 43 4f 4d 4d 49   {execsql {COMMI
1e10: 54 7d 7d 0a 20 20 20 20 69 66 20 7b 21 24 72 30  T}}.    if {!$r0
1e20: 7d 20 7b 73 65 74 20 72 31 20 5b 65 78 65 63 73  } {set r1 [execs
1e30: 71 6c 20 7b 53 45 4c 45 43 54 20 63 20 46 52 4f  ql {SELECT c FRO
1e40: 4d 20 74 31 7d 5d 7d 0a 20 20 20 20 73 65 74 20  M t1}]}.    set 
1e50: 72 32 20 5b 65 78 65 63 73 71 6c 20 7b 53 45 4c  r2 [execsql {SEL
1e60: 45 43 54 20 78 20 46 52 4f 4d 20 74 32 7d 5d 0a  ECT x FROM t2}].
1e70: 20 20 20 20 6c 69 73 74 20 24 72 30 20 24 72 31      list $r0 $r1
1e80: 20 24 72 32 0a 20 20 7d 20 5b 6c 69 73 74 20 24   $r2.  } [list $
1e90: 74 30 20 24 74 31 20 24 74 32 5d 0a 7d 0a 0a 64  t0 $t1 $t2].}..d
1ea0: 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d  o_test conflict-
1eb0: 36 2e 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  6.0 {.  execsql 
1ec0: 7b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45  {.    DROP TABLE
1ed0: 20 74 32 3b 0a 20 20 20 20 43 52 45 41 54 45 20   t2;.    CREATE 
1ee0: 54 41 42 4c 45 20 74 32 28 61 2c 62 2c 63 29 3b  TABLE t2(a,b,c);
1ef0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1f00: 20 74 32 20 56 41 4c 55 45 53 28 31 2c 32 2c 31   t2 VALUES(1,2,1
1f10: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1f20: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 32 2c 33  TO t2 VALUES(2,3
1f30: 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  ,2);.    INSERT 
1f40: 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 33  INTO t2 VALUES(3
1f50: 2c 34 2c 31 29 3b 0a 20 20 20 20 49 4e 53 45 52  ,4,1);.    INSER
1f60: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
1f70: 28 34 2c 35 2c 34 29 3b 0a 20 20 20 20 53 45 4c  (4,5,4);.    SEL
1f80: 45 43 54 20 63 20 46 52 4f 4d 20 74 32 20 4f 52  ECT c FROM t2 OR
1f90: 44 45 52 20 42 59 20 62 3b 0a 20 20 20 20 43 52  DER BY b;.    CR
1fa0: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 78 29  EATE TABLE t3(x)
1fb0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1fc0: 4f 20 74 33 20 56 41 4c 55 45 53 28 31 29 3b 0a  O t3 VALUES(1);.
1fd0: 20 20 7d 0a 7d 20 7b 31 20 32 20 31 20 34 7d 0a    }.} {1 2 1 4}.
1fe0: 0a 23 20 53 69 78 20 63 6f 6c 75 6d 6e 73 20 6f  .# Six columns o
1ff0: 66 20 63 6f 6e 66 69 67 75 72 61 74 69 6f 6e 20  f configuration 
2000: 64 61 74 61 20 61 73 20 66 6f 6c 6c 6f 77 73 3a  data as follows:
2010: 0a 23 0a 23 20 20 20 69 20 20 20 20 20 20 54 68  .#.#   i      Th
2020: 65 20 72 65 66 65 72 65 6e 63 65 20 6e 75 6d 62  e reference numb
2030: 65 72 20 6f 66 20 74 68 65 20 74 65 73 74 0a 23  er of the test.#
2040: 20 20 20 63 6f 6e 66 31 20 20 54 68 65 20 63 6f     conf1  The co
2050: 6e 66 6c 69 63 74 20 72 65 73 6f 6c 75 74 69 6f  nflict resolutio
2060: 6e 20 61 6c 67 6f 72 69 74 68 6d 20 6f 6e 20 74  n algorithm on t
2070: 68 65 20 55 4e 49 51 55 45 20 63 6f 6e 73 74 72  he UNIQUE constr
2080: 61 69 6e 74 0a 23 20 20 20 63 6d 64 20 20 20 20  aint.#   cmd    
2090: 41 6e 20 55 50 44 41 54 45 20 63 6f 6d 6d 61 6e  An UPDATE comman
20a0: 64 20 74 6f 20 65 78 65 63 75 74 65 20 61 67 61  d to execute aga
20b0: 69 6e 73 74 20 74 61 62 6c 65 20 74 31 0a 23 20  inst table t1.# 
20c0: 20 20 74 30 20 20 20 20 20 54 72 75 65 20 69 66    t0     True if
20d0: 20 74 68 65 72 65 20 69 73 20 61 6e 20 65 72 72   there is an err
20e0: 6f 72 20 66 72 6f 6d 20 24 63 6d 64 0a 23 20 20  or from $cmd.#  
20f0: 20 74 31 20 20 20 20 20 43 6f 6e 74 65 6e 74 20   t1     Content 
2100: 6f 66 20 22 62 22 20 63 6f 6c 75 6d 6e 20 6f 66  of "b" column of
2110: 20 74 31 20 61 73 73 75 6d 69 6e 67 20 6e 6f 20   t1 assuming no 
2120: 65 72 72 6f 72 20 69 6e 20 24 63 6d 64 0a 23 20  error in $cmd.# 
2130: 20 20 74 32 20 20 20 20 20 43 6f 6e 74 65 6e 74    t2     Content
2140: 20 6f 66 20 22 78 22 20 63 6f 6c 75 6d 6e 20 6f   of "x" column o
2150: 66 20 74 33 0a 23 20 20 20 74 33 20 20 20 20 20  f t3.#   t3     
2160: 4e 75 6d 62 65 72 20 6f 66 20 74 65 6d 70 6f 72  Number of tempor
2170: 61 72 79 20 66 69 6c 65 73 20 66 6f 72 20 74 61  ary files for ta
2180: 62 6c 65 73 0a 23 20 20 20 74 34 20 20 20 20 20  bles.#   t4     
2190: 4e 75 6d 62 65 72 20 6f 66 20 74 65 6d 70 6f 72  Number of tempor
21a0: 61 72 79 20 66 69 6c 65 73 20 66 6f 72 20 73 74  ary files for st
21b0: 61 74 65 6d 65 6e 74 20 6a 6f 75 72 6e 61 6c 73  atement journals
21c0: 0a 23 0a 23 20 55 70 64 61 74 65 20 28 32 30 30  .#.# Update (200
21d0: 37 2d 30 38 2d 32 31 29 3a 20 53 69 6e 63 65 20  7-08-21): Since 
21e0: 74 65 6d 70 6f 72 61 72 79 20 74 61 62 6c 65 20  temporary table 
21f0: 66 69 6c 65 73 20 61 72 65 20 6e 6f 77 20 6f 70  files are now op
2200: 65 6e 65 64 20 6c 61 7a 69 6c 79 2c 20 0a 23 20  ened lazily, .# 
2210: 61 6e 64 20 6e 6f 6e 65 20 6f 66 20 74 68 65 20  and none of the 
2220: 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74 73 20  following tests 
2230: 75 73 65 20 6c 61 72 67 65 20 71 75 61 6e 74 69  use large quanti
2240: 74 69 65 73 20 6f 66 20 64 61 74 61 2c 20 74 33  ties of data, t3
2250: 20 69 73 20 61 6c 77 61 79 73 20 30 2e 0a 23 0a   is always 0..#.
2260: 23 20 55 70 64 61 74 65 20 28 32 30 31 36 2d 30  # Update (2016-0
2270: 33 2d 30 34 29 3a 20 53 75 62 6a 6f 75 72 6e 61  3-04): Subjourna
2280: 6c 73 20 6e 6f 77 20 61 6c 73 6f 20 6f 70 65 6e  ls now also open
2290: 20 6c 61 7a 69 6c 79 2c 20 73 6f 20 74 34 20 69   lazily, so t4 i
22a0: 73 20 61 6c 73 6f 20 61 6c 77 61 79 73 20 30 2e  s also always 0.
22b0: 0a 23 0a 66 6f 72 65 61 63 68 20 7b 69 20 63 6f  .#.foreach {i co
22c0: 6e 66 31 20 63 6d 64 20 74 30 20 74 31 20 74 32  nf1 cmd t0 t1 t2
22d0: 20 74 33 20 74 34 7d 20 7b 0a 20 20 31 20 7b 7d   t3 t4} {.  1 {}
22e0: 20 20 20 20 20 20 20 55 50 44 41 54 45 20 20 20         UPDATE   
22f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 31                 1
2300: 20 7b 36 20 37 20 38 20 39 7d 20 20 31 20 30 20   {6 7 8 9}  1 0 
2310: 30 0a 20 20 32 20 52 45 50 4c 41 43 45 20 20 55  0.  2 REPLACE  U
2320: 50 44 41 54 45 20 20 20 20 20 20 20 20 20 20 20  PDATE           
2330: 20 20 20 20 20 20 20 30 20 7b 37 20 36 20 39 7d         0 {7 6 9}
2340: 20 20 20 20 31 20 30 20 30 0a 20 20 33 20 49 47      1 0 0.  3 IG
2350: 4e 4f 52 45 20 20 20 55 50 44 41 54 45 20 20 20  NORE   UPDATE   
2360: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 30                 0
2370: 20 7b 36 20 37 20 33 20 39 7d 20 20 31 20 30 20   {6 7 3 9}  1 0 
2380: 30 0a 20 20 34 20 46 41 49 4c 20 20 20 20 20 55  0.  4 FAIL     U
2390: 50 44 41 54 45 20 20 20 20 20 20 20 20 20 20 20  PDATE           
23a0: 20 20 20 20 20 20 20 31 20 7b 36 20 37 20 33 20         1 {6 7 3 
23b0: 34 7d 20 20 31 20 30 20 30 0a 20 20 35 20 41 42  4}  1 0 0.  5 AB
23c0: 4f 52 54 20 20 20 20 55 50 44 41 54 45 20 20 20  ORT    UPDATE   
23d0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 31                 1
23e0: 20 7b 31 20 32 20 33 20 34 7d 20 20 31 20 30 20   {1 2 3 4}  1 0 
23f0: 30 0a 20 20 36 20 52 4f 4c 4c 42 41 43 4b 20 55  0.  6 ROLLBACK U
2400: 50 44 41 54 45 20 20 20 20 20 20 20 20 20 20 20  PDATE           
2410: 20 20 20 20 20 20 20 31 20 7b 31 20 32 20 33 20         1 {1 2 3 
2420: 34 7d 20 20 30 20 30 20 30 0a 20 20 37 20 52 45  4}  0 0 0.  7 RE
2430: 50 4c 41 43 45 20 20 7b 55 50 44 41 54 45 20 4f  PLACE  {UPDATE O
2440: 52 20 49 47 4e 4f 52 45 7d 20 20 20 20 20 20 30  R IGNORE}      0
2450: 20 7b 36 20 37 20 33 20 39 7d 20 20 31 20 30 20   {6 7 3 9}  1 0 
2460: 30 0a 20 20 38 20 49 47 4e 4f 52 45 20 20 20 7b  0.  8 IGNORE   {
2470: 55 50 44 41 54 45 20 4f 52 20 52 45 50 4c 41 43  UPDATE OR REPLAC
2480: 45 7d 20 20 20 20 20 30 20 7b 37 20 36 20 39 7d  E}     0 {7 6 9}
2490: 20 20 20 20 31 20 30 20 30 0a 20 20 39 20 46 41      1 0 0.  9 FA
24a0: 49 4c 20 20 20 20 20 7b 55 50 44 41 54 45 20 4f  IL     {UPDATE O
24b0: 52 20 49 47 4e 4f 52 45 7d 20 20 20 20 20 20 30  R IGNORE}      0
24c0: 20 7b 36 20 37 20 33 20 39 7d 20 20 31 20 30 20   {6 7 3 9}  1 0 
24d0: 30 0a 20 31 30 20 41 42 4f 52 54 20 20 20 20 7b  0. 10 ABORT    {
24e0: 55 50 44 41 54 45 20 4f 52 20 52 45 50 4c 41 43  UPDATE OR REPLAC
24f0: 45 7d 20 20 20 20 20 30 20 7b 37 20 36 20 39 7d  E}     0 {7 6 9}
2500: 20 20 20 20 31 20 30 20 30 0a 20 31 31 20 52 4f      1 0 0. 11 RO
2510: 4c 4c 42 41 43 4b 20 7b 55 50 44 41 54 45 20 4f  LLBACK {UPDATE O
2520: 52 20 49 47 4e 4f 52 45 7d 20 20 20 20 20 20 30  R IGNORE}      0
2530: 20 7b 36 20 37 20 33 20 39 7d 20 20 31 20 30 20   {6 7 3 9}  1 0 
2540: 30 0a 20 31 32 20 7b 7d 20 20 20 20 20 20 20 7b  0. 12 {}       {
2550: 55 50 44 41 54 45 20 4f 52 20 49 47 4e 4f 52 45  UPDATE OR IGNORE
2560: 7d 20 20 20 20 20 20 30 20 7b 36 20 37 20 33 20  }      0 {6 7 3 
2570: 39 7d 20 20 31 20 30 20 30 0a 20 31 33 20 7b 7d  9}  1 0 0. 13 {}
2580: 20 20 20 20 20 20 20 7b 55 50 44 41 54 45 20 4f         {UPDATE O
2590: 52 20 52 45 50 4c 41 43 45 7d 20 20 20 20 20 30  R REPLACE}     0
25a0: 20 7b 37 20 36 20 39 7d 20 20 20 20 31 20 30 20   {7 6 9}    1 0 
25b0: 30 0a 20 31 34 20 7b 7d 20 20 20 20 20 20 20 7b  0. 14 {}       {
25c0: 55 50 44 41 54 45 20 4f 52 20 46 41 49 4c 7d 20  UPDATE OR FAIL} 
25d0: 20 20 20 20 20 20 20 31 20 7b 36 20 37 20 33 20         1 {6 7 3 
25e0: 34 7d 20 20 31 20 30 20 30 0a 20 31 35 20 7b 7d  4}  1 0 0. 15 {}
25f0: 20 20 20 20 20 20 20 7b 55 50 44 41 54 45 20 4f         {UPDATE O
2600: 52 20 41 42 4f 52 54 7d 20 20 20 20 20 20 20 31  R ABORT}       1
2610: 20 7b 31 20 32 20 33 20 34 7d 20 20 31 20 30 20   {1 2 3 4}  1 0 
2620: 30 0a 20 31 36 20 7b 7d 20 20 20 20 20 20 20 7b  0. 16 {}       {
2630: 55 50 44 41 54 45 20 4f 52 20 52 4f 4c 4c 42 41  UPDATE OR ROLLBA
2640: 43 4b 7d 20 20 20 20 31 20 7b 31 20 32 20 33 20  CK}    1 {1 2 3 
2650: 34 7d 20 20 30 20 30 20 30 0a 7d 20 7b 0a 20 20  4}  0 0 0.} {.  
2660: 69 66 20 7b 24 74 30 7d 20 7b 73 65 74 20 74 31  if {$t0} {set t1
2670: 20 7b 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61   {UNIQUE constra
2680: 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 31 2e 61  int failed: t1.a
2690: 7d 7d 0a 20 20 69 66 20 7b 5b 69 6e 66 6f 20 65  }}.  if {[info e
26a0: 78 69 73 74 73 20 54 45 4d 50 5f 53 54 4f 52 45  xists TEMP_STORE
26b0: 5d 20 26 26 20 24 54 45 4d 50 5f 53 54 4f 52 45  ] && $TEMP_STORE
26c0: 3d 3d 33 7d 20 7b 0a 20 20 20 20 73 65 74 20 74  ==3} {.    set t
26d0: 33 20 30 0a 20 20 7d 20 65 6c 73 65 20 7b 0a 20  3 0.  } else {. 
26e0: 20 20 20 73 65 74 20 74 33 20 5b 65 78 70 72 20     set t3 [expr 
26f0: 7b 24 74 33 2b 24 74 34 7d 5d 0a 20 20 7d 0a 20  {$t3+$t4}].  }. 
2700: 20 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63   do_test conflic
2710: 74 2d 36 2e 24 69 20 7b 0a 20 20 20 20 64 62 20  t-6.$i {.    db 
2720: 63 6c 6f 73 65 0a 20 20 20 20 73 71 6c 69 74 65  close.    sqlite
2730: 33 20 64 62 20 74 65 73 74 2e 64 62 20 0a 20 20  3 db test.db .  
2740: 20 20 69 66 20 7b 24 63 6f 6e 66 31 21 3d 22 22    if {$conf1!=""
2750: 7d 20 7b 73 65 74 20 63 6f 6e 66 31 20 22 4f 4e  } {set conf1 "ON
2760: 20 43 4f 4e 46 4c 49 43 54 20 24 63 6f 6e 66 31   CONFLICT $conf1
2770: 22 7d 0a 20 20 20 20 65 78 65 63 73 71 6c 20 7b  "}.    execsql {
2780: 70 72 61 67 6d 61 20 74 65 6d 70 5f 73 74 6f 72  pragma temp_stor
2790: 65 3d 66 69 6c 65 7d 0a 20 20 20 20 73 65 74 20  e=file}.    set 
27a0: 3a 3a 73 71 6c 69 74 65 5f 6f 70 65 6e 74 65 6d  ::sqlite_opentem
27b0: 70 5f 63 6f 75 6e 74 20 30 0a 20 20 20 20 73 65  p_count 0.    se
27c0: 74 20 72 30 20 5b 63 61 74 63 68 20 7b 65 78 65  t r0 [catch {exe
27d0: 63 73 71 6c 20 5b 73 75 62 73 74 20 7b 0a 20 20  csql [subst {.  
27e0: 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74      DROP TABLE t
27f0: 31 3b 0a 20 20 20 20 20 20 43 52 45 41 54 45 20  1;.      CREATE 
2800: 54 41 42 4c 45 20 74 31 28 61 2c 62 2c 63 2c 20  TABLE t1(a,b,c, 
2810: 55 4e 49 51 55 45 28 61 29 20 24 63 6f 6e 66 31  UNIQUE(a) $conf1
2820: 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  );.      INSERT 
2830: 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 2a  INTO t1 SELECT *
2840: 20 46 52 4f 4d 20 74 32 3b 0a 20 20 20 20 20 20   FROM t2;.      
2850: 55 50 44 41 54 45 20 74 33 20 53 45 54 20 78 3d  UPDATE t3 SET x=
2860: 30 3b 0a 20 20 20 20 20 20 42 45 47 49 4e 3b 0a  0;.      BEGIN;.
2870: 20 20 20 20 20 20 24 63 6d 64 20 74 33 20 53 45        $cmd t3 SE
2880: 54 20 78 3d 31 3b 0a 20 20 20 20 20 20 24 63 6d  T x=1;.      $cm
2890: 64 20 74 31 20 53 45 54 20 62 3d 62 2a 32 3b 0a  d t1 SET b=b*2;.
28a0: 20 20 20 20 20 20 24 63 6d 64 20 74 31 20 53 45        $cmd t1 SE
28b0: 54 20 61 3d 63 2b 35 3b 0a 20 20 20 20 7d 5d 7d  T a=c+5;.    }]}
28c0: 20 72 31 5d 0a 20 20 20 20 63 61 74 63 68 20 7b   r1].    catch {
28d0: 65 78 65 63 73 71 6c 20 7b 43 4f 4d 4d 49 54 7d  execsql {COMMIT}
28e0: 7d 0a 20 20 20 20 69 66 20 7b 21 24 72 30 7d 20  }.    if {!$r0} 
28f0: 7b 73 65 74 20 72 31 20 5b 65 78 65 63 73 71 6c  {set r1 [execsql
2900: 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   {SELECT a FROM 
2910: 74 31 20 4f 52 44 45 52 20 42 59 20 62 7d 5d 7d  t1 ORDER BY b}]}
2920: 0a 20 20 20 20 73 65 74 20 72 32 20 5b 65 78 65  .    set r2 [exe
2930: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 78 20 46  csql {SELECT x F
2940: 52 4f 4d 20 74 33 7d 5d 0a 20 20 20 20 6c 69 73  ROM t3}].    lis
2950: 74 20 24 72 30 20 24 72 31 20 24 72 32 20 24 3a  t $r0 $r1 $r2 $:
2960: 3a 73 71 6c 69 74 65 5f 6f 70 65 6e 74 65 6d 70  :sqlite_opentemp
2970: 5f 63 6f 75 6e 74 0a 20 20 7d 20 5b 6c 69 73 74  _count.  } [list
2980: 20 24 74 30 20 24 74 31 20 24 74 32 20 24 74 33   $t0 $t1 $t2 $t3
2990: 5d 0a 7d 0a 0a 23 20 54 65 73 74 20 74 6f 20 6d  ].}..# Test to m
29a0: 61 6b 65 20 73 75 72 65 20 61 20 6c 6f 74 20 6f  ake sure a lot o
29b0: 66 20 49 47 4e 4f 52 45 73 20 64 6f 6e 27 74 20  f IGNOREs don't 
29c0: 63 61 75 73 65 20 61 20 73 74 61 63 6b 20 6f 76  cause a stack ov
29d0: 65 72 66 6c 6f 77 0a 23 0a 64 6f 5f 74 65 73 74  erflow.#.do_test
29e0: 20 63 6f 6e 66 6c 69 63 74 2d 37 2e 31 20 7b 0a   conflict-7.1 {.
29f0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
2a00: 44 52 4f 50 20 54 41 42 4c 45 20 74 31 3b 0a 20  DROP TABLE t1;. 
2a10: 20 20 20 44 52 4f 50 20 54 41 42 4c 45 20 74 32     DROP TABLE t2
2a20: 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c 45  ;.    DROP TABLE
2a30: 20 74 33 3b 0a 20 20 20 20 43 52 45 41 54 45 20   t3;.    CREATE 
2a40: 54 41 42 4c 45 20 74 31 28 61 20 75 6e 69 71 75  TABLE t1(a uniqu
2a50: 65 2c 20 62 29 3b 0a 20 20 7d 0a 20 20 66 6f 72  e, b);.  }.  for
2a60: 20 7b 73 65 74 20 69 20 31 7d 20 7b 24 69 3c 3d   {set i 1} {$i<=
2a70: 35 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20  50} {incr i} {. 
2a80: 20 20 20 65 78 65 63 73 71 6c 20 22 49 4e 53 45     execsql "INSE
2a90: 52 54 20 69 6e 74 6f 20 74 31 20 76 61 6c 75 65  RT into t1 value
2aa0: 73 28 24 69 2c 5b 65 78 70 72 20 7b 24 69 2b 31  s($i,[expr {$i+1
2ab0: 7d 5d 29 3b 22 0a 20 20 7d 0a 20 20 65 78 65 63  }]);".  }.  exec
2ac0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
2ad0: 20 63 6f 75 6e 74 28 2a 29 2c 20 6d 69 6e 28 61   count(*), min(a
2ae0: 29 2c 20 6d 61 78 28 62 29 20 46 52 4f 4d 20 74  ), max(b) FROM t
2af0: 31 3b 0a 20 20 7d 0a 7d 20 7b 35 30 20 31 20 35  1;.  }.} {50 1 5
2b00: 31 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c  1}.do_test confl
2b10: 69 63 74 2d 37 2e 32 20 7b 0a 20 20 65 78 65 63  ict-7.2 {.  exec
2b20: 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  sql {.    PRAGMA
2b30: 20 63 6f 75 6e 74 5f 63 68 61 6e 67 65 73 3d 6f   count_changes=o
2b40: 6e 3b 0a 20 20 20 20 55 50 44 41 54 45 20 4f 52  n;.    UPDATE OR
2b50: 20 49 47 4e 4f 52 45 20 74 31 20 53 45 54 20 61   IGNORE t1 SET a
2b60: 3d 31 30 30 30 3b 0a 20 20 7d 0a 7d 20 7b 31 7d  =1000;.  }.} {1}
2b70: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
2b80: 74 2d 37 2e 32 2e 31 20 7b 0a 20 20 64 62 20 63  t-7.2.1 {.  db c
2b90: 68 61 6e 67 65 73 0a 7d 20 7b 31 7d 0a 64 6f 5f  hanges.} {1}.do_
2ba0: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 37 2e  test conflict-7.
2bb0: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  3 {.  execsql {.
2bc0: 20 20 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f      SELECT b FRO
2bd0: 4d 20 74 31 20 57 48 45 52 45 20 61 3d 31 30 30  M t1 WHERE a=100
2be0: 30 3b 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 64 6f 5f  0;.  }.} {2}.do_
2bf0: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 37 2e  test conflict-7.
2c00: 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  4 {.  execsql {.
2c10: 20 20 20 20 53 45 4c 45 43 54 20 63 6f 75 6e 74      SELECT count
2c20: 28 2a 29 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d  (*) FROM t1;.  }
2c30: 0a 7d 20 7b 35 30 7d 0a 64 6f 5f 74 65 73 74 20  .} {50}.do_test 
2c40: 63 6f 6e 66 6c 69 63 74 2d 37 2e 35 20 7b 0a 20  conflict-7.5 {. 
2c50: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50   execsql {.    P
2c60: 52 41 47 4d 41 20 63 6f 75 6e 74 5f 63 68 61 6e  RAGMA count_chan
2c70: 67 65 73 3d 6f 6e 3b 0a 20 20 20 20 55 50 44 41  ges=on;.    UPDA
2c80: 54 45 20 4f 52 20 52 45 50 4c 41 43 45 20 74 31  TE OR REPLACE t1
2c90: 20 53 45 54 20 61 3d 31 30 30 31 3b 0a 20 20 7d   SET a=1001;.  }
2ca0: 0a 7d 20 7b 35 30 7d 0a 64 6f 5f 74 65 73 74 20  .} {50}.do_test 
2cb0: 63 6f 6e 66 6c 69 63 74 2d 37 2e 35 2e 31 20 7b  conflict-7.5.1 {
2cc0: 0a 20 20 64 62 20 63 68 61 6e 67 65 73 0a 7d 20  .  db changes.} 
2cd0: 7b 35 30 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e  {50}.do_test con
2ce0: 66 6c 69 63 74 2d 37 2e 36 20 7b 0a 20 20 65 78  flict-7.6 {.  ex
2cf0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
2d00: 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45  CT b FROM t1 WHE
2d10: 52 45 20 61 3d 31 30 30 31 3b 0a 20 20 7d 0a 7d  RE a=1001;.  }.}
2d20: 20 7b 35 31 7d 0a 64 6f 5f 74 65 73 74 20 63 6f   {51}.do_test co
2d30: 6e 66 6c 69 63 74 2d 37 2e 37 20 7b 0a 20 20 65  nflict-7.7 {.  e
2d40: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
2d50: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
2d60: 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a  M t1;.  }.} {1}.
2d70: 0a 23 20 55 70 64 61 74 65 20 66 6f 72 20 76 65  .# Update for ve
2d80: 72 73 69 6f 6e 20 33 3a 20 41 20 53 45 4c 45 43  rsion 3: A SELEC
2d90: 54 20 73 74 61 74 65 6d 65 6e 74 20 6e 6f 20 6c  T statement no l
2da0: 6f 6e 67 65 72 20 72 65 73 65 74 73 20 74 68 65  onger resets the
2db0: 20 63 68 61 6e 67 65 0a 23 20 63 6f 75 6e 74 65   change.# counte
2dc0: 72 20 28 54 65 73 74 20 72 65 73 75 6c 74 20 63  r (Test result c
2dd0: 68 61 6e 67 65 73 20 66 72 6f 6d 20 30 20 74 6f  hanges from 0 to
2de0: 20 35 30 29 2e 0a 64 6f 5f 74 65 73 74 20 63 6f   50)..do_test co
2df0: 6e 66 6c 69 63 74 2d 37 2e 37 2e 31 20 7b 0a 20  nflict-7.7.1 {. 
2e00: 20 64 62 20 63 68 61 6e 67 65 73 0a 7d 20 7b 35   db changes.} {5
2e10: 30 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65 20  0}..# Make sure 
2e20: 74 68 65 20 72 6f 77 20 63 6f 75 6e 74 20 69 73  the row count is
2e30: 20 72 69 67 68 74 20 66 6f 72 20 72 6f 77 73 20   right for rows 
2e40: 74 68 61 74 20 61 72 65 20 69 67 6e 6f 72 65 64  that are ignored
2e50: 20 6f 6e 0a 23 20 61 6e 20 69 6e 73 65 72 74 2e   on.# an insert.
2e60: 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c  .#.do_test confl
2e70: 69 63 74 2d 38 2e 31 20 7b 0a 20 20 65 78 65 63  ict-8.1 {.  exec
2e80: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
2e90: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 20 20 49 4e   FROM t1;.    IN
2ea0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
2eb0: 55 45 53 28 31 2c 32 29 3b 0a 20 20 7d 0a 20 20  UES(1,2);.  }.  
2ec0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e  execsql {.    IN
2ed0: 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45 20 49  SERT OR IGNORE I
2ee0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c  NTO t1 VALUES(2,
2ef0: 33 29 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f  3);.  }.} {1}.do
2f00: 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 38  _test conflict-8
2f10: 2e 31 2e 31 20 7b 0a 20 20 64 62 20 63 68 61 6e  .1.1 {.  db chan
2f20: 67 65 73 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73  ges.} {1}.do_tes
2f30: 74 20 63 6f 6e 66 6c 69 63 74 2d 38 2e 32 20 7b  t conflict-8.2 {
2f40: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
2f50: 20 49 4e 53 45 52 54 20 4f 52 20 49 47 4e 4f 52   INSERT OR IGNOR
2f60: 45 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  E INTO t1 VALUES
2f70: 28 32 2c 34 29 3b 0a 20 20 7d 0a 7d 20 7b 30 7d  (2,4);.  }.} {0}
2f80: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
2f90: 74 2d 38 2e 32 2e 31 20 7b 0a 20 20 64 62 20 63  t-8.2.1 {.  db c
2fa0: 68 61 6e 67 65 73 0a 7d 20 7b 30 7d 0a 64 6f 5f  hanges.} {0}.do_
2fb0: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 38 2e  test conflict-8.
2fc0: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  3 {.  execsql {.
2fd0: 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20 52 45      INSERT OR RE
2fe0: 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 20 56 41  PLACE INTO t1 VA
2ff0: 4c 55 45 53 28 32 2c 34 29 3b 0a 20 20 7d 0a 7d  LUES(2,4);.  }.}
3000: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e   {1}.do_test con
3010: 66 6c 69 63 74 2d 38 2e 33 2e 31 20 7b 0a 20 20  flict-8.3.1 {.  
3020: 64 62 20 63 68 61 6e 67 65 73 0a 7d 20 7b 31 7d  db changes.} {1}
3030: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
3040: 74 2d 38 2e 34 20 7b 0a 20 20 65 78 65 63 73 71  t-8.4 {.  execsq
3050: 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f  l {.    INSERT O
3060: 52 20 49 47 4e 4f 52 45 20 49 4e 54 4f 20 74 31  R IGNORE INTO t1
3070: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
3080: 31 3b 0a 20 20 7d 0a 7d 20 7b 30 7d 0a 64 6f 5f  1;.  }.} {0}.do_
3090: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 38 2e  test conflict-8.
30a0: 34 2e 31 20 7b 0a 20 20 64 62 20 63 68 61 6e 67  4.1 {.  db chang
30b0: 65 73 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74  es.} {0}.do_test
30c0: 20 63 6f 6e 66 6c 69 63 74 2d 38 2e 35 20 7b 0a   conflict-8.5 {.
30d0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
30e0: 49 4e 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45  INSERT OR IGNORE
30f0: 20 49 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20   INTO t1 SELECT 
3100: 61 2b 32 2c 62 2b 32 20 46 52 4f 4d 20 74 31 3b  a+2,b+2 FROM t1;
3110: 0a 20 20 7d 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65  .  }.} {2}.do_te
3120: 73 74 20 63 6f 6e 66 6c 69 63 74 2d 38 2e 35 2e  st conflict-8.5.
3130: 31 20 7b 0a 20 20 64 62 20 63 68 61 6e 67 65 73  1 {.  db changes
3140: 0a 7d 20 7b 32 7d 0a 64 6f 5f 74 65 73 74 20 63  .} {2}.do_test c
3150: 6f 6e 66 6c 69 63 74 2d 38 2e 36 20 7b 0a 20 20  onflict-8.6 {.  
3160: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e  execsql {.    IN
3170: 53 45 52 54 20 4f 52 20 49 47 4e 4f 52 45 20 49  SERT OR IGNORE I
3180: 4e 54 4f 20 74 31 20 53 45 4c 45 43 54 20 61 2b  NTO t1 SELECT a+
3190: 33 2c 62 2b 33 20 46 52 4f 4d 20 74 31 3b 0a 20  3,b+3 FROM t1;. 
31a0: 20 7d 0a 7d 20 7b 33 7d 0a 64 6f 5f 74 65 73 74   }.} {3}.do_test
31b0: 20 63 6f 6e 66 6c 69 63 74 2d 38 2e 36 2e 31 20   conflict-8.6.1 
31c0: 7b 0a 20 20 64 62 20 63 68 61 6e 67 65 73 0a 7d  {.  db changes.}
31d0: 20 7b 33 7d 0a 0a 69 6e 74 65 67 72 69 74 79 5f   {3}..integrity_
31e0: 63 68 65 63 6b 20 63 6f 6e 66 6c 69 63 74 2d 38  check conflict-8
31f0: 2e 39 39 0a 0a 64 6f 5f 74 65 73 74 20 63 6f 6e  .99..do_test con
3200: 66 6c 69 63 74 2d 39 2e 31 20 7b 0a 20 20 65 78  flict-9.1 {.  ex
3210: 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 41 47  ecsql {.    PRAG
3220: 4d 41 20 63 6f 75 6e 74 5f 63 68 61 6e 67 65 73  MA count_changes
3230: 3d 30 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  =0;.    CREATE T
3240: 41 42 4c 45 20 74 32 28 0a 20 20 20 20 20 20 61  ABLE t2(.      a
3250: 20 49 4e 54 45 47 45 52 20 55 4e 49 51 55 45 20   INTEGER UNIQUE 
3260: 4f 4e 20 43 4f 4e 46 4c 49 43 54 20 49 47 4e 4f  ON CONFLICT IGNO
3270: 52 45 2c 0a 20 20 20 20 20 20 62 20 49 4e 54 45  RE,.      b INTE
3280: 47 45 52 20 55 4e 49 51 55 45 20 4f 4e 20 43 4f  GER UNIQUE ON CO
3290: 4e 46 4c 49 43 54 20 46 41 49 4c 2c 0a 20 20 20  NFLICT FAIL,.   
32a0: 20 20 20 63 20 49 4e 54 45 47 45 52 20 55 4e 49     c INTEGER UNI
32b0: 51 55 45 20 4f 4e 20 43 4f 4e 46 4c 49 43 54 20  QUE ON CONFLICT 
32c0: 52 45 50 4c 41 43 45 2c 0a 20 20 20 20 20 20 64  REPLACE,.      d
32d0: 20 49 4e 54 45 47 45 52 20 55 4e 49 51 55 45 20   INTEGER UNIQUE 
32e0: 4f 4e 20 43 4f 4e 46 4c 49 43 54 20 41 42 4f 52  ON CONFLICT ABOR
32f0: 54 2c 0a 20 20 20 20 20 20 65 20 49 4e 54 45 47  T,.      e INTEG
3300: 45 52 20 55 4e 49 51 55 45 20 4f 4e 20 43 4f 4e  ER UNIQUE ON CON
3310: 46 4c 49 43 54 20 52 4f 4c 4c 42 41 43 4b 0a 20  FLICT ROLLBACK. 
3320: 20 20 20 29 3b 0a 20 20 20 20 43 52 45 41 54 45     );.    CREATE
3330: 20 54 41 42 4c 45 20 74 33 28 78 29 3b 0a 20 20   TABLE t3(x);.  
3340: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33    INSERT INTO t3
3350: 20 56 41 4c 55 45 53 28 31 29 3b 0a 20 20 20 20   VALUES(1);.    
3360: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33  SELECT * FROM t3
3370: 3b 0a 20 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74  ;.  }.} {1}.do_t
3380: 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 32  est conflict-9.2
3390: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
33a0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
33b0: 74 32 20 56 41 4c 55 45 53 28 31 2c 31 2c 31 2c  t2 VALUES(1,1,1,
33c0: 31 2c 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1,1);.    INSERT
33d0: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
33e0: 32 2c 32 2c 32 2c 32 2c 32 29 3b 0a 20 20 20 20  2,2,2,2,2);.    
33f0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
3400: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 31 20  ;.  }.} {0 {1 1 
3410: 31 20 31 20 31 20 32 20 32 20 32 20 32 20 32 7d  1 1 1 2 2 2 2 2}
3420: 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69  }.do_test confli
3430: 63 74 2d 39 2e 33 20 7b 0a 20 20 63 61 74 63 68  ct-9.3 {.  catch
3440: 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54  sql {.    INSERT
3450: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
3460: 31 2c 33 2c 33 2c 33 2c 33 29 3b 0a 20 20 20 20  1,3,3,3,3);.    
3470: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
3480: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 31 20 31 20  ;.  }.} {0 {1 1 
3490: 31 20 31 20 31 20 32 20 32 20 32 20 32 20 32 7d  1 1 1 2 2 2 2 2}
34a0: 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69  }.do_test confli
34b0: 63 74 2d 39 2e 34 20 7b 0a 20 20 63 61 74 63 68  ct-9.4 {.  catch
34c0: 73 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45  sql {.    UPDATE
34d0: 20 74 32 20 53 45 54 20 61 3d 61 2b 31 20 57 48   t2 SET a=a+1 WH
34e0: 45 52 45 20 61 3d 31 3b 0a 20 20 20 20 53 45 4c  ERE a=1;.    SEL
34f0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20  ECT * FROM t2;. 
3500: 20 7d 0a 7d 20 7b 30 20 7b 31 20 31 20 31 20 31   }.} {0 {1 1 1 1
3510: 20 31 20 32 20 32 20 32 20 32 20 32 7d 7d 0a 64   1 2 2 2 2 2}}.d
3520: 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d  o_test conflict-
3530: 39 2e 35 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  9.5 {.  catchsql
3540: 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e   {.    INSERT IN
3550: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 33 2c 31  TO t2 VALUES(3,1
3560: 2c 33 2c 33 2c 33 29 3b 0a 20 20 20 20 53 45 4c  ,3,3,3);.    SEL
3570: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20  ECT * FROM t2;. 
3580: 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45 20   }.} {1 {UNIQUE 
3590: 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65  constraint faile
35a0: 64 3a 20 74 32 2e 62 7d 7d 0a 64 6f 5f 74 65 73  d: t2.b}}.do_tes
35b0: 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 36 20 7b  t conflict-9.6 {
35c0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
35d0: 20 20 55 50 44 41 54 45 20 74 32 20 53 45 54 20    UPDATE t2 SET 
35e0: 62 3d 62 2b 31 20 57 48 45 52 45 20 62 3d 31 3b  b=b+1 WHERE b=1;
35f0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
3600: 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20  OM t2;.  }.} {1 
3610: 7b 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61 69  {UNIQUE constrai
3620: 6e 74 20 66 61 69 6c 65 64 3a 20 74 32 2e 62 7d  nt failed: t2.b}
3630: 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69  }.do_test confli
3640: 63 74 2d 39 2e 37 20 7b 0a 20 20 63 61 74 63 68  ct-9.7 {.  catch
3650: 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b  sql {.    BEGIN;
3660: 0a 20 20 20 20 55 50 44 41 54 45 20 74 33 20 53  .    UPDATE t3 S
3670: 45 54 20 78 3d 78 2b 31 3b 0a 20 20 20 20 49 4e  ET x=x+1;.    IN
3680: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
3690: 55 45 53 28 33 2c 31 2c 33 2c 33 2c 33 29 3b 0a  UES(3,1,3,3,3);.
36a0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
36b0: 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  M t2;.  }.} {1 {
36c0: 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61 69 6e  UNIQUE constrain
36d0: 74 20 66 61 69 6c 65 64 3a 20 74 32 2e 62 7d 7d  t failed: t2.b}}
36e0: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
36f0: 74 2d 39 2e 38 20 7b 0a 20 20 65 78 65 63 73 71  t-9.8 {.  execsq
3700: 6c 20 7b 43 4f 4d 4d 49 54 7d 0a 20 20 65 78 65  l {COMMIT}.  exe
3710: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  csql {SELECT * F
3720: 52 4f 4d 20 74 33 7d 0a 7d 20 7b 32 7d 0a 64 6f  ROM t3}.} {2}.do
3730: 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39  _test conflict-9
3740: 2e 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .9 {.  catchsql 
3750: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
3760: 20 55 50 44 41 54 45 20 74 33 20 53 45 54 20 78   UPDATE t3 SET x
3770: 3d 78 2b 31 3b 0a 20 20 20 20 55 50 44 41 54 45  =x+1;.    UPDATE
3780: 20 74 32 20 53 45 54 20 62 3d 62 2b 31 20 57 48   t2 SET b=b+1 WH
3790: 45 52 45 20 62 3d 31 3b 0a 20 20 20 20 53 45 4c  ERE b=1;.    SEL
37a0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20  ECT * FROM t2;. 
37b0: 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45 20   }.} {1 {UNIQUE 
37c0: 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65  constraint faile
37d0: 64 3a 20 74 32 2e 62 7d 7d 0a 64 6f 5f 74 65 73  d: t2.b}}.do_tes
37e0: 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 31 30 20  t conflict-9.10 
37f0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 43 4f 4d  {.  execsql {COM
3800: 4d 49 54 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  MIT}.  execsql {
3810: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33  SELECT * FROM t3
3820: 7d 0a 7d 20 7b 33 7d 0a 64 6f 5f 74 65 73 74 20  }.} {3}.do_test 
3830: 63 6f 6e 66 6c 69 63 74 2d 39 2e 31 31 20 7b 0a  conflict-9.11 {.
3840: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
3850: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
3860: 56 41 4c 55 45 53 28 33 2c 33 2c 33 2c 31 2c 33  VALUES(3,3,3,1,3
3870: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
3880: 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b  FROM t2;.  }.} {
3890: 31 20 7b 55 4e 49 51 55 45 20 63 6f 6e 73 74 72  1 {UNIQUE constr
38a0: 61 69 6e 74 20 66 61 69 6c 65 64 3a 20 74 32 2e  aint failed: t2.
38b0: 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66  d}}.do_test conf
38c0: 6c 69 63 74 2d 39 2e 31 32 20 7b 0a 20 20 63 61  lict-9.12 {.  ca
38d0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 55 50 44  tchsql {.    UPD
38e0: 41 54 45 20 74 32 20 53 45 54 20 64 3d 64 2b 31  ATE t2 SET d=d+1
38f0: 20 57 48 45 52 45 20 64 3d 31 3b 0a 20 20 20 20   WHERE d=1;.    
3900: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
3910: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51  ;.  }.} {1 {UNIQ
3920: 55 45 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61  UE constraint fa
3930: 69 6c 65 64 3a 20 74 32 2e 64 7d 7d 0a 64 6f 5f  iled: t2.d}}.do_
3940: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e  test conflict-9.
3950: 31 33 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  13 {.  catchsql 
3960: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
3970: 20 55 50 44 41 54 45 20 74 33 20 53 45 54 20 78   UPDATE t3 SET x
3980: 3d 78 2b 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  =x+1;.    INSERT
3990: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
39a0: 33 2c 33 2c 33 2c 31 2c 33 29 3b 0a 20 20 20 20  3,3,3,1,3);.    
39b0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
39c0: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51  ;.  }.} {1 {UNIQ
39d0: 55 45 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61  UE constraint fa
39e0: 69 6c 65 64 3a 20 74 32 2e 64 7d 7d 0a 64 6f 5f  iled: t2.d}}.do_
39f0: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e  test conflict-9.
3a00: 31 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  14 {.  execsql {
3a10: 43 4f 4d 4d 49 54 7d 0a 20 20 65 78 65 63 73 71  COMMIT}.  execsq
3a20: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
3a30: 20 74 33 7d 0a 7d 20 7b 34 7d 0a 64 6f 5f 74 65   t3}.} {4}.do_te
3a40: 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 31 35  st conflict-9.15
3a50: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
3a60: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55      BEGIN;.    U
3a70: 50 44 41 54 45 20 74 33 20 53 45 54 20 78 3d 78  PDATE t3 SET x=x
3a80: 2b 31 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74  +1;.    UPDATE t
3a90: 32 20 53 45 54 20 64 3d 64 2b 31 20 57 48 45 52  2 SET d=d+1 WHER
3aa0: 45 20 64 3d 31 3b 0a 20 20 20 20 53 45 4c 45 43  E d=1;.    SELEC
3ab0: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d  T * FROM t2;.  }
3ac0: 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45 20 63 6f  .} {1 {UNIQUE co
3ad0: 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a  nstraint failed:
3ae0: 20 74 32 2e 64 7d 7d 0a 64 6f 5f 74 65 73 74 20   t2.d}}.do_test 
3af0: 63 6f 6e 66 6c 69 63 74 2d 39 2e 31 36 20 7b 0a  conflict-9.16 {.
3b00: 20 20 65 78 65 63 73 71 6c 20 7b 43 4f 4d 4d 49    execsql {COMMI
3b10: 54 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45  T}.  execsql {SE
3b20: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 7d 0a  LECT * FROM t3}.
3b30: 7d 20 7b 35 7d 0a 64 6f 5f 74 65 73 74 20 63 6f  } {5}.do_test co
3b40: 6e 66 6c 69 63 74 2d 39 2e 31 37 20 7b 0a 20 20  nflict-9.17 {.  
3b50: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49  catchsql {.    I
3b60: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
3b70: 4c 55 45 53 28 33 2c 33 2c 33 2c 33 2c 31 29 3b  LUES(3,3,3,3,1);
3b80: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
3b90: 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 31 20  OM t2;.  }.} {1 
3ba0: 7b 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61 69  {UNIQUE constrai
3bb0: 6e 74 20 66 61 69 6c 65 64 3a 20 74 32 2e 65 7d  nt failed: t2.e}
3bc0: 7d 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69  }.do_test confli
3bd0: 63 74 2d 39 2e 31 38 20 7b 0a 20 20 63 61 74 63  ct-9.18 {.  catc
3be0: 68 73 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54  hsql {.    UPDAT
3bf0: 45 20 74 32 20 53 45 54 20 65 3d 65 2b 31 20 57  E t2 SET e=e+1 W
3c00: 48 45 52 45 20 65 3d 31 3b 0a 20 20 20 20 53 45  HERE e=1;.    SE
3c10: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a  LECT * FROM t2;.
3c20: 20 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45    }.} {1 {UNIQUE
3c30: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
3c40: 65 64 3a 20 74 32 2e 65 7d 7d 0a 64 6f 5f 74 65  ed: t2.e}}.do_te
3c50: 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 31 39  st conflict-9.19
3c60: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
3c70: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55      BEGIN;.    U
3c80: 50 44 41 54 45 20 74 33 20 53 45 54 20 78 3d 78  PDATE t3 SET x=x
3c90: 2b 31 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  +1;.    INSERT I
3ca0: 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28 33 2c  NTO t2 VALUES(3,
3cb0: 33 2c 33 2c 33 2c 31 29 3b 0a 20 20 20 20 53 45  3,3,3,1);.    SE
3cc0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a  LECT * FROM t2;.
3cd0: 20 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45    }.} {1 {UNIQUE
3ce0: 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c   constraint fail
3cf0: 65 64 3a 20 74 32 2e 65 7d 7d 0a 76 65 72 69 66  ed: t2.e}}.verif
3d00: 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 63 6f 6e  y_ex_errcode con
3d10: 66 6c 69 63 74 2d 39 2e 32 31 62 20 53 51 4c 49  flict-9.21b SQLI
3d20: 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 55 4e  TE_CONSTRAINT_UN
3d30: 49 51 55 45 0a 64 6f 5f 74 65 73 74 20 63 6f 6e  IQUE.do_test con
3d40: 66 6c 69 63 74 2d 39 2e 32 30 20 7b 0a 20 20 63  flict-9.20 {.  c
3d50: 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 43  atch {execsql {C
3d60: 4f 4d 4d 49 54 7d 7d 0a 20 20 65 78 65 63 73 71  OMMIT}}.  execsq
3d70: 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  l {SELECT * FROM
3d80: 20 74 33 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65   t3}.} {5}.do_te
3d90: 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 32 31  st conflict-9.21
3da0: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
3db0: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 55      BEGIN;.    U
3dc0: 50 44 41 54 45 20 74 33 20 53 45 54 20 78 3d 78  PDATE t3 SET x=x
3dd0: 2b 31 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74  +1;.    UPDATE t
3de0: 32 20 53 45 54 20 65 3d 65 2b 31 20 57 48 45 52  2 SET e=e+1 WHER
3df0: 45 20 65 3d 31 3b 0a 20 20 20 20 53 45 4c 45 43  E e=1;.    SELEC
3e00: 54 20 2a 20 46 52 4f 4d 20 74 32 3b 0a 20 20 7d  T * FROM t2;.  }
3e10: 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45 20 63 6f  .} {1 {UNIQUE co
3e20: 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a  nstraint failed:
3e30: 20 74 32 2e 65 7d 7d 0a 76 65 72 69 66 79 5f 65   t2.e}}.verify_e
3e40: 78 5f 65 72 72 63 6f 64 65 20 63 6f 6e 66 6c 69  x_errcode confli
3e50: 63 74 2d 39 2e 32 31 62 20 53 51 4c 49 54 45 5f  ct-9.21b SQLITE_
3e60: 43 4f 4e 53 54 52 41 49 4e 54 5f 55 4e 49 51 55  CONSTRAINT_UNIQU
3e70: 45 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69  E.do_test confli
3e80: 63 74 2d 39 2e 32 32 20 7b 0a 20 20 63 61 74 63  ct-9.22 {.  catc
3e90: 68 20 7b 65 78 65 63 73 71 6c 20 7b 43 4f 4d 4d  h {execsql {COMM
3ea0: 49 54 7d 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  IT}}.  execsql {
3eb0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33  SELECT * FROM t3
3ec0: 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65 73 74 20  }.} {5}.do_test 
3ed0: 63 6f 6e 66 6c 69 63 74 2d 39 2e 32 33 20 7b 0a  conflict-9.23 {.
3ee0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
3ef0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
3f00: 56 41 4c 55 45 53 28 33 2c 33 2c 31 2c 33 2c 33  VALUES(3,3,1,3,3
3f10: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
3f20: 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b  FROM t2;.  }.} {
3f30: 30 20 7b 32 20 32 20 32 20 32 20 32 20 33 20 33  0 {2 2 2 2 2 3 3
3f40: 20 31 20 33 20 33 7d 7d 0a 64 6f 5f 74 65 73 74   1 3 3}}.do_test
3f50: 20 63 6f 6e 66 6c 69 63 74 2d 39 2e 32 34 20 7b   conflict-9.24 {
3f60: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
3f70: 20 20 55 50 44 41 54 45 20 74 32 20 53 45 54 20    UPDATE t2 SET 
3f80: 63 3d 63 2d 31 20 57 48 45 52 45 20 63 3d 32 3b  c=c-1 WHERE c=2;
3f90: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
3fa0: 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b 30 20  OM t2;.  }.} {0 
3fb0: 7b 32 20 32 20 31 20 32 20 32 7d 7d 0a 64 6f 5f  {2 2 1 2 2}}.do_
3fc0: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 39 2e  test conflict-9.
3fd0: 32 35 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  25 {.  catchsql 
3fe0: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
3ff0: 20 55 50 44 41 54 45 20 74 33 20 53 45 54 20 78   UPDATE t3 SET x
4000: 3d 78 2b 31 3b 0a 20 20 20 20 49 4e 53 45 52 54  =x+1;.    INSERT
4010: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
4020: 33 2c 33 2c 31 2c 33 2c 33 29 3b 0a 20 20 20 20  3,3,1,3,3);.    
4030: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
4040: 3b 0a 20 20 7d 0a 7d 20 7b 30 20 7b 33 20 33 20  ;.  }.} {0 {3 3 
4050: 31 20 33 20 33 7d 7d 0a 64 6f 5f 74 65 73 74 20  1 3 3}}.do_test 
4060: 63 6f 6e 66 6c 69 63 74 2d 39 2e 32 36 20 7b 0a  conflict-9.26 {.
4070: 20 20 63 61 74 63 68 20 7b 65 78 65 63 73 71 6c    catch {execsql
4080: 20 7b 43 4f 4d 4d 49 54 7d 7d 0a 20 20 65 78 65   {COMMIT}}.  exe
4090: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  csql {SELECT * F
40a0: 52 4f 4d 20 74 33 7d 0a 7d 20 7b 36 7d 0a 0a 64  ROM t3}.} {6}..d
40b0: 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d  o_test conflict-
40c0: 31 30 2e 31 20 7b 0a 20 20 63 61 74 63 68 73 71  10.1 {.  catchsq
40d0: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
40e0: 52 4f 4d 20 74 31 3b 0a 20 20 20 20 42 45 47 49  ROM t1;.    BEGI
40f0: 4e 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52  N;.    INSERT OR
4100: 20 52 4f 4c 4c 42 41 43 4b 20 49 4e 54 4f 20 74   ROLLBACK INTO t
4110: 31 20 56 41 4c 55 45 53 28 31 2c 32 29 3b 0a 20  1 VALUES(1,2);. 
4120: 20 20 20 49 4e 53 45 52 54 20 4f 52 20 52 4f 4c     INSERT OR ROL
4130: 4c 42 41 43 4b 20 49 4e 54 4f 20 74 31 20 56 41  LBACK INTO t1 VA
4140: 4c 55 45 53 28 31 2c 33 29 3b 0a 20 20 20 20 43  LUES(1,3);.    C
4150: 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20 20 65 78 65  OMMIT;.  }.  exe
4160: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  csql {SELECT * F
4170: 52 4f 4d 20 74 31 7d 0a 7d 20 7b 7d 0a 64 6f 5f  ROM t1}.} {}.do_
4180: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 31 30  test conflict-10
4190: 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .2 {.  catchsql 
41a0: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
41b0: 4c 45 20 74 34 28 78 29 3b 0a 20 20 20 20 43 52  LE t4(x);.    CR
41c0: 45 41 54 45 20 55 4e 49 51 55 45 20 49 4e 44 45  EATE UNIQUE INDE
41d0: 58 20 74 34 78 20 4f 4e 20 74 34 28 78 29 3b 0a  X t4x ON t4(x);.
41e0: 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 49      BEGIN;.    I
41f0: 4e 53 45 52 54 20 4f 52 20 52 4f 4c 4c 42 41 43  NSERT OR ROLLBAC
4200: 4b 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45 53  K INTO t4 VALUES
4210: 28 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (1);.    INSERT 
4220: 4f 52 20 52 4f 4c 4c 42 41 43 4b 20 49 4e 54 4f  OR ROLLBACK INTO
4230: 20 74 34 20 56 41 4c 55 45 53 28 31 29 3b 0a 20   t4 VALUES(1);. 
4240: 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 20     COMMIT;.  }. 
4250: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
4260: 20 2a 20 46 52 4f 4d 20 74 34 7d 0a 7d 20 7b 7d   * FROM t4}.} {}
4270: 0a 0a 23 20 54 69 63 6b 65 74 20 23 31 31 37 31  ..# Ticket #1171
4280: 2e 20 20 4d 61 6b 65 20 73 75 72 65 20 73 74 61  .  Make sure sta
4290: 74 65 6d 65 6e 74 20 72 6f 6c 6c 62 61 63 6b 73  tement rollbacks
42a0: 20 64 6f 20 6e 6f 74 0a 23 20 64 61 6d 61 67 65   do not.# damage
42b0: 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 0a 23   the database..#
42c0: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
42d0: 74 2d 31 31 2e 31 20 7b 0a 20 20 65 78 65 63 73  t-11.1 {.  execs
42e0: 71 6c 20 7b 0a 20 20 20 20 2d 2d 20 43 72 65 61  ql {.    -- Crea
42f0: 74 65 20 61 20 64 61 74 61 62 61 73 65 20 6f 62  te a database ob
4300: 6a 65 63 74 20 28 70 61 67 65 73 20 32 2c 20 33  ject (pages 2, 3
4310: 20 6f 66 20 74 68 65 20 66 69 6c 65 29 0a 20 20   of the file).  
4320: 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 43    BEGIN;.      C
4330: 52 45 41 54 45 20 54 41 42 4c 45 20 61 62 63 28  REATE TABLE abc(
4340: 61 20 55 4e 49 51 55 45 2c 20 62 2c 20 63 29 3b  a UNIQUE, b, c);
4350: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
4360: 54 4f 20 61 62 63 20 56 41 4c 55 45 53 28 31 2c  TO abc VALUES(1,
4370: 20 32 2c 20 33 29 3b 0a 20 20 20 20 20 20 49 4e   2, 3);.      IN
4380: 53 45 52 54 20 49 4e 54 4f 20 61 62 63 20 56 41  SERT INTO abc VA
4390: 4c 55 45 53 28 34 2c 20 35 2c 20 36 29 3b 0a 20  LUES(4, 5, 6);. 
43a0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
43b0: 20 61 62 63 20 56 41 4c 55 45 53 28 37 2c 20 38   abc VALUES(7, 8
43c0: 2c 20 39 29 3b 0a 20 20 20 20 43 4f 4d 4d 49 54  , 9);.    COMMIT
43d0: 3b 0a 20 20 7d 0a 0a 20 20 0a 20 20 23 20 53 65  ;.  }..  .  # Se
43e0: 74 20 61 20 73 6d 61 6c 6c 20 63 61 63 68 65 20  t a small cache 
43f0: 73 69 7a 65 20 73 6f 20 74 68 61 74 20 63 68 61  size so that cha
4400: 6e 67 65 73 20 77 69 6c 6c 20 73 70 69 6c 6c 20  nges will spill 
4410: 69 6e 74 6f 0a 20 20 23 20 74 68 65 20 64 61 74  into.  # the dat
4420: 61 62 61 73 65 20 66 69 6c 65 2e 20 20 0a 20 20  abase file.  .  
4430: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52  execsql {.    PR
4440: 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65 20  AGMA cache_size 
4450: 3d 20 31 30 3b 0a 20 20 7d 0a 20 20 0a 20 20 23  = 10;.  }.  .  #
4460: 20 4d 61 6b 65 20 6c 6f 74 73 20 6f 66 20 63 68   Make lots of ch
4470: 61 6e 67 65 73 2e 20 20 42 65 63 61 75 73 65 20  anges.  Because 
4480: 6f 66 20 74 68 65 20 73 6d 61 6c 6c 20 63 61 63  of the small cac
4490: 68 65 2c 20 73 6f 6d 65 0a 20 20 23 20 28 6d 6f  he, some.  # (mo
44a0: 73 74 3f 29 20 6f 66 20 74 68 65 73 65 20 63 68  st?) of these ch
44b0: 61 6e 67 65 73 20 77 69 6c 6c 20 73 70 69 6c 6c  anges will spill
44c0: 20 69 6e 74 6f 20 74 68 65 20 64 69 73 6b 20 66   into the disk f
44d0: 69 6c 65 2e 0a 20 20 23 20 49 6e 20 6f 74 68 65  ile..  # In othe
44e0: 72 20 77 6f 72 64 73 2c 20 73 6f 6d 65 20 6f 66  r words, some of
44f0: 20 74 68 65 20 63 68 61 6e 67 65 73 20 77 69 6c   the changes wil
4500: 6c 20 6e 6f 74 20 62 65 20 68 65 6c 64 20 69 6e  l not be held in
4510: 0a 20 20 23 20 63 61 63 68 65 2e 0a 20 20 23 0a  .  # cache..  #.
4520: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
4530: 42 45 47 49 4e 3b 0a 20 20 20 20 20 20 2d 2d 20  BEGIN;.      -- 
4540: 4d 61 6b 65 20 73 75 72 65 20 74 68 65 20 70 61  Make sure the pa
4550: 67 65 72 20 69 73 20 69 6e 20 45 58 43 4c 55 53  ger is in EXCLUS
4560: 49 56 45 20 73 74 61 74 65 2e 0a 20 20 20 20 20  IVE state..     
4570: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 64 65   CREATE TABLE de
4580: 66 28 64 2c 20 65 2c 20 66 29 3b 0a 20 20 20 20  f(d, e, f);.    
4590: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 65    INSERT INTO de
45a0: 66 20 56 41 4c 55 45 53 0a 20 20 20 20 20 20 20  f VALUES.       
45b0: 20 20 20 28 27 78 78 78 78 78 78 78 78 78 78 78     ('xxxxxxxxxxx
45c0: 78 78 78 78 27 2c 20 27 79 79 79 79 79 79 79 79  xxxx', 'yyyyyyyy
45d0: 79 79 79 79 79 79 79 79 27 2c 20 27 7a 7a 7a 7a  yyyyyyyy', 'zzzz
45e0: 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 27 29 3b 0a  zzzzzzzzzzzz');.
45f0: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
4600: 4f 20 64 65 66 20 53 45 4c 45 43 54 20 2a 20 46  O def SELECT * F
4610: 52 4f 4d 20 64 65 66 3b 0a 20 20 20 20 20 20 49  ROM def;.      I
4620: 4e 53 45 52 54 20 49 4e 54 4f 20 64 65 66 20 53  NSERT INTO def S
4630: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 64 65 66  ELECT * FROM def
4640: 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  ;.      INSERT I
4650: 4e 54 4f 20 64 65 66 20 53 45 4c 45 43 54 20 2a  NTO def SELECT *
4660: 20 46 52 4f 4d 20 64 65 66 3b 0a 20 20 20 20 20   FROM def;.     
4670: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 65 66   INSERT INTO def
4680: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 64   SELECT * FROM d
4690: 65 66 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54  ef;.      INSERT
46a0: 20 49 4e 54 4f 20 64 65 66 20 53 45 4c 45 43 54   INTO def SELECT
46b0: 20 2a 20 46 52 4f 4d 20 64 65 66 3b 0a 20 20 20   * FROM def;.   
46c0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64     INSERT INTO d
46d0: 65 66 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  ef SELECT * FROM
46e0: 20 64 65 66 3b 0a 20 20 20 20 20 20 49 4e 53 45   def;.      INSE
46f0: 52 54 20 49 4e 54 4f 20 64 65 66 20 53 45 4c 45  RT INTO def SELE
4700: 43 54 20 2a 20 46 52 4f 4d 20 64 65 66 3b 0a 20  CT * FROM def;. 
4710: 20 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d       DELETE FROM
4720: 20 61 62 63 20 57 48 45 52 45 20 61 20 3d 20 34   abc WHERE a = 4
4730: 3b 0a 20 20 7d 0a 0a 20 20 23 20 45 78 65 63 75  ;.  }..  # Execu
4740: 74 65 20 61 20 73 74 61 74 65 6d 65 6e 74 20 74  te a statement t
4750: 68 61 74 20 64 6f 65 73 20 61 20 73 74 61 74 65  hat does a state
4760: 6d 65 6e 74 20 72 6f 6c 6c 62 61 63 6b 20 64 75  ment rollback du
4770: 65 20 74 6f 0a 20 20 23 20 61 20 63 6f 6e 73 74  e to.  # a const
4780: 72 61 69 6e 74 20 66 61 69 6c 75 72 65 2e 0a 20  raint failure.. 
4790: 20 23 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   #.  catchsql {.
47a0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
47b0: 61 62 63 20 53 45 4c 45 43 54 20 31 30 2c 20 32  abc SELECT 10, 2
47c0: 30 2c 20 33 30 20 46 52 4f 4d 20 64 65 66 3b 0a  0, 30 FROM def;.
47d0: 20 20 7d 0a 0a 20 20 23 20 52 6f 6c 6c 62 61 63    }..  # Rollbac
47e0: 6b 20 74 68 65 20 64 61 74 61 62 61 73 65 2e 20  k the database. 
47f0: 20 56 65 72 69 66 79 20 74 68 61 74 20 74 68 65   Verify that the
4800: 20 73 74 61 74 65 20 6f 66 20 74 68 65 20 41 42   state of the AB
4810: 43 20 74 61 62 6c 65 0a 20 20 23 20 69 73 20 75  C table.  # is u
4820: 6e 63 68 61 6e 67 65 64 20 66 72 6f 6d 20 74 68  nchanged from th
4830: 65 20 62 65 67 69 6e 6e 69 6e 67 20 6f 66 20 74  e beginning of t
4840: 68 65 20 74 72 61 6e 73 61 63 74 69 6f 6e 2e 20  he transaction. 
4850: 20 49 6e 20 6f 74 68 65 72 20 77 6f 72 64 73 2c   In other words,
4860: 0a 20 20 23 20 6d 61 6b 65 20 73 75 72 65 20 74  .  # make sure t
4870: 68 65 20 44 45 4c 45 54 45 20 6f 6e 20 74 61 62  he DELETE on tab
4880: 6c 65 20 41 42 43 20 74 68 61 74 20 6f 63 63 75  le ABC that occu
4890: 72 72 65 64 20 77 69 74 68 69 6e 20 74 68 65 20  rred within the 
48a0: 74 72 61 6e 73 61 63 74 69 6f 6e 0a 20 20 23 20  transaction.  # 
48b0: 68 61 64 20 6e 6f 20 65 66 66 65 63 74 2e 0a 20  had no effect.. 
48c0: 20 23 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   #.  execsql {. 
48d0: 20 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a 20 20 20     ROLLBACK;.   
48e0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61   SELECT * FROM a
48f0: 62 63 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33  bc;.  }.} {1 2 3
4900: 20 34 20 35 20 36 20 37 20 38 20 39 7d 0a 69 6e   4 5 6 7 8 9}.in
4910: 74 65 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f  tegrity_check co
4920: 6e 66 6c 69 63 74 2d 31 31 2e 32 0a 0a 23 20 52  nflict-11.2..# R
4930: 65 70 65 61 74 20 74 65 73 74 20 63 6f 6e 66 6c  epeat test confl
4940: 69 63 74 2d 31 31 2e 31 20 62 75 74 20 74 68 69  ict-11.1 but thi
4950: 73 20 74 69 6d 65 20 63 6f 6d 6d 69 74 2e 0a 23  s time commit..#
4960: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
4970: 74 2d 31 31 2e 33 20 7b 0a 20 20 65 78 65 63 73  t-11.3 {.  execs
4980: 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a  ql {.    BEGIN;.
4990: 20 20 20 20 20 20 2d 2d 20 4d 61 6b 65 20 73 75        -- Make su
49a0: 72 65 20 74 68 65 20 70 61 67 65 72 20 69 73 20  re the pager is 
49b0: 69 6e 20 45 58 43 4c 55 53 49 56 45 20 73 74 61  in EXCLUSIVE sta
49c0: 74 65 2e 0a 20 20 20 20 20 20 55 50 44 41 54 45  te..      UPDATE
49d0: 20 61 62 63 20 53 45 54 20 61 3d 61 2b 31 3b 0a   abc SET a=a+1;.
49e0: 20 20 20 20 20 20 43 52 45 41 54 45 20 54 41 42        CREATE TAB
49f0: 4c 45 20 64 65 66 28 64 2c 20 65 2c 20 66 29 3b  LE def(d, e, f);
4a00: 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e  .      INSERT IN
4a10: 54 4f 20 64 65 66 20 56 41 4c 55 45 53 0a 20 20  TO def VALUES.  
4a20: 20 20 20 20 20 20 20 20 28 27 78 78 78 78 78 78          ('xxxxxx
4a30: 78 78 78 78 78 78 78 78 78 27 2c 20 27 79 79 79  xxxxxxxxx', 'yyy
4a40: 79 79 79 79 79 79 79 79 79 79 79 79 79 27 2c 20  yyyyyyyyyyyyy', 
4a50: 27 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a  'zzzzzzzzzzzzzzz
4a60: 7a 27 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  z');.      INSER
4a70: 54 20 49 4e 54 4f 20 64 65 66 20 53 45 4c 45 43  T INTO def SELEC
4a80: 54 20 2a 20 46 52 4f 4d 20 64 65 66 3b 0a 20 20  T * FROM def;.  
4a90: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4aa0: 64 65 66 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  def SELECT * FRO
4ab0: 4d 20 64 65 66 3b 0a 20 20 20 20 20 20 49 4e 53  M def;.      INS
4ac0: 45 52 54 20 49 4e 54 4f 20 64 65 66 20 53 45 4c  ERT INTO def SEL
4ad0: 45 43 54 20 2a 20 46 52 4f 4d 20 64 65 66 3b 0a  ECT * FROM def;.
4ae0: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
4af0: 4f 20 64 65 66 20 53 45 4c 45 43 54 20 2a 20 46  O def SELECT * F
4b00: 52 4f 4d 20 64 65 66 3b 0a 20 20 20 20 20 20 49  ROM def;.      I
4b10: 4e 53 45 52 54 20 49 4e 54 4f 20 64 65 66 20 53  NSERT INTO def S
4b20: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 64 65 66  ELECT * FROM def
4b30: 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20 49  ;.      INSERT I
4b40: 4e 54 4f 20 64 65 66 20 53 45 4c 45 43 54 20 2a  NTO def SELECT *
4b50: 20 46 52 4f 4d 20 64 65 66 3b 0a 20 20 20 20 20   FROM def;.     
4b60: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 65 66   INSERT INTO def
4b70: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 64   SELECT * FROM d
4b80: 65 66 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45  ef;.      DELETE
4b90: 20 46 52 4f 4d 20 61 62 63 20 57 48 45 52 45 20   FROM abc WHERE 
4ba0: 61 20 3d 20 34 3b 0a 20 20 7d 0a 20 20 63 61 74  a = 4;.  }.  cat
4bb0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  chsql {.    INSE
4bc0: 52 54 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45  RT INTO abc SELE
4bd0: 43 54 20 31 30 2c 20 32 30 2c 20 33 30 20 46 52  CT 10, 20, 30 FR
4be0: 4f 4d 20 64 65 66 3b 0a 20 20 7d 0a 20 20 65 78  OM def;.  }.  ex
4bf0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 52 4f 4c 4c  ecsql {.    ROLL
4c00: 42 41 43 4b 3b 0a 20 20 20 20 53 45 4c 45 43 54  BACK;.    SELECT
4c10: 20 2a 20 46 52 4f 4d 20 61 62 63 3b 0a 20 20 7d   * FROM abc;.  }
4c20: 0a 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36 20  .} {1 2 3 4 5 6 
4c30: 37 20 38 20 39 7d 0a 23 20 52 65 70 65 61 74 20  7 8 9}.# Repeat 
4c40: 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 31 31  test conflict-11
4c50: 2e 31 20 62 75 74 20 74 68 69 73 20 74 69 6d 65  .1 but this time
4c60: 20 63 6f 6d 6d 69 74 2e 0a 23 0a 64 6f 5f 74 65   commit..#.do_te
4c70: 73 74 20 63 6f 6e 66 6c 69 63 74 2d 31 31 2e 35  st conflict-11.5
4c80: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
4c90: 20 20 20 42 45 47 49 4e 3b 0a 20 20 20 20 20 20     BEGIN;.      
4ca0: 2d 2d 20 4d 61 6b 65 20 73 75 72 65 20 74 68 65  -- Make sure the
4cb0: 20 70 61 67 65 72 20 69 73 20 69 6e 20 45 58 43   pager is in EXC
4cc0: 4c 55 53 49 56 45 20 73 74 61 74 65 2e 0a 20 20  LUSIVE state..  
4cd0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
4ce0: 20 64 65 66 28 64 2c 20 65 2c 20 66 29 3b 0a 20   def(d, e, f);. 
4cf0: 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f       INSERT INTO
4d00: 20 64 65 66 20 56 41 4c 55 45 53 0a 20 20 20 20   def VALUES.    
4d10: 20 20 20 20 20 20 28 27 78 78 78 78 78 78 78 78        ('xxxxxxxx
4d20: 78 78 78 78 78 78 78 27 2c 20 27 79 79 79 79 79  xxxxxxx', 'yyyyy
4d30: 79 79 79 79 79 79 79 79 79 79 79 27 2c 20 27 7a  yyyyyyyyyyy', 'z
4d40: 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 7a 27  zzzzzzzzzzzzzzz'
4d50: 29 3b 0a 20 20 20 20 20 20 49 4e 53 45 52 54 20  );.      INSERT 
4d60: 49 4e 54 4f 20 64 65 66 20 53 45 4c 45 43 54 20  INTO def SELECT 
4d70: 2a 20 46 52 4f 4d 20 64 65 66 3b 0a 20 20 20 20  * FROM def;.    
4d80: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 64 65    INSERT INTO de
4d90: 66 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  f SELECT * FROM 
4da0: 64 65 66 3b 0a 20 20 20 20 20 20 49 4e 53 45 52  def;.      INSER
4db0: 54 20 49 4e 54 4f 20 64 65 66 20 53 45 4c 45 43  T INTO def SELEC
4dc0: 54 20 2a 20 46 52 4f 4d 20 64 65 66 3b 0a 20 20  T * FROM def;.  
4dd0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
4de0: 64 65 66 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  def SELECT * FRO
4df0: 4d 20 64 65 66 3b 0a 20 20 20 20 20 20 49 4e 53  M def;.      INS
4e00: 45 52 54 20 49 4e 54 4f 20 64 65 66 20 53 45 4c  ERT INTO def SEL
4e10: 45 43 54 20 2a 20 46 52 4f 4d 20 64 65 66 3b 0a  ECT * FROM def;.
4e20: 20 20 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54        INSERT INT
4e30: 4f 20 64 65 66 20 53 45 4c 45 43 54 20 2a 20 46  O def SELECT * F
4e40: 52 4f 4d 20 64 65 66 3b 0a 20 20 20 20 20 20 49  ROM def;.      I
4e50: 4e 53 45 52 54 20 49 4e 54 4f 20 64 65 66 20 53  NSERT INTO def S
4e60: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 64 65 66  ELECT * FROM def
4e70: 3b 0a 20 20 20 20 20 20 44 45 4c 45 54 45 20 46  ;.      DELETE F
4e80: 52 4f 4d 20 61 62 63 20 57 48 45 52 45 20 61 20  ROM abc WHERE a 
4e90: 3d 20 34 3b 0a 20 20 7d 0a 20 20 63 61 74 63 68  = 4;.  }.  catch
4ea0: 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54  sql {.    INSERT
4eb0: 20 49 4e 54 4f 20 61 62 63 20 53 45 4c 45 43 54   INTO abc SELECT
4ec0: 20 31 30 2c 20 32 30 2c 20 33 30 20 46 52 4f 4d   10, 20, 30 FROM
4ed0: 20 64 65 66 3b 0a 20 20 7d 0a 20 20 65 78 65 63   def;.  }.  exec
4ee0: 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d 49 54  sql {.    COMMIT
4ef0: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
4f00: 52 4f 4d 20 61 62 63 3b 0a 20 20 7d 0a 7d 20 7b  ROM abc;.  }.} {
4f10: 31 20 32 20 33 20 37 20 38 20 39 7d 0a 69 6e 74  1 2 3 7 8 9}.int
4f20: 65 67 72 69 74 79 5f 63 68 65 63 6b 20 63 6f 6e  egrity_check con
4f30: 66 6c 69 63 74 2d 31 31 2e 36 0a 0a 23 20 4d 61  flict-11.6..# Ma
4f40: 6b 65 20 73 75 72 65 20 55 50 44 41 54 45 20 4f  ke sure UPDATE O
4f50: 52 20 52 45 50 4c 41 43 45 20 77 6f 72 6b 73 20  R REPLACE works 
4f60: 6f 6e 20 74 61 62 6c 65 73 20 74 68 61 74 20 68  on tables that h
4f70: 61 76 65 20 6f 6e 6c 79 0a 23 20 61 6e 20 49 4e  ave only.# an IN
4f80: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
4f90: 59 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 63 6f 6e  Y..#.do_test con
4fa0: 66 6c 69 63 74 2d 31 32 2e 31 20 7b 0a 20 20 65  flict-12.1 {.  e
4fb0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45  xecsql {.    CRE
4fc0: 41 54 45 20 54 41 42 4c 45 20 74 35 28 61 20 49  ATE TABLE t5(a I
4fd0: 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b  NTEGER PRIMARY K
4fe0: 45 59 2c 20 62 20 74 65 78 74 29 3b 0a 20 20 20  EY, b text);.   
4ff0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 35 20   INSERT INTO t5 
5000: 56 41 4c 55 45 53 28 31 2c 27 6f 6e 65 27 29 3b  VALUES(1,'one');
5010: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
5020: 20 74 35 20 56 41 4c 55 45 53 28 32 2c 27 74 77   t5 VALUES(2,'tw
5030: 6f 27 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20  o');.    SELECT 
5040: 2a 20 46 52 4f 4d 20 74 35 0a 20 20 7d 0a 7d 20  * FROM t5.  }.} 
5050: 7b 31 20 6f 6e 65 20 32 20 74 77 6f 7d 0a 64 6f  {1 one 2 two}.do
5060: 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 31  _test conflict-1
5070: 32 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.2 {.  execsql 
5080: 7b 0a 20 20 20 20 55 50 44 41 54 45 20 4f 52 20  {.    UPDATE OR 
5090: 49 47 4e 4f 52 45 20 74 35 20 53 45 54 20 61 3d  IGNORE t5 SET a=
50a0: 61 2b 31 20 57 48 45 52 45 20 61 3d 31 3b 0a 20  a+1 WHERE a=1;. 
50b0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
50c0: 20 74 35 3b 0a 20 20 7d 0a 7d 20 7b 31 20 6f 6e   t5;.  }.} {1 on
50d0: 65 20 32 20 74 77 6f 7d 0a 64 6f 5f 74 65 73 74  e 2 two}.do_test
50e0: 20 63 6f 6e 66 6c 69 63 74 2d 31 32 2e 33 20 7b   conflict-12.3 {
50f0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
5100: 20 20 55 50 44 41 54 45 20 74 35 20 53 45 54 20    UPDATE t5 SET 
5110: 61 3d 61 2b 31 20 57 48 45 52 45 20 61 3d 31 3b  a=a+1 WHERE a=1;
5120: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55  .  }.} {1 {UNIQU
5130: 45 20 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69  E constraint fai
5140: 6c 65 64 3a 20 74 35 2e 61 7d 7d 0a 76 65 72 69  led: t5.a}}.veri
5150: 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20 63 6f  fy_ex_errcode co
5160: 6e 66 6c 69 63 74 2d 31 32 2e 33 62 20 53 51 4c  nflict-12.3b SQL
5170: 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54 5f 50  ITE_CONSTRAINT_P
5180: 52 49 4d 41 52 59 4b 45 59 0a 64 6f 5f 74 65 73  RIMARYKEY.do_tes
5190: 74 20 63 6f 6e 66 6c 69 63 74 2d 31 32 2e 34 20  t conflict-12.4 
51a0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
51b0: 20 20 55 50 44 41 54 45 20 4f 52 20 52 45 50 4c    UPDATE OR REPL
51c0: 41 43 45 20 74 35 20 53 45 54 20 61 3d 61 2b 31  ACE t5 SET a=a+1
51d0: 20 57 48 45 52 45 20 61 3d 31 3b 0a 20 20 20 20   WHERE a=1;.    
51e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 35  SELECT * FROM t5
51f0: 3b 0a 20 20 7d 0a 7d 20 7b 32 20 6f 6e 65 7d 0a  ;.  }.} {2 one}.
5200: 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74  do_test conflict
5210: 2d 31 32 2e 35 20 7b 0a 20 20 63 61 74 63 68 73  -12.5 {.  catchs
5220: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
5230: 54 41 42 4c 45 20 74 35 62 28 78 29 3b 0a 20 20  TABLE t5b(x);.  
5240: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 35    INSERT INTO t5
5250: 62 28 72 6f 77 69 64 2c 20 78 29 20 56 41 4c 55  b(rowid, x) VALU
5260: 45 53 28 31 2c 31 30 29 2c 28 32 2c 31 31 29 3b  ES(1,10),(2,11);
5270: 0a 20 20 20 20 55 50 44 41 54 45 20 74 35 62 20  .    UPDATE t5b 
5280: 53 45 54 20 72 6f 77 69 64 3d 72 6f 77 69 64 2b  SET rowid=rowid+
5290: 31 20 57 48 45 52 45 20 78 3d 31 30 3b 0a 20 20  1 WHERE x=10;.  
52a0: 7d 0a 7d 20 7b 31 20 7b 55 4e 49 51 55 45 20 63  }.} {1 {UNIQUE c
52b0: 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64  onstraint failed
52c0: 3a 20 74 35 62 2e 72 6f 77 69 64 7d 7d 0a 76 65  : t5b.rowid}}.ve
52d0: 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64 65 20  rify_ex_errcode 
52e0: 63 6f 6e 66 6c 69 63 74 2d 31 32 2e 35 62 20 53  conflict-12.5b S
52f0: 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e 54  QLITE_CONSTRAINT
5300: 5f 52 4f 57 49 44 0a 0a 0a 23 20 54 69 63 6b 65  _ROWID...# Ticke
5310: 74 20 5b 63 33 38 62 61 61 33 64 39 36 39 65 61  t [c38baa3d969ea
5320: 62 37 39 34 36 64 63 35 30 62 61 39 64 39 62 34  b7946dc50ba9d9b4
5330: 66 30 30 35 37 61 31 39 34 33 37 5d 0a 23 20 52  f0057a19437].# R
5340: 45 50 4c 41 43 45 20 77 6f 72 6b 73 20 6c 69 6b  EPLACE works lik
5350: 65 20 41 42 4f 52 54 20 6f 6e 20 61 20 43 48 45  e ABORT on a CHE
5360: 43 4b 20 63 6f 6e 73 74 72 61 69 6e 74 2e 0a 23  CK constraint..#
5370: 0a 64 6f 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63  .do_test conflic
5380: 74 2d 31 33 2e 31 20 7b 0a 20 20 65 78 65 63 73  t-13.1 {.  execs
5390: 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20  ql {.    CREATE 
53a0: 54 41 42 4c 45 20 74 31 33 28 61 20 43 48 45 43  TABLE t13(a CHEC
53b0: 4b 28 61 21 3d 32 29 29 3b 0a 20 20 20 20 42 45  K(a!=2));.    BE
53c0: 47 49 4e 3b 0a 20 20 20 20 52 45 50 4c 41 43 45  GIN;.    REPLACE
53d0: 20 49 4e 54 4f 20 74 31 33 20 56 41 4c 55 45 53   INTO t13 VALUES
53e0: 28 31 29 3b 0a 20 20 7d 0a 20 20 63 61 74 63 68  (1);.  }.  catch
53f0: 73 71 6c 20 7b 0a 20 20 20 20 52 45 50 4c 41 43  sql {.    REPLAC
5400: 45 20 49 4e 54 4f 20 74 31 33 20 56 41 4c 55 45  E INTO t13 VALUE
5410: 53 28 32 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  S(2);.  }.} {1 {
5420: 43 48 45 43 4b 20 63 6f 6e 73 74 72 61 69 6e 74  CHECK constraint
5430: 20 66 61 69 6c 65 64 3a 20 74 31 33 7d 7d 0a 76   failed: t13}}.v
5440: 65 72 69 66 79 5f 65 78 5f 65 72 72 63 6f 64 65  erify_ex_errcode
5450: 20 63 6f 6e 66 6c 69 63 74 2d 31 33 2e 31 62 20   conflict-13.1b 
5460: 53 51 4c 49 54 45 5f 43 4f 4e 53 54 52 41 49 4e  SQLITE_CONSTRAIN
5470: 54 5f 43 48 45 43 4b 0a 64 6f 5f 74 65 73 74 20  T_CHECK.do_test 
5480: 63 6f 6e 66 6c 69 63 74 2d 31 33 2e 32 20 7b 0a  conflict-13.2 {.
5490: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
54a0: 52 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 33  REPLACE INTO t13
54b0: 20 56 41 4c 55 45 53 28 33 29 3b 0a 20 20 20 20   VALUES(3);.    
54c0: 43 4f 4d 4d 49 54 3b 0a 20 20 20 20 53 45 4c 45  COMMIT;.    SELE
54d0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 33 3b 0a 20  CT * FROM t13;. 
54e0: 20 7d 0a 7d 20 7b 31 20 33 7d 0a 0a 0a 23 20 54   }.} {1 3}...# T
54f0: 69 63 6b 65 74 20 68 74 74 70 73 3a 2f 2f 77 77  icket https://ww
5500: 77 2e 73 71 6c 69 74 65 2e 6f 72 67 2f 73 72 63  w.sqlite.org/src
5510: 2f 74 6b 74 76 69 65 77 2f 65 36 66 31 66 32 65  /tktview/e6f1f2e
5520: 33 34 64 63 65 65 62 31 65 64 36 31 35 33 31 63  34dceeb1ed61531c
5530: 37 65 39 0a 23 20 56 65 72 69 66 79 20 74 68 61  7e9.# Verify tha
5540: 74 20 69 74 20 69 73 20 6e 6f 74 20 70 6f 73 73  t it is not poss
5550: 69 62 6c 65 20 74 6f 20 73 6e 65 61 6b 20 61 20  ible to sneak a 
5560: 4e 55 4c 4c 20 76 61 6c 75 65 20 69 6e 74 6f 20  NULL value into 
5570: 61 20 4e 4f 54 20 4e 55 4c 4c 0a 23 20 63 6f 6c  a NOT NULL.# col
5580: 75 6d 6e 20 75 73 69 6e 67 20 52 45 50 4c 41 43  umn using REPLAC
5590: 45 2e 0a 23 0a 64 6f 5f 63 61 74 63 68 73 71 6c  E..#.do_catchsql
55a0: 5f 74 65 73 74 20 63 6f 6e 66 6c 69 63 74 2d 31  _test conflict-1
55b0: 34 2e 31 20 7b 0a 20 20 44 52 4f 50 20 54 41 42  4.1 {.  DROP TAB
55c0: 4c 45 20 49 46 20 45 58 49 53 54 53 20 74 31 3b  LE IF EXISTS t1;
55d0: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
55e0: 74 31 28 78 20 4e 4f 54 20 4e 55 4c 4c 20 44 45  t1(x NOT NULL DE
55f0: 46 41 55 4c 54 20 4e 55 4c 4c 29 3b 0a 20 20 52  FAULT NULL);.  R
5600: 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 20 44  EPLACE INTO t1 D
5610: 45 46 41 55 4c 54 20 56 41 4c 55 45 53 3b 0a 7d  EFAULT VALUES;.}
5620: 20 7b 31 20 7b 4e 4f 54 20 4e 55 4c 4c 20 63 6f   {1 {NOT NULL co
5630: 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 3a  nstraint failed:
5640: 20 74 31 2e 78 7d 7d 0a 0a 0a 66 69 6e 69 73 68   t1.x}}...finish
5650: 5f 74 65 73 74 0a                                _test.