/ Hex Artifact Content
Login

Artifact 47edd408cc73f8d3c00a140550d1ad180b407c146285947969dd09874802bf88:


0000: 2f 2a 0a 2a 2a 20 32 30 31 38 2d 30 34 2d 31 32  /*.** 2018-04-12
0010: 0a 2a 2a 0a 2a 2a 20 54 68 65 20 61 75 74 68 6f  .**.** The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 2a 2a 20 61 20 6c 65 67  lace of.** a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 2a  is a blessing:.*
0080: 2a 0a 2a 2a 20 20 20 20 4d 61 79 20 79 6f 75 20  *.**    May you 
0090: 64 6f 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20  do good and not 
00a0: 65 76 69 6c 2e 0a 2a 2a 20 20 20 20 4d 61 79 20  evil..**    May 
00b0: 79 6f 75 20 66 69 6e 64 20 66 6f 72 67 69 76 65  you find forgive
00c0: 6e 65 73 73 20 66 6f 72 20 79 6f 75 72 73 65 6c  ness for yoursel
00d0: 66 20 61 6e 64 20 66 6f 72 67 69 76 65 20 6f 74  f and forgive ot
00e0: 68 65 72 73 2e 0a 2a 2a 20 20 20 20 4d 61 79 20  hers..**    May 
00f0: 79 6f 75 20 73 68 61 72 65 20 66 72 65 65 6c 79  you share freely
0100: 2c 20 6e 65 76 65 72 20 74 61 6b 69 6e 67 20 6d  , never taking m
0110: 6f 72 65 20 74 68 61 6e 20 79 6f 75 20 67 69 76  ore than you giv
0120: 65 2e 0a 2a 2a 0a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  e..**.**********
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 2a 2a 2a 2a 2a 2a 2a 2a 0a  ***************.
0170: 2a 2a 20 54 68 69 73 20 66 69 6c 65 20 63 6f 6e  ** This file con
0180: 74 61 69 6e 73 20 63 6f 64 65 20 74 6f 20 69 6d  tains code to im
0190: 70 6c 65 6d 65 6e 74 20 76 61 72 69 6f 75 73 20  plement various 
01a0: 61 73 70 65 63 74 73 20 6f 66 20 55 50 53 45 52  aspects of UPSER
01b0: 54 0a 2a 2a 20 70 72 6f 63 65 73 73 69 6e 67 20  T.** processing 
01c0: 61 6e 64 20 68 61 6e 64 6c 69 6e 67 20 6f 66 20  and handling of 
01d0: 74 68 65 20 55 70 73 65 72 74 20 6f 62 6a 65 63  the Upsert objec
01e0: 74 2e 0a 2a 2f 0a 23 69 6e 63 6c 75 64 65 20 22  t..*/.#include "
01f0: 73 71 6c 69 74 65 49 6e 74 2e 68 22 0a 0a 23 69  sqliteInt.h"..#i
0200: 66 6e 64 65 66 20 53 51 4c 49 54 45 5f 4f 4d 49  fndef SQLITE_OMI
0210: 54 5f 55 50 53 45 52 54 0a 2f 2a 0a 2a 2a 20 46  T_UPSERT./*.** F
0220: 72 65 65 20 61 20 6c 69 73 74 20 6f 66 20 55 70  ree a list of Up
0230: 73 65 72 74 20 6f 62 6a 65 63 74 73 0a 2a 2f 0a  sert objects.*/.
0240: 76 6f 69 64 20 73 71 6c 69 74 65 33 55 70 73 65  void sqlite3Upse
0250: 72 74 44 65 6c 65 74 65 28 73 71 6c 69 74 65 33  rtDelete(sqlite3
0260: 20 2a 64 62 2c 20 55 70 73 65 72 74 20 2a 70 29   *db, Upsert *p)
0270: 7b 0a 20 20 69 66 28 20 70 20 29 7b 0a 20 20 20  {.  if( p ){.   
0280: 20 73 71 6c 69 74 65 33 45 78 70 72 4c 69 73 74   sqlite3ExprList
0290: 44 65 6c 65 74 65 28 64 62 2c 20 70 2d 3e 70 55  Delete(db, p->pU
02a0: 70 73 65 72 74 54 61 72 67 65 74 29 3b 0a 20 20  psertTarget);.  
02b0: 20 20 73 71 6c 69 74 65 33 45 78 70 72 44 65 6c    sqlite3ExprDel
02c0: 65 74 65 28 64 62 2c 20 70 2d 3e 70 55 70 73 65  ete(db, p->pUpse
02d0: 72 74 54 61 72 67 65 74 57 68 65 72 65 29 3b 0a  rtTargetWhere);.
02e0: 20 20 20 20 73 71 6c 69 74 65 33 45 78 70 72 4c      sqlite3ExprL
02f0: 69 73 74 44 65 6c 65 74 65 28 64 62 2c 20 70 2d  istDelete(db, p-
0300: 3e 70 55 70 73 65 72 74 53 65 74 29 3b 0a 20 20  >pUpsertSet);.  
0310: 20 20 73 71 6c 69 74 65 33 45 78 70 72 44 65 6c    sqlite3ExprDel
0320: 65 74 65 28 64 62 2c 20 70 2d 3e 70 55 70 73 65  ete(db, p->pUpse
0330: 72 74 57 68 65 72 65 29 3b 0a 20 20 20 20 73 71  rtWhere);.    sq
0340: 6c 69 74 65 33 44 62 46 72 65 65 28 64 62 2c 20  lite3DbFree(db, 
0350: 70 29 3b 0a 20 20 7d 0a 7d 0a 0a 2f 2a 0a 2a 2a  p);.  }.}../*.**
0360: 20 44 75 70 6c 69 63 61 74 65 20 61 6e 20 55 70   Duplicate an Up
0370: 73 65 72 74 20 6f 62 6a 65 63 74 2e 0a 2a 2f 0a  sert object..*/.
0380: 55 70 73 65 72 74 20 2a 73 71 6c 69 74 65 33 55  Upsert *sqlite3U
0390: 70 73 65 72 74 44 75 70 28 73 71 6c 69 74 65 33  psertDup(sqlite3
03a0: 20 2a 64 62 2c 20 55 70 73 65 72 74 20 2a 70 29   *db, Upsert *p)
03b0: 7b 0a 20 20 69 66 28 20 70 3d 3d 30 20 29 20 72  {.  if( p==0 ) r
03c0: 65 74 75 72 6e 20 30 3b 0a 20 20 72 65 74 75 72  eturn 0;.  retur
03d0: 6e 20 73 71 6c 69 74 65 33 55 70 73 65 72 74 4e  n sqlite3UpsertN
03e0: 65 77 28 64 62 2c 0a 20 20 20 20 20 20 20 20 20  ew(db,.         
03f0: 20 20 73 71 6c 69 74 65 33 45 78 70 72 4c 69 73    sqlite3ExprLis
0400: 74 44 75 70 28 64 62 2c 20 70 2d 3e 70 55 70 73  tDup(db, p->pUps
0410: 65 72 74 54 61 72 67 65 74 2c 20 30 29 2c 0a 20  ertTarget, 0),. 
0420: 20 20 20 20 20 20 20 20 20 20 73 71 6c 69 74 65            sqlite
0430: 33 45 78 70 72 44 75 70 28 64 62 2c 20 70 2d 3e  3ExprDup(db, p->
0440: 70 55 70 73 65 72 74 54 61 72 67 65 74 57 68 65  pUpsertTargetWhe
0450: 72 65 2c 20 30 29 2c 0a 20 20 20 20 20 20 20 20  re, 0),.        
0460: 20 20 20 73 71 6c 69 74 65 33 45 78 70 72 4c 69     sqlite3ExprLi
0470: 73 74 44 75 70 28 64 62 2c 20 70 2d 3e 70 55 70  stDup(db, p->pUp
0480: 73 65 72 74 53 65 74 2c 20 30 29 2c 0a 20 20 20  sertSet, 0),.   
0490: 20 20 20 20 20 20 20 20 73 71 6c 69 74 65 33 45          sqlite3E
04a0: 78 70 72 44 75 70 28 64 62 2c 20 70 2d 3e 70 55  xprDup(db, p->pU
04b0: 70 73 65 72 74 57 68 65 72 65 2c 20 30 29 0a 20  psertWhere, 0). 
04c0: 20 20 20 20 20 20 20 20 29 3b 0a 7d 0a 0a 2f 2a          );.}../*
04d0: 0a 2a 2a 20 43 72 65 61 74 65 20 61 20 6e 65 77  .** Create a new
04e0: 20 55 70 73 65 72 74 20 6f 62 6a 65 63 74 2e 0a   Upsert object..
04f0: 2a 2f 0a 55 70 73 65 72 74 20 2a 73 71 6c 69 74  */.Upsert *sqlit
0500: 65 33 55 70 73 65 72 74 4e 65 77 28 0a 20 20 73  e3UpsertNew(.  s
0510: 71 6c 69 74 65 33 20 2a 64 62 2c 20 20 20 20 20  qlite3 *db,     
0520: 20 20 20 20 20 20 2f 2a 20 44 65 74 65 72 6d 69        /* Determi
0530: 6e 65 73 20 77 68 69 63 68 20 6d 65 6d 6f 72 79  nes which memory
0540: 20 61 6c 6c 6f 63 61 74 6f 72 20 74 6f 20 75 73   allocator to us
0550: 65 20 2a 2f 0a 20 20 45 78 70 72 4c 69 73 74 20  e */.  ExprList 
0560: 2a 70 54 61 72 67 65 74 2c 20 20 20 20 20 2f 2a  *pTarget,     /*
0570: 20 54 61 72 67 65 74 20 61 72 67 75 6d 65 6e 74   Target argument
0580: 20 74 6f 20 4f 4e 20 43 4f 4e 46 4c 49 43 54 2c   to ON CONFLICT,
0590: 20 6f 72 20 4e 55 4c 4c 20 2a 2f 0a 20 20 45 78   or NULL */.  Ex
05a0: 70 72 20 2a 70 54 61 72 67 65 74 57 68 65 72 65  pr *pTargetWhere
05b0: 2c 20 20 20 20 2f 2a 20 4f 70 74 69 6f 6e 61 6c  ,    /* Optional
05c0: 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 6f 6e   WHERE clause on
05d0: 20 74 68 65 20 74 61 72 67 65 74 20 2a 2f 0a 20   the target */. 
05e0: 20 45 78 70 72 4c 69 73 74 20 2a 70 53 65 74 2c   ExprList *pSet,
05f0: 20 20 20 20 20 20 20 20 2f 2a 20 55 50 44 41 54          /* UPDAT
0600: 45 20 63 6f 6c 75 6d 6e 73 2c 20 6f 72 20 4e 55  E columns, or NU
0610: 4c 4c 20 66 6f 72 20 61 20 44 4f 20 4e 4f 54 48  LL for a DO NOTH
0620: 49 4e 47 20 2a 2f 0a 20 20 45 78 70 72 20 2a 70  ING */.  Expr *p
0630: 57 68 65 72 65 20 20 20 20 20 20 20 20 20 20 20  Where           
0640: 2f 2a 20 57 48 45 52 45 20 63 6c 61 75 73 65 20  /* WHERE clause 
0650: 66 6f 72 20 74 68 65 20 4f 4e 20 43 4f 4e 46 4c  for the ON CONFL
0660: 49 43 54 20 55 50 44 41 54 45 20 2a 2f 0a 29 7b  ICT UPDATE */.){
0670: 0a 20 20 55 70 73 65 72 74 20 2a 70 4e 65 77 3b  .  Upsert *pNew;
0680: 0a 20 20 70 4e 65 77 20 3d 20 73 71 6c 69 74 65  .  pNew = sqlite
0690: 33 44 62 4d 61 6c 6c 6f 63 52 61 77 28 64 62 2c  3DbMallocRaw(db,
06a0: 20 73 69 7a 65 6f 66 28 55 70 73 65 72 74 29 29   sizeof(Upsert))
06b0: 3b 0a 20 20 69 66 28 20 70 4e 65 77 3d 3d 30 20  ;.  if( pNew==0 
06c0: 29 7b 0a 20 20 20 20 73 71 6c 69 74 65 33 45 78  ){.    sqlite3Ex
06d0: 70 72 4c 69 73 74 44 65 6c 65 74 65 28 64 62 2c  prListDelete(db,
06e0: 20 70 54 61 72 67 65 74 29 3b 0a 20 20 20 20 73   pTarget);.    s
06f0: 71 6c 69 74 65 33 45 78 70 72 44 65 6c 65 74 65  qlite3ExprDelete
0700: 28 64 62 2c 20 70 54 61 72 67 65 74 57 68 65 72  (db, pTargetWher
0710: 65 29 3b 0a 20 20 20 20 73 71 6c 69 74 65 33 45  e);.    sqlite3E
0720: 78 70 72 4c 69 73 74 44 65 6c 65 74 65 28 64 62  xprListDelete(db
0730: 2c 20 70 53 65 74 29 3b 0a 20 20 20 20 73 71 6c  , pSet);.    sql
0740: 69 74 65 33 45 78 70 72 44 65 6c 65 74 65 28 64  ite3ExprDelete(d
0750: 62 2c 20 70 57 68 65 72 65 29 3b 0a 20 20 20 20  b, pWhere);.    
0760: 72 65 74 75 72 6e 20 30 3b 0a 20 20 7d 65 6c 73  return 0;.  }els
0770: 65 7b 0a 20 20 20 20 70 4e 65 77 2d 3e 70 55 70  e{.    pNew->pUp
0780: 73 65 72 74 54 61 72 67 65 74 20 3d 20 70 54 61  sertTarget = pTa
0790: 72 67 65 74 3b 0a 20 20 20 20 70 4e 65 77 2d 3e  rget;.    pNew->
07a0: 70 55 70 73 65 72 74 54 61 72 67 65 74 57 68 65  pUpsertTargetWhe
07b0: 72 65 20 3d 20 70 54 61 72 67 65 74 57 68 65 72  re = pTargetWher
07c0: 65 3b 0a 20 20 20 20 70 4e 65 77 2d 3e 70 55 70  e;.    pNew->pUp
07d0: 73 65 72 74 53 65 74 20 3d 20 70 53 65 74 3b 0a  sertSet = pSet;.
07e0: 20 20 20 20 70 4e 65 77 2d 3e 70 55 70 73 65 72      pNew->pUpser
07f0: 74 57 68 65 72 65 20 3d 20 70 57 68 65 72 65 3b  tWhere = pWhere;
0800: 0a 20 20 20 20 70 4e 65 77 2d 3e 70 55 70 73 65  .    pNew->pUpse
0810: 72 74 49 64 78 20 3d 20 30 3b 0a 20 20 7d 0a 20  rtIdx = 0;.  }. 
0820: 20 72 65 74 75 72 6e 20 70 4e 65 77 3b 0a 7d 0a   return pNew;.}.
0830: 0a 2f 2a 0a 2a 2a 20 41 6e 61 6c 79 7a 65 20 74  ./*.** Analyze t
0840: 68 65 20 4f 4e 20 43 4f 4e 46 4c 49 43 54 20 63  he ON CONFLICT c
0850: 6c 61 75 73 65 20 64 65 73 63 72 69 62 65 64 20  lause described 
0860: 62 79 20 70 55 70 73 65 72 74 2e 20 20 52 65 73  by pUpsert.  Res
0870: 6f 6c 76 65 20 61 6c 6c 0a 2a 2a 20 73 79 6d 62  olve all.** symb
0880: 6f 6c 73 20 69 6e 20 74 68 65 20 63 6f 6e 66 6c  ols in the confl
0890: 69 63 74 2d 74 61 72 67 65 74 2e 0a 2a 2a 0a 2a  ict-target..**.*
08a0: 2a 20 52 65 74 75 72 6e 20 53 51 4c 49 54 45 5f  * Return SQLITE_
08b0: 4f 4b 20 69 66 20 65 76 65 72 79 74 68 69 6e 67  OK if everything
08c0: 20 77 6f 72 6b 73 2c 20 6f 72 20 61 6e 20 65 72   works, or an er
08d0: 72 6f 72 20 63 6f 64 65 20 69 73 20 73 6f 6d 65  ror code is some
08e0: 74 68 69 6e 67 0a 2a 2a 20 69 73 20 77 72 6f 6e  thing.** is wron
08f0: 67 2e 0a 2a 2f 0a 69 6e 74 20 73 71 6c 69 74 65  g..*/.int sqlite
0900: 33 55 70 73 65 72 74 41 6e 61 6c 79 7a 65 54 61  3UpsertAnalyzeTa
0910: 72 67 65 74 28 0a 20 20 50 61 72 73 65 20 2a 70  rget(.  Parse *p
0920: 50 61 72 73 65 2c 20 20 20 20 20 2f 2a 20 54 68  Parse,     /* Th
0930: 65 20 70 61 72 73 69 6e 67 20 63 6f 6e 74 65 78  e parsing contex
0940: 74 20 2a 2f 0a 20 20 53 72 63 4c 69 73 74 20 2a  t */.  SrcList *
0950: 70 54 61 62 4c 69 73 74 2c 20 2f 2a 20 54 61 62  pTabList, /* Tab
0960: 6c 65 20 69 6e 74 6f 20 77 68 69 63 68 20 77 65  le into which we
0970: 20 61 72 65 20 69 6e 73 65 72 74 69 6e 67 20 2a   are inserting *
0980: 2f 0a 20 20 55 70 73 65 72 74 20 2a 70 55 70 73  /.  Upsert *pUps
0990: 65 72 74 20 20 20 20 2f 2a 20 54 68 65 20 4f 4e  ert    /* The ON
09a0: 20 43 4f 4e 46 4c 49 43 54 20 63 6c 61 75 73 65   CONFLICT clause
09b0: 73 20 2a 2f 0a 29 7b 0a 20 20 54 61 62 6c 65 20  s */.){.  Table 
09c0: 2a 70 54 61 62 3b 20 20 20 20 20 20 20 20 20 20  *pTab;          
09d0: 20 20 2f 2a 20 54 68 61 74 20 74 61 62 6c 65 20    /* That table 
09e0: 69 6e 74 6f 20 77 68 69 63 68 20 77 65 20 61 72  into which we ar
09f0: 65 20 69 6e 73 65 72 74 69 6e 67 20 2a 2f 0a 20  e inserting */. 
0a00: 20 69 6e 74 20 72 63 3b 20 20 20 20 20 20 20 20   int rc;        
0a10: 20 20 20 20 20 20 20 20 20 2f 2a 20 52 65 73 75           /* Resu
0a20: 6c 74 20 63 6f 64 65 20 2a 2f 0a 20 20 69 6e 74  lt code */.  int
0a30: 20 69 43 75 72 73 6f 72 3b 20 20 20 20 20 20 20   iCursor;       
0a40: 20 20 20 20 20 2f 2a 20 43 75 72 73 6f 72 20 75       /* Cursor u
0a50: 73 65 64 20 62 79 20 70 54 61 62 20 2a 2f 0a 20  sed by pTab */. 
0a60: 20 49 6e 64 65 78 20 2a 70 49 64 78 3b 20 20 20   Index *pIdx;   
0a70: 20 20 20 20 20 20 20 20 20 2f 2a 20 4f 6e 65 20           /* One 
0a80: 6f 66 20 74 68 65 20 69 6e 64 65 78 65 73 20 6f  of the indexes o
0a90: 66 20 70 54 61 62 20 2a 2f 0a 20 20 45 78 70 72  f pTab */.  Expr
0aa0: 4c 69 73 74 20 2a 70 54 61 72 67 65 74 3b 20 20  List *pTarget;  
0ab0: 20 20 20 20 2f 2a 20 54 68 65 20 63 6f 6e 66 6c      /* The confl
0ac0: 69 63 74 2d 74 61 72 67 65 74 20 63 6c 61 75 73  ict-target claus
0ad0: 65 20 2a 2f 0a 20 20 45 78 70 72 20 2a 70 54 65  e */.  Expr *pTe
0ae0: 72 6d 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f  rm;            /
0af0: 2a 20 4f 6e 65 20 74 65 72 6d 20 6f 66 20 74 68  * One term of th
0b00: 65 20 63 6f 6e 66 6c 69 63 74 2d 74 61 72 67 65  e conflict-targe
0b10: 74 20 63 6c 61 75 73 65 20 2a 2f 0a 20 20 4e 61  t clause */.  Na
0b20: 6d 65 43 6f 6e 74 65 78 74 20 73 4e 43 3b 20 20  meContext sNC;  
0b30: 20 20 20 20 20 20 2f 2a 20 43 6f 6e 74 65 78 74        /* Context
0b40: 20 66 6f 72 20 72 65 73 6f 6c 76 69 6e 67 20 73   for resolving s
0b50: 79 6d 62 6f 6c 69 63 20 6e 61 6d 65 73 20 2a 2f  ymbolic names */
0b60: 0a 20 20 45 78 70 72 20 73 43 6f 6c 5b 32 5d 3b  .  Expr sCol[2];
0b70: 20 20 20 20 20 20 20 20 20 20 20 2f 2a 20 49 6e             /* In
0b80: 64 65 78 20 63 6f 6c 75 6d 6e 20 63 6f 6e 76 65  dex column conve
0b90: 72 74 65 64 20 69 6e 74 6f 20 61 6e 20 45 78 70  rted into an Exp
0ba0: 72 20 2a 2f 0a 0a 20 20 61 73 73 65 72 74 28 20  r */..  assert( 
0bb0: 70 54 61 62 4c 69 73 74 2d 3e 6e 53 72 63 3d 3d  pTabList->nSrc==
0bc0: 31 20 29 3b 0a 20 20 61 73 73 65 72 74 28 20 70  1 );.  assert( p
0bd0: 54 61 62 4c 69 73 74 2d 3e 61 5b 30 5d 2e 70 54  TabList->a[0].pT
0be0: 61 62 21 3d 30 20 29 3b 0a 20 20 61 73 73 65 72  ab!=0 );.  asser
0bf0: 74 28 20 70 55 70 73 65 72 74 21 3d 30 20 29 3b  t( pUpsert!=0 );
0c00: 0a 20 20 61 73 73 65 72 74 28 20 70 55 70 73 65  .  assert( pUpse
0c10: 72 74 2d 3e 70 55 70 73 65 72 74 54 61 72 67 65  rt->pUpsertTarge
0c20: 74 21 3d 30 20 29 3b 0a 0a 20 20 2f 2a 20 52 65  t!=0 );..  /* Re
0c30: 73 6f 6c 76 65 20 61 6c 6c 20 73 79 6d 62 6f 6c  solve all symbol
0c40: 69 63 20 6e 61 6d 65 73 20 69 6e 20 74 68 65 20  ic names in the 
0c50: 63 6f 6e 66 6c 69 63 74 2d 74 61 72 67 65 74 20  conflict-target 
0c60: 63 6c 61 75 73 65 2c 20 77 68 69 63 68 0a 20 20  clause, which.  
0c70: 2a 2a 20 69 6e 63 6c 75 64 65 73 20 62 6f 74 68  ** includes both
0c80: 20 74 68 65 20 6c 69 73 74 20 6f 66 20 63 6f 6c   the list of col
0c90: 75 6d 6e 73 20 61 6e 64 20 74 68 65 20 6f 70 74  umns and the opt
0ca0: 69 6f 6e 61 6c 20 70 61 72 74 69 61 6c 2d 69 6e  ional partial-in
0cb0: 64 65 78 0a 20 20 2a 2a 20 57 48 45 52 45 20 63  dex.  ** WHERE c
0cc0: 6c 61 75 73 65 2e 0a 20 20 2a 2f 0a 20 20 6d 65  lause..  */.  me
0cd0: 6d 73 65 74 28 26 73 4e 43 2c 20 30 2c 20 73 69  mset(&sNC, 0, si
0ce0: 7a 65 6f 66 28 73 4e 43 29 29 3b 0a 20 20 73 4e  zeof(sNC));.  sN
0cf0: 43 2e 70 50 61 72 73 65 20 3d 20 70 50 61 72 73  C.pParse = pPars
0d00: 65 3b 0a 20 20 73 4e 43 2e 70 53 72 63 4c 69 73  e;.  sNC.pSrcLis
0d10: 74 20 3d 20 70 54 61 62 4c 69 73 74 3b 0a 20 20  t = pTabList;.  
0d20: 72 63 20 3d 20 73 71 6c 69 74 65 33 52 65 73 6f  rc = sqlite3Reso
0d30: 6c 76 65 45 78 70 72 4c 69 73 74 4e 61 6d 65 73  lveExprListNames
0d40: 28 26 73 4e 43 2c 20 70 55 70 73 65 72 74 2d 3e  (&sNC, pUpsert->
0d50: 70 55 70 73 65 72 74 54 61 72 67 65 74 29 3b 0a  pUpsertTarget);.
0d60: 20 20 69 66 28 20 72 63 20 29 20 72 65 74 75 72    if( rc ) retur
0d70: 6e 20 72 63 3b 0a 20 20 72 63 20 3d 20 73 71 6c  n rc;.  rc = sql
0d80: 69 74 65 33 52 65 73 6f 6c 76 65 45 78 70 72 4e  ite3ResolveExprN
0d90: 61 6d 65 73 28 26 73 4e 43 2c 20 70 55 70 73 65  ames(&sNC, pUpse
0da0: 72 74 2d 3e 70 55 70 73 65 72 74 54 61 72 67 65  rt->pUpsertTarge
0db0: 74 57 68 65 72 65 29 3b 0a 20 20 69 66 28 20 72  tWhere);.  if( r
0dc0: 63 20 29 20 72 65 74 75 72 6e 20 72 63 3b 0a 0a  c ) return rc;..
0dd0: 20 20 2f 2a 20 43 68 65 63 6b 20 74 6f 20 73 65    /* Check to se
0de0: 65 20 69 66 20 74 68 65 20 63 6f 6e 66 6c 69 63  e if the conflic
0df0: 74 20 74 61 72 67 65 74 20 6d 61 74 63 68 65 73  t target matches
0e00: 20 74 68 65 20 72 6f 77 69 64 2e 20 2a 2f 20 20   the rowid. */  
0e10: 0a 20 20 70 54 61 62 20 3d 20 70 54 61 62 4c 69  .  pTab = pTabLi
0e20: 73 74 2d 3e 61 5b 30 5d 2e 70 54 61 62 3b 0a 20  st->a[0].pTab;. 
0e30: 20 70 54 61 72 67 65 74 20 3d 20 70 55 70 73 65   pTarget = pUpse
0e40: 72 74 2d 3e 70 55 70 73 65 72 74 54 61 72 67 65  rt->pUpsertTarge
0e50: 74 3b 0a 20 20 69 43 75 72 73 6f 72 20 3d 20 70  t;.  iCursor = p
0e60: 54 61 62 4c 69 73 74 2d 3e 61 5b 30 5d 2e 69 43  TabList->a[0].iC
0e70: 75 72 73 6f 72 3b 0a 20 20 69 66 28 20 48 61 73  ursor;.  if( Has
0e80: 52 6f 77 69 64 28 70 54 61 62 29 20 0a 20 20 20  Rowid(pTab) .   
0e90: 26 26 20 70 54 61 72 67 65 74 2d 3e 6e 45 78 70  && pTarget->nExp
0ea0: 72 3d 3d 31 0a 20 20 20 26 26 20 28 70 54 65 72  r==1.   && (pTer
0eb0: 6d 20 3d 20 70 54 61 72 67 65 74 2d 3e 61 5b 30  m = pTarget->a[0
0ec0: 5d 2e 70 45 78 70 72 29 2d 3e 6f 70 3d 3d 54 4b  ].pExpr)->op==TK
0ed0: 5f 43 4f 4c 55 4d 4e 0a 20 20 20 26 26 20 70 54  _COLUMN.   && pT
0ee0: 65 72 6d 2d 3e 69 43 6f 6c 75 6d 6e 3d 3d 58 4e  erm->iColumn==XN
0ef0: 5f 52 4f 57 49 44 0a 20 20 29 7b 0a 20 20 20 20  _ROWID.  ){.    
0f00: 2f 2a 20 54 68 65 20 63 6f 6e 66 6c 69 63 74 2d  /* The conflict-
0f10: 74 61 72 67 65 74 20 69 73 20 74 68 65 20 72 6f  target is the ro
0f20: 77 69 64 20 6f 66 20 74 68 65 20 70 72 69 6d 61  wid of the prima
0f30: 72 79 20 74 61 62 6c 65 20 2a 2f 0a 20 20 20 20  ry table */.    
0f40: 61 73 73 65 72 74 28 20 70 55 70 73 65 72 74 2d  assert( pUpsert-
0f50: 3e 70 55 70 73 65 72 74 49 64 78 3d 3d 30 20 29  >pUpsertIdx==0 )
0f60: 3b 0a 20 20 20 20 72 65 74 75 72 6e 20 53 51 4c  ;.    return SQL
0f70: 49 54 45 5f 4f 4b 3b 0a 20 20 7d 0a 0a 20 20 2f  ITE_OK;.  }..  /
0f80: 2a 20 49 6e 69 74 69 61 6c 69 7a 65 20 73 43 6f  * Initialize sCo
0f90: 6c 5b 30 2e 2e 31 5d 20 74 6f 20 62 65 20 61 6e  l[0..1] to be an
0fa0: 20 65 78 70 72 65 73 73 69 6f 6e 20 70 61 72 73   expression pars
0fb0: 65 20 74 72 65 65 20 66 6f 72 20 61 0a 20 20 2a  e tree for a.  *
0fc0: 2a 20 73 69 6e 67 6c 65 20 63 6f 6c 75 6d 6e 20  * single column 
0fd0: 6f 66 20 61 6e 20 69 6e 64 65 78 2e 20 20 54 68  of an index.  Th
0fe0: 65 20 73 43 6f 6c 5b 30 5d 20 6e 6f 64 65 20 77  e sCol[0] node w
0ff0: 69 6c 6c 20 62 65 20 74 68 65 20 54 4b 5f 43 4f  ill be the TK_CO
1000: 4c 4c 41 54 45 0a 20 20 2a 2a 20 6f 70 65 72 61  LLATE.  ** opera
1010: 74 6f 72 20 61 6e 64 20 73 43 6f 6c 5b 31 5d 20  tor and sCol[1] 
1020: 77 69 6c 6c 20 62 65 20 74 68 65 20 54 4b 5f 43  will be the TK_C
1030: 4f 4c 55 4d 4e 20 6f 70 65 72 61 74 6f 72 2e 20  OLUMN operator. 
1040: 20 43 6f 64 65 20 62 65 6c 6f 77 0a 20 20 2a 2a   Code below.  **
1050: 20 77 69 6c 6c 20 70 6f 70 75 6c 61 74 65 20 74   will populate t
1060: 68 65 20 73 70 65 63 69 66 69 63 20 63 6f 6c 6c  he specific coll
1070: 61 74 69 6f 6e 20 61 6e 64 20 63 6f 6c 75 6d 6e  ation and column
1080: 20 6e 75 6d 62 65 72 20 76 61 6c 75 65 73 0a 20   number values. 
1090: 20 2a 2a 20 70 72 69 6f 72 20 74 6f 20 63 6f 6d   ** prior to com
10a0: 70 61 72 69 6e 67 20 61 67 61 69 6e 73 74 20 74  paring against t
10b0: 68 65 20 63 6f 6e 66 6c 69 63 74 2d 74 61 72 67  he conflict-targ
10c0: 65 74 20 65 78 70 72 65 73 73 69 6f 6e 2e 0a 20  et expression.. 
10d0: 20 2a 2f 0a 20 20 6d 65 6d 73 65 74 28 73 43 6f   */.  memset(sCo
10e0: 6c 2c 20 30 2c 20 73 69 7a 65 6f 66 28 73 43 6f  l, 0, sizeof(sCo
10f0: 6c 29 29 3b 0a 20 20 73 43 6f 6c 5b 30 5d 2e 6f  l));.  sCol[0].o
1100: 70 20 3d 20 54 4b 5f 43 4f 4c 4c 41 54 45 3b 0a  p = TK_COLLATE;.
1110: 20 20 73 43 6f 6c 5b 30 5d 2e 70 4c 65 66 74 20    sCol[0].pLeft 
1120: 3d 20 26 73 43 6f 6c 5b 31 5d 3b 0a 20 20 73 43  = &sCol[1];.  sC
1130: 6f 6c 5b 31 5d 2e 6f 70 20 3d 20 54 4b 5f 43 4f  ol[1].op = TK_CO
1140: 4c 55 4d 4e 3b 0a 20 20 73 43 6f 6c 5b 31 5d 2e  LUMN;.  sCol[1].
1150: 69 54 61 62 6c 65 20 3d 20 70 54 61 62 4c 69 73  iTable = pTabLis
1160: 74 2d 3e 61 5b 30 5d 2e 69 43 75 72 73 6f 72 3b  t->a[0].iCursor;
1170: 0a 0a 20 20 2f 2a 20 43 68 65 63 6b 20 66 6f 72  ..  /* Check for
1180: 20 6d 61 74 63 68 65 73 20 61 67 61 69 6e 73 74   matches against
1190: 20 6f 74 68 65 72 20 69 6e 64 65 78 65 73 20 2a   other indexes *
11a0: 2f 0a 20 20 66 6f 72 28 70 49 64 78 3d 70 54 61  /.  for(pIdx=pTa
11b0: 62 2d 3e 70 49 6e 64 65 78 3b 20 70 49 64 78 3b  b->pIndex; pIdx;
11c0: 20 70 49 64 78 3d 70 49 64 78 2d 3e 70 4e 65 78   pIdx=pIdx->pNex
11d0: 74 29 7b 0a 20 20 20 20 69 6e 74 20 69 69 2c 20  t){.    int ii, 
11e0: 6a 6a 2c 20 6e 6e 3b 0a 20 20 20 20 69 66 28 20  jj, nn;.    if( 
11f0: 21 49 73 55 6e 69 71 75 65 49 6e 64 65 78 28 70  !IsUniqueIndex(p
1200: 49 64 78 29 20 29 20 63 6f 6e 74 69 6e 75 65 3b  Idx) ) continue;
1210: 0a 20 20 20 20 69 66 28 20 70 54 61 72 67 65 74  .    if( pTarget
1220: 2d 3e 6e 45 78 70 72 21 3d 70 49 64 78 2d 3e 6e  ->nExpr!=pIdx->n
1230: 4b 65 79 43 6f 6c 20 29 20 63 6f 6e 74 69 6e 75  KeyCol ) continu
1240: 65 3b 0a 20 20 20 20 69 66 28 20 70 49 64 78 2d  e;.    if( pIdx-
1250: 3e 70 50 61 72 74 49 64 78 57 68 65 72 65 20 29  >pPartIdxWhere )
1260: 7b 0a 20 20 20 20 20 20 69 66 28 20 70 55 70 73  {.      if( pUps
1270: 65 72 74 2d 3e 70 55 70 73 65 72 74 54 61 72 67  ert->pUpsertTarg
1280: 65 74 57 68 65 72 65 3d 3d 30 20 29 20 63 6f 6e  etWhere==0 ) con
1290: 74 69 6e 75 65 3b 0a 20 20 20 20 20 20 69 66 28  tinue;.      if(
12a0: 20 73 71 6c 69 74 65 33 45 78 70 72 43 6f 6d 70   sqlite3ExprComp
12b0: 61 72 65 28 70 50 61 72 73 65 2c 20 70 55 70 73  are(pParse, pUps
12c0: 65 72 74 2d 3e 70 55 70 73 65 72 74 54 61 72 67  ert->pUpsertTarg
12d0: 65 74 57 68 65 72 65 2c 0a 20 20 20 20 20 20 20  etWhere,.       
12e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
12f0: 20 20 20 20 20 20 70 49 64 78 2d 3e 70 50 61 72        pIdx->pPar
1300: 74 49 64 78 57 68 65 72 65 2c 20 69 43 75 72 73  tIdxWhere, iCurs
1310: 6f 72 29 21 3d 30 20 29 7b 0a 20 20 20 20 20 20  or)!=0 ){.      
1320: 20 20 63 6f 6e 74 69 6e 75 65 3b 0a 20 20 20 20    continue;.    
1330: 20 20 7d 0a 20 20 20 20 7d 0a 20 20 20 20 6e 6e    }.    }.    nn
1340: 20 3d 20 70 49 64 78 2d 3e 6e 4b 65 79 43 6f 6c   = pIdx->nKeyCol
1350: 3b 0a 20 20 20 20 66 6f 72 28 69 69 3d 30 3b 20  ;.    for(ii=0; 
1360: 69 69 3c 6e 6e 3b 20 69 69 2b 2b 29 7b 0a 20 20  ii<nn; ii++){.  
1370: 20 20 20 20 45 78 70 72 20 2a 70 45 78 70 72 3b      Expr *pExpr;
1380: 0a 20 20 20 20 20 20 73 43 6f 6c 5b 30 5d 2e 75  .      sCol[0].u
1390: 2e 7a 54 6f 6b 65 6e 20 3d 20 28 63 68 61 72 2a  .zToken = (char*
13a0: 29 70 49 64 78 2d 3e 61 7a 43 6f 6c 6c 5b 69 69  )pIdx->azColl[ii
13b0: 5d 3b 0a 20 20 20 20 20 20 69 66 28 20 70 49 64  ];.      if( pId
13c0: 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 69 5d 3d  x->aiColumn[ii]=
13d0: 3d 58 4e 5f 45 58 50 52 20 29 7b 0a 20 20 20 20  =XN_EXPR ){.    
13e0: 20 20 20 20 61 73 73 65 72 74 28 20 70 49 64 78      assert( pIdx
13f0: 2d 3e 61 43 6f 6c 45 78 70 72 21 3d 30 20 29 3b  ->aColExpr!=0 );
1400: 0a 20 20 20 20 20 20 20 20 61 73 73 65 72 74 28  .        assert(
1410: 20 70 49 64 78 2d 3e 61 43 6f 6c 45 78 70 72 2d   pIdx->aColExpr-
1420: 3e 6e 45 78 70 72 3e 69 69 20 29 3b 0a 20 20 20  >nExpr>ii );.   
1430: 20 20 20 20 20 70 45 78 70 72 20 3d 20 70 49 64       pExpr = pId
1440: 78 2d 3e 61 43 6f 6c 45 78 70 72 2d 3e 61 5b 69  x->aColExpr->a[i
1450: 69 5d 2e 70 45 78 70 72 3b 0a 20 20 20 20 20 20  i].pExpr;.      
1460: 20 20 69 66 28 20 70 45 78 70 72 2d 3e 6f 70 21    if( pExpr->op!
1470: 3d 54 4b 5f 43 4f 4c 4c 41 54 45 20 29 7b 0a 20  =TK_COLLATE ){. 
1480: 20 20 20 20 20 20 20 20 20 73 43 6f 6c 5b 30 5d           sCol[0]
1490: 2e 70 4c 65 66 74 20 3d 20 70 45 78 70 72 3b 0a  .pLeft = pExpr;.
14a0: 20 20 20 20 20 20 20 20 20 20 70 45 78 70 72 20            pExpr 
14b0: 3d 20 26 73 43 6f 6c 5b 30 5d 3b 0a 20 20 20 20  = &sCol[0];.    
14c0: 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 65 6c 73      }.      }els
14d0: 65 7b 0a 20 20 20 20 20 20 20 20 73 43 6f 6c 5b  e{.        sCol[
14e0: 30 5d 2e 70 4c 65 66 74 20 3d 20 26 73 43 6f 6c  0].pLeft = &sCol
14f0: 5b 31 5d 3b 0a 20 20 20 20 20 20 20 20 73 43 6f  [1];.        sCo
1500: 6c 5b 31 5d 2e 69 43 6f 6c 75 6d 6e 20 3d 20 70  l[1].iColumn = p
1510: 49 64 78 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 69  Idx->aiColumn[ii
1520: 5d 3b 0a 20 20 20 20 20 20 20 20 70 45 78 70 72  ];.        pExpr
1530: 20 3d 20 26 73 43 6f 6c 5b 30 5d 3b 0a 20 20 20   = &sCol[0];.   
1540: 20 20 20 7d 0a 20 20 20 20 20 20 66 6f 72 28 6a     }.      for(j
1550: 6a 3d 30 3b 20 6a 6a 3c 6e 6e 3b 20 6a 6a 2b 2b  j=0; jj<nn; jj++
1560: 29 7b 0a 20 20 20 20 20 20 20 20 69 66 28 20 73  ){.        if( s
1570: 71 6c 69 74 65 33 45 78 70 72 43 6f 6d 70 61 72  qlite3ExprCompar
1580: 65 28 70 50 61 72 73 65 2c 20 70 54 61 72 67 65  e(pParse, pTarge
1590: 74 2d 3e 61 5b 6a 6a 5d 2e 70 45 78 70 72 2c 20  t->a[jj].pExpr, 
15a0: 70 45 78 70 72 2c 69 43 75 72 73 6f 72 29 3c 32  pExpr,iCursor)<2
15b0: 20 29 7b 0a 20 20 20 20 20 20 20 20 20 20 62 72   ){.          br
15c0: 65 61 6b 3b 20 20 2f 2a 20 43 6f 6c 75 6d 6e 20  eak;  /* Column 
15d0: 69 69 20 6f 66 20 74 68 65 20 69 6e 64 65 78 20  ii of the index 
15e0: 6d 61 74 63 68 65 73 20 63 6f 6c 75 6d 6e 20 6a  matches column j
15f0: 6a 20 6f 66 20 74 61 72 67 65 74 20 2a 2f 0a 20  j of target */. 
1600: 20 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 7d         }.      }
1610: 0a 20 20 20 20 20 20 69 66 28 20 6a 6a 3e 3d 6e  .      if( jj>=n
1620: 6e 20 29 7b 0a 20 20 20 20 20 20 20 20 2f 2a 20  n ){.        /* 
1630: 54 68 65 20 74 61 72 67 65 74 20 63 6f 6e 74 61  The target conta
1640: 69 6e 73 20 6e 6f 20 6d 61 74 63 68 20 66 6f 72  ins no match for
1650: 20 63 6f 6c 75 6d 6e 20 6a 6a 20 6f 66 20 74 68   column jj of th
1660: 65 20 69 6e 64 65 78 20 2a 2f 0a 20 20 20 20 20  e index */.     
1670: 20 20 20 62 72 65 61 6b 3b 0a 20 20 20 20 20 20     break;.      
1680: 7d 0a 20 20 20 20 7d 0a 20 20 20 20 69 66 28 20  }.    }.    if( 
1690: 69 69 3c 6e 6e 20 29 7b 0a 20 20 20 20 20 20 2f  ii<nn ){.      /
16a0: 2a 20 43 6f 6c 75 6d 6e 20 69 69 20 6f 66 20 74  * Column ii of t
16b0: 68 65 20 69 6e 64 65 78 20 64 69 64 20 6e 6f 74  he index did not
16c0: 20 6d 61 74 63 68 20 61 6e 79 20 74 65 72 6d 20   match any term 
16d0: 6f 66 20 74 68 65 20 63 6f 6e 66 6c 69 63 74 20  of the conflict 
16e0: 74 61 72 67 65 74 2e 0a 20 20 20 20 20 20 2a 2a  target..      **
16f0: 20 43 6f 6e 74 69 6e 75 65 20 74 68 65 20 73 65   Continue the se
1700: 61 72 63 68 20 77 69 74 68 20 74 68 65 20 6e 65  arch with the ne
1710: 78 74 20 69 6e 64 65 78 2e 20 2a 2f 0a 20 20 20  xt index. */.   
1720: 20 20 20 63 6f 6e 74 69 6e 75 65 3b 0a 20 20 20     continue;.   
1730: 20 7d 0a 20 20 20 20 70 55 70 73 65 72 74 2d 3e   }.    pUpsert->
1740: 70 55 70 73 65 72 74 49 64 78 20 3d 20 70 49 64  pUpsertIdx = pId
1750: 78 3b 0a 20 20 20 20 72 65 74 75 72 6e 20 53 51  x;.    return SQ
1760: 4c 49 54 45 5f 4f 4b 3b 0a 20 20 7d 0a 20 20 73  LITE_OK;.  }.  s
1770: 71 6c 69 74 65 33 45 72 72 6f 72 4d 73 67 28 70  qlite3ErrorMsg(p
1780: 50 61 72 73 65 2c 20 22 4f 4e 20 43 4f 4e 46 4c  Parse, "ON CONFL
1790: 49 43 54 20 63 6c 61 75 73 65 20 64 6f 65 73 20  ICT clause does 
17a0: 6e 6f 74 20 6d 61 74 63 68 20 61 6e 79 20 22 0a  not match any ".
17b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
17c0: 20 20 20 20 20 20 20 20 20 20 22 50 52 49 4d 41            "PRIMA
17d0: 52 59 20 4b 45 59 20 6f 72 20 55 4e 49 51 55 45  RY KEY or UNIQUE
17e0: 20 63 6f 6e 73 74 72 61 69 6e 74 22 29 3b 0a 20   constraint");. 
17f0: 20 72 65 74 75 72 6e 20 53 51 4c 49 54 45 5f 45   return SQLITE_E
1800: 52 52 4f 52 3b 0a 7d 0a 0a 2f 2a 0a 2a 2a 20 47  RROR;.}../*.** G
1810: 65 6e 65 72 61 74 65 20 62 79 74 65 63 6f 64 65  enerate bytecode
1820: 20 74 68 61 74 20 64 6f 65 73 20 61 6e 20 55 50   that does an UP
1830: 44 41 54 45 20 61 73 20 70 61 72 74 20 6f 66 20  DATE as part of 
1840: 61 6e 20 75 70 73 65 72 74 2e 0a 2a 2a 0a 2a 2a  an upsert..**.**
1850: 20 49 66 20 70 49 64 78 20 69 73 20 4e 55 4c 4c   If pIdx is NULL
1860: 2c 20 74 68 65 6e 20 74 68 65 20 55 4e 49 51 55  , then the UNIQU
1870: 45 20 63 6f 6e 73 74 72 61 69 6e 74 20 74 68 61  E constraint tha
1880: 74 20 66 61 69 6c 65 64 20 77 61 73 20 74 68 65  t failed was the
1890: 20 49 50 4b 2e 0a 2a 2a 20 49 6e 20 74 68 69 73   IPK..** In this
18a0: 20 63 61 73 65 20 70 61 72 61 6d 65 74 65 72 20   case parameter 
18b0: 69 43 75 72 20 69 73 20 61 20 63 75 72 73 6f 72  iCur is a cursor
18c0: 20 6f 70 65 6e 20 6f 6e 20 74 68 65 20 74 61 62   open on the tab
18d0: 6c 65 20 62 2d 74 72 65 65 20 74 68 61 74 0a 2a  le b-tree that.*
18e0: 2a 20 63 75 72 72 65 6e 74 6c 79 20 70 6f 69 6e  * currently poin
18f0: 74 73 20 74 6f 20 74 68 65 20 63 6f 6e 66 6c 69  ts to the confli
1900: 63 74 69 6e 67 20 74 61 62 6c 65 20 72 6f 77 2e  cting table row.
1910: 20 4f 74 68 65 72 77 69 73 65 2c 20 69 66 20 70   Otherwise, if p
1920: 49 64 78 0a 2a 2a 20 69 73 20 6e 6f 74 20 4e 55  Idx.** is not NU
1930: 4c 4c 2c 20 74 68 65 6e 20 70 49 64 78 20 69 73  LL, then pIdx is
1940: 20 74 68 65 20 63 6f 6e 73 74 72 61 69 6e 74 20   the constraint 
1950: 74 68 61 74 20 66 61 69 6c 65 64 20 61 6e 64 20  that failed and 
1960: 69 43 75 72 20 69 73 20 61 0a 2a 2a 20 63 75 72  iCur is a.** cur
1970: 73 6f 72 20 70 6f 69 6e 74 73 20 74 6f 20 74 68  sor points to th
1980: 65 20 63 6f 6e 66 6c 69 63 74 69 6e 67 20 72 6f  e conflicting ro
1990: 77 2e 0a 2a 2f 0a 76 6f 69 64 20 73 71 6c 69 74  w..*/.void sqlit
19a0: 65 33 55 70 73 65 72 74 44 6f 55 70 64 61 74 65  e3UpsertDoUpdate
19b0: 28 0a 20 20 50 61 72 73 65 20 2a 70 50 61 72 73  (.  Parse *pPars
19c0: 65 2c 20 20 20 20 20 20 20 20 2f 2a 20 54 68 65  e,        /* The
19d0: 20 70 61 72 73 69 6e 67 20 61 6e 64 20 63 6f 64   parsing and cod
19e0: 65 2d 67 65 6e 65 72 61 74 69 6e 67 20 63 6f 6e  e-generating con
19f0: 74 65 78 74 20 2a 2f 0a 20 20 55 70 73 65 72 74  text */.  Upsert
1a00: 20 2a 70 55 70 73 65 72 74 2c 20 20 20 20 20 20   *pUpsert,      
1a10: 2f 2a 20 54 68 65 20 4f 4e 20 43 4f 4e 46 4c 49  /* The ON CONFLI
1a20: 43 54 20 63 6c 61 75 73 65 20 66 6f 72 20 74 68  CT clause for th
1a30: 65 20 75 70 73 65 72 74 20 2a 2f 0a 20 20 54 61  e upsert */.  Ta
1a40: 62 6c 65 20 2a 70 54 61 62 2c 20 20 20 20 20 20  ble *pTab,      
1a50: 20 20 20 20 2f 2a 20 54 68 65 20 74 61 62 6c 65      /* The table
1a60: 20 62 65 69 6e 67 20 75 70 64 61 74 65 64 20 2a   being updated *
1a70: 2f 0a 20 20 49 6e 64 65 78 20 2a 70 49 64 78 2c  /.  Index *pIdx,
1a80: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 54 68 65            /* The
1a90: 20 55 4e 49 51 55 45 20 63 6f 6e 73 74 72 61 69   UNIQUE constrai
1aa0: 6e 74 20 74 68 61 74 20 66 61 69 6c 65 64 20 2a  nt that failed *
1ab0: 2f 0a 20 20 69 6e 74 20 69 43 75 72 20 20 20 20  /.  int iCur    
1ac0: 20 20 20 20 20 20 20 20 20 20 2f 2a 20 43 75 72            /* Cur
1ad0: 73 6f 72 20 66 6f 72 20 70 49 64 78 20 28 6f 72  sor for pIdx (or
1ae0: 20 70 54 61 62 20 69 66 20 70 49 64 78 3d 3d 4e   pTab if pIdx==N
1af0: 55 4c 4c 29 20 2a 2f 0a 29 7b 0a 20 20 56 64 62  ULL) */.){.  Vdb
1b00: 65 20 2a 76 20 3d 20 70 50 61 72 73 65 2d 3e 70  e *v = pParse->p
1b10: 56 64 62 65 3b 0a 20 20 73 71 6c 69 74 65 33 20  Vdbe;.  sqlite3 
1b20: 2a 64 62 20 3d 20 70 50 61 72 73 65 2d 3e 64 62  *db = pParse->db
1b30: 3b 0a 20 20 53 72 63 4c 69 73 74 20 2a 70 53 72  ;.  SrcList *pSr
1b40: 63 3b 20 20 20 20 20 20 20 20 20 20 20 20 2f 2a  c;            /*
1b50: 20 46 52 4f 4d 20 63 6c 61 75 73 65 20 66 6f 72   FROM clause for
1b60: 20 74 68 65 20 55 50 44 41 54 45 20 2a 2f 0a 20   the UPDATE */. 
1b70: 20 69 6e 74 20 69 44 61 74 61 43 75 72 20 3d 20   int iDataCur = 
1b80: 70 55 70 73 65 72 74 2d 3e 69 44 61 74 61 43 75  pUpsert->iDataCu
1b90: 72 3b 0a 0a 20 20 61 73 73 65 72 74 28 20 76 21  r;..  assert( v!
1ba0: 3d 30 20 29 3b 0a 20 20 56 64 62 65 4e 6f 6f 70  =0 );.  VdbeNoop
1bb0: 43 6f 6d 6d 65 6e 74 28 28 76 2c 20 22 42 65 67  Comment((v, "Beg
1bc0: 69 6e 20 44 4f 20 55 50 44 41 54 45 20 6f 66 20  in DO UPDATE of 
1bd0: 55 50 53 45 52 54 22 29 29 3b 0a 20 20 69 66 28  UPSERT"));.  if(
1be0: 20 70 49 64 78 20 26 26 20 69 43 75 72 21 3d 69   pIdx && iCur!=i
1bf0: 44 61 74 61 43 75 72 20 29 7b 0a 20 20 20 20 69  DataCur ){.    i
1c00: 66 28 20 48 61 73 52 6f 77 69 64 28 70 54 61 62  f( HasRowid(pTab
1c10: 29 20 29 7b 0a 20 20 20 20 20 20 69 6e 74 20 72  ) ){.      int r
1c20: 65 67 52 6f 77 69 64 20 3d 20 73 71 6c 69 74 65  egRowid = sqlite
1c30: 33 47 65 74 54 65 6d 70 52 65 67 28 70 50 61 72  3GetTempReg(pPar
1c40: 73 65 29 3b 0a 20 20 20 20 20 20 73 71 6c 69 74  se);.      sqlit
1c50: 65 33 56 64 62 65 41 64 64 4f 70 32 28 76 2c 20  e3VdbeAddOp2(v, 
1c60: 4f 50 5f 49 64 78 52 6f 77 69 64 2c 20 69 43 75  OP_IdxRowid, iCu
1c70: 72 2c 20 72 65 67 52 6f 77 69 64 29 3b 0a 20 20  r, regRowid);.  
1c80: 20 20 20 20 73 71 6c 69 74 65 33 56 64 62 65 41      sqlite3VdbeA
1c90: 64 64 4f 70 33 28 76 2c 20 4f 50 5f 53 65 65 6b  ddOp3(v, OP_Seek
1ca0: 52 6f 77 69 64 2c 20 69 44 61 74 61 43 75 72 2c  Rowid, iDataCur,
1cb0: 20 30 2c 20 72 65 67 52 6f 77 69 64 29 3b 0a 20   0, regRowid);. 
1cc0: 20 20 20 20 20 56 64 62 65 43 6f 76 65 72 61 67       VdbeCoverag
1cd0: 65 28 76 29 3b 0a 20 20 20 20 20 20 73 71 6c 69  e(v);.      sqli
1ce0: 74 65 33 52 65 6c 65 61 73 65 54 65 6d 70 52 65  te3ReleaseTempRe
1cf0: 67 28 70 50 61 72 73 65 2c 20 72 65 67 52 6f 77  g(pParse, regRow
1d00: 69 64 29 3b 0a 20 20 20 20 7d 65 6c 73 65 7b 0a  id);.    }else{.
1d10: 20 20 20 20 20 20 49 6e 64 65 78 20 2a 70 50 6b        Index *pPk
1d20: 20 3d 20 73 71 6c 69 74 65 33 50 72 69 6d 61 72   = sqlite3Primar
1d30: 79 4b 65 79 49 6e 64 65 78 28 70 54 61 62 29 3b  yKeyIndex(pTab);
1d40: 0a 20 20 20 20 20 20 69 6e 74 20 6e 50 6b 20 3d  .      int nPk =
1d50: 20 70 50 6b 2d 3e 6e 4b 65 79 43 6f 6c 3b 0a 20   pPk->nKeyCol;. 
1d60: 20 20 20 20 20 69 6e 74 20 69 50 6b 20 3d 20 70       int iPk = p
1d70: 50 61 72 73 65 2d 3e 6e 4d 65 6d 2b 31 3b 0a 20  Parse->nMem+1;. 
1d80: 20 20 20 20 20 69 6e 74 20 69 3b 0a 20 20 20 20       int i;.    
1d90: 20 20 70 50 61 72 73 65 2d 3e 6e 4d 65 6d 20 2b    pParse->nMem +
1da0: 3d 20 6e 50 6b 3b 0a 20 20 20 20 20 20 66 6f 72  = nPk;.      for
1db0: 28 69 3d 30 3b 20 69 3c 6e 50 6b 3b 20 69 2b 2b  (i=0; i<nPk; i++
1dc0: 29 7b 0a 20 20 20 20 20 20 20 20 69 6e 74 20 6b  ){.        int k
1dd0: 3b 0a 20 20 20 20 20 20 20 20 61 73 73 65 72 74  ;.        assert
1de0: 28 20 70 50 6b 2d 3e 61 69 43 6f 6c 75 6d 6e 5b  ( pPk->aiColumn[
1df0: 69 5d 3e 3d 30 20 29 3b 0a 20 20 20 20 20 20 20  i]>=0 );.       
1e00: 20 6b 20 3d 20 73 71 6c 69 74 65 33 43 6f 6c 75   k = sqlite3Colu
1e10: 6d 6e 4f 66 49 6e 64 65 78 28 70 49 64 78 2c 20  mnOfIndex(pIdx, 
1e20: 70 50 6b 2d 3e 61 69 43 6f 6c 75 6d 6e 5b 69 5d  pPk->aiColumn[i]
1e30: 29 3b 0a 20 20 20 20 20 20 20 20 73 71 6c 69 74  );.        sqlit
1e40: 65 33 56 64 62 65 41 64 64 4f 70 33 28 76 2c 20  e3VdbeAddOp3(v, 
1e50: 4f 50 5f 43 6f 6c 75 6d 6e 2c 20 69 43 75 72 2c  OP_Column, iCur,
1e60: 20 6b 2c 20 69 50 6b 2b 69 29 3b 0a 20 20 20 20   k, iPk+i);.    
1e70: 20 20 20 20 56 64 62 65 43 6f 6d 6d 65 6e 74 28      VdbeComment(
1e80: 28 76 2c 20 22 25 73 2e 25 73 22 2c 20 70 49 64  (v, "%s.%s", pId
1e90: 78 2d 3e 7a 4e 61 6d 65 2c 0a 20 20 20 20 20 20  x->zName,.      
1ea0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 70 54                pT
1eb0: 61 62 2d 3e 61 43 6f 6c 5b 70 50 6b 2d 3e 61 69  ab->aCol[pPk->ai
1ec0: 43 6f 6c 75 6d 6e 5b 69 5d 5d 2e 7a 4e 61 6d 65  Column[i]].zName
1ed0: 29 29 3b 0a 20 20 20 20 20 20 7d 0a 20 20 20 20  ));.      }.    
1ee0: 20 20 73 71 6c 69 74 65 33 56 64 62 65 56 65 72    sqlite3VdbeVer
1ef0: 69 66 79 41 62 6f 72 74 61 62 6c 65 28 76 2c 20  ifyAbortable(v, 
1f00: 4f 45 5f 41 62 6f 72 74 29 3b 0a 20 20 20 20 20  OE_Abort);.     
1f10: 20 69 20 3d 20 73 71 6c 69 74 65 33 56 64 62 65   i = sqlite3Vdbe
1f20: 41 64 64 4f 70 34 49 6e 74 28 76 2c 20 4f 50 5f  AddOp4Int(v, OP_
1f30: 46 6f 75 6e 64 2c 20 69 44 61 74 61 43 75 72 2c  Found, iDataCur,
1f40: 20 30 2c 20 69 50 6b 2c 20 6e 50 6b 29 3b 0a 20   0, iPk, nPk);. 
1f50: 20 20 20 20 20 56 64 62 65 43 6f 76 65 72 61 67       VdbeCoverag
1f60: 65 28 76 29 3b 0a 20 20 20 20 20 20 73 71 6c 69  e(v);.      sqli
1f70: 74 65 33 56 64 62 65 41 64 64 4f 70 34 28 76 2c  te3VdbeAddOp4(v,
1f80: 20 4f 50 5f 48 61 6c 74 2c 20 53 51 4c 49 54 45   OP_Halt, SQLITE
1f90: 5f 43 4f 52 52 55 50 54 2c 20 4f 45 5f 41 62 6f  _CORRUPT, OE_Abo
1fa0: 72 74 2c 20 30 2c 20 0a 20 20 20 20 20 20 20 20  rt, 0, .        
1fb0: 20 20 20 20 22 63 6f 72 72 75 70 74 20 64 61 74      "corrupt dat
1fc0: 61 62 61 73 65 22 2c 20 50 34 5f 53 54 41 54 49  abase", P4_STATI
1fd0: 43 29 3b 0a 20 20 20 20 20 20 73 71 6c 69 74 65  C);.      sqlite
1fe0: 33 56 64 62 65 4a 75 6d 70 48 65 72 65 28 76 2c  3VdbeJumpHere(v,
1ff0: 20 69 29 3b 0a 20 20 20 20 7d 0a 20 20 7d 0a 20   i);.    }.  }. 
2000: 20 2f 2a 20 70 55 70 73 65 72 74 20 64 6f 65 73   /* pUpsert does
2010: 20 6e 6f 74 20 6f 77 6e 20 70 55 70 73 65 72 74   not own pUpsert
2020: 53 72 63 20 2d 20 74 68 65 20 6f 75 74 65 72 20  Src - the outer 
2030: 49 4e 53 45 52 54 20 73 74 61 74 65 6d 65 6e 74  INSERT statement
2040: 20 64 6f 65 73 2e 20 20 53 6f 0a 20 20 2a 2a 20   does.  So.  ** 
2050: 77 65 20 68 61 76 65 20 74 6f 20 6d 61 6b 65 20  we have to make 
2060: 61 20 63 6f 70 79 20 62 65 66 6f 72 65 20 70 61  a copy before pa
2070: 73 73 69 6e 67 20 69 74 20 64 6f 77 6e 20 69 6e  ssing it down in
2080: 74 6f 20 73 71 6c 69 74 65 33 55 70 64 61 74 65  to sqlite3Update
2090: 28 29 20 2a 2f 0a 20 20 70 53 72 63 20 3d 20 73  () */.  pSrc = s
20a0: 71 6c 69 74 65 33 53 72 63 4c 69 73 74 44 75 70  qlite3SrcListDup
20b0: 28 64 62 2c 20 70 55 70 73 65 72 74 2d 3e 70 55  (db, pUpsert->pU
20c0: 70 73 65 72 74 53 72 63 2c 20 30 29 3b 0a 20 20  psertSrc, 0);.  
20d0: 73 71 6c 69 74 65 33 55 70 64 61 74 65 28 70 50  sqlite3Update(pP
20e0: 61 72 73 65 2c 20 70 53 72 63 2c 20 70 55 70 73  arse, pSrc, pUps
20f0: 65 72 74 2d 3e 70 55 70 73 65 72 74 53 65 74 2c  ert->pUpsertSet,
2100: 0a 20 20 20 20 20 20 70 55 70 73 65 72 74 2d 3e  .      pUpsert->
2110: 70 55 70 73 65 72 74 57 68 65 72 65 2c 20 4f 45  pUpsertWhere, OE
2120: 5f 41 62 6f 72 74 2c 20 30 2c 20 30 2c 20 70 55  _Abort, 0, 0, pU
2130: 70 73 65 72 74 29 3b 0a 20 20 70 55 70 73 65 72  psert);.  pUpser
2140: 74 2d 3e 70 55 70 73 65 72 74 53 65 74 20 3d 20  t->pUpsertSet = 
2150: 30 3b 20 20 20 20 2f 2a 20 57 69 6c 6c 20 68 61  0;    /* Will ha
2160: 76 65 20 62 65 65 6e 20 64 65 6c 65 74 65 64 20  ve been deleted 
2170: 62 79 20 73 71 6c 69 74 65 33 55 70 64 61 74 65  by sqlite3Update
2180: 28 29 20 2a 2f 0a 20 20 70 55 70 73 65 72 74 2d  () */.  pUpsert-
2190: 3e 70 55 70 73 65 72 74 57 68 65 72 65 20 3d 20  >pUpsertWhere = 
21a0: 30 3b 20 20 2f 2a 20 57 69 6c 6c 20 68 61 76 65  0;  /* Will have
21b0: 20 62 65 65 6e 20 64 65 6c 65 74 65 64 20 62 79   been deleted by
21c0: 20 73 71 6c 69 74 65 33 55 70 64 61 74 65 28 29   sqlite3Update()
21d0: 20 2a 2f 0a 20 20 56 64 62 65 4e 6f 6f 70 43 6f   */.  VdbeNoopCo
21e0: 6d 6d 65 6e 74 28 28 76 2c 20 22 45 6e 64 20 44  mment((v, "End D
21f0: 4f 20 55 50 44 41 54 45 20 6f 66 20 55 50 53 45  O UPDATE of UPSE
2200: 52 54 22 29 29 3b 0a 7d 0a 0a 23 65 6e 64 69 66  RT"));.}..#endif
2210: 20 2f 2a 20 53 51 4c 49 54 45 5f 4f 4d 49 54 5f   /* SQLITE_OMIT_
2220: 55 50 53 45 52 54 20 2a 2f 0a                    UPSERT */.