1 /* 2 ** 2001 September 15 3 ** 4 ** The author disclaims copyright to this source code. In place of 5 ** a legal notice, here is a blessing: 6 ** 7 ** May you do good and not evil. 8 ** May you find forgiveness for yourself and forgive others. 9 ** May you share freely, never taking more than you give. 10 ** 11 ************************************************************************* 12 ** This file contains C code routines that are called by the parser 13 ** in order to generate code for DELETE FROM statements. 14 */ 15 #include "sqliteInt.h" 16 17 /* 18 ** While a SrcList can in general represent multiple tables and subqueries 19 ** (as in the FROM clause of a SELECT statement) in this case it contains 20 ** the name of a single table, as one might find in an INSERT, DELETE, 21 ** or UPDATE statement. Look up that table in the symbol table and 22 ** return a pointer. Set an error message and return NULL if the table 23 ** name is not found or if any other error occurs. 24 ** 25 ** The following fields are initialized appropriate in pSrc: 26 ** 27 ** pSrc->a[0].pTab Pointer to the Table object 28 ** pSrc->a[0].pIndex Pointer to the INDEXED BY index, if there is one 29 ** 30 */ 31 Table *sqlite3SrcListLookup(Parse *pParse, SrcList *pSrc){ 32 struct SrcList_item *pItem = pSrc->a; 33 Table *pTab; 34 assert( pItem && pSrc->nSrc==1 ); 35 pTab = sqlite3LocateTableItem(pParse, 0, pItem); 36 sqlite3DeleteTable(pParse->db, pItem->pTab); 37 pItem->pTab = pTab; 38 if( pTab ){ 39 pTab->nRef++; 40 } 41 if( sqlite3IndexedByLookup(pParse, pItem) ){ 42 pTab = 0; 43 } 44 return pTab; 45 } 46 47 /* 48 ** Check to make sure the given table is writable. If it is not 49 ** writable, generate an error message and return 1. If it is 50 ** writable return 0; 51 */ 52 int sqlite3IsReadOnly(Parse *pParse, Table *pTab, int viewOk){ 53 /* A table is not writable under the following circumstances: 54 ** 55 ** 1) It is a virtual table and no implementation of the xUpdate method 56 ** has been provided, or 57 ** 2) It is a system table (i.e. sqlite_master), this call is not 58 ** part of a nested parse and writable_schema pragma has not 59 ** been specified. 60 ** 61 ** In either case leave an error message in pParse and return non-zero. 62 */ 63 if( ( IsVirtual(pTab) 64 && sqlite3GetVTable(pParse->db, pTab)->pMod->pModule->xUpdate==0 ) 65 || ( (pTab->tabFlags & TF_Readonly)!=0 66 && (pParse->db->flags & SQLITE_WriteSchema)==0 67 && pParse->nested==0 ) 68 ){ 69 sqlite3ErrorMsg(pParse, "table %s may not be modified", pTab->zName); 70 return 1; 71 } 72 73 #ifndef SQLITE_OMIT_VIEW 74 if( !viewOk && pTab->pSelect ){ 75 sqlite3ErrorMsg(pParse,"cannot modify %s because it is a view",pTab->zName); 76 return 1; 77 } 78 #endif 79 return 0; 80 } 81 82 83 #if !defined(SQLITE_OMIT_VIEW) && !defined(SQLITE_OMIT_TRIGGER) 84 /* 85 ** Evaluate a view and store its result in an ephemeral table. The 86 ** pWhere argument is an optional WHERE clause that restricts the 87 ** set of rows in the view that are to be added to the ephemeral table. 88 */ 89 void sqlite3MaterializeView( 90 Parse *pParse, /* Parsing context */ 91 Table *pView, /* View definition */ 92 Expr *pWhere, /* Optional WHERE clause to be added */ 93 int iCur /* Cursor number for ephemerial table */ 94 ){ 95 SelectDest dest; 96 Select *pDup; 97 sqlite3 *db = pParse->db; 98 99 pDup = sqlite3SelectDup(db, pView->pSelect, 0); 100 if( pWhere ){ 101 SrcList *pFrom; 102 103 pWhere = sqlite3ExprDup(db, pWhere, 0); 104 pFrom = sqlite3SrcListAppend(db, 0, 0, 0); 105 if( pFrom ){ 106 assert( pFrom->nSrc==1 ); 107 pFrom->a[0].zAlias = sqlite3DbStrDup(db, pView->zName); 108 pFrom->a[0].pSelect = pDup; 109 assert( pFrom->a[0].pOn==0 ); 110 assert( pFrom->a[0].pUsing==0 ); 111 }else{ 112 sqlite3SelectDelete(db, pDup); 113 } 114 pDup = sqlite3SelectNew(pParse, 0, pFrom, pWhere, 0, 0, 0, 0, 0, 0); 115 if( pDup ) pDup->selFlags |= SF_Materialize; 116 } 117 sqlite3SelectDestInit(&dest, SRT_EphemTab, iCur); 118 sqlite3Select(pParse, pDup, &dest); 119 sqlite3SelectDelete(db, pDup); 120 } 121 #endif /* !defined(SQLITE_OMIT_VIEW) && !defined(SQLITE_OMIT_TRIGGER) */ 122 123 #if defined(SQLITE_ENABLE_UPDATE_DELETE_LIMIT) && !defined(SQLITE_OMIT_SUBQUERY) 124 /* 125 ** Generate an expression tree to implement the WHERE, ORDER BY, 126 ** and LIMIT/OFFSET portion of DELETE and UPDATE statements. 127 ** 128 ** DELETE FROM table_wxyz WHERE a<5 ORDER BY a LIMIT 1; 129 ** \__________________________/ 130 ** pLimitWhere (pInClause) 131 */ 132 Expr *sqlite3LimitWhere( 133 Parse *pParse, /* The parser context */ 134 SrcList *pSrc, /* the FROM clause -- which tables to scan */ 135 Expr *pWhere, /* The WHERE clause. May be null */ 136 ExprList *pOrderBy, /* The ORDER BY clause. May be null */ 137 Expr *pLimit, /* The LIMIT clause. May be null */ 138 Expr *pOffset, /* The OFFSET clause. May be null */ 139 char *zStmtType /* Either DELETE or UPDATE. For error messages. */ 140 ){ 141 Expr *pWhereRowid = NULL; /* WHERE rowid .. */ 142 Expr *pInClause = NULL; /* WHERE rowid IN ( select ) */ 143 Expr *pSelectRowid = NULL; /* SELECT rowid ... */ 144 ExprList *pEList = NULL; /* Expression list contaning only pSelectRowid */ 145 SrcList *pSelectSrc = NULL; /* SELECT rowid FROM x ... (dup of pSrc) */ 146 Select *pSelect = NULL; /* Complete SELECT tree */ 147 148 /* Check that there isn't an ORDER BY without a LIMIT clause. 149 */ 150 if( pOrderBy && (pLimit == 0) ) { 151 sqlite3ErrorMsg(pParse, "ORDER BY without LIMIT on %s", zStmtType); 152 goto limit_where_cleanup_2; 153 } 154 155 /* We only need to generate a select expression if there 156 ** is a limit/offset term to enforce. 157 */ 158 if( pLimit == 0 ) { 159 /* if pLimit is null, pOffset will always be null as well. */ 160 assert( pOffset == 0 ); 161 return pWhere; 162 } 163 164 /* Generate a select expression tree to enforce the limit/offset 165 ** term for the DELETE or UPDATE statement. For example: 166 ** DELETE FROM table_a WHERE col1=1 ORDER BY col2 LIMIT 1 OFFSET 1 167 ** becomes: 168 ** DELETE FROM table_a WHERE rowid IN ( 169 ** SELECT rowid FROM table_a WHERE col1=1 ORDER BY col2 LIMIT 1 OFFSET 1 170 ** ); 171 */ 172 173 pSelectRowid = sqlite3PExpr(pParse, TK_ROW, 0, 0, 0); 174 if( pSelectRowid == 0 ) goto limit_where_cleanup_2; 175 pEList = sqlite3ExprListAppend(pParse, 0, pSelectRowid); 176 if( pEList == 0 ) goto limit_where_cleanup_2; 177 178 /* duplicate the FROM clause as it is needed by both the DELETE/UPDATE tree 179 ** and the SELECT subtree. */ 180 pSelectSrc = sqlite3SrcListDup(pParse->db, pSrc, 0); 181 if( pSelectSrc == 0 ) { 182 sqlite3ExprListDelete(pParse->db, pEList); 183 goto limit_where_cleanup_2; 184 } 185 186 /* generate the SELECT expression tree. */ 187 pSelect = sqlite3SelectNew(pParse,pEList,pSelectSrc,pWhere,0,0, 188 pOrderBy,0,pLimit,pOffset); 189 if( pSelect == 0 ) return 0; 190 191 /* now generate the new WHERE rowid IN clause for the DELETE/UDPATE */ 192 pWhereRowid = sqlite3PExpr(pParse, TK_ROW, 0, 0, 0); 193 if( pWhereRowid == 0 ) goto limit_where_cleanup_1; 194 pInClause = sqlite3PExpr(pParse, TK_IN, pWhereRowid, 0, 0); 195 if( pInClause == 0 ) goto limit_where_cleanup_1; 196 197 pInClause->x.pSelect = pSelect; 198 pInClause->flags |= EP_xIsSelect; 199 sqlite3ExprSetHeight(pParse, pInClause); 200 return pInClause; 201 202 /* something went wrong. clean up anything allocated. */ 203 limit_where_cleanup_1: 204 sqlite3SelectDelete(pParse->db, pSelect); 205 return 0; 206 207 limit_where_cleanup_2: 208 sqlite3ExprDelete(pParse->db, pWhere); 209 sqlite3ExprListDelete(pParse->db, pOrderBy); 210 sqlite3ExprDelete(pParse->db, pLimit); 211 sqlite3ExprDelete(pParse->db, pOffset); 212 return 0; 213 } 214 #endif /* defined(SQLITE_ENABLE_UPDATE_DELETE_LIMIT) && !defined(SQLITE_OMIT_SUBQUERY) */ 215 216 /* 217 ** Generate code for a DELETE FROM statement. 218 ** 219 ** DELETE FROM table_wxyz WHERE a<5 AND b NOT NULL; 220 ** \________/ \________________/ 221 ** pTabList pWhere 222 */ 223 void sqlite3DeleteFrom( 224 Parse *pParse, /* The parser context */ 225 SrcList *pTabList, /* The table from which we should delete things */ 226 Expr *pWhere /* The WHERE clause. May be null */ 227 ){ 228 Vdbe *v; /* The virtual database engine */ 229 Table *pTab; /* The table from which records will be deleted */ 230 const char *zDb; /* Name of database holding pTab */ 231 int end, addr = 0; /* A couple addresses of generated code */ 232 int i; /* Loop counter */ 233 WhereInfo *pWInfo; /* Information about the WHERE clause */ 234 Index *pIdx; /* For looping over indices of the table */ 235 int iCur; /* VDBE Cursor number for pTab */ 236 sqlite3 *db; /* Main database structure */ 237 AuthContext sContext; /* Authorization context */ 238 NameContext sNC; /* Name context to resolve expressions in */ 239 int iDb; /* Database number */ 240 int memCnt = -1; /* Memory cell used for change counting */ 241 int rcauth; /* Value returned by authorization callback */ 242 243 #ifndef SQLITE_OMIT_TRIGGER 244 int isView; /* True if attempting to delete from a view */ 245 Trigger *pTrigger; /* List of table triggers, if required */ 246 #endif 247 248 memset(&sContext, 0, sizeof(sContext)); 249 db = pParse->db; 250 if( pParse->nErr || db->mallocFailed ){ 251 goto delete_from_cleanup; 252 } 253 assert( pTabList->nSrc==1 ); 254 255 /* Locate the table which we want to delete. This table has to be 256 ** put in an SrcList structure because some of the subroutines we 257 ** will be calling are designed to work with multiple tables and expect 258 ** an SrcList* parameter instead of just a Table* parameter. 259 */ 260 pTab = sqlite3SrcListLookup(pParse, pTabList); 261 if( pTab==0 ) goto delete_from_cleanup; 262 263 /* Figure out if we have any triggers and if the table being 264 ** deleted from is a view 265 */ 266 #ifndef SQLITE_OMIT_TRIGGER 267 pTrigger = sqlite3TriggersExist(pParse, pTab, TK_DELETE, 0, 0); 268 isView = pTab->pSelect!=0; 269 #else 270 # define pTrigger 0 271 # define isView 0 272 #endif 273 #ifdef SQLITE_OMIT_VIEW 274 # undef isView 275 # define isView 0 276 #endif 277 278 /* If pTab is really a view, make sure it has been initialized. 279 */ 280 if( sqlite3ViewGetColumnNames(pParse, pTab) ){ 281 goto delete_from_cleanup; 282 } 283 284 if( sqlite3IsReadOnly(pParse, pTab, (pTrigger?1:0)) ){ 285 goto delete_from_cleanup; 286 } 287 iDb = sqlite3SchemaToIndex(db, pTab->pSchema); 288 assert( iDb<db->nDb ); 289 zDb = db->aDb[iDb].zName; 290 rcauth = sqlite3AuthCheck(pParse, SQLITE_DELETE, pTab->zName, 0, zDb); 291 assert( rcauth==SQLITE_OK || rcauth==SQLITE_DENY || rcauth==SQLITE_IGNORE ); 292 if( rcauth==SQLITE_DENY ){ 293 goto delete_from_cleanup; 294 } 295 assert(!isView || pTrigger); 296 297 /* Assign cursor number to the table and all its indices. 298 */ 299 assert( pTabList->nSrc==1 ); 300 iCur = pTabList->a[0].iCursor = pParse->nTab++; 301 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){ 302 pParse->nTab++; 303 } 304 305 /* Start the view context 306 */ 307 if( isView ){ 308 sqlite3AuthContextPush(pParse, &sContext, pTab->zName); 309 } 310 311 /* Begin generating code. 312 */ 313 v = sqlite3GetVdbe(pParse); 314 if( v==0 ){ 315 goto delete_from_cleanup; 316 } 317 if( pParse->nested==0 ) sqlite3VdbeCountChanges(v); 318 sqlite3BeginWriteOperation(pParse, 1, iDb); 319 320 /* If we are trying to delete from a view, realize that view into 321 ** a ephemeral table. 322 */ 323 #if !defined(SQLITE_OMIT_VIEW) && !defined(SQLITE_OMIT_TRIGGER) 324 if( isView ){ 325 sqlite3MaterializeView(pParse, pTab, pWhere, iCur); 326 } 327 #endif 328 329 /* Resolve the column names in the WHERE clause. 330 */ 331 memset(&sNC, 0, sizeof(sNC)); 332 sNC.pParse = pParse; 333 sNC.pSrcList = pTabList; 334 if( sqlite3ResolveExprNames(&sNC, pWhere) ){ 335 goto delete_from_cleanup; 336 } 337 338 /* Initialize the counter of the number of rows deleted, if 339 ** we are counting rows. 340 */ 341 if( db->flags & SQLITE_CountRows ){ 342 memCnt = ++pParse->nMem; 343 sqlite3VdbeAddOp2(v, OP_Integer, 0, memCnt); 344 } 345 346 #ifndef SQLITE_OMIT_TRUNCATE_OPTIMIZATION 347 /* Special case: A DELETE without a WHERE clause deletes everything. 348 ** It is easier just to erase the whole table. Prior to version 3.6.5, 349 ** this optimization caused the row change count (the value returned by 350 ** API function sqlite3_count_changes) to be set incorrectly. */ 351 if( rcauth==SQLITE_OK && pWhere==0 && !pTrigger && !IsVirtual(pTab) 352 && 0==sqlite3FkRequired(pParse, pTab, 0, 0) 353 ){ 354 assert( !isView ); 355 sqlite3VdbeAddOp4(v, OP_Clear, pTab->tnum, iDb, memCnt, 356 pTab->zName, P4_STATIC); 357 for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){ 358 assert( pIdx->pSchema==pTab->pSchema ); 359 sqlite3VdbeAddOp2(v, OP_Clear, pIdx->tnum, iDb); 360 } 361 }else 362 #endif /* SQLITE_OMIT_TRUNCATE_OPTIMIZATION */ 363 /* The usual case: There is a WHERE clause so we have to scan through 364 ** the table and pick which records to delete. 365 */ 366 { 367 int iRowSet = ++pParse->nMem; /* Register for rowset of rows to delete */ 368 int iRowid = ++pParse->nMem; /* Used for storing rowid values. */ 369 int regRowid; /* Actual register containing rowids */ 370 371 /* Collect rowids of every row to be deleted. 372 */ 373 sqlite3VdbeAddOp2(v, OP_Null, 0, iRowSet); 374 pWInfo = sqlite3WhereBegin( 375 pParse, pTabList, pWhere, 0, 0, WHERE_DUPLICATES_OK, 0 376 ); 377 if( pWInfo==0 ) goto delete_from_cleanup; 378 regRowid = sqlite3ExprCodeGetColumn(pParse, pTab, -1, iCur, iRowid, 0); 379 sqlite3VdbeAddOp2(v, OP_RowSetAdd, iRowSet, regRowid); 380 if( db->flags & SQLITE_CountRows ){ 381 sqlite3VdbeAddOp2(v, OP_AddImm, memCnt, 1); 382 } 383 sqlite3WhereEnd(pWInfo); 384 385 /* Delete every item whose key was written to the list during the 386 ** database scan. We have to delete items after the scan is complete 387 ** because deleting an item can change the scan order. */ 388 end = sqlite3VdbeMakeLabel(v); 389 390 /* Unless this is a view, open cursors for the table we are 391 ** deleting from and all its indices. If this is a view, then the 392 ** only effect this statement has is to fire the INSTEAD OF 393 ** triggers. */ 394 if( !isView ){ 395 sqlite3OpenTableAndIndices(pParse, pTab, iCur, OP_OpenWrite); 396 } 397 398 addr = sqlite3VdbeAddOp3(v, OP_RowSetRead, iRowSet, end, iRowid); 399 400 /* Delete the row */ 401 #ifndef SQLITE_OMIT_VIRTUALTABLE 402 if( IsVirtual(pTab) ){ 403 const char *pVTab = (const char *)sqlite3GetVTable(db, pTab); 404 sqlite3VtabMakeWritable(pParse, pTab); 405 sqlite3VdbeAddOp4(v, OP_VUpdate, 0, 1, iRowid, pVTab, P4_VTAB); 406 sqlite3VdbeChangeP5(v, OE_Abort); 407 sqlite3MayAbort(pParse); 408 }else 409 #endif 410 { 411 int count = (pParse->nested==0); /* True to count changes */ 412 sqlite3GenerateRowDelete(pParse, pTab, iCur, iRowid, count, pTrigger, OE_Default); 413 } 414 415 /* End of the delete loop */ 416 sqlite3VdbeAddOp2(v, OP_Goto, 0, addr); 417 sqlite3VdbeResolveLabel(v, end); 418 419 /* Close the cursors open on the table and its indexes. */ 420 if( !isView && !IsVirtual(pTab) ){ 421 for(i=1, pIdx=pTab->pIndex; pIdx; i++, pIdx=pIdx->pNext){ 422 sqlite3VdbeAddOp2(v, OP_Close, iCur + i, pIdx->tnum); 423 } 424 sqlite3VdbeAddOp1(v, OP_Close, iCur); 425 } 426 } 427 428 /* Update the sqlite_sequence table by storing the content of the 429 ** maximum rowid counter values recorded while inserting into 430 ** autoincrement tables. 431 */ 432 if( pParse->nested==0 && pParse->pTriggerTab==0 ){ 433 sqlite3AutoincrementEnd(pParse); 434 } 435 436 /* Return the number of rows that were deleted. If this routine is 437 ** generating code because of a call to sqlite3NestedParse(), do not 438 ** invoke the callback function. 439 */ 440 if( (db->flags&SQLITE_CountRows) && !pParse->nested && !pParse->pTriggerTab ){ 441 sqlite3VdbeAddOp2(v, OP_ResultRow, memCnt, 1); 442 sqlite3VdbeSetNumCols(v, 1); 443 sqlite3VdbeSetColName(v, 0, COLNAME_NAME, "rows deleted", SQLITE_STATIC); 444 } 445 446 delete_from_cleanup: 447 sqlite3AuthContextPop(&sContext); 448 sqlite3SrcListDelete(db, pTabList); 449 sqlite3ExprDelete(db, pWhere); 450 return; 451 } 452 /* Make sure "isView" and other macros defined above are undefined. Otherwise 453 ** thely may interfere with compilation of other functions in this file 454 ** (or in another file, if this file becomes part of the amalgamation). */ 455 #ifdef isView 456 #undef isView 457 #endif 458 #ifdef pTrigger 459 #undef pTrigger 460 #endif 461 462 /* 463 ** This routine generates VDBE code that causes a single row of a 464 ** single table to be deleted. 465 ** 466 ** The VDBE must be in a particular state when this routine is called. 467 ** These are the requirements: 468 ** 469 ** 1. A read/write cursor pointing to pTab, the table containing the row 470 ** to be deleted, must be opened as cursor number $iCur. 471 ** 472 ** 2. Read/write cursors for all indices of pTab must be open as 473 ** cursor number base+i for the i-th index. 474 ** 475 ** 3. The record number of the row to be deleted must be stored in 476 ** memory cell iRowid. 477 ** 478 ** This routine generates code to remove both the table record and all 479 ** index entries that point to that record. 480 */ 481 void sqlite3GenerateRowDelete( 482 Parse *pParse, /* Parsing context */ 483 Table *pTab, /* Table containing the row to be deleted */ 484 int iCur, /* Cursor number for the table */ 485 int iRowid, /* Memory cell that contains the rowid to delete */ 486 int count, /* If non-zero, increment the row change counter */ 487 Trigger *pTrigger, /* List of triggers to (potentially) fire */ 488 int onconf /* Default ON CONFLICT policy for triggers */ 489 ){ 490 Vdbe *v = pParse->pVdbe; /* Vdbe */ 491 int iOld = 0; /* First register in OLD.* array */ 492 int iLabel; /* Label resolved to end of generated code */ 493 494 /* Vdbe is guaranteed to have been allocated by this stage. */ 495 assert( v ); 496 497 /* Seek cursor iCur to the row to delete. If this row no longer exists 498 ** (this can happen if a trigger program has already deleted it), do 499 ** not attempt to delete it or fire any DELETE triggers. */ 500 iLabel = sqlite3VdbeMakeLabel(v); 501 sqlite3VdbeAddOp3(v, OP_NotExists, iCur, iLabel, iRowid); 502 503 /* If there are any triggers to fire, allocate a range of registers to 504 ** use for the old.* references in the triggers. */ 505 if( sqlite3FkRequired(pParse, pTab, 0, 0) || pTrigger ){ 506 u32 mask; /* Mask of OLD.* columns in use */ 507 int iCol; /* Iterator used while populating OLD.* */ 508 509 /* TODO: Could use temporary registers here. Also could attempt to 510 ** avoid copying the contents of the rowid register. */ 511 mask = sqlite3TriggerColmask( 512 pParse, pTrigger, 0, 0, TRIGGER_BEFORE|TRIGGER_AFTER, pTab, onconf 513 ); 514 mask |= sqlite3FkOldmask(pParse, pTab); 515 iOld = pParse->nMem+1; 516 pParse->nMem += (1 + pTab->nCol); 517 518 /* Populate the OLD.* pseudo-table register array. These values will be 519 ** used by any BEFORE and AFTER triggers that exist. */ 520 sqlite3VdbeAddOp2(v, OP_Copy, iRowid, iOld); 521 for(iCol=0; iCol<pTab->nCol; iCol++){ 522 if( mask==0xffffffff || mask&(1<<iCol) ){ 523 sqlite3ExprCodeGetColumnOfTable(v, pTab, iCur, iCol, iOld+iCol+1); 524 } 525 } 526 527 /* Invoke BEFORE DELETE trigger programs. */ 528 sqlite3CodeRowTrigger(pParse, pTrigger, 529 TK_DELETE, 0, TRIGGER_BEFORE, pTab, iOld, onconf, iLabel 530 ); 531 532 /* Seek the cursor to the row to be deleted again. It may be that 533 ** the BEFORE triggers coded above have already removed the row 534 ** being deleted. Do not attempt to delete the row a second time, and 535 ** do not fire AFTER triggers. */ 536 sqlite3VdbeAddOp3(v, OP_NotExists, iCur, iLabel, iRowid); 537 538 /* Do FK processing. This call checks that any FK constraints that 539 ** refer to this table (i.e. constraints attached to other tables) 540 ** are not violated by deleting this row. */ 541 sqlite3FkCheck(pParse, pTab, iOld, 0); 542 } 543 544 /* Delete the index and table entries. Skip this step if pTab is really 545 ** a view (in which case the only effect of the DELETE statement is to 546 ** fire the INSTEAD OF triggers). */ 547 if( pTab->pSelect==0 ){ 548 sqlite3GenerateRowIndexDelete(pParse, pTab, iCur, 0); 549 sqlite3VdbeAddOp2(v, OP_Delete, iCur, (count?OPFLAG_NCHANGE:0)); 550 if( count ){ 551 sqlite3VdbeChangeP4(v, -1, pTab->zName, P4_TRANSIENT); 552 } 553 } 554 555 /* Do any ON CASCADE, SET NULL or SET DEFAULT operations required to 556 ** handle rows (possibly in other tables) that refer via a foreign key 557 ** to the row just deleted. */ 558 sqlite3FkActions(pParse, pTab, 0, iOld); 559 560 /* Invoke AFTER DELETE trigger programs. */ 561 sqlite3CodeRowTrigger(pParse, pTrigger, 562 TK_DELETE, 0, TRIGGER_AFTER, pTab, iOld, onconf, iLabel 563 ); 564 565 /* Jump here if the row had already been deleted before any BEFORE 566 ** trigger programs were invoked. Or if a trigger program throws a 567 ** RAISE(IGNORE) exception. */ 568 sqlite3VdbeResolveLabel(v, iLabel); 569 } 570 571 /* 572 ** This routine generates VDBE code that causes the deletion of all 573 ** index entries associated with a single row of a single table. 574 ** 575 ** The VDBE must be in a particular state when this routine is called. 576 ** These are the requirements: 577 ** 578 ** 1. A read/write cursor pointing to pTab, the table containing the row 579 ** to be deleted, must be opened as cursor number "iCur". 580 ** 581 ** 2. Read/write cursors for all indices of pTab must be open as 582 ** cursor number iCur+i for the i-th index. 583 ** 584 ** 3. The "iCur" cursor must be pointing to the row that is to be 585 ** deleted. 586 */ 587 void sqlite3GenerateRowIndexDelete( 588 Parse *pParse, /* Parsing and code generating context */ 589 Table *pTab, /* Table containing the row to be deleted */ 590 int iCur, /* Cursor number for the table */ 591 int *aRegIdx /* Only delete if aRegIdx!=0 && aRegIdx[i]>0 */ 592 ){ 593 int i; 594 Index *pIdx; 595 int r1; 596 597 for(i=1, pIdx=pTab->pIndex; pIdx; i++, pIdx=pIdx->pNext){ 598 if( aRegIdx!=0 && aRegIdx[i-1]==0 ) continue; 599 r1 = sqlite3GenerateIndexKey(pParse, pIdx, iCur, 0, 0); 600 sqlite3VdbeAddOp3(pParse->pVdbe, OP_IdxDelete, iCur+i, r1,pIdx->nColumn+1); 601 } 602 } 603 604 /* 605 ** Generate code that will assemble an index key and put it in register 606 ** regOut. The key with be for index pIdx which is an index on pTab. 607 ** iCur is the index of a cursor open on the pTab table and pointing to 608 ** the entry that needs indexing. 609 ** 610 ** Return a register number which is the first in a block of 611 ** registers that holds the elements of the index key. The 612 ** block of registers has already been deallocated by the time 613 ** this routine returns. 614 */ 615 int sqlite3GenerateIndexKey( 616 Parse *pParse, /* Parsing context */ 617 Index *pIdx, /* The index for which to generate a key */ 618 int iCur, /* Cursor number for the pIdx->pTable table */ 619 int regOut, /* Write the new index key to this register */ 620 int doMakeRec /* Run the OP_MakeRecord instruction if true */ 621 ){ 622 Vdbe *v = pParse->pVdbe; 623 int j; 624 Table *pTab = pIdx->pTable; 625 int regBase; 626 int nCol; 627 628 nCol = pIdx->nColumn; 629 regBase = sqlite3GetTempRange(pParse, nCol+1); 630 sqlite3VdbeAddOp2(v, OP_Rowid, iCur, regBase+nCol); 631 for(j=0; j<nCol; j++){ 632 int idx = pIdx->aiColumn[j]; 633 if( idx==pTab->iPKey ){ 634 sqlite3VdbeAddOp2(v, OP_SCopy, regBase+nCol, regBase+j); 635 }else{ 636 sqlite3VdbeAddOp3(v, OP_Column, iCur, idx, regBase+j); 637 sqlite3ColumnDefault(v, pTab, idx, -1); 638 } 639 } 640 if( doMakeRec ){ 641 const char *zAff; 642 if( pTab->pSelect 643 || OptimizationDisabled(pParse->db, SQLITE_IdxRealAsInt) 644 ){ 645 zAff = 0; 646 }else{ 647 zAff = sqlite3IndexAffinityStr(v, pIdx); 648 } 649 sqlite3VdbeAddOp3(v, OP_MakeRecord, regBase, nCol+1, regOut); 650 sqlite3VdbeChangeP4(v, -1, zAff, P4_TRANSIENT); 651 } 652 sqlite3ReleaseTempRange(pParse, regBase, nCol+1); 653 return regBase; 654 } 655