xref: /sqlite-3.40.0/src/trigger.c (revision 4e451aad)
1c3f9bad2Sdanielk1977 /*
2633ed08dSdanielk1977 **
3633ed08dSdanielk1977 ** The author disclaims copyright to this source code.  In place of
4633ed08dSdanielk1977 ** a legal notice, here is a blessing:
5633ed08dSdanielk1977 **
6633ed08dSdanielk1977 **    May you do good and not evil.
7633ed08dSdanielk1977 **    May you find forgiveness for yourself and forgive others.
8633ed08dSdanielk1977 **    May you share freely, never taking more than you give.
9633ed08dSdanielk1977 **
10633ed08dSdanielk1977 *************************************************************************
11c81c11f6Sdrh ** This file contains the implementation for TRIGGERs
12c3f9bad2Sdanielk1977 */
13c3f9bad2Sdanielk1977 #include "sqliteInt.h"
149adf9ac4Sdrh 
15b7f9164eSdrh #ifndef SQLITE_OMIT_TRIGGER
16c3f9bad2Sdanielk1977 /*
174b59ab5eSdrh ** Delete a linked list of TriggerStep structures.
184b59ab5eSdrh */
19633e6d57Sdrh void sqlite3DeleteTriggerStep(sqlite3 *db, TriggerStep *pTriggerStep){
204b59ab5eSdrh   while( pTriggerStep ){
214b59ab5eSdrh     TriggerStep * pTmp = pTriggerStep;
224b59ab5eSdrh     pTriggerStep = pTriggerStep->pNext;
234b59ab5eSdrh 
24633e6d57Sdrh     sqlite3ExprDelete(db, pTmp->pWhere);
25633e6d57Sdrh     sqlite3ExprListDelete(db, pTmp->pExprList);
26633e6d57Sdrh     sqlite3SelectDelete(db, pTmp->pSelect);
27633e6d57Sdrh     sqlite3IdListDelete(db, pTmp->pIdList);
2846d2e5c3Sdrh     sqlite3UpsertDelete(db, pTmp->pUpsert);
29e7877b2dSdan     sqlite3SrcListDelete(db, pTmp->pFrom);
30f259df5fSdrh     sqlite3DbFree(db, pTmp->zSpan);
314b59ab5eSdrh 
32633e6d57Sdrh     sqlite3DbFree(db, pTmp);
334b59ab5eSdrh   }
344b59ab5eSdrh }
354b59ab5eSdrh 
364b59ab5eSdrh /*
372f886d1dSdanielk1977 ** Given table pTab, return a list of all the triggers attached to
382f886d1dSdanielk1977 ** the table. The list is connected by Trigger.pNext pointers.
399ab4c2e8Sdrh **
409ab4c2e8Sdrh ** All of the triggers on pTab that are in the same database as pTab
419ab4c2e8Sdrh ** are already attached to pTab->pTrigger.  But there might be additional
429ab4c2e8Sdrh ** triggers on pTab in the TEMP schema.  This routine prepends all
439ab4c2e8Sdrh ** TEMP triggers on pTab to the beginning of the pTab->pTrigger list
449ab4c2e8Sdrh ** and returns the combined list.
459ab4c2e8Sdrh **
469ab4c2e8Sdrh ** To state it another way:  This routine returns a list of all triggers
479ab4c2e8Sdrh ** that fire off of pTab.  The list will include any TEMP triggers on
489ab4c2e8Sdrh ** pTab as well as the triggers lised in pTab->pTrigger.
492f886d1dSdanielk1977 */
502f886d1dSdanielk1977 Trigger *sqlite3TriggerList(Parse *pParse, Table *pTab){
512f886d1dSdanielk1977   Schema * const pTmpSchema = pParse->db->aDb[1].pSchema;
522f886d1dSdanielk1977   Trigger *pList = 0;                  /* List of triggers to return */
532f886d1dSdanielk1977 
54d66c8309Sdan   if( pParse->disableTriggers ){
55d66c8309Sdan     return 0;
56d66c8309Sdan   }
57d66c8309Sdan 
582f886d1dSdanielk1977   if( pTmpSchema!=pTab->pSchema ){
592f886d1dSdanielk1977     HashElem *p;
602120608eSdrh     assert( sqlite3SchemaMutexHeld(pParse->db, 0, pTmpSchema) );
612f886d1dSdanielk1977     for(p=sqliteHashFirst(&pTmpSchema->trigHash); p; p=sqliteHashNext(p)){
622f886d1dSdanielk1977       Trigger *pTrig = (Trigger *)sqliteHashData(p);
632f886d1dSdanielk1977       if( pTrig->pTabSchema==pTab->pSchema
642f886d1dSdanielk1977        && 0==sqlite3StrICmp(pTrig->table, pTab->zName)
652f886d1dSdanielk1977       ){
662f886d1dSdanielk1977         pTrig->pNext = (pList ? pList : pTab->pTrigger);
672f886d1dSdanielk1977         pList = pTrig;
682f886d1dSdanielk1977       }
692f886d1dSdanielk1977     }
702f886d1dSdanielk1977   }
712f886d1dSdanielk1977 
722f886d1dSdanielk1977   return (pList ? pList : pTab->pTrigger);
732f886d1dSdanielk1977 }
742f886d1dSdanielk1977 
752f886d1dSdanielk1977 /*
76f0f258b1Sdrh ** This is called by the parser when it sees a CREATE TRIGGER statement
77f0f258b1Sdrh ** up to the point of the BEGIN before the trigger actions.  A Trigger
78f0f258b1Sdrh ** structure is generated based on the information available and stored
79f0f258b1Sdrh ** in pParse->pNewTrigger.  After the trigger actions have been parsed, the
804adee20fSdanielk1977 ** sqlite3FinishTrigger() function is called to complete the trigger
81f0f258b1Sdrh ** construction process.
82c3f9bad2Sdanielk1977 */
834adee20fSdanielk1977 void sqlite3BeginTrigger(
84c3f9bad2Sdanielk1977   Parse *pParse,      /* The parse context of the CREATE TRIGGER statement */
85ef2cb63eSdanielk1977   Token *pName1,      /* The name of the trigger */
86ef2cb63eSdanielk1977   Token *pName2,      /* The name of the trigger */
87d702fccbSdanielk1977   int tr_tm,          /* One of TK_BEFORE, TK_AFTER, TK_INSTEAD */
88c3f9bad2Sdanielk1977   int op,             /* One of TK_INSERT, TK_UPDATE, TK_DELETE */
89633ed08dSdanielk1977   IdList *pColumns,   /* column list if this is an UPDATE OF trigger */
90d24cc427Sdrh   SrcList *pTableName,/* The name of the table/view the trigger applies to */
91c3f9bad2Sdanielk1977   Expr *pWhen,        /* WHEN clause */
92fdd48a76Sdrh   int isTemp,         /* True if the TEMPORARY keyword is present */
93fdd48a76Sdrh   int noErr           /* Suppress errors if the trigger already exists */
949adf9ac4Sdrh ){
953d5f74b2Sdrh   Trigger *pTrigger = 0;  /* The new trigger */
963d5f74b2Sdrh   Table *pTab;            /* Table that the trigger fires off of */
97e5f9c644Sdrh   char *zName = 0;        /* Name of the trigger */
983d5f74b2Sdrh   sqlite3 *db = pParse->db;  /* The database connection */
99ef2cb63eSdanielk1977   int iDb;                /* The database to store the trigger in */
100ef2cb63eSdanielk1977   Token *pName;           /* The unqualified db name */
1013d5f74b2Sdrh   DbFixer sFix;           /* State vector for the DB fixer */
102ed6c8671Sdrh 
10343617e9aSdrh   assert( pName1!=0 );   /* pName1->z might be NULL, but not pName1 itself */
10443617e9aSdrh   assert( pName2!=0 );
105aa78bec9Sdrh   assert( op==TK_INSERT || op==TK_UPDATE || op==TK_DELETE );
106aa78bec9Sdrh   assert( op>0 && op<0xff );
107ef2cb63eSdanielk1977   if( isTemp ){
108ef2cb63eSdanielk1977     /* If TEMP was specified, then the trigger name may not be qualified. */
10943617e9aSdrh     if( pName2->n>0 ){
110ef2cb63eSdanielk1977       sqlite3ErrorMsg(pParse, "temporary trigger may not have qualified name");
111ef2cb63eSdanielk1977       goto trigger_cleanup;
112ef2cb63eSdanielk1977     }
113ef2cb63eSdanielk1977     iDb = 1;
114ef2cb63eSdanielk1977     pName = pName1;
115ef2cb63eSdanielk1977   }else{
116d5578433Smistachkin     /* Figure out the db that the trigger will be created in */
117ef2cb63eSdanielk1977     iDb = sqlite3TwoPartName(pParse, pName1, pName2, &pName);
118ef2cb63eSdanielk1977     if( iDb<0 ){
119ef2cb63eSdanielk1977       goto trigger_cleanup;
120ef2cb63eSdanielk1977     }
121ef2cb63eSdanielk1977   }
1226fea83e5Sdrh   if( !pTableName || db->mallocFailed ){
1236fea83e5Sdrh     goto trigger_cleanup;
1246fea83e5Sdrh   }
1256fea83e5Sdrh 
1266fea83e5Sdrh   /* A long-standing parser bug is that this syntax was allowed:
1276fea83e5Sdrh   **
1286fea83e5Sdrh   **    CREATE TRIGGER attached.demo AFTER INSERT ON attached.tab ....
1296fea83e5Sdrh   **                                                 ^^^^^^^^
1306fea83e5Sdrh   **
1316fea83e5Sdrh   ** To maintain backwards compatibility, ignore the database
132346a70caSdrh   ** name on pTableName if we are reparsing out of the schema table
1336fea83e5Sdrh   */
1346fea83e5Sdrh   if( db->init.busy && iDb!=1 ){
1356fea83e5Sdrh     sqlite3DbFree(db, pTableName->a[0].zDatabase);
1366fea83e5Sdrh     pTableName->a[0].zDatabase = 0;
1376fea83e5Sdrh   }
138ef2cb63eSdanielk1977 
139ef2cb63eSdanielk1977   /* If the trigger name was unqualified, and the table is a temp table,
140ef2cb63eSdanielk1977   ** then set iDb to 1 to create the trigger in the temporary database.
141ef2cb63eSdanielk1977   ** If sqlite3SrcListLookup() returns 0, indicating the table does not
142ef2cb63eSdanielk1977   ** exist, the error is caught by the block below.
143c3f9bad2Sdanielk1977   */
144ef2cb63eSdanielk1977   pTab = sqlite3SrcListLookup(pParse, pTableName);
145622d2887Sdrh   if( db->init.busy==0 && pName2->n==0 && pTab
146622d2887Sdrh         && pTab->pSchema==db->aDb[1].pSchema ){
147ef2cb63eSdanielk1977     iDb = 1;
148ef2cb63eSdanielk1977   }
149ef2cb63eSdanielk1977 
150ef2cb63eSdanielk1977   /* Ensure the table name matches database name and that the table exists */
15117435752Sdrh   if( db->mallocFailed ) goto trigger_cleanup;
152d24cc427Sdrh   assert( pTableName->nSrc==1 );
153d100f691Sdrh   sqlite3FixInit(&sFix, pParse, iDb, "trigger", pName);
154d100f691Sdrh   if( sqlite3FixSrcList(&sFix, pTableName) ){
1554312db55Sdrh     goto trigger_cleanup;
156f26e09c8Sdrh   }
157ef2cb63eSdanielk1977   pTab = sqlite3SrcListLookup(pParse, pTableName);
158ef2cb63eSdanielk1977   if( !pTab ){
159ef2cb63eSdanielk1977     /* The table does not exist. */
160*4e451aadSdrh     goto trigger_orphan_error;
161d24cc427Sdrh   }
1624cbdda9eSdrh   if( IsVirtual(pTab) ){
1634cbdda9eSdrh     sqlite3ErrorMsg(pParse, "cannot create triggers on virtual tables");
164*4e451aadSdrh     goto trigger_orphan_error;
1654cbdda9eSdrh   }
166d24cc427Sdrh 
167d8123366Sdanielk1977   /* Check that the trigger name is not reserved and that no trigger of the
168d8123366Sdanielk1977   ** specified name exists */
16917435752Sdrh   zName = sqlite3NameFromToken(db, pName);
170c5a93d4cSdrh   if( zName==0 ){
171c5a93d4cSdrh     assert( db->mallocFailed );
172c5a93d4cSdrh     goto trigger_cleanup;
173c5a93d4cSdrh   }
174c5a93d4cSdrh   if( sqlite3CheckObjectName(pParse, zName, "trigger", pTab->zName) ){
175d8123366Sdanielk1977     goto trigger_cleanup;
176d8123366Sdanielk1977   }
1772120608eSdrh   assert( sqlite3SchemaMutexHeld(db, iDb, 0) );
178c9461eccSdan   if( !IN_RENAME_OBJECT ){
179acbcb7e0Sdrh     if( sqlite3HashFind(&(db->aDb[iDb].pSchema->trigHash),zName) ){
180fdd48a76Sdrh       if( !noErr ){
1814adee20fSdanielk1977         sqlite3ErrorMsg(pParse, "trigger %T already exists", pName);
1827687c83dSdan       }else{
1837687c83dSdan         assert( !db->init.busy );
1847687c83dSdan         sqlite3CodeVerifySchema(pParse, iDb);
185fdd48a76Sdrh       }
186c3f9bad2Sdanielk1977       goto trigger_cleanup;
187c3f9bad2Sdanielk1977     }
1885496d6a2Sdan   }
189ef2cb63eSdanielk1977 
190ef2cb63eSdanielk1977   /* Do not create a trigger on a system table */
191dca76841Sdrh   if( sqlite3StrNICmp(pTab->zName, "sqlite_", 7)==0 ){
1924adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "cannot create trigger on system table");
193e0bc4048Sdrh     goto trigger_cleanup;
194e0bc4048Sdrh   }
195ef2cb63eSdanielk1977 
196ef2cb63eSdanielk1977   /* INSTEAD of triggers are only for views and views only support INSTEAD
197ef2cb63eSdanielk1977   ** of triggers.
198ef2cb63eSdanielk1977   */
199ef2cb63eSdanielk1977   if( pTab->pSelect && tr_tm!=TK_INSTEAD ){
2004adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "cannot create %s trigger on view: %S",
201da93d238Sdrh         (tr_tm == TK_BEFORE)?"BEFORE":"AFTER", pTableName, 0);
202*4e451aadSdrh     goto trigger_orphan_error;
203d702fccbSdanielk1977   }
204ef2cb63eSdanielk1977   if( !pTab->pSelect && tr_tm==TK_INSTEAD ){
2054adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "cannot create INSTEAD OF"
206da93d238Sdrh         " trigger on table: %S", pTableName, 0);
207*4e451aadSdrh     goto trigger_orphan_error;
208d702fccbSdanielk1977   }
209ef2cb63eSdanielk1977 
210e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION
211c9461eccSdan   if( !IN_RENAME_OBJECT ){
212a0daa751Sdrh     int iTabDb = sqlite3SchemaToIndex(db, pTab->pSchema);
213e5f9c644Sdrh     int code = SQLITE_CREATE_TRIGGER;
21469c33826Sdrh     const char *zDb = db->aDb[iTabDb].zDbSName;
21569c33826Sdrh     const char *zDbTrig = isTemp ? db->aDb[1].zDbSName : zDb;
216da184236Sdanielk1977     if( iTabDb==1 || isTemp ) code = SQLITE_CREATE_TEMP_TRIGGER;
217ef2cb63eSdanielk1977     if( sqlite3AuthCheck(pParse, code, zName, pTab->zName, zDbTrig) ){
218ed6c8671Sdrh       goto trigger_cleanup;
219ed6c8671Sdrh     }
220da184236Sdanielk1977     if( sqlite3AuthCheck(pParse, SQLITE_INSERT, SCHEMA_TABLE(iTabDb),0,zDb)){
22177ad4e41Sdrh       goto trigger_cleanup;
22277ad4e41Sdrh     }
223d702fccbSdanielk1977   }
224e5f9c644Sdrh #endif
225d702fccbSdanielk1977 
226ef2cb63eSdanielk1977   /* INSTEAD OF triggers can only appear on views and BEFORE triggers
2275cf590c1Sdrh   ** cannot appear on views.  So we might as well translate every
2285cf590c1Sdrh   ** INSTEAD OF trigger into a BEFORE trigger.  It simplifies code
2295cf590c1Sdrh   ** elsewhere.
2305cf590c1Sdrh   */
231d702fccbSdanielk1977   if (tr_tm == TK_INSTEAD){
232d702fccbSdanielk1977     tr_tm = TK_BEFORE;
233c3f9bad2Sdanielk1977   }
234c3f9bad2Sdanielk1977 
235c3f9bad2Sdanielk1977   /* Build the Trigger object */
23617435752Sdrh   pTrigger = (Trigger*)sqlite3DbMallocZero(db, sizeof(Trigger));
237ef2cb63eSdanielk1977   if( pTrigger==0 ) goto trigger_cleanup;
238165921a7Sdan   pTrigger->zName = zName;
239e5f9c644Sdrh   zName = 0;
24017435752Sdrh   pTrigger->table = sqlite3DbStrDup(db, pTableName->a[0].zName);
241da184236Sdanielk1977   pTrigger->pSchema = db->aDb[iDb].pSchema;
242aaf22685Sdanielk1977   pTrigger->pTabSchema = pTab->pSchema;
243aa78bec9Sdrh   pTrigger->op = (u8)op;
244dca76841Sdrh   pTrigger->tr_tm = tr_tm==TK_BEFORE ? TRIGGER_BEFORE : TRIGGER_AFTER;
245c9461eccSdan   if( IN_RENAME_OBJECT ){
246c9461eccSdan     sqlite3RenameTokenRemap(pParse, pTrigger->table, pTableName->a[0].zName);
2475496d6a2Sdan     pTrigger->pWhen = pWhen;
2485496d6a2Sdan     pWhen = 0;
2495496d6a2Sdan   }else{
2506ab3a2ecSdanielk1977     pTrigger->pWhen = sqlite3ExprDup(db, pWhen, EXPRDUP_REDUCE);
2515496d6a2Sdan   }
2525496d6a2Sdan   pTrigger->pColumns = pColumns;
2535496d6a2Sdan   pColumns = 0;
254f0f258b1Sdrh   assert( pParse->pNewTrigger==0 );
255ef2cb63eSdanielk1977   pParse->pNewTrigger = pTrigger;
256f0f258b1Sdrh 
257f0f258b1Sdrh trigger_cleanup:
258633e6d57Sdrh   sqlite3DbFree(db, zName);
259633e6d57Sdrh   sqlite3SrcListDelete(db, pTableName);
260633e6d57Sdrh   sqlite3IdListDelete(db, pColumns);
261633e6d57Sdrh   sqlite3ExprDelete(db, pWhen);
262d5d56523Sdanielk1977   if( !pParse->pNewTrigger ){
263633e6d57Sdrh     sqlite3DeleteTrigger(db, pTrigger);
264d5d56523Sdanielk1977   }else{
265d5d56523Sdanielk1977     assert( pParse->pNewTrigger==pTrigger );
266d5d56523Sdanielk1977   }
267*4e451aadSdrh   return;
268*4e451aadSdrh 
269*4e451aadSdrh trigger_orphan_error:
270*4e451aadSdrh   if( db->init.iDb==1 ){
271*4e451aadSdrh     /* Ticket #3810.
272*4e451aadSdrh     ** Normally, whenever a table is dropped, all associated triggers are
273*4e451aadSdrh     ** dropped too.  But if a TEMP trigger is created on a non-TEMP table
274*4e451aadSdrh     ** and the table is dropped by a different database connection, the
275*4e451aadSdrh     ** trigger is not visible to the database connection that does the
276*4e451aadSdrh     ** drop so the trigger cannot be dropped.  This results in an
277*4e451aadSdrh     ** "orphaned trigger" - a trigger whose associated table is missing.
278*4e451aadSdrh     **
279*4e451aadSdrh     ** 2020-11-05 see also https://sqlite.org/forum/forumpost/157dc791df
280*4e451aadSdrh     */
281*4e451aadSdrh     db->init.orphanTrigger = 1;
282*4e451aadSdrh   }
283*4e451aadSdrh   goto trigger_cleanup;
284f0f258b1Sdrh }
285f0f258b1Sdrh 
286f0f258b1Sdrh /*
287f0f258b1Sdrh ** This routine is called after all of the trigger actions have been parsed
288f0f258b1Sdrh ** in order to complete the process of building the trigger.
289f0f258b1Sdrh */
2904adee20fSdanielk1977 void sqlite3FinishTrigger(
291f0f258b1Sdrh   Parse *pParse,          /* Parser context */
292f0f258b1Sdrh   TriggerStep *pStepList, /* The triggered program */
293f0f258b1Sdrh   Token *pAll             /* Token that describes the complete CREATE TRIGGER */
294f0f258b1Sdrh ){
2952f886d1dSdanielk1977   Trigger *pTrig = pParse->pNewTrigger;   /* Trigger being finished */
2962f886d1dSdanielk1977   char *zName;                            /* Name of trigger */
2979bb575fdSdrh   sqlite3 *db = pParse->db;               /* The database */
298a8c62df9Sdrh   DbFixer sFix;                           /* Fixer object */
299da184236Sdanielk1977   int iDb;                                /* Database containing the trigger */
300b7916a78Sdrh   Token nameToken;                        /* Trigger name for error reporting */
301f0f258b1Sdrh 
302f0f258b1Sdrh   pParse->pNewTrigger = 0;
3039ab4c2e8Sdrh   if( NEVER(pParse->nErr) || !pTrig ) goto triggerfinish_cleanup;
304165921a7Sdan   zName = pTrig->zName;
305da184236Sdanielk1977   iDb = sqlite3SchemaToIndex(pParse->db, pTrig->pSchema);
306bfb9e35bSdanielk1977   pTrig->step_list = pStepList;
307a69d9168Sdrh   while( pStepList ){
308bfb9e35bSdanielk1977     pStepList->pTrig = pTrig;
309a69d9168Sdrh     pStepList = pStepList->pNext;
310a69d9168Sdrh   }
31140aced5cSdrh   sqlite3TokenInit(&nameToken, pTrig->zName);
312d100f691Sdrh   sqlite3FixInit(&sFix, pParse, iDb, "trigger", &nameToken);
313d100f691Sdrh   if( sqlite3FixTriggerStep(&sFix, pTrig->step_list)
31446539d7cSdan    || sqlite3FixExpr(&sFix, pTrig->pWhen)
315d100f691Sdrh   ){
316f26e09c8Sdrh     goto triggerfinish_cleanup;
317f26e09c8Sdrh   }
318c3f9bad2Sdanielk1977 
3195496d6a2Sdan #ifndef SQLITE_OMIT_ALTERTABLE
320c9461eccSdan   if( IN_RENAME_OBJECT ){
3215496d6a2Sdan     assert( !db->init.busy );
3225496d6a2Sdan     pParse->pNewTrigger = pTrig;
3235496d6a2Sdan     pTrig = 0;
3245496d6a2Sdan   }else
3255496d6a2Sdan #endif
3265496d6a2Sdan 
327a8c62df9Sdrh   /* if we are not initializing,
3281e32bed3Sdrh   ** build the sqlite_schema entry
3299adf9ac4Sdrh   */
3301d85d931Sdrh   if( !db->init.busy ){
331c977f7f5Sdrh     Vdbe *v;
3322d401ab8Sdrh     char *z;
333c3f9bad2Sdanielk1977 
3341e32bed3Sdrh     /* Make an entry in the sqlite_schema table */
3354adee20fSdanielk1977     v = sqlite3GetVdbe(pParse);
336f0f258b1Sdrh     if( v==0 ) goto triggerfinish_cleanup;
337da184236Sdanielk1977     sqlite3BeginWriteOperation(pParse, 0, iDb);
3382d401ab8Sdrh     z = sqlite3DbStrNDup(db, (char*)pAll->z, pAll->n);
339d96cc6fbSdrh     testcase( z==0 );
3402d401ab8Sdrh     sqlite3NestedParse(pParse,
341346a70caSdrh        "INSERT INTO %Q." DFLT_SCHEMA_TABLE
342346a70caSdrh        " VALUES('trigger',%Q,%Q,0,'CREATE TRIGGER %q')",
343346a70caSdrh        db->aDb[iDb].zDbSName, zName,
3442d401ab8Sdrh        pTrig->table, z);
345633e6d57Sdrh     sqlite3DbFree(db, z);
3469cbf3425Sdrh     sqlite3ChangeCookie(pParse, iDb);
3475d9c9da6Sdrh     sqlite3VdbeAddParseSchemaOp(v, iDb,
3485d9c9da6Sdrh         sqlite3MPrintf(db, "type='trigger' AND name='%q'", zName));
349c3f9bad2Sdanielk1977   }
350c3f9bad2Sdanielk1977 
351956bc92cSdrh   if( db->init.busy ){
3522f886d1dSdanielk1977     Trigger *pLink = pTrig;
3532f886d1dSdanielk1977     Hash *pHash = &db->aDb[iDb].pSchema->trigHash;
3542120608eSdrh     assert( sqlite3SchemaMutexHeld(db, iDb, 0) );
35555f66b34Sdrh     assert( pLink!=0 );
356acbcb7e0Sdrh     pTrig = sqlite3HashInsert(pHash, zName, pTrig);
3572f886d1dSdanielk1977     if( pTrig ){
3584a642b60Sdrh       sqlite3OomFault(db);
3592f886d1dSdanielk1977     }else if( pLink->pSchema==pLink->pTabSchema ){
3602f886d1dSdanielk1977       Table *pTab;
361acbcb7e0Sdrh       pTab = sqlite3HashFind(&pLink->pTabSchema->tblHash, pLink->table);
362f0f258b1Sdrh       assert( pTab!=0 );
3632f886d1dSdanielk1977       pLink->pNext = pTab->pTrigger;
3642f886d1dSdanielk1977       pTab->pTrigger = pLink;
3652f886d1dSdanielk1977     }
366c3f9bad2Sdanielk1977   }
367c3f9bad2Sdanielk1977 
368f0f258b1Sdrh triggerfinish_cleanup:
369633e6d57Sdrh   sqlite3DeleteTrigger(db, pTrig);
370c9461eccSdan   assert( IN_RENAME_OBJECT || !pParse->pNewTrigger );
371633e6d57Sdrh   sqlite3DeleteTriggerStep(db, pStepList);
372c3f9bad2Sdanielk1977 }
3734b59ab5eSdrh 
3744b59ab5eSdrh /*
375f259df5fSdrh ** Duplicate a range of text from an SQL statement, then convert all
376f259df5fSdrh ** whitespace characters into ordinary space characters.
377f259df5fSdrh */
378f259df5fSdrh static char *triggerSpanDup(sqlite3 *db, const char *zStart, const char *zEnd){
379f259df5fSdrh   char *z = sqlite3DbSpanDup(db, zStart, zEnd);
380f259df5fSdrh   int i;
381f259df5fSdrh   if( z ) for(i=0; z[i]; i++) if( sqlite3Isspace(z[i]) ) z[i] = ' ';
382f259df5fSdrh   return z;
383f259df5fSdrh }
384f259df5fSdrh 
385f259df5fSdrh /*
386c977f7f5Sdrh ** Turn a SELECT statement (that the pSelect parameter points to) into
387c977f7f5Sdrh ** a trigger step.  Return a pointer to a TriggerStep structure.
388c977f7f5Sdrh **
389c977f7f5Sdrh ** The parser calls this routine when it finds a SELECT statement in
390c977f7f5Sdrh ** body of a TRIGGER.
391c977f7f5Sdrh */
392f259df5fSdrh TriggerStep *sqlite3TriggerSelectStep(
393f259df5fSdrh   sqlite3 *db,                /* Database connection */
394f259df5fSdrh   Select *pSelect,            /* The SELECT statement */
395f259df5fSdrh   const char *zStart,         /* Start of SQL text */
396f259df5fSdrh   const char *zEnd            /* End of SQL text */
397f259df5fSdrh ){
39817435752Sdrh   TriggerStep *pTriggerStep = sqlite3DbMallocZero(db, sizeof(TriggerStep));
3992e588c75Sdanielk1977   if( pTriggerStep==0 ) {
400633e6d57Sdrh     sqlite3SelectDelete(db, pSelect);
4012e588c75Sdanielk1977     return 0;
4022e588c75Sdanielk1977   }
403633ed08dSdanielk1977   pTriggerStep->op = TK_SELECT;
404633ed08dSdanielk1977   pTriggerStep->pSelect = pSelect;
405633ed08dSdanielk1977   pTriggerStep->orconf = OE_Default;
406f259df5fSdrh   pTriggerStep->zSpan = triggerSpanDup(db, zStart, zEnd);
407b7916a78Sdrh   return pTriggerStep;
408b7916a78Sdrh }
409c3f9bad2Sdanielk1977 
410b7916a78Sdrh /*
411b7916a78Sdrh ** Allocate space to hold a new trigger step.  The allocated space
412b7916a78Sdrh ** holds both the TriggerStep object and the TriggerStep.target.z string.
413b7916a78Sdrh **
414b7916a78Sdrh ** If an OOM error occurs, NULL is returned and db->mallocFailed is set.
415b7916a78Sdrh */
416b7916a78Sdrh static TriggerStep *triggerStepAllocate(
417c9461eccSdan   Parse *pParse,              /* Parser context */
4185eff7cf0Sshane   u8 op,                      /* Trigger opcode */
419f259df5fSdrh   Token *pName,               /* The target name */
420f259df5fSdrh   const char *zStart,         /* Start of SQL text */
421f259df5fSdrh   const char *zEnd            /* End of SQL text */
422b7916a78Sdrh ){
423c9461eccSdan   sqlite3 *db = pParse->db;
424b7916a78Sdrh   TriggerStep *pTriggerStep;
425b7916a78Sdrh 
42646408354Sdan   pTriggerStep = sqlite3DbMallocZero(db, sizeof(TriggerStep) + pName->n + 1);
427b7916a78Sdrh   if( pTriggerStep ){
428b7916a78Sdrh     char *z = (char*)&pTriggerStep[1];
429b7916a78Sdrh     memcpy(z, pName->z, pName->n);
43046408354Sdan     sqlite3Dequote(z);
43146408354Sdan     pTriggerStep->zTarget = z;
432b7916a78Sdrh     pTriggerStep->op = op;
433f259df5fSdrh     pTriggerStep->zSpan = triggerSpanDup(db, zStart, zEnd);
434c9461eccSdan     if( IN_RENAME_OBJECT ){
435c9461eccSdan       sqlite3RenameTokenMap(pParse, pTriggerStep->zTarget, pName);
436c9461eccSdan     }
437b7916a78Sdrh   }
438633ed08dSdanielk1977   return pTriggerStep;
439c3f9bad2Sdanielk1977 }
440c3f9bad2Sdanielk1977 
441c977f7f5Sdrh /*
442c977f7f5Sdrh ** Build a trigger step out of an INSERT statement.  Return a pointer
443c977f7f5Sdrh ** to the new trigger step.
444c977f7f5Sdrh **
445c977f7f5Sdrh ** The parser calls this routine when it sees an INSERT inside the
446c977f7f5Sdrh ** body of a trigger.
447c977f7f5Sdrh */
4484adee20fSdanielk1977 TriggerStep *sqlite3TriggerInsertStep(
4495be60c55Sdan   Parse *pParse,      /* Parser */
450c977f7f5Sdrh   Token *pTableName,  /* Name of the table into which we insert */
451c977f7f5Sdrh   IdList *pColumn,    /* List of columns in pTableName to insert into */
452c977f7f5Sdrh   Select *pSelect,    /* A SELECT statement that supplies values */
453f259df5fSdrh   u8 orconf,          /* The conflict algorithm (OE_Abort, OE_Replace, etc.) */
45446d2e5c3Sdrh   Upsert *pUpsert,    /* ON CONFLICT clauses for upsert */
455f259df5fSdrh   const char *zStart, /* Start of SQL text */
456f259df5fSdrh   const char *zEnd    /* End of SQL text */
457633ed08dSdanielk1977 ){
4585be60c55Sdan   sqlite3 *db = pParse->db;
459f3a65f7eSdrh   TriggerStep *pTriggerStep;
460c3f9bad2Sdanielk1977 
46175593d96Sdrh   assert(pSelect != 0 || db->mallocFailed);
462c3f9bad2Sdanielk1977 
463c9461eccSdan   pTriggerStep = triggerStepAllocate(pParse, TK_INSERT, pTableName,zStart,zEnd);
464d5d56523Sdanielk1977   if( pTriggerStep ){
465c9461eccSdan     if( IN_RENAME_OBJECT ){
4665be60c55Sdan       pTriggerStep->pSelect = pSelect;
4675be60c55Sdan       pSelect = 0;
4685be60c55Sdan     }else{
46933e619fcSdrh       pTriggerStep->pSelect = sqlite3SelectDup(db, pSelect, EXPRDUP_REDUCE);
4705be60c55Sdan     }
471633ed08dSdanielk1977     pTriggerStep->pIdList = pColumn;
47246d2e5c3Sdrh     pTriggerStep->pUpsert = pUpsert;
473633ed08dSdanielk1977     pTriggerStep->orconf = orconf;
4749105fd51Sdan     if( pUpsert ){
4759105fd51Sdan       sqlite3HasExplicitNulls(pParse, pUpsert->pUpsertTarget);
4769105fd51Sdan     }
477d5d56523Sdanielk1977   }else{
4789916048bSdrh     testcase( pColumn );
479633e6d57Sdrh     sqlite3IdListDelete(db, pColumn);
4809916048bSdrh     testcase( pUpsert );
48146d2e5c3Sdrh     sqlite3UpsertDelete(db, pUpsert);
48233e619fcSdrh   }
483633e6d57Sdrh   sqlite3SelectDelete(db, pSelect);
484c3f9bad2Sdanielk1977 
485633ed08dSdanielk1977   return pTriggerStep;
486c3f9bad2Sdanielk1977 }
487c3f9bad2Sdanielk1977 
488c977f7f5Sdrh /*
489c977f7f5Sdrh ** Construct a trigger step that implements an UPDATE statement and return
490c977f7f5Sdrh ** a pointer to that trigger step.  The parser calls this routine when it
491c977f7f5Sdrh ** sees an UPDATE statement inside the body of a CREATE TRIGGER.
492c977f7f5Sdrh */
4934adee20fSdanielk1977 TriggerStep *sqlite3TriggerUpdateStep(
4945be60c55Sdan   Parse *pParse,          /* Parser */
495c977f7f5Sdrh   Token *pTableName,   /* Name of the table to be updated */
496e7877b2dSdan   SrcList *pFrom,
497c977f7f5Sdrh   ExprList *pEList,    /* The SET clause: list of column and new values */
498c977f7f5Sdrh   Expr *pWhere,        /* The WHERE clause */
499f259df5fSdrh   u8 orconf,           /* The conflict algorithm. (OE_Abort, OE_Ignore, etc) */
500f259df5fSdrh   const char *zStart,  /* Start of SQL text */
501f259df5fSdrh   const char *zEnd     /* End of SQL text */
502c977f7f5Sdrh ){
5035be60c55Sdan   sqlite3 *db = pParse->db;
504b7916a78Sdrh   TriggerStep *pTriggerStep;
505b7916a78Sdrh 
506c9461eccSdan   pTriggerStep = triggerStepAllocate(pParse, TK_UPDATE, pTableName,zStart,zEnd);
50733e619fcSdrh   if( pTriggerStep ){
508c9461eccSdan     if( IN_RENAME_OBJECT ){
5095be60c55Sdan       pTriggerStep->pExprList = pEList;
5105be60c55Sdan       pTriggerStep->pWhere = pWhere;
511e7877b2dSdan       pTriggerStep->pFrom = pFrom;
5125be60c55Sdan       pEList = 0;
5135be60c55Sdan       pWhere = 0;
514e7877b2dSdan       pFrom = 0;
5155be60c55Sdan     }else{
51633e619fcSdrh       pTriggerStep->pExprList = sqlite3ExprListDup(db, pEList, EXPRDUP_REDUCE);
51733e619fcSdrh       pTriggerStep->pWhere = sqlite3ExprDup(db, pWhere, EXPRDUP_REDUCE);
518e7877b2dSdan       pTriggerStep->pFrom = sqlite3SrcListDup(db, pFrom, EXPRDUP_REDUCE);
5195be60c55Sdan     }
52033e619fcSdrh     pTriggerStep->orconf = orconf;
52133e619fcSdrh   }
522633e6d57Sdrh   sqlite3ExprListDelete(db, pEList);
523633e6d57Sdrh   sqlite3ExprDelete(db, pWhere);
524e7877b2dSdan   sqlite3SrcListDelete(db, pFrom);
525633ed08dSdanielk1977   return pTriggerStep;
526c3f9bad2Sdanielk1977 }
527c3f9bad2Sdanielk1977 
528c977f7f5Sdrh /*
529c977f7f5Sdrh ** Construct a trigger step that implements a DELETE statement and return
530c977f7f5Sdrh ** a pointer to that trigger step.  The parser calls this routine when it
531c977f7f5Sdrh ** sees a DELETE statement inside the body of a CREATE TRIGGER.
532c977f7f5Sdrh */
53317435752Sdrh TriggerStep *sqlite3TriggerDeleteStep(
5345be60c55Sdan   Parse *pParse,          /* Parser */
53517435752Sdrh   Token *pTableName,      /* The table from which rows are deleted */
536f259df5fSdrh   Expr *pWhere,           /* The WHERE clause */
537f259df5fSdrh   const char *zStart,     /* Start of SQL text */
538f259df5fSdrh   const char *zEnd        /* End of SQL text */
53917435752Sdrh ){
5405be60c55Sdan   sqlite3 *db = pParse->db;
541b7916a78Sdrh   TriggerStep *pTriggerStep;
542b7916a78Sdrh 
543c9461eccSdan   pTriggerStep = triggerStepAllocate(pParse, TK_DELETE, pTableName,zStart,zEnd);
54433e619fcSdrh   if( pTriggerStep ){
545c9461eccSdan     if( IN_RENAME_OBJECT ){
5465be60c55Sdan       pTriggerStep->pWhere = pWhere;
5475be60c55Sdan       pWhere = 0;
5485be60c55Sdan     }else{
54933e619fcSdrh       pTriggerStep->pWhere = sqlite3ExprDup(db, pWhere, EXPRDUP_REDUCE);
5505be60c55Sdan     }
551633ed08dSdanielk1977     pTriggerStep->orconf = OE_Default;
55233e619fcSdrh   }
55333e619fcSdrh   sqlite3ExprDelete(db, pWhere);
554633ed08dSdanielk1977   return pTriggerStep;
555c3f9bad2Sdanielk1977 }
556c3f9bad2Sdanielk1977 
557c3f9bad2Sdanielk1977 /*
558633ed08dSdanielk1977 ** Recursively delete a Trigger structure
559c3f9bad2Sdanielk1977 */
560633e6d57Sdrh void sqlite3DeleteTrigger(sqlite3 *db, Trigger *pTrigger){
561f0f258b1Sdrh   if( pTrigger==0 ) return;
562633e6d57Sdrh   sqlite3DeleteTriggerStep(db, pTrigger->step_list);
563165921a7Sdan   sqlite3DbFree(db, pTrigger->zName);
564633e6d57Sdrh   sqlite3DbFree(db, pTrigger->table);
565633e6d57Sdrh   sqlite3ExprDelete(db, pTrigger->pWhen);
566633e6d57Sdrh   sqlite3IdListDelete(db, pTrigger->pColumns);
567633e6d57Sdrh   sqlite3DbFree(db, pTrigger);
568633ed08dSdanielk1977 }
569633ed08dSdanielk1977 
570633ed08dSdanielk1977 /*
5718a41449eSdanielk1977 ** This function is called to drop a trigger from the database schema.
5728a41449eSdanielk1977 **
5738a41449eSdanielk1977 ** This may be called directly from the parser and therefore identifies
5748a41449eSdanielk1977 ** the trigger by name.  The sqlite3DropTriggerPtr() routine does the
5758a41449eSdanielk1977 ** same job as this routine except it takes a pointer to the trigger
5768a41449eSdanielk1977 ** instead of the trigger name.
5778a41449eSdanielk1977 **/
578fdd48a76Sdrh void sqlite3DropTrigger(Parse *pParse, SrcList *pName, int noErr){
579742f947bSdanielk1977   Trigger *pTrigger = 0;
580d24cc427Sdrh   int i;
581d24cc427Sdrh   const char *zDb;
582d24cc427Sdrh   const char *zName;
5839bb575fdSdrh   sqlite3 *db = pParse->db;
584633ed08dSdanielk1977 
58517435752Sdrh   if( db->mallocFailed ) goto drop_trigger_cleanup;
5868a41449eSdanielk1977   if( SQLITE_OK!=sqlite3ReadSchema(pParse) ){
587c0391398Sdanielk1977     goto drop_trigger_cleanup;
588c0391398Sdanielk1977   }
5898e227875Sdanielk1977 
590d24cc427Sdrh   assert( pName->nSrc==1 );
591d24cc427Sdrh   zDb = pName->a[0].zDatabase;
592d24cc427Sdrh   zName = pName->a[0].zName;
5932120608eSdrh   assert( zDb!=0 || sqlite3BtreeHoldsAllMutexes(db) );
59453c0f748Sdanielk1977   for(i=OMIT_TEMPDB; i<db->nDb; i++){
595812d7a21Sdrh     int j = (i<2) ? i^1 : i;  /* Search TEMP before MAIN */
596465c2b89Sdan     if( zDb && sqlite3DbIsNamed(db, j, zDb)==0 ) continue;
5972120608eSdrh     assert( sqlite3SchemaMutexHeld(db, j, 0) );
598acbcb7e0Sdrh     pTrigger = sqlite3HashFind(&(db->aDb[j].pSchema->trigHash), zName);
599d24cc427Sdrh     if( pTrigger ) break;
600c3f9bad2Sdanielk1977   }
601d24cc427Sdrh   if( !pTrigger ){
602fdd48a76Sdrh     if( !noErr ){
6034adee20fSdanielk1977       sqlite3ErrorMsg(pParse, "no such trigger: %S", pName, 0);
60457966753Sdan     }else{
60557966753Sdan       sqlite3CodeVerifyNamedSchema(pParse, zDb);
606fdd48a76Sdrh     }
6071db95106Sdan     pParse->checkSchema = 1;
608d24cc427Sdrh     goto drop_trigger_cleanup;
609d24cc427Sdrh   }
61074161705Sdrh   sqlite3DropTriggerPtr(pParse, pTrigger);
61179a519c0Sdrh 
61279a519c0Sdrh drop_trigger_cleanup:
613633e6d57Sdrh   sqlite3SrcListDelete(db, pName);
61479a519c0Sdrh }
61579a519c0Sdrh 
61679a519c0Sdrh /*
617956bc92cSdrh ** Return a pointer to the Table structure for the table that a trigger
618956bc92cSdrh ** is set on.
619956bc92cSdrh */
62074161705Sdrh static Table *tableOfTrigger(Trigger *pTrigger){
621acbcb7e0Sdrh   return sqlite3HashFind(&pTrigger->pTabSchema->tblHash, pTrigger->table);
622956bc92cSdrh }
623956bc92cSdrh 
624956bc92cSdrh 
625956bc92cSdrh /*
62674161705Sdrh ** Drop a trigger given a pointer to that trigger.
62779a519c0Sdrh */
62874161705Sdrh void sqlite3DropTriggerPtr(Parse *pParse, Trigger *pTrigger){
62979a519c0Sdrh   Table   *pTable;
63079a519c0Sdrh   Vdbe *v;
6319bb575fdSdrh   sqlite3 *db = pParse->db;
632956bc92cSdrh   int iDb;
63379a519c0Sdrh 
634da184236Sdanielk1977   iDb = sqlite3SchemaToIndex(pParse->db, pTrigger->pSchema);
635956bc92cSdrh   assert( iDb>=0 && iDb<db->nDb );
63674161705Sdrh   pTable = tableOfTrigger(pTrigger);
6376397a78bSdrh   assert( (pTable && pTable->pSchema==pTrigger->pSchema) || iDb==1 );
638e5f9c644Sdrh #ifndef SQLITE_OMIT_AUTHORIZATION
6396397a78bSdrh   if( pTable ){
640e5f9c644Sdrh     int code = SQLITE_DROP_TRIGGER;
64169c33826Sdrh     const char *zDb = db->aDb[iDb].zDbSName;
642956bc92cSdrh     const char *zTab = SCHEMA_TABLE(iDb);
643956bc92cSdrh     if( iDb==1 ) code = SQLITE_DROP_TEMP_TRIGGER;
6442bd93516Sdan     if( sqlite3AuthCheck(pParse, code, pTrigger->zName, pTable->zName, zDb) ||
6454adee20fSdanielk1977       sqlite3AuthCheck(pParse, SQLITE_DELETE, zTab, 0, zDb) ){
64679a519c0Sdrh       return;
647ed6c8671Sdrh     }
648e5f9c644Sdrh   }
649e5f9c644Sdrh #endif
650c3f9bad2Sdanielk1977 
651f0f258b1Sdrh   /* Generate code to destroy the database record of the trigger.
652f0f258b1Sdrh   */
65343617e9aSdrh   if( (v = sqlite3GetVdbe(pParse))!=0 ){
6548c8dddc9Sdrh     sqlite3NestedParse(pParse,
655346a70caSdrh        "DELETE FROM %Q." DFLT_SCHEMA_TABLE " WHERE name=%Q AND type='trigger'",
656346a70caSdrh        db->aDb[iDb].zDbSName, pTrigger->zName
6578c8dddc9Sdrh     );
6589cbf3425Sdrh     sqlite3ChangeCookie(pParse, iDb);
659165921a7Sdan     sqlite3VdbeAddOp4(v, OP_DropTrigger, iDb, 0, 0, pTrigger->zName, 0);
660956bc92cSdrh   }
661f0f258b1Sdrh }
662f0f258b1Sdrh 
663c3f9bad2Sdanielk1977 /*
664956bc92cSdrh ** Remove a trigger from the hash tables of the sqlite* pointer.
665c3f9bad2Sdanielk1977 */
666956bc92cSdrh void sqlite3UnlinkAndDeleteTrigger(sqlite3 *db, int iDb, const char *zName){
667956bc92cSdrh   Trigger *pTrigger;
6682120608eSdrh   Hash *pHash;
6692120608eSdrh 
6702120608eSdrh   assert( sqlite3SchemaMutexHeld(db, iDb, 0) );
6712120608eSdrh   pHash = &(db->aDb[iDb].pSchema->trigHash);
672acbcb7e0Sdrh   pTrigger = sqlite3HashInsert(pHash, zName, 0);
6739ab4c2e8Sdrh   if( ALWAYS(pTrigger) ){
6742f886d1dSdanielk1977     if( pTrigger->pSchema==pTrigger->pTabSchema ){
6752f886d1dSdanielk1977       Table *pTab = tableOfTrigger(pTrigger);
6766397a78bSdrh       if( pTab ){
6772f886d1dSdanielk1977         Trigger **pp;
6780232dadeSdan         for(pp=&pTab->pTrigger; *pp; pp=&((*pp)->pNext)){
6790232dadeSdan           if( *pp==pTrigger ){
6802f886d1dSdanielk1977             *pp = (*pp)->pNext;
6810232dadeSdan             break;
6820232dadeSdan           }
6830232dadeSdan         }
684c3f9bad2Sdanielk1977       }
6856397a78bSdrh     }
686633e6d57Sdrh     sqlite3DeleteTrigger(db, pTrigger);
6878257aa8dSdrh     db->mDbFlags |= DBFLAG_SchemaChange;
688c3f9bad2Sdanielk1977   }
689c3f9bad2Sdanielk1977 }
690c3f9bad2Sdanielk1977 
691c977f7f5Sdrh /*
692c977f7f5Sdrh ** pEList is the SET clause of an UPDATE statement.  Each entry
693c977f7f5Sdrh ** in pEList is of the format <id>=<expr>.  If any of the entries
694c977f7f5Sdrh ** in pEList have an <id> which matches an identifier in pIdList,
695c977f7f5Sdrh ** then return TRUE.  If pIdList==NULL, then it is considered a
696c977f7f5Sdrh ** wildcard that matches anything.  Likewise if pEList==NULL then
697c977f7f5Sdrh ** it matches anything so always return true.  Return false only
698c977f7f5Sdrh ** if there is no match.
699c977f7f5Sdrh */
7009ab4c2e8Sdrh static int checkColumnOverlap(IdList *pIdList, ExprList *pEList){
701ad2d8307Sdrh   int e;
7029ab4c2e8Sdrh   if( pIdList==0 || NEVER(pEList==0) ) return 1;
703f29ce559Sdanielk1977   for(e=0; e<pEList->nExpr; e++){
70441cee668Sdrh     if( sqlite3IdListIndex(pIdList, pEList->a[e].zEName)>=0 ) return 1;
705f29ce559Sdanielk1977   }
706c3f9bad2Sdanielk1977   return 0;
707c3f9bad2Sdanielk1977 }
708c3f9bad2Sdanielk1977 
709c3f9bad2Sdanielk1977 /*
7102f886d1dSdanielk1977 ** Return a list of all triggers on table pTab if there exists at least
7112f886d1dSdanielk1977 ** one trigger that must be fired when an operation of type 'op' is
7122f886d1dSdanielk1977 ** performed on the table, and, if that operation is an UPDATE, if at
7132f886d1dSdanielk1977 ** least one of the columns in pChanges is being modified.
714c3f9bad2Sdanielk1977 */
7152f886d1dSdanielk1977 Trigger *sqlite3TriggersExist(
7162f886d1dSdanielk1977   Parse *pParse,          /* Parse context */
717dca76841Sdrh   Table *pTab,            /* The table the contains the triggers */
718c3f9bad2Sdanielk1977   int op,                 /* one of TK_DELETE, TK_INSERT, TK_UPDATE */
7192f886d1dSdanielk1977   ExprList *pChanges,     /* Columns that change in an UPDATE statement */
7202f886d1dSdanielk1977   int *pMask              /* OUT: Mask of TRIGGER_BEFORE|TRIGGER_AFTER */
721c977f7f5Sdrh ){
722dca76841Sdrh   int mask = 0;
723e83cafd2Sdrh   Trigger *pList = 0;
7242f886d1dSdanielk1977   Trigger *p;
725e83cafd2Sdrh 
726e83cafd2Sdrh   if( (pParse->db->flags & SQLITE_EnableTrigger)!=0 ){
727e83cafd2Sdrh     pList = sqlite3TriggerList(pParse, pTab);
728e83cafd2Sdrh   }
7292f886d1dSdanielk1977   assert( pList==0 || IsVirtual(pTab)==0 );
7302f886d1dSdanielk1977   for(p=pList; p; p=p->pNext){
7319ab4c2e8Sdrh     if( p->op==op && checkColumnOverlap(p->pColumns, pChanges) ){
7322f886d1dSdanielk1977       mask |= p->tr_tm;
733c3f9bad2Sdanielk1977     }
734dca76841Sdrh   }
7352f886d1dSdanielk1977   if( pMask ){
7362f886d1dSdanielk1977     *pMask = mask;
7372f886d1dSdanielk1977   }
7382f886d1dSdanielk1977   return (mask ? pList : 0);
739c3f9bad2Sdanielk1977 }
740c3f9bad2Sdanielk1977 
741c977f7f5Sdrh /*
74246408354Sdan ** Convert the pStep->zTarget string into a SrcList and return a pointer
743f26e09c8Sdrh ** to that SrcList.
744f26e09c8Sdrh **
745f26e09c8Sdrh ** This routine adds a specific database name, if needed, to the target when
746f26e09c8Sdrh ** forming the SrcList.  This prevents a trigger in one database from
747f26e09c8Sdrh ** referring to a target in another database.  An exception is when the
748f26e09c8Sdrh ** trigger is in TEMP in which case it can refer to any other database it
749f26e09c8Sdrh ** wants.
750f26e09c8Sdrh */
751e7877b2dSdan SrcList *sqlite3TriggerStepSrc(
752f26e09c8Sdrh   Parse *pParse,       /* The parsing context */
753f26e09c8Sdrh   TriggerStep *pStep   /* The trigger containing the target token */
754f26e09c8Sdrh ){
75546408354Sdan   sqlite3 *db = pParse->db;
756f26e09c8Sdrh   SrcList *pSrc;                  /* SrcList to be returned */
757e7877b2dSdan   char *zName = sqlite3DbStrDup(db, pStep->zTarget);
75829c992cbSdrh   pSrc = sqlite3SrcListAppend(pParse, 0, 0, 0);
759e7877b2dSdan   assert( pSrc==0 || pSrc->nSrc==1 );
760e7877b2dSdan   assert( zName || pSrc==0 );
761b7916a78Sdrh   if( pSrc ){
762e7877b2dSdan     Schema *pSchema = pStep->pTrig->pSchema;
763e7877b2dSdan     pSrc->a[0].zName = zName;
764e7877b2dSdan     if( pSchema!=db->aDb[1].pSchema ){
765e7877b2dSdan       pSrc->a[0].pSchema = pSchema;
766b7916a78Sdrh     }
767e7877b2dSdan     if( pStep->pFrom ){
768e7877b2dSdan       SrcList *pDup = sqlite3SrcListDup(db, pStep->pFrom, 0);
769e7877b2dSdan       pSrc = sqlite3SrcListAppendList(pParse, pSrc, pDup);
770e7877b2dSdan     }
771e7877b2dSdan   }else{
772e7877b2dSdan     sqlite3DbFree(db, zName);
773f26e09c8Sdrh   }
774f26e09c8Sdrh   return pSrc;
775f26e09c8Sdrh }
776f26e09c8Sdrh 
777f26e09c8Sdrh /*
77865a7cd16Sdan ** Generate VDBE code for the statements inside the body of a single
779c977f7f5Sdrh ** trigger.
780c977f7f5Sdrh */
781c3f9bad2Sdanielk1977 static int codeTriggerProgram(
782c977f7f5Sdrh   Parse *pParse,            /* The parser context */
783c977f7f5Sdrh   TriggerStep *pStepList,   /* List of statements inside the trigger body */
78465a7cd16Sdan   int orconf                /* Conflict algorithm. (OE_Abort, etc) */
785633ed08dSdanielk1977 ){
78665a7cd16Sdan   TriggerStep *pStep;
787344737f6Sdrh   Vdbe *v = pParse->pVdbe;
78817435752Sdrh   sqlite3 *db = pParse->db;
789c3f9bad2Sdanielk1977 
79065a7cd16Sdan   assert( pParse->pTriggerTab && pParse->pToplevel );
79165a7cd16Sdan   assert( pStepList );
792344737f6Sdrh   assert( v!=0 );
79365a7cd16Sdan   for(pStep=pStepList; pStep; pStep=pStep->pNext){
794165921a7Sdan     /* Figure out the ON CONFLICT policy that will be used for this step
795165921a7Sdan     ** of the trigger program. If the statement that caused this trigger
796165921a7Sdan     ** to fire had an explicit ON CONFLICT, then use it. Otherwise, use
797165921a7Sdan     ** the ON CONFLICT policy that was specified as part of the trigger
798165921a7Sdan     ** step statement. Example:
799165921a7Sdan     **
800165921a7Sdan     **   CREATE TRIGGER AFTER INSERT ON t1 BEGIN;
801165921a7Sdan     **     INSERT OR REPLACE INTO t2 VALUES(new.a, new.b);
802165921a7Sdan     **   END;
803165921a7Sdan     **
804165921a7Sdan     **   INSERT INTO t1 ... ;            -- insert into t2 uses REPLACE policy
805165921a7Sdan     **   INSERT OR IGNORE INTO t1 ... ;  -- insert into t2 uses IGNORE policy
806165921a7Sdan     */
807cea72b2dSshane     pParse->eOrconf = (orconf==OE_Default)?pStep->orconf:(u8)orconf;
808aceb31b1Sdrh     assert( pParse->okConstFactor==0 );
809f78baafeSdan 
810f259df5fSdrh #ifndef SQLITE_OMIT_TRACE
811e307e11dSdrh     if( pStep->zSpan ){
812f259df5fSdrh       sqlite3VdbeAddOp4(v, OP_Trace, 0x7fffffff, 1, 0,
813f259df5fSdrh                         sqlite3MPrintf(db, "-- %s", pStep->zSpan),
814f259df5fSdrh                         P4_DYNAMIC);
815e307e11dSdrh     }
816f259df5fSdrh #endif
817f259df5fSdrh 
818165921a7Sdan     switch( pStep->op ){
819c3f9bad2Sdanielk1977       case TK_UPDATE: {
820165921a7Sdan         sqlite3Update(pParse,
821e7877b2dSdan           sqlite3TriggerStepSrc(pParse, pStep),
822165921a7Sdan           sqlite3ExprListDup(db, pStep->pExprList, 0),
823165921a7Sdan           sqlite3ExprDup(db, pStep->pWhere, 0),
824eac9fabbSdrh           pParse->eOrconf, 0, 0, 0
825165921a7Sdan         );
826c3f9bad2Sdanielk1977         break;
827c3f9bad2Sdanielk1977       }
828c3f9bad2Sdanielk1977       case TK_INSERT: {
829165921a7Sdan         sqlite3Insert(pParse,
830e7877b2dSdan           sqlite3TriggerStepSrc(pParse, pStep),
831165921a7Sdan           sqlite3SelectDup(db, pStep->pSelect, 0),
832165921a7Sdan           sqlite3IdListDup(db, pStep->pIdList),
83346d2e5c3Sdrh           pParse->eOrconf,
83446d2e5c3Sdrh           sqlite3UpsertDup(db, pStep->pUpsert)
835165921a7Sdan         );
836c3f9bad2Sdanielk1977         break;
837c3f9bad2Sdanielk1977       }
838c3f9bad2Sdanielk1977       case TK_DELETE: {
839165921a7Sdan         sqlite3DeleteFrom(pParse,
840e7877b2dSdan           sqlite3TriggerStepSrc(pParse, pStep),
8418c0833fbSdrh           sqlite3ExprDup(db, pStep->pWhere, 0), 0, 0
842165921a7Sdan         );
843c3f9bad2Sdanielk1977         break;
844c3f9bad2Sdanielk1977       }
845165921a7Sdan       default: assert( pStep->op==TK_SELECT ); {
846165921a7Sdan         SelectDest sDest;
847165921a7Sdan         Select *pSelect = sqlite3SelectDup(db, pStep->pSelect, 0);
848165921a7Sdan         sqlite3SelectDestInit(&sDest, SRT_Discard, 0);
849165921a7Sdan         sqlite3Select(pParse, pSelect, &sDest);
850165921a7Sdan         sqlite3SelectDelete(db, pSelect);
8519ab4c2e8Sdrh         break;
8529ab4c2e8Sdrh       }
853c3f9bad2Sdanielk1977     }
85476d462eeSdan     if( pStep->op!=TK_SELECT ){
855b7f1d9a7Sdrh       sqlite3VdbeAddOp0(v, OP_ResetCount);
85676d462eeSdan     }
857c3f9bad2Sdanielk1977   }
858c3f9bad2Sdanielk1977 
859c3f9bad2Sdanielk1977   return 0;
860c3f9bad2Sdanielk1977 }
861c3f9bad2Sdanielk1977 
862c7379ce4Sdrh #ifdef SQLITE_ENABLE_EXPLAIN_COMMENTS
863165921a7Sdan /*
864165921a7Sdan ** This function is used to add VdbeComment() annotations to a VDBE
865165921a7Sdan ** program. It is not used in production code, only for debugging.
866165921a7Sdan */
867165921a7Sdan static const char *onErrorText(int onError){
868165921a7Sdan   switch( onError ){
869165921a7Sdan     case OE_Abort:    return "abort";
870165921a7Sdan     case OE_Rollback: return "rollback";
871165921a7Sdan     case OE_Fail:     return "fail";
872165921a7Sdan     case OE_Replace:  return "replace";
873165921a7Sdan     case OE_Ignore:   return "ignore";
874165921a7Sdan     case OE_Default:  return "default";
875165921a7Sdan   }
876165921a7Sdan   return "n/a";
877165921a7Sdan }
878165921a7Sdan #endif
879165921a7Sdan 
880165921a7Sdan /*
881165921a7Sdan ** Parse context structure pFrom has just been used to create a sub-vdbe
882165921a7Sdan ** (trigger program). If an error has occurred, transfer error information
883165921a7Sdan ** from pFrom to pTo.
884165921a7Sdan */
885165921a7Sdan static void transferParseError(Parse *pTo, Parse *pFrom){
886165921a7Sdan   assert( pFrom->zErrMsg==0 || pFrom->nErr );
887165921a7Sdan   assert( pTo->zErrMsg==0 || pTo->nErr );
888165921a7Sdan   if( pTo->nErr==0 ){
889165921a7Sdan     pTo->zErrMsg = pFrom->zErrMsg;
890165921a7Sdan     pTo->nErr = pFrom->nErr;
891e06874eaSdrh     pTo->rc = pFrom->rc;
892165921a7Sdan   }else{
893165921a7Sdan     sqlite3DbFree(pFrom->db, pFrom->zErrMsg);
894165921a7Sdan   }
895165921a7Sdan }
896165921a7Sdan 
89765a7cd16Sdan /*
89865a7cd16Sdan ** Create and populate a new TriggerPrg object with a sub-program
89965a7cd16Sdan ** implementing trigger pTrigger with ON CONFLICT policy orconf.
90065a7cd16Sdan */
9012832ad42Sdan static TriggerPrg *codeRowTrigger(
902165921a7Sdan   Parse *pParse,       /* Current parse context */
903165921a7Sdan   Trigger *pTrigger,   /* Trigger to code */
90465a7cd16Sdan   Table *pTab,         /* The table pTrigger is attached to */
90565a7cd16Sdan   int orconf           /* ON CONFLICT policy to code trigger program with */
906165921a7Sdan ){
90765a7cd16Sdan   Parse *pTop = sqlite3ParseToplevel(pParse);
90865a7cd16Sdan   sqlite3 *db = pParse->db;   /* Database handle */
90965a7cd16Sdan   TriggerPrg *pPrg;           /* Value to return */
910165921a7Sdan   Expr *pWhen = 0;            /* Duplicate of trigger WHEN expression */
911165921a7Sdan   Vdbe *v;                    /* Temporary VM */
912165921a7Sdan   NameContext sNC;            /* Name context for sub-vdbe */
913165921a7Sdan   SubProgram *pProgram = 0;   /* Sub-vdbe for trigger program */
914165921a7Sdan   Parse *pSubParse;           /* Parse context for sub-vdbe */
915165921a7Sdan   int iEndTrigger = 0;        /* Label to jump to if WHEN is false */
916165921a7Sdan 
9171da40a38Sdan   assert( pTrigger->zName==0 || pTab==tableOfTrigger(pTrigger) );
918d19c933eSdan   assert( pTop->pVdbe );
91965a7cd16Sdan 
92065a7cd16Sdan   /* Allocate the TriggerPrg and SubProgram objects. To ensure that they
92165a7cd16Sdan   ** are freed if an error occurs, link them into the Parse.pTriggerPrg
92265a7cd16Sdan   ** list of the top-level Parse object sooner rather than later.  */
9232832ad42Sdan   pPrg = sqlite3DbMallocZero(db, sizeof(TriggerPrg));
9242832ad42Sdan   if( !pPrg ) return 0;
92565a7cd16Sdan   pPrg->pNext = pTop->pTriggerPrg;
92665a7cd16Sdan   pTop->pTriggerPrg = pPrg;
9272832ad42Sdan   pPrg->pProgram = pProgram = sqlite3DbMallocZero(db, sizeof(SubProgram));
928165921a7Sdan   if( !pProgram ) return 0;
929d19c933eSdan   sqlite3VdbeLinkSubProgram(pTop->pVdbe, pProgram);
9302832ad42Sdan   pPrg->pTrigger = pTrigger;
9312832ad42Sdan   pPrg->orconf = orconf;
932bb5f168fSdan   pPrg->aColmask[0] = 0xffffffff;
933bb5f168fSdan   pPrg->aColmask[1] = 0xffffffff;
934165921a7Sdan 
93565a7cd16Sdan   /* Allocate and populate a new Parse context to use for coding the
93665a7cd16Sdan   ** trigger sub-program.  */
93765a7cd16Sdan   pSubParse = sqlite3StackAllocZero(db, sizeof(Parse));
93865a7cd16Sdan   if( !pSubParse ) return 0;
939165921a7Sdan   memset(&sNC, 0, sizeof(sNC));
940165921a7Sdan   sNC.pParse = pSubParse;
941165921a7Sdan   pSubParse->db = db;
942165921a7Sdan   pSubParse->pTriggerTab = pTab;
94365a7cd16Sdan   pSubParse->pToplevel = pTop;
9442bd93516Sdan   pSubParse->zAuthContext = pTrigger->zName;
94565a7cd16Sdan   pSubParse->eTriggerOp = pTrigger->op;
9468b307fbfSdrh   pSubParse->nQueryLoop = pParse->nQueryLoop;
9471ea0443cSdan   pSubParse->disableVtab = pParse->disableVtab;
948165921a7Sdan 
949165921a7Sdan   v = sqlite3GetVdbe(pSubParse);
950165921a7Sdan   if( v ){
95176d462eeSdan     VdbeComment((v, "Start: %s.%s (%s %s%s%s ON %s)",
95276d462eeSdan       pTrigger->zName, onErrorText(orconf),
953165921a7Sdan       (pTrigger->tr_tm==TRIGGER_BEFORE ? "BEFORE" : "AFTER"),
95465a7cd16Sdan         (pTrigger->op==TK_UPDATE ? "UPDATE" : ""),
95565a7cd16Sdan         (pTrigger->op==TK_INSERT ? "INSERT" : ""),
95665a7cd16Sdan         (pTrigger->op==TK_DELETE ? "DELETE" : ""),
95776d462eeSdan       pTab->zName
958165921a7Sdan     ));
95976d462eeSdan #ifndef SQLITE_OMIT_TRACE
960e307e11dSdrh     if( pTrigger->zName ){
96176d462eeSdan       sqlite3VdbeChangeP4(v, -1,
96276d462eeSdan         sqlite3MPrintf(db, "-- TRIGGER %s", pTrigger->zName), P4_DYNAMIC
96376d462eeSdan       );
964e307e11dSdrh     }
96576d462eeSdan #endif
966165921a7Sdan 
96765a7cd16Sdan     /* If one was specified, code the WHEN clause. If it evaluates to false
96865a7cd16Sdan     ** (or NULL) the sub-vdbe is immediately halted by jumping to the
96965a7cd16Sdan     ** OP_Halt inserted at the end of the program.  */
970165921a7Sdan     if( pTrigger->pWhen ){
971165921a7Sdan       pWhen = sqlite3ExprDup(db, pTrigger->pWhen, 0);
972523a087bSdan       if( SQLITE_OK==sqlite3ResolveExprNames(&sNC, pWhen)
973523a087bSdan        && db->mallocFailed==0
974523a087bSdan       ){
975ec4ccdbcSdrh         iEndTrigger = sqlite3VdbeMakeLabel(pSubParse);
976165921a7Sdan         sqlite3ExprIfFalse(pSubParse, pWhen, iEndTrigger, SQLITE_JUMPIFNULL);
977165921a7Sdan       }
978165921a7Sdan       sqlite3ExprDelete(db, pWhen);
979165921a7Sdan     }
980165921a7Sdan 
981165921a7Sdan     /* Code the trigger program into the sub-vdbe. */
98276d462eeSdan     codeTriggerProgram(pSubParse, pTrigger->step_list, orconf);
98365a7cd16Sdan 
98465a7cd16Sdan     /* Insert an OP_Halt at the end of the sub-program. */
985165921a7Sdan     if( iEndTrigger ){
986165921a7Sdan       sqlite3VdbeResolveLabel(v, iEndTrigger);
987165921a7Sdan     }
988165921a7Sdan     sqlite3VdbeAddOp0(v, OP_Halt);
98976d462eeSdan     VdbeComment((v, "End: %s.%s", pTrigger->zName, onErrorText(orconf)));
99076d462eeSdan 
991165921a7Sdan     transferParseError(pParse, pSubParse);
99208951175Sdan     if( db->mallocFailed==0 && pParse->nErr==0 ){
99365a7cd16Sdan       pProgram->aOp = sqlite3VdbeTakeOpArray(v, &pProgram->nOp, &pTop->nMaxArg);
994523a087bSdan     }
995165921a7Sdan     pProgram->nMem = pSubParse->nMem;
996165921a7Sdan     pProgram->nCsr = pSubParse->nTab;
997165921a7Sdan     pProgram->token = (void *)pTrigger;
998bb5f168fSdan     pPrg->aColmask[0] = pSubParse->oldmask;
999bb5f168fSdan     pPrg->aColmask[1] = pSubParse->newmask;
1000165921a7Sdan     sqlite3VdbeDelete(v);
100165a7cd16Sdan   }
1002165921a7Sdan 
100365a7cd16Sdan   assert( !pSubParse->pAinc       && !pSubParse->pZombieTab );
100465a7cd16Sdan   assert( !pSubParse->pTriggerPrg && !pSubParse->nMaxArg );
1005f30a969bSdrh   sqlite3ParserReset(pSubParse);
1006165921a7Sdan   sqlite3StackFree(db, pSubParse);
1007165921a7Sdan 
10082832ad42Sdan   return pPrg;
1009165921a7Sdan }
1010165921a7Sdan 
101165a7cd16Sdan /*
101265a7cd16Sdan ** Return a pointer to a TriggerPrg object containing the sub-program for
101365a7cd16Sdan ** trigger pTrigger with default ON CONFLICT algorithm orconf. If no such
101465a7cd16Sdan ** TriggerPrg object exists, a new object is allocated and populated before
101565a7cd16Sdan ** being returned.
101665a7cd16Sdan */
10172832ad42Sdan static TriggerPrg *getRowTrigger(
101865a7cd16Sdan   Parse *pParse,       /* Current parse context */
1019165921a7Sdan   Trigger *pTrigger,   /* Trigger to code */
102065a7cd16Sdan   Table *pTab,         /* The table trigger pTrigger is attached to */
102165a7cd16Sdan   int orconf           /* ON CONFLICT algorithm. */
1022165921a7Sdan ){
102365a7cd16Sdan   Parse *pRoot = sqlite3ParseToplevel(pParse);
10242832ad42Sdan   TriggerPrg *pPrg;
102565a7cd16Sdan 
10261da40a38Sdan   assert( pTrigger->zName==0 || pTab==tableOfTrigger(pTrigger) );
1027165921a7Sdan 
1028165921a7Sdan   /* It may be that this trigger has already been coded (or is in the
1029165921a7Sdan   ** process of being coded). If this is the case, then an entry with
10302832ad42Sdan   ** a matching TriggerPrg.pTrigger field will be present somewhere
10312832ad42Sdan   ** in the Parse.pTriggerPrg list. Search for such an entry.  */
10322832ad42Sdan   for(pPrg=pRoot->pTriggerPrg;
10332832ad42Sdan       pPrg && (pPrg->pTrigger!=pTrigger || pPrg->orconf!=orconf);
10342832ad42Sdan       pPrg=pPrg->pNext
1035165921a7Sdan   );
1036165921a7Sdan 
103765a7cd16Sdan   /* If an existing TriggerPrg could not be located, create a new one. */
10382832ad42Sdan   if( !pPrg ){
103965a7cd16Sdan     pPrg = codeRowTrigger(pParse, pTrigger, pTab, orconf);
1040165921a7Sdan   }
1041165921a7Sdan 
10422832ad42Sdan   return pPrg;
1043165921a7Sdan }
1044165921a7Sdan 
104594d7f50aSdan /*
104694d7f50aSdan ** Generate code for the trigger program associated with trigger p on
104794d7f50aSdan ** table pTab. The reg, orconf and ignoreJump parameters passed to this
104894d7f50aSdan ** function are the same as those described in the header function for
104994d7f50aSdan ** sqlite3CodeRowTrigger()
105094d7f50aSdan */
10511da40a38Sdan void sqlite3CodeRowTriggerDirect(
10521da40a38Sdan   Parse *pParse,       /* Parse context */
10531da40a38Sdan   Trigger *p,          /* Trigger to code */
10541da40a38Sdan   Table *pTab,         /* The table to code triggers from */
105594d7f50aSdan   int reg,             /* Reg array containing OLD.* and NEW.* values */
10561da40a38Sdan   int orconf,          /* ON CONFLICT policy */
10571da40a38Sdan   int ignoreJump       /* Instruction to jump to for RAISE(IGNORE) */
10581da40a38Sdan ){
10591da40a38Sdan   Vdbe *v = sqlite3GetVdbe(pParse); /* Main VM */
10601da40a38Sdan   TriggerPrg *pPrg;
10611da40a38Sdan   pPrg = getRowTrigger(pParse, p, pTab, orconf);
10621da40a38Sdan   assert( pPrg || pParse->nErr || pParse->db->mallocFailed );
10631da40a38Sdan 
10641da40a38Sdan   /* Code the OP_Program opcode in the parent VDBE. P4 of the OP_Program
10651da40a38Sdan   ** is a pointer to the sub-vdbe containing the trigger program.  */
10661da40a38Sdan   if( pPrg ){
1067d19c933eSdan     int bRecursive = (p->zName && 0==(pParse->db->flags&SQLITE_RecTriggers));
1068d19c933eSdan 
10699b34abeeSdrh     sqlite3VdbeAddOp4(v, OP_Program, reg, ignoreJump, ++pParse->nMem,
10709b34abeeSdrh                       (const char *)pPrg->pProgram, P4_SUBPROGRAM);
10711da40a38Sdan     VdbeComment(
10721da40a38Sdan         (v, "Call: %s.%s", (p->zName?p->zName:"fkey"), onErrorText(orconf)));
10731da40a38Sdan 
10741da40a38Sdan     /* Set the P5 operand of the OP_Program instruction to non-zero if
10751da40a38Sdan     ** recursive invocation of this trigger program is disallowed. Recursive
10761da40a38Sdan     ** invocation is disallowed if (a) the sub-program is really a trigger,
10771da40a38Sdan     ** not a foreign key action, and (b) the flag to enable recursive triggers
10781da40a38Sdan     ** is clear.  */
1079d19c933eSdan     sqlite3VdbeChangeP5(v, (u8)bRecursive);
10801da40a38Sdan   }
10811da40a38Sdan }
10821da40a38Sdan 
1083633ed08dSdanielk1977 /*
108494d7f50aSdan ** This is called to code the required FOR EACH ROW triggers for an operation
108594d7f50aSdan ** on table pTab. The operation to code triggers for (INSERT, UPDATE or DELETE)
1086f7b5496eSdrh ** is given by the op parameter. The tr_tm parameter determines whether the
108794d7f50aSdan ** BEFORE or AFTER triggers are coded. If the operation is an UPDATE, then
108894d7f50aSdan ** parameter pChanges is passed the list of columns being modified.
1089633ed08dSdanielk1977 **
109094d7f50aSdan ** If there are no triggers that fire at the specified time for the specified
109194d7f50aSdan ** operation on pTab, this function is a no-op.
1092c977f7f5Sdrh **
109394d7f50aSdan ** The reg argument is the address of the first in an array of registers
109494d7f50aSdan ** that contain the values substituted for the new.* and old.* references
109594d7f50aSdan ** in the trigger program. If N is the number of columns in table pTab
109694d7f50aSdan ** (a copy of pTab->nCol), then registers are populated as follows:
1097c977f7f5Sdrh **
109894d7f50aSdan **   Register       Contains
109994d7f50aSdan **   ------------------------------------------------------
110094d7f50aSdan **   reg+0          OLD.rowid
110194d7f50aSdan **   reg+1          OLD.* value of left-most column of pTab
110294d7f50aSdan **   ...            ...
110394d7f50aSdan **   reg+N          OLD.* value of right-most column of pTab
110494d7f50aSdan **   reg+N+1        NEW.rowid
110594d7f50aSdan **   reg+N+2        OLD.* value of left-most column of pTab
110694d7f50aSdan **   ...            ...
110794d7f50aSdan **   reg+N+N+1      NEW.* value of right-most column of pTab
1108c977f7f5Sdrh **
110994d7f50aSdan ** For ON DELETE triggers, the registers containing the NEW.* values will
111094d7f50aSdan ** never be accessed by the trigger program, so they are not allocated or
111194d7f50aSdan ** populated by the caller (there is no data to populate them with anyway).
111294d7f50aSdan ** Similarly, for ON INSERT triggers the values stored in the OLD.* registers
111394d7f50aSdan ** are never accessed, and so are not allocated by the caller. So, for an
111494d7f50aSdan ** ON INSERT trigger, the value passed to this function as parameter reg
111594d7f50aSdan ** is not a readable register, although registers (reg+N) through
111694d7f50aSdan ** (reg+N+N+1) are.
1117633ed08dSdanielk1977 **
111894d7f50aSdan ** Parameter orconf is the default conflict resolution algorithm for the
111994d7f50aSdan ** trigger program to use (REPLACE, IGNORE etc.). Parameter ignoreJump
112094d7f50aSdan ** is the instruction that control should jump to if a trigger program
112194d7f50aSdan ** raises an IGNORE exception.
1122633ed08dSdanielk1977 */
1123165921a7Sdan void sqlite3CodeRowTrigger(
1124c3f9bad2Sdanielk1977   Parse *pParse,       /* Parse context */
11252f886d1dSdanielk1977   Trigger *pTrigger,   /* List of triggers on table pTab */
1126c3f9bad2Sdanielk1977   int op,              /* One of TK_UPDATE, TK_INSERT, TK_DELETE */
1127633ed08dSdanielk1977   ExprList *pChanges,  /* Changes list for any UPDATE OF triggers */
1128dca76841Sdrh   int tr_tm,           /* One of TRIGGER_BEFORE, TRIGGER_AFTER */
1129633ed08dSdanielk1977   Table *pTab,         /* The table to code triggers from */
113094d7f50aSdan   int reg,             /* The first in an array of registers (see above) */
11316f34903eSdanielk1977   int orconf,          /* ON CONFLICT policy */
1132165921a7Sdan   int ignoreJump       /* Instruction to jump to for RAISE(IGNORE) */
1133c977f7f5Sdrh ){
113494d7f50aSdan   Trigger *p;          /* Used to iterate through pTrigger list */
1135cea72b2dSshane 
1136c3f9bad2Sdanielk1977   assert( op==TK_UPDATE || op==TK_INSERT || op==TK_DELETE );
1137dca76841Sdrh   assert( tr_tm==TRIGGER_BEFORE || tr_tm==TRIGGER_AFTER );
113894d7f50aSdan   assert( (op==TK_UPDATE)==(pChanges!=0) );
1139c3f9bad2Sdanielk1977 
11402f886d1dSdanielk1977   for(p=pTrigger; p; p=p->pNext){
1141c3f9bad2Sdanielk1977 
11429ab4c2e8Sdrh     /* Sanity checking:  The schema for the trigger and for the table are
11439ab4c2e8Sdrh     ** always defined.  The trigger must be in the same schema as the table
11449ab4c2e8Sdrh     ** or else it must be a TEMP trigger. */
11459ab4c2e8Sdrh     assert( p->pSchema!=0 );
11469ab4c2e8Sdrh     assert( p->pTabSchema!=0 );
1147165921a7Sdan     assert( p->pSchema==p->pTabSchema
1148165921a7Sdan          || p->pSchema==pParse->db->aDb[1].pSchema );
11499ab4c2e8Sdrh 
1150eecfb3eeSdanielk1977     /* Determine whether we should code this trigger */
1151165921a7Sdan     if( p->op==op
1152165921a7Sdan      && p->tr_tm==tr_tm
1153165921a7Sdan      && checkColumnOverlap(p->pColumns, pChanges)
1154eecfb3eeSdanielk1977     ){
115594d7f50aSdan       sqlite3CodeRowTriggerDirect(pParse, p, pTab, reg, orconf, ignoreJump);
1156c3f9bad2Sdanielk1977     }
1157c3f9bad2Sdanielk1977   }
1158165921a7Sdan }
1159165921a7Sdan 
11602832ad42Sdan /*
1161bb5f168fSdan ** Triggers may access values stored in the old.* or new.* pseudo-table.
1162bb5f168fSdan ** This function returns a 32-bit bitmask indicating which columns of the
1163bb5f168fSdan ** old.* or new.* tables actually are used by triggers. This information
1164bb5f168fSdan ** may be used by the caller, for example, to avoid having to load the entire
1165bb5f168fSdan ** old.* record into memory when executing an UPDATE or DELETE command.
11662832ad42Sdan **
11672832ad42Sdan ** Bit 0 of the returned mask is set if the left-most column of the
1168bb5f168fSdan ** table may be accessed using an [old|new].<col> reference. Bit 1 is set if
11692832ad42Sdan ** the second leftmost column value is required, and so on. If there
11702832ad42Sdan ** are more than 32 columns in the table, and at least one of the columns
11712832ad42Sdan ** with an index greater than 32 may be accessed, 0xffffffff is returned.
11722832ad42Sdan **
1173bb5f168fSdan ** It is not possible to determine if the old.rowid or new.rowid column is
1174bb5f168fSdan ** accessed by triggers. The caller must always assume that it is.
11752832ad42Sdan **
1176bb5f168fSdan ** Parameter isNew must be either 1 or 0. If it is 0, then the mask returned
1177bb5f168fSdan ** applies to the old.* table. If 1, the new.* table.
1178bb5f168fSdan **
1179bb5f168fSdan ** Parameter tr_tm must be a mask with one or both of the TRIGGER_BEFORE
1180bb5f168fSdan ** and TRIGGER_AFTER bits set. Values accessed by BEFORE triggers are only
1181bb5f168fSdan ** included in the returned mask if the TRIGGER_BEFORE bit is set in the
1182bb5f168fSdan ** tr_tm parameter. Similarly, values accessed by AFTER triggers are only
1183bb5f168fSdan ** included in the returned mask if the TRIGGER_AFTER bit is set in tr_tm.
11842832ad42Sdan */
1185bb5f168fSdan u32 sqlite3TriggerColmask(
1186165921a7Sdan   Parse *pParse,       /* Parse context */
1187165921a7Sdan   Trigger *pTrigger,   /* List of triggers on table pTab */
1188165921a7Sdan   ExprList *pChanges,  /* Changes list for any UPDATE OF triggers */
1189bb5f168fSdan   int isNew,           /* 1 for new.* ref mask, 0 for old.* ref mask */
1190bb5f168fSdan   int tr_tm,           /* Mask of TRIGGER_BEFORE|TRIGGER_AFTER */
1191165921a7Sdan   Table *pTab,         /* The table to code triggers from */
11922832ad42Sdan   int orconf           /* Default ON CONFLICT policy for trigger steps */
1193165921a7Sdan ){
11941da40a38Sdan   const int op = pChanges ? TK_UPDATE : TK_DELETE;
11952832ad42Sdan   u32 mask = 0;
1196165921a7Sdan   Trigger *p;
1197165921a7Sdan 
1198bb5f168fSdan   assert( isNew==1 || isNew==0 );
1199165921a7Sdan   for(p=pTrigger; p; p=p->pNext){
1200bb5f168fSdan     if( p->op==op && (tr_tm&p->tr_tm)
1201bb5f168fSdan      && checkColumnOverlap(p->pColumns,pChanges)
1202bb5f168fSdan     ){
12032832ad42Sdan       TriggerPrg *pPrg;
120465a7cd16Sdan       pPrg = getRowTrigger(pParse, p, pTab, orconf);
12052832ad42Sdan       if( pPrg ){
1206bb5f168fSdan         mask |= pPrg->aColmask[isNew];
1207165921a7Sdan       }
1208165921a7Sdan     }
1209165921a7Sdan   }
12102832ad42Sdan 
12112832ad42Sdan   return mask;
1212165921a7Sdan }
1213165921a7Sdan 
1214b7f9164eSdrh #endif /* !defined(SQLITE_OMIT_TRIGGER) */
1215