xref: /sqlite-3.40.0/src/select.c (revision 290c1948)
1cce7d176Sdrh /*
2b19a2bc6Sdrh ** 2001 September 15
3cce7d176Sdrh **
4b19a2bc6Sdrh ** The author disclaims copyright to this source code.  In place of
5b19a2bc6Sdrh ** a legal notice, here is a blessing:
6cce7d176Sdrh **
7b19a2bc6Sdrh **    May you do good and not evil.
8b19a2bc6Sdrh **    May you find forgiveness for yourself and forgive others.
9b19a2bc6Sdrh **    May you share freely, never taking more than you give.
10cce7d176Sdrh **
11cce7d176Sdrh *************************************************************************
12cce7d176Sdrh ** This file contains C code routines that are called by the parser
13b19a2bc6Sdrh ** to handle SELECT statements in SQLite.
14cce7d176Sdrh **
15*290c1948Sdrh ** $Id: select.c,v 1.203 2004/08/21 17:54:45 drh Exp $
16cce7d176Sdrh */
17cce7d176Sdrh #include "sqliteInt.h"
18cce7d176Sdrh 
19315555caSdrh 
20cce7d176Sdrh /*
219bb61fe7Sdrh ** Allocate a new Select structure and return a pointer to that
229bb61fe7Sdrh ** structure.
23cce7d176Sdrh */
244adee20fSdanielk1977 Select *sqlite3SelectNew(
25daffd0e5Sdrh   ExprList *pEList,     /* which columns to include in the result */
26ad3cab52Sdrh   SrcList *pSrc,        /* the FROM clause -- which tables to scan */
27daffd0e5Sdrh   Expr *pWhere,         /* the WHERE clause */
28daffd0e5Sdrh   ExprList *pGroupBy,   /* the GROUP BY clause */
29daffd0e5Sdrh   Expr *pHaving,        /* the HAVING clause */
30daffd0e5Sdrh   ExprList *pOrderBy,   /* the ORDER BY clause */
319bbca4c1Sdrh   int isDistinct,       /* true if the DISTINCT keyword is present */
329bbca4c1Sdrh   int nLimit,           /* LIMIT value.  -1 means not used */
33ef0cae50Sdrh   int nOffset           /* OFFSET value.  0 means no offset */
349bb61fe7Sdrh ){
359bb61fe7Sdrh   Select *pNew;
369bb61fe7Sdrh   pNew = sqliteMalloc( sizeof(*pNew) );
37daffd0e5Sdrh   if( pNew==0 ){
384adee20fSdanielk1977     sqlite3ExprListDelete(pEList);
394adee20fSdanielk1977     sqlite3SrcListDelete(pSrc);
404adee20fSdanielk1977     sqlite3ExprDelete(pWhere);
414adee20fSdanielk1977     sqlite3ExprListDelete(pGroupBy);
424adee20fSdanielk1977     sqlite3ExprDelete(pHaving);
434adee20fSdanielk1977     sqlite3ExprListDelete(pOrderBy);
44daffd0e5Sdrh   }else{
45b733d037Sdrh     if( pEList==0 ){
464adee20fSdanielk1977       pEList = sqlite3ExprListAppend(0, sqlite3Expr(TK_ALL,0,0,0), 0);
47b733d037Sdrh     }
489bb61fe7Sdrh     pNew->pEList = pEList;
499bb61fe7Sdrh     pNew->pSrc = pSrc;
509bb61fe7Sdrh     pNew->pWhere = pWhere;
519bb61fe7Sdrh     pNew->pGroupBy = pGroupBy;
529bb61fe7Sdrh     pNew->pHaving = pHaving;
539bb61fe7Sdrh     pNew->pOrderBy = pOrderBy;
549bb61fe7Sdrh     pNew->isDistinct = isDistinct;
5582c3d636Sdrh     pNew->op = TK_SELECT;
569bbca4c1Sdrh     pNew->nLimit = nLimit;
579bbca4c1Sdrh     pNew->nOffset = nOffset;
587b58daeaSdrh     pNew->iLimit = -1;
597b58daeaSdrh     pNew->iOffset = -1;
60daffd0e5Sdrh   }
619bb61fe7Sdrh   return pNew;
629bb61fe7Sdrh }
639bb61fe7Sdrh 
649bb61fe7Sdrh /*
6501f3f253Sdrh ** Given 1 to 3 identifiers preceeding the JOIN keyword, determine the
6601f3f253Sdrh ** type of join.  Return an integer constant that expresses that type
6701f3f253Sdrh ** in terms of the following bit values:
6801f3f253Sdrh **
6901f3f253Sdrh **     JT_INNER
7001f3f253Sdrh **     JT_OUTER
7101f3f253Sdrh **     JT_NATURAL
7201f3f253Sdrh **     JT_LEFT
7301f3f253Sdrh **     JT_RIGHT
7401f3f253Sdrh **
7501f3f253Sdrh ** A full outer join is the combination of JT_LEFT and JT_RIGHT.
7601f3f253Sdrh **
7701f3f253Sdrh ** If an illegal or unsupported join type is seen, then still return
7801f3f253Sdrh ** a join type, but put an error in the pParse structure.
7901f3f253Sdrh */
804adee20fSdanielk1977 int sqlite3JoinType(Parse *pParse, Token *pA, Token *pB, Token *pC){
8101f3f253Sdrh   int jointype = 0;
8201f3f253Sdrh   Token *apAll[3];
8301f3f253Sdrh   Token *p;
8401f3f253Sdrh   static struct {
8501f3f253Sdrh     const char *zKeyword;
86*290c1948Sdrh     u8 nChar;
87*290c1948Sdrh     u8 code;
8801f3f253Sdrh   } keywords[] = {
8901f3f253Sdrh     { "natural", 7, JT_NATURAL },
90195e6967Sdrh     { "left",    4, JT_LEFT|JT_OUTER },
91195e6967Sdrh     { "right",   5, JT_RIGHT|JT_OUTER },
92195e6967Sdrh     { "full",    4, JT_LEFT|JT_RIGHT|JT_OUTER },
9301f3f253Sdrh     { "outer",   5, JT_OUTER },
9401f3f253Sdrh     { "inner",   5, JT_INNER },
9501f3f253Sdrh     { "cross",   5, JT_INNER },
9601f3f253Sdrh   };
9701f3f253Sdrh   int i, j;
9801f3f253Sdrh   apAll[0] = pA;
9901f3f253Sdrh   apAll[1] = pB;
10001f3f253Sdrh   apAll[2] = pC;
101195e6967Sdrh   for(i=0; i<3 && apAll[i]; i++){
10201f3f253Sdrh     p = apAll[i];
10301f3f253Sdrh     for(j=0; j<sizeof(keywords)/sizeof(keywords[0]); j++){
10401f3f253Sdrh       if( p->n==keywords[j].nChar
1054adee20fSdanielk1977           && sqlite3StrNICmp(p->z, keywords[j].zKeyword, p->n)==0 ){
10601f3f253Sdrh         jointype |= keywords[j].code;
10701f3f253Sdrh         break;
10801f3f253Sdrh       }
10901f3f253Sdrh     }
11001f3f253Sdrh     if( j>=sizeof(keywords)/sizeof(keywords[0]) ){
11101f3f253Sdrh       jointype |= JT_ERROR;
11201f3f253Sdrh       break;
11301f3f253Sdrh     }
11401f3f253Sdrh   }
115ad2d8307Sdrh   if(
116ad2d8307Sdrh      (jointype & (JT_INNER|JT_OUTER))==(JT_INNER|JT_OUTER) ||
117195e6967Sdrh      (jointype & JT_ERROR)!=0
118ad2d8307Sdrh   ){
11901f3f253Sdrh     static Token dummy = { 0, 0 };
12001f3f253Sdrh     char *zSp1 = " ", *zSp2 = " ";
12101f3f253Sdrh     if( pB==0 ){ pB = &dummy; zSp1 = 0; }
12201f3f253Sdrh     if( pC==0 ){ pC = &dummy; zSp2 = 0; }
1234adee20fSdanielk1977     sqlite3SetNString(&pParse->zErrMsg, "unknown or unsupported join type: ", 0,
12401f3f253Sdrh        pA->z, pA->n, zSp1, 1, pB->z, pB->n, zSp2, 1, pC->z, pC->n, 0);
12501f3f253Sdrh     pParse->nErr++;
12601f3f253Sdrh     jointype = JT_INNER;
127195e6967Sdrh   }else if( jointype & JT_RIGHT ){
1284adee20fSdanielk1977     sqlite3ErrorMsg(pParse,
129da93d238Sdrh       "RIGHT and FULL OUTER JOINs are not currently supported");
130195e6967Sdrh     jointype = JT_INNER;
13101f3f253Sdrh   }
13201f3f253Sdrh   return jointype;
13301f3f253Sdrh }
13401f3f253Sdrh 
13501f3f253Sdrh /*
136ad2d8307Sdrh ** Return the index of a column in a table.  Return -1 if the column
137ad2d8307Sdrh ** is not contained in the table.
138ad2d8307Sdrh */
139ad2d8307Sdrh static int columnIndex(Table *pTab, const char *zCol){
140ad2d8307Sdrh   int i;
141ad2d8307Sdrh   for(i=0; i<pTab->nCol; i++){
1424adee20fSdanielk1977     if( sqlite3StrICmp(pTab->aCol[i].zName, zCol)==0 ) return i;
143ad2d8307Sdrh   }
144ad2d8307Sdrh   return -1;
145ad2d8307Sdrh }
146ad2d8307Sdrh 
147ad2d8307Sdrh /*
148ad2d8307Sdrh ** Add a term to the WHERE expression in *ppExpr that requires the
149ad2d8307Sdrh ** zCol column to be equal in the two tables pTab1 and pTab2.
150ad2d8307Sdrh */
151ad2d8307Sdrh static void addWhereTerm(
152ad2d8307Sdrh   const char *zCol,        /* Name of the column */
153ad2d8307Sdrh   const Table *pTab1,      /* First table */
154ad2d8307Sdrh   const Table *pTab2,      /* Second table */
155ad2d8307Sdrh   Expr **ppExpr            /* Add the equality term to this expression */
156ad2d8307Sdrh ){
157ad2d8307Sdrh   Token dummy;
158ad2d8307Sdrh   Expr *pE1a, *pE1b, *pE1c;
159ad2d8307Sdrh   Expr *pE2a, *pE2b, *pE2c;
160ad2d8307Sdrh   Expr *pE;
161ad2d8307Sdrh 
162ad2d8307Sdrh   dummy.z = zCol;
163ad2d8307Sdrh   dummy.n = strlen(zCol);
1644b59ab5eSdrh   dummy.dyn = 0;
1654adee20fSdanielk1977   pE1a = sqlite3Expr(TK_ID, 0, 0, &dummy);
1664adee20fSdanielk1977   pE2a = sqlite3Expr(TK_ID, 0, 0, &dummy);
167ad2d8307Sdrh   dummy.z = pTab1->zName;
168ad2d8307Sdrh   dummy.n = strlen(dummy.z);
1694adee20fSdanielk1977   pE1b = sqlite3Expr(TK_ID, 0, 0, &dummy);
170ad2d8307Sdrh   dummy.z = pTab2->zName;
171ad2d8307Sdrh   dummy.n = strlen(dummy.z);
1724adee20fSdanielk1977   pE2b = sqlite3Expr(TK_ID, 0, 0, &dummy);
1734adee20fSdanielk1977   pE1c = sqlite3Expr(TK_DOT, pE1b, pE1a, 0);
1744adee20fSdanielk1977   pE2c = sqlite3Expr(TK_DOT, pE2b, pE2a, 0);
1754adee20fSdanielk1977   pE = sqlite3Expr(TK_EQ, pE1c, pE2c, 0);
1761f16230bSdrh   ExprSetProperty(pE, EP_FromJoin);
177ad2d8307Sdrh   if( *ppExpr ){
1784adee20fSdanielk1977     *ppExpr = sqlite3Expr(TK_AND, *ppExpr, pE, 0);
179ad2d8307Sdrh   }else{
180ad2d8307Sdrh     *ppExpr = pE;
181ad2d8307Sdrh   }
182ad2d8307Sdrh }
183ad2d8307Sdrh 
184ad2d8307Sdrh /*
1851f16230bSdrh ** Set the EP_FromJoin property on all terms of the given expression.
1861cc093c2Sdrh **
187e78e8284Sdrh ** The EP_FromJoin property is used on terms of an expression to tell
1881cc093c2Sdrh ** the LEFT OUTER JOIN processing logic that this term is part of the
1891f16230bSdrh ** join restriction specified in the ON or USING clause and not a part
1901f16230bSdrh ** of the more general WHERE clause.  These terms are moved over to the
1911f16230bSdrh ** WHERE clause during join processing but we need to remember that they
1921f16230bSdrh ** originated in the ON or USING clause.
1931cc093c2Sdrh */
1941cc093c2Sdrh static void setJoinExpr(Expr *p){
1951cc093c2Sdrh   while( p ){
1961f16230bSdrh     ExprSetProperty(p, EP_FromJoin);
1971cc093c2Sdrh     setJoinExpr(p->pLeft);
1981cc093c2Sdrh     p = p->pRight;
1991cc093c2Sdrh   }
2001cc093c2Sdrh }
2011cc093c2Sdrh 
2021cc093c2Sdrh /*
203ad2d8307Sdrh ** This routine processes the join information for a SELECT statement.
204ad2d8307Sdrh ** ON and USING clauses are converted into extra terms of the WHERE clause.
205ad2d8307Sdrh ** NATURAL joins also create extra WHERE clause terms.
206ad2d8307Sdrh **
207ad2d8307Sdrh ** This routine returns the number of errors encountered.
208ad2d8307Sdrh */
209ad2d8307Sdrh static int sqliteProcessJoin(Parse *pParse, Select *p){
210ad2d8307Sdrh   SrcList *pSrc;
211ad2d8307Sdrh   int i, j;
212ad2d8307Sdrh   pSrc = p->pSrc;
213ad2d8307Sdrh   for(i=0; i<pSrc->nSrc-1; i++){
214ad2d8307Sdrh     struct SrcList_item *pTerm = &pSrc->a[i];
215ad2d8307Sdrh     struct SrcList_item *pOther = &pSrc->a[i+1];
216ad2d8307Sdrh 
217ad2d8307Sdrh     if( pTerm->pTab==0 || pOther->pTab==0 ) continue;
218ad2d8307Sdrh 
219ad2d8307Sdrh     /* When the NATURAL keyword is present, add WHERE clause terms for
220ad2d8307Sdrh     ** every column that the two tables have in common.
221ad2d8307Sdrh     */
222ad2d8307Sdrh     if( pTerm->jointype & JT_NATURAL ){
223ad2d8307Sdrh       Table *pTab;
224ad2d8307Sdrh       if( pTerm->pOn || pTerm->pUsing ){
2254adee20fSdanielk1977         sqlite3ErrorMsg(pParse, "a NATURAL join may not have "
226ad2d8307Sdrh            "an ON or USING clause", 0);
227ad2d8307Sdrh         return 1;
228ad2d8307Sdrh       }
229ad2d8307Sdrh       pTab = pTerm->pTab;
230ad2d8307Sdrh       for(j=0; j<pTab->nCol; j++){
231ad2d8307Sdrh         if( columnIndex(pOther->pTab, pTab->aCol[j].zName)>=0 ){
232ad2d8307Sdrh           addWhereTerm(pTab->aCol[j].zName, pTab, pOther->pTab, &p->pWhere);
233ad2d8307Sdrh         }
234ad2d8307Sdrh       }
235ad2d8307Sdrh     }
236ad2d8307Sdrh 
237ad2d8307Sdrh     /* Disallow both ON and USING clauses in the same join
238ad2d8307Sdrh     */
239ad2d8307Sdrh     if( pTerm->pOn && pTerm->pUsing ){
2404adee20fSdanielk1977       sqlite3ErrorMsg(pParse, "cannot have both ON and USING "
241da93d238Sdrh         "clauses in the same join");
242ad2d8307Sdrh       return 1;
243ad2d8307Sdrh     }
244ad2d8307Sdrh 
245ad2d8307Sdrh     /* Add the ON clause to the end of the WHERE clause, connected by
246ad2d8307Sdrh     ** and AND operator.
247ad2d8307Sdrh     */
248ad2d8307Sdrh     if( pTerm->pOn ){
2491cc093c2Sdrh       setJoinExpr(pTerm->pOn);
250ad2d8307Sdrh       if( p->pWhere==0 ){
251ad2d8307Sdrh         p->pWhere = pTerm->pOn;
252ad2d8307Sdrh       }else{
2534adee20fSdanielk1977         p->pWhere = sqlite3Expr(TK_AND, p->pWhere, pTerm->pOn, 0);
254ad2d8307Sdrh       }
255ad2d8307Sdrh       pTerm->pOn = 0;
256ad2d8307Sdrh     }
257ad2d8307Sdrh 
258ad2d8307Sdrh     /* Create extra terms on the WHERE clause for each column named
259ad2d8307Sdrh     ** in the USING clause.  Example: If the two tables to be joined are
260ad2d8307Sdrh     ** A and B and the USING clause names X, Y, and Z, then add this
261ad2d8307Sdrh     ** to the WHERE clause:    A.X=B.X AND A.Y=B.Y AND A.Z=B.Z
262ad2d8307Sdrh     ** Report an error if any column mentioned in the USING clause is
263ad2d8307Sdrh     ** not contained in both tables to be joined.
264ad2d8307Sdrh     */
265ad2d8307Sdrh     if( pTerm->pUsing ){
266ad2d8307Sdrh       IdList *pList;
267ad2d8307Sdrh       int j;
268ad2d8307Sdrh       assert( i<pSrc->nSrc-1 );
269ad2d8307Sdrh       pList = pTerm->pUsing;
270ad2d8307Sdrh       for(j=0; j<pList->nId; j++){
271bf5cd97eSdrh         if( columnIndex(pTerm->pTab, pList->a[j].zName)<0 ||
272bf5cd97eSdrh             columnIndex(pOther->pTab, pList->a[j].zName)<0 ){
2734adee20fSdanielk1977           sqlite3ErrorMsg(pParse, "cannot join using column %s - column "
274da93d238Sdrh             "not present in both tables", pList->a[j].zName);
275ad2d8307Sdrh           return 1;
276ad2d8307Sdrh         }
277bf5cd97eSdrh         addWhereTerm(pList->a[j].zName, pTerm->pTab, pOther->pTab, &p->pWhere);
278ad2d8307Sdrh       }
279ad2d8307Sdrh     }
280ad2d8307Sdrh   }
281ad2d8307Sdrh   return 0;
282ad2d8307Sdrh }
283ad2d8307Sdrh 
284ad2d8307Sdrh /*
2859bb61fe7Sdrh ** Delete the given Select structure and all of its substructures.
2869bb61fe7Sdrh */
2874adee20fSdanielk1977 void sqlite3SelectDelete(Select *p){
28882c3d636Sdrh   if( p==0 ) return;
2894adee20fSdanielk1977   sqlite3ExprListDelete(p->pEList);
2904adee20fSdanielk1977   sqlite3SrcListDelete(p->pSrc);
2914adee20fSdanielk1977   sqlite3ExprDelete(p->pWhere);
2924adee20fSdanielk1977   sqlite3ExprListDelete(p->pGroupBy);
2934adee20fSdanielk1977   sqlite3ExprDelete(p->pHaving);
2944adee20fSdanielk1977   sqlite3ExprListDelete(p->pOrderBy);
2954adee20fSdanielk1977   sqlite3SelectDelete(p->pPrior);
296a76b5dfcSdrh   sqliteFree(p->zSelect);
2979bb61fe7Sdrh   sqliteFree(p);
2989bb61fe7Sdrh }
2999bb61fe7Sdrh 
3009bb61fe7Sdrh /*
3012282792aSdrh ** Delete the aggregate information from the parse structure.
3022282792aSdrh */
3031d83f052Sdrh static void sqliteAggregateInfoReset(Parse *pParse){
3042282792aSdrh   sqliteFree(pParse->aAgg);
3052282792aSdrh   pParse->aAgg = 0;
3062282792aSdrh   pParse->nAgg = 0;
3072282792aSdrh   pParse->useAgg = 0;
3082282792aSdrh }
3092282792aSdrh 
3102282792aSdrh /*
311c926afbcSdrh ** Insert code into "v" that will push the record on the top of the
312c926afbcSdrh ** stack into the sorter.
313c926afbcSdrh */
314c926afbcSdrh static void pushOntoSorter(Parse *pParse, Vdbe *v, ExprList *pOrderBy){
315c926afbcSdrh   int i;
316c926afbcSdrh   for(i=0; i<pOrderBy->nExpr; i++){
3174adee20fSdanielk1977     sqlite3ExprCode(pParse, pOrderBy->a[i].pExpr);
318c926afbcSdrh   }
319ededfd5eSdanielk1977   sqlite3VdbeAddOp(v, OP_MakeRecord, pOrderBy->nExpr, 0);
3204adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_SortPut, 0, 0);
321c926afbcSdrh }
322c926afbcSdrh 
323c926afbcSdrh /*
324ea48eb2eSdrh ** Add code to implement the OFFSET and LIMIT
325ea48eb2eSdrh */
326ea48eb2eSdrh static void codeLimiter(
327bab39e13Sdrh   Vdbe *v,          /* Generate code into this VM */
328ea48eb2eSdrh   Select *p,        /* The SELECT statement being coded */
329ea48eb2eSdrh   int iContinue,    /* Jump here to skip the current record */
330ea48eb2eSdrh   int iBreak,       /* Jump here to end the loop */
331ea48eb2eSdrh   int nPop          /* Number of times to pop stack when jumping */
332ea48eb2eSdrh ){
333ea48eb2eSdrh   if( p->iOffset>=0 ){
334ea48eb2eSdrh     int addr = sqlite3VdbeCurrentAddr(v) + 2;
335ea48eb2eSdrh     if( nPop>0 ) addr++;
336ea48eb2eSdrh     sqlite3VdbeAddOp(v, OP_MemIncr, p->iOffset, addr);
337ea48eb2eSdrh     if( nPop>0 ){
338ea48eb2eSdrh       sqlite3VdbeAddOp(v, OP_Pop, nPop, 0);
339ea48eb2eSdrh     }
340ea48eb2eSdrh     sqlite3VdbeAddOp(v, OP_Goto, 0, iContinue);
341ea48eb2eSdrh   }
342ea48eb2eSdrh   if( p->iLimit>=0 ){
343ea48eb2eSdrh     sqlite3VdbeAddOp(v, OP_MemIncr, p->iLimit, iBreak);
344ea48eb2eSdrh   }
345ea48eb2eSdrh }
346ea48eb2eSdrh 
347ea48eb2eSdrh /*
3482282792aSdrh ** This routine generates the code for the inside of the inner loop
3492282792aSdrh ** of a SELECT.
35082c3d636Sdrh **
35138640e15Sdrh ** If srcTab and nColumn are both zero, then the pEList expressions
35238640e15Sdrh ** are evaluated in order to get the data for this row.  If nColumn>0
35338640e15Sdrh ** then data is pulled from srcTab and pEList is used only to get the
35438640e15Sdrh ** datatypes for each column.
3552282792aSdrh */
3562282792aSdrh static int selectInnerLoop(
3572282792aSdrh   Parse *pParse,          /* The parser context */
358df199a25Sdrh   Select *p,              /* The complete select statement being coded */
3592282792aSdrh   ExprList *pEList,       /* List of values being extracted */
36082c3d636Sdrh   int srcTab,             /* Pull data from this table */
361967e8b73Sdrh   int nColumn,            /* Number of columns in the source table */
3622282792aSdrh   ExprList *pOrderBy,     /* If not NULL, sort results using this key */
3632282792aSdrh   int distinct,           /* If >=0, make sure results are distinct */
3642282792aSdrh   int eDest,              /* How to dispose of the results */
3652282792aSdrh   int iParm,              /* An argument to the disposal method */
3662282792aSdrh   int iContinue,          /* Jump here to continue with next row */
36784ac9d02Sdanielk1977   int iBreak,             /* Jump here to break out of the inner loop */
36884ac9d02Sdanielk1977   char *aff               /* affinity string if eDest is SRT_Union */
3692282792aSdrh ){
3702282792aSdrh   Vdbe *v = pParse->pVdbe;
3712282792aSdrh   int i;
372ea48eb2eSdrh   int hasDistinct;        /* True if the DISTINCT keyword is present */
37338640e15Sdrh 
374daffd0e5Sdrh   if( v==0 ) return 0;
37538640e15Sdrh   assert( pEList!=0 );
3762282792aSdrh 
377df199a25Sdrh   /* If there was a LIMIT clause on the SELECT statement, then do the check
378df199a25Sdrh   ** to see if this row should be output.
379df199a25Sdrh   */
380ea48eb2eSdrh   hasDistinct = distinct>=0 && pEList && pEList->nExpr>0;
381ea48eb2eSdrh   if( pOrderBy==0 && !hasDistinct ){
382bab39e13Sdrh     codeLimiter(v, p, iContinue, iBreak, 0);
383df199a25Sdrh   }
384df199a25Sdrh 
385967e8b73Sdrh   /* Pull the requested columns.
3862282792aSdrh   */
38738640e15Sdrh   if( nColumn>0 ){
388967e8b73Sdrh     for(i=0; i<nColumn; i++){
3894adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Column, srcTab, i);
39082c3d636Sdrh     }
39138640e15Sdrh   }else{
39238640e15Sdrh     nColumn = pEList->nExpr;
39338640e15Sdrh     for(i=0; i<pEList->nExpr; i++){
3944adee20fSdanielk1977       sqlite3ExprCode(pParse, pEList->a[i].pExpr);
39538640e15Sdrh     }
39682c3d636Sdrh   }
3972282792aSdrh 
398daffd0e5Sdrh   /* If the DISTINCT keyword was present on the SELECT statement
399daffd0e5Sdrh   ** and this row has been seen before, then do not make this row
400daffd0e5Sdrh   ** part of the result.
4012282792aSdrh   */
402ea48eb2eSdrh   if( hasDistinct ){
4030bd1f4eaSdrh #if NULL_ALWAYS_DISTINCT
4044adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_IsNull, -pEList->nExpr, sqlite3VdbeCurrentAddr(v)+7);
4050bd1f4eaSdrh #endif
406ededfd5eSdanielk1977     /* Deliberately leave the affinity string off of the following
407ededfd5eSdanielk1977     ** OP_MakeRecord */
408ededfd5eSdanielk1977     sqlite3VdbeAddOp(v, OP_MakeRecord, pEList->nExpr * -1, 0);
4094adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Distinct, distinct, sqlite3VdbeCurrentAddr(v)+3);
4104adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Pop, pEList->nExpr+1, 0);
4114adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Goto, 0, iContinue);
4120f69c1e3Sdanielk1977     sqlite3VdbeAddOp(v, OP_String8, 0, 0);
4134adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_PutStrKey, distinct, 0);
414ea48eb2eSdrh     if( pOrderBy==0 ){
415bab39e13Sdrh       codeLimiter(v, p, iContinue, iBreak, nColumn);
416ea48eb2eSdrh     }
4172282792aSdrh   }
41882c3d636Sdrh 
419c926afbcSdrh   switch( eDest ){
42082c3d636Sdrh     /* In this mode, write each query result to the key of the temporary
42182c3d636Sdrh     ** table iParm.
4222282792aSdrh     */
423c926afbcSdrh     case SRT_Union: {
4244adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, NULL_ALWAYS_DISTINCT);
42584ac9d02Sdanielk1977       sqlite3VdbeChangeP3(v, -1, aff, P3_STATIC);
4260f69c1e3Sdanielk1977       sqlite3VdbeAddOp(v, OP_String8, 0, 0);
4274adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_PutStrKey, iParm, 0);
428c926afbcSdrh       break;
429c926afbcSdrh     }
43082c3d636Sdrh 
4315974a30fSdrh     /* Store the result as data using a unique key.
4325974a30fSdrh     */
433c926afbcSdrh     case SRT_Table:
434c926afbcSdrh     case SRT_TempTable: {
4354adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, 0);
436c926afbcSdrh       if( pOrderBy ){
437c926afbcSdrh         pushOntoSorter(pParse, v, pOrderBy);
438c926afbcSdrh       }else{
4394adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_NewRecno, iParm, 0);
4404adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
4414adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_PutIntKey, iParm, 0);
442c926afbcSdrh       }
443c926afbcSdrh       break;
444c926afbcSdrh     }
4455974a30fSdrh 
44682c3d636Sdrh     /* Construct a record from the query result, but instead of
44782c3d636Sdrh     ** saving that record, use it as a key to delete elements from
44882c3d636Sdrh     ** the temporary table iParm.
44982c3d636Sdrh     */
450c926afbcSdrh     case SRT_Except: {
4510bd1f4eaSdrh       int addr;
4524adee20fSdanielk1977       addr = sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, NULL_ALWAYS_DISTINCT);
45384ac9d02Sdanielk1977       sqlite3VdbeChangeP3(v, -1, aff, P3_STATIC);
4544adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotFound, iParm, addr+3);
4554adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Delete, iParm, 0);
456c926afbcSdrh       break;
457c926afbcSdrh     }
4582282792aSdrh 
4592282792aSdrh     /* If we are creating a set for an "expr IN (SELECT ...)" construct,
4602282792aSdrh     ** then there should be a single item on the stack.  Write this
4612282792aSdrh     ** item into the set table with bogus data.
4622282792aSdrh     */
463c926afbcSdrh     case SRT_Set: {
4644adee20fSdanielk1977       int addr1 = sqlite3VdbeCurrentAddr(v);
46552b36cabSdrh       int addr2;
466e014a838Sdanielk1977 
467967e8b73Sdrh       assert( nColumn==1 );
4684adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotNull, -1, addr1+3);
4694adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
4704adee20fSdanielk1977       addr2 = sqlite3VdbeAddOp(v, OP_Goto, 0, 0);
471c926afbcSdrh       if( pOrderBy ){
472c926afbcSdrh         pushOntoSorter(pParse, v, pOrderBy);
473c926afbcSdrh       }else{
474e014a838Sdanielk1977         char const *affStr;
475e014a838Sdanielk1977         char aff = (iParm>>16)&0xFF;
476e014a838Sdanielk1977         aff = sqlite3CompareAffinity(pEList->a[0].pExpr, aff);
477e014a838Sdanielk1977         affStr = sqlite3AffinityString(aff);
478ededfd5eSdanielk1977         sqlite3VdbeOp3(v, OP_MakeRecord, 1, 0, affStr, P3_STATIC);
4790f69c1e3Sdanielk1977         sqlite3VdbeAddOp(v, OP_String8, 0, 0);
480e014a838Sdanielk1977         sqlite3VdbeAddOp(v, OP_PutStrKey, (iParm&0x0000FFFF), 0);
481c926afbcSdrh       }
4824adee20fSdanielk1977       sqlite3VdbeChangeP2(v, addr2, sqlite3VdbeCurrentAddr(v));
483c926afbcSdrh       break;
484c926afbcSdrh     }
48582c3d636Sdrh 
4862282792aSdrh     /* If this is a scalar select that is part of an expression, then
4872282792aSdrh     ** store the results in the appropriate memory cell and break out
4882282792aSdrh     ** of the scan loop.
4892282792aSdrh     */
490c926afbcSdrh     case SRT_Mem: {
491967e8b73Sdrh       assert( nColumn==1 );
492c926afbcSdrh       if( pOrderBy ){
493c926afbcSdrh         pushOntoSorter(pParse, v, pOrderBy);
494c926afbcSdrh       }else{
4954adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_MemStore, iParm, 1);
4964adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Goto, 0, iBreak);
497c926afbcSdrh       }
498c926afbcSdrh       break;
499c926afbcSdrh     }
5002282792aSdrh 
501f46f905aSdrh     /* Send the data to the callback function.
502f46f905aSdrh     */
503f46f905aSdrh     case SRT_Callback:
504f46f905aSdrh     case SRT_Sorter: {
505f46f905aSdrh       if( pOrderBy ){
506ce665cf6Sdrh         sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, 0);
507f46f905aSdrh         pushOntoSorter(pParse, v, pOrderBy);
508f46f905aSdrh       }else{
509f46f905aSdrh         assert( eDest==SRT_Callback );
5104adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Callback, nColumn, 0);
511f46f905aSdrh       }
512f46f905aSdrh       break;
513f46f905aSdrh     }
514f46f905aSdrh 
515142e30dfSdrh     /* Invoke a subroutine to handle the results.  The subroutine itself
516142e30dfSdrh     ** is responsible for popping the results off of the stack.
517142e30dfSdrh     */
518142e30dfSdrh     case SRT_Subroutine: {
519ac82fcf5Sdrh       if( pOrderBy ){
5204adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, 0);
521ac82fcf5Sdrh         pushOntoSorter(pParse, v, pOrderBy);
522ac82fcf5Sdrh       }else{
5234adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Gosub, 0, iParm);
524ac82fcf5Sdrh       }
525142e30dfSdrh       break;
526142e30dfSdrh     }
527142e30dfSdrh 
528d7489c39Sdrh     /* Discard the results.  This is used for SELECT statements inside
529d7489c39Sdrh     ** the body of a TRIGGER.  The purpose of such selects is to call
530d7489c39Sdrh     ** user-defined functions that have side effects.  We do not care
531d7489c39Sdrh     ** about the actual results of the select.
532d7489c39Sdrh     */
533c926afbcSdrh     default: {
534f46f905aSdrh       assert( eDest==SRT_Discard );
5354adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, nColumn, 0);
536c926afbcSdrh       break;
537c926afbcSdrh     }
538c926afbcSdrh   }
53982c3d636Sdrh   return 0;
54082c3d636Sdrh }
54182c3d636Sdrh 
54282c3d636Sdrh /*
543d8bc7086Sdrh ** If the inner loop was generated using a non-null pOrderBy argument,
544d8bc7086Sdrh ** then the results were placed in a sorter.  After the loop is terminated
545d8bc7086Sdrh ** we need to run the sorter and output the results.  The following
546d8bc7086Sdrh ** routine generates the code needed to do that.
547d8bc7086Sdrh */
548c926afbcSdrh static void generateSortTail(
549ffbc3088Sdrh   Parse *pParse,   /* The parsing context */
550c926afbcSdrh   Select *p,       /* The SELECT statement */
551c926afbcSdrh   Vdbe *v,         /* Generate code into this VDBE */
552c926afbcSdrh   int nColumn,     /* Number of columns of data */
553c926afbcSdrh   int eDest,       /* Write the sorted results here */
554c926afbcSdrh   int iParm        /* Optional parameter associated with eDest */
555c926afbcSdrh ){
5564adee20fSdanielk1977   int end1 = sqlite3VdbeMakeLabel(v);
5574adee20fSdanielk1977   int end2 = sqlite3VdbeMakeLabel(v);
558d8bc7086Sdrh   int addr;
559ffbc3088Sdrh   KeyInfo *pInfo;
560ffbc3088Sdrh   ExprList *pOrderBy;
561ffbc3088Sdrh   int nCol, i;
562ffbc3088Sdrh   sqlite *db = pParse->db;
563ffbc3088Sdrh 
564f46f905aSdrh   if( eDest==SRT_Sorter ) return;
565ffbc3088Sdrh   pOrderBy = p->pOrderBy;
566ffbc3088Sdrh   nCol = pOrderBy->nExpr;
567ffbc3088Sdrh   pInfo = sqliteMalloc( sizeof(*pInfo) + nCol*(sizeof(CollSeq*)+1) );
568ffbc3088Sdrh   if( pInfo==0 ) return;
569ffbc3088Sdrh   pInfo->aSortOrder = (char*)&pInfo->aColl[nCol];
570ffbc3088Sdrh   pInfo->nField = nCol;
571ffbc3088Sdrh   for(i=0; i<nCol; i++){
5720202b29eSdanielk1977     /* If a collation sequence was specified explicity, then it
5730202b29eSdanielk1977     ** is stored in pOrderBy->a[i].zName. Otherwise, use the default
5740202b29eSdanielk1977     ** collation type for the expression.
5750202b29eSdanielk1977     */
5767cedc8d4Sdanielk1977     pInfo->aColl[i] = sqlite3ExprCollSeq(pParse, pOrderBy->a[i].pExpr);
5770202b29eSdanielk1977     if( !pInfo->aColl[i] ){
578ffbc3088Sdrh       pInfo->aColl[i] = db->pDfltColl;
5790202b29eSdanielk1977     }
580ffbc3088Sdrh     pInfo->aSortOrder[i] = pOrderBy->a[i].sortOrder;
581ffbc3088Sdrh   }
582ffbc3088Sdrh   sqlite3VdbeOp3(v, OP_Sort, 0, 0, (char*)pInfo, P3_KEYINFO_HANDOFF);
5834adee20fSdanielk1977   addr = sqlite3VdbeAddOp(v, OP_SortNext, 0, end1);
584bab39e13Sdrh   codeLimiter(v, p, addr, end2, 1);
585c926afbcSdrh   switch( eDest ){
586c926afbcSdrh     case SRT_Table:
587c926afbcSdrh     case SRT_TempTable: {
5884adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NewRecno, iParm, 0);
5894adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
5904adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_PutIntKey, iParm, 0);
591c926afbcSdrh       break;
592c926afbcSdrh     }
593c926afbcSdrh     case SRT_Set: {
594c926afbcSdrh       assert( nColumn==1 );
5954adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotNull, -1, sqlite3VdbeCurrentAddr(v)+3);
5964adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
5974adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Goto, 0, sqlite3VdbeCurrentAddr(v)+3);
598ededfd5eSdanielk1977       sqlite3VdbeOp3(v, OP_MakeRecord, 1, 0, "n", P3_STATIC);
5990f69c1e3Sdanielk1977       sqlite3VdbeAddOp(v, OP_String8, 0, 0);
600e014a838Sdanielk1977       sqlite3VdbeAddOp(v, OP_PutStrKey, (iParm&0x0000FFFF), 0);
601c926afbcSdrh       break;
602c926afbcSdrh     }
603c926afbcSdrh     case SRT_Mem: {
604c926afbcSdrh       assert( nColumn==1 );
6054adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MemStore, iParm, 1);
6064adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Goto, 0, end1);
607c926afbcSdrh       break;
608c926afbcSdrh     }
609ce665cf6Sdrh     case SRT_Callback:
610ac82fcf5Sdrh     case SRT_Subroutine: {
611ac82fcf5Sdrh       int i;
61284ac9d02Sdanielk1977       sqlite3VdbeAddOp(v, OP_Integer, p->pEList->nExpr, 0);
61384ac9d02Sdanielk1977       sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
614ac82fcf5Sdrh       for(i=0; i<nColumn; i++){
6154adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Column, -1-i, i);
616ac82fcf5Sdrh       }
617ce665cf6Sdrh       if( eDest==SRT_Callback ){
618ce665cf6Sdrh         sqlite3VdbeAddOp(v, OP_Callback, nColumn, 0);
619ce665cf6Sdrh       }else{
6204adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Gosub, 0, iParm);
621ce665cf6Sdrh       }
62284ac9d02Sdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, 2, 0);
623ac82fcf5Sdrh       break;
624ac82fcf5Sdrh     }
625c926afbcSdrh     default: {
626f46f905aSdrh       /* Do nothing */
627c926afbcSdrh       break;
628c926afbcSdrh     }
629c926afbcSdrh   }
6304adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_Goto, 0, addr);
6314adee20fSdanielk1977   sqlite3VdbeResolveLabel(v, end2);
6324adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
6334adee20fSdanielk1977   sqlite3VdbeResolveLabel(v, end1);
6344adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_SortReset, 0, 0);
635d8bc7086Sdrh }
636d8bc7086Sdrh 
637d8bc7086Sdrh /*
638517eb646Sdanielk1977 ** Return a pointer to a string containing the 'declaration type' of the
639517eb646Sdanielk1977 ** expression pExpr. The string may be treated as static by the caller.
640e78e8284Sdrh **
641517eb646Sdanielk1977 ** If the declaration type is the exact datatype definition extracted from
642517eb646Sdanielk1977 ** the original CREATE TABLE statement if the expression is a column.
643e78e8284Sdrh **
644517eb646Sdanielk1977 ** The declaration type for an expression is either TEXT, NUMERIC or ANY.
645517eb646Sdanielk1977 ** The declaration type for a ROWID field is INTEGER.
646fcb78a49Sdrh */
647517eb646Sdanielk1977 static const char *columnType(Parse *pParse, SrcList *pTabList, Expr *pExpr){
64800e279d9Sdanielk1977   char const *zType;
649517eb646Sdanielk1977   int j;
65000e279d9Sdanielk1977   if( pExpr==0 || pTabList==0 ) return 0;
65100e279d9Sdanielk1977 
65200e279d9Sdanielk1977   switch( pExpr->op ){
65300e279d9Sdanielk1977     case TK_COLUMN: {
6546a3ea0e6Sdrh       Table *pTab;
655517eb646Sdanielk1977       int iCol = pExpr->iColumn;
656517eb646Sdanielk1977       for(j=0; j<pTabList->nSrc && pTabList->a[j].iCursor!=pExpr->iTable; j++){}
6576a3ea0e6Sdrh       assert( j<pTabList->nSrc );
6586a3ea0e6Sdrh       pTab = pTabList->a[j].pTab;
659fcb78a49Sdrh       if( iCol<0 ) iCol = pTab->iPKey;
660fcb78a49Sdrh       assert( iCol==-1 || (iCol>=0 && iCol<pTab->nCol) );
661fcb78a49Sdrh       if( iCol<0 ){
662fcb78a49Sdrh         zType = "INTEGER";
663fcb78a49Sdrh       }else{
664fcb78a49Sdrh         zType = pTab->aCol[iCol].zType;
665fcb78a49Sdrh       }
66600e279d9Sdanielk1977       break;
667736c22b8Sdrh     }
66800e279d9Sdanielk1977     case TK_AS:
66900e279d9Sdanielk1977       zType = columnType(pParse, pTabList, pExpr->pLeft);
67000e279d9Sdanielk1977       break;
67100e279d9Sdanielk1977     case TK_SELECT: {
67200e279d9Sdanielk1977       Select *pS = pExpr->pSelect;
67300e279d9Sdanielk1977       zType = columnType(pParse, pS->pSrc, pS->pEList->a[0].pExpr);
67400e279d9Sdanielk1977       break;
675fcb78a49Sdrh     }
67600e279d9Sdanielk1977     default:
67700e279d9Sdanielk1977       zType = 0;
67800e279d9Sdanielk1977   }
67900e279d9Sdanielk1977 
680517eb646Sdanielk1977   return zType;
681517eb646Sdanielk1977 }
682517eb646Sdanielk1977 
683517eb646Sdanielk1977 /*
684517eb646Sdanielk1977 ** Generate code that will tell the VDBE the declaration types of columns
685517eb646Sdanielk1977 ** in the result set.
686517eb646Sdanielk1977 */
687517eb646Sdanielk1977 static void generateColumnTypes(
688517eb646Sdanielk1977   Parse *pParse,      /* Parser context */
689517eb646Sdanielk1977   SrcList *pTabList,  /* List of tables */
690517eb646Sdanielk1977   ExprList *pEList    /* Expressions defining the result set */
691517eb646Sdanielk1977 ){
692517eb646Sdanielk1977   Vdbe *v = pParse->pVdbe;
693517eb646Sdanielk1977   int i;
694517eb646Sdanielk1977   for(i=0; i<pEList->nExpr; i++){
695517eb646Sdanielk1977     Expr *p = pEList->a[i].pExpr;
696517eb646Sdanielk1977     const char *zType = columnType(pParse, pTabList, p);
69700e279d9Sdanielk1977     if( zType==0 ) continue;
698fbcd585fSdanielk1977     /* The vdbe must make it's own copy of the column-type, in case the
699fbcd585fSdanielk1977     ** schema is reset before this virtual machine is deleted.
700fbcd585fSdanielk1977     */
701fbcd585fSdanielk1977     sqlite3VdbeSetColName(v, i+pEList->nExpr, zType, strlen(zType));
702fcb78a49Sdrh   }
703fcb78a49Sdrh }
704fcb78a49Sdrh 
705fcb78a49Sdrh /*
706fcb78a49Sdrh ** Generate code that will tell the VDBE the names of columns
707fcb78a49Sdrh ** in the result set.  This information is used to provide the
708fcabd464Sdrh ** azCol[] values in the callback.
70982c3d636Sdrh */
710832508b7Sdrh static void generateColumnNames(
711832508b7Sdrh   Parse *pParse,      /* Parser context */
712ad3cab52Sdrh   SrcList *pTabList,  /* List of tables */
713832508b7Sdrh   ExprList *pEList    /* Expressions defining the result set */
714832508b7Sdrh ){
715d8bc7086Sdrh   Vdbe *v = pParse->pVdbe;
7166a3ea0e6Sdrh   int i, j;
717fcabd464Sdrh   sqlite *db = pParse->db;
718fcabd464Sdrh   int fullNames, shortNames;
719fcabd464Sdrh 
7203cf86063Sdanielk1977   /* If this is an EXPLAIN, skip this step */
7213cf86063Sdanielk1977   if( pParse->explain ){
72261de0d1bSdanielk1977     return;
7233cf86063Sdanielk1977   }
7243cf86063Sdanielk1977 
725d6502758Sdrh   assert( v!=0 );
7266f8a503dSdanielk1977   if( pParse->colNamesSet || v==0 || sqlite3_malloc_failed ) return;
727d8bc7086Sdrh   pParse->colNamesSet = 1;
728fcabd464Sdrh   fullNames = (db->flags & SQLITE_FullColNames)!=0;
729fcabd464Sdrh   shortNames = (db->flags & SQLITE_ShortColNames)!=0;
73022322fd4Sdanielk1977   sqlite3VdbeSetNumCols(v, pEList->nExpr);
73182c3d636Sdrh   for(i=0; i<pEList->nExpr; i++){
73282c3d636Sdrh     Expr *p;
7335a38705eSdrh     p = pEList->a[i].pExpr;
7345a38705eSdrh     if( p==0 ) continue;
73582c3d636Sdrh     if( pEList->a[i].zName ){
73682c3d636Sdrh       char *zName = pEList->a[i].zName;
737d8123366Sdanielk1977       sqlite3VdbeSetColName(v, i, zName, strlen(zName));
73882c3d636Sdrh       continue;
73982c3d636Sdrh     }
740fa173a76Sdrh     if( p->op==TK_COLUMN && pTabList ){
7416a3ea0e6Sdrh       Table *pTab;
74297665873Sdrh       char *zCol;
7438aff1015Sdrh       int iCol = p->iColumn;
7446a3ea0e6Sdrh       for(j=0; j<pTabList->nSrc && pTabList->a[j].iCursor!=p->iTable; j++){}
7456a3ea0e6Sdrh       assert( j<pTabList->nSrc );
7466a3ea0e6Sdrh       pTab = pTabList->a[j].pTab;
7478aff1015Sdrh       if( iCol<0 ) iCol = pTab->iPKey;
74897665873Sdrh       assert( iCol==-1 || (iCol>=0 && iCol<pTab->nCol) );
749b1363206Sdrh       if( iCol<0 ){
750b1363206Sdrh         zCol = "_ROWID_";
751b1363206Sdrh       }else{
752b1363206Sdrh         zCol = pTab->aCol[iCol].zName;
753b1363206Sdrh       }
754fcabd464Sdrh       if( !shortNames && !fullNames && p->span.z && p->span.z[0] ){
7553cf86063Sdanielk1977         sqlite3VdbeSetColName(v, i, p->span.z, p->span.n);
756fcabd464Sdrh       }else if( fullNames || (!shortNames && pTabList->nSrc>1) ){
75782c3d636Sdrh         char *zName = 0;
75882c3d636Sdrh         char *zTab;
75982c3d636Sdrh 
7606a3ea0e6Sdrh         zTab = pTabList->a[j].zAlias;
761fcabd464Sdrh         if( fullNames || zTab==0 ) zTab = pTab->zName;
7624adee20fSdanielk1977         sqlite3SetString(&zName, zTab, ".", zCol, 0);
7633cf86063Sdanielk1977         sqlite3VdbeSetColName(v, i, zName, P3_DYNAMIC);
76482c3d636Sdrh       }else{
7653cf86063Sdanielk1977         sqlite3VdbeSetColName(v, i, zCol, 0);
76682c3d636Sdrh       }
7676977fea8Sdrh     }else if( p->span.z && p->span.z[0] ){
7683cf86063Sdanielk1977       sqlite3VdbeSetColName(v, i, p->span.z, p->span.n);
7693cf86063Sdanielk1977       /* sqlite3VdbeCompressSpace(v, addr); */
7701bee3d7bSdrh     }else{
7711bee3d7bSdrh       char zName[30];
7721bee3d7bSdrh       assert( p->op!=TK_COLUMN || pTabList==0 );
7731bee3d7bSdrh       sprintf(zName, "column%d", i+1);
7743cf86063Sdanielk1977       sqlite3VdbeSetColName(v, i, zName, 0);
77582c3d636Sdrh     }
77682c3d636Sdrh   }
77776d505baSdanielk1977   generateColumnTypes(pParse, pTabList, pEList);
7785080aaa7Sdrh }
77982c3d636Sdrh 
78082c3d636Sdrh /*
781d8bc7086Sdrh ** Name of the connection operator, used for error messages.
782d8bc7086Sdrh */
783d8bc7086Sdrh static const char *selectOpName(int id){
784d8bc7086Sdrh   char *z;
785d8bc7086Sdrh   switch( id ){
786d8bc7086Sdrh     case TK_ALL:       z = "UNION ALL";   break;
787d8bc7086Sdrh     case TK_INTERSECT: z = "INTERSECT";   break;
788d8bc7086Sdrh     case TK_EXCEPT:    z = "EXCEPT";      break;
789d8bc7086Sdrh     default:           z = "UNION";       break;
790d8bc7086Sdrh   }
791d8bc7086Sdrh   return z;
792d8bc7086Sdrh }
793d8bc7086Sdrh 
794d8bc7086Sdrh /*
795315555caSdrh ** Forward declaration
796315555caSdrh */
797315555caSdrh static int fillInColumnList(Parse*, Select*);
798315555caSdrh 
799315555caSdrh /*
80022f70c32Sdrh ** Given a SELECT statement, generate a Table structure that describes
80122f70c32Sdrh ** the result set of that SELECT.
80222f70c32Sdrh */
8034adee20fSdanielk1977 Table *sqlite3ResultSetOfSelect(Parse *pParse, char *zTabName, Select *pSelect){
80422f70c32Sdrh   Table *pTab;
805b733d037Sdrh   int i, j;
80622f70c32Sdrh   ExprList *pEList;
807*290c1948Sdrh   Column *aCol, *pCol;
80822f70c32Sdrh 
80922f70c32Sdrh   if( fillInColumnList(pParse, pSelect) ){
81022f70c32Sdrh     return 0;
81122f70c32Sdrh   }
81222f70c32Sdrh   pTab = sqliteMalloc( sizeof(Table) );
81322f70c32Sdrh   if( pTab==0 ){
81422f70c32Sdrh     return 0;
81522f70c32Sdrh   }
81622f70c32Sdrh   pTab->zName = zTabName ? sqliteStrDup(zTabName) : 0;
81722f70c32Sdrh   pEList = pSelect->pEList;
81822f70c32Sdrh   pTab->nCol = pEList->nExpr;
819417be79cSdrh   assert( pTab->nCol>0 );
820b733d037Sdrh   pTab->aCol = aCol = sqliteMalloc( sizeof(pTab->aCol[0])*pTab->nCol );
821*290c1948Sdrh   for(i=0, pCol=aCol; i<pTab->nCol; i++, pCol++){
822517eb646Sdanielk1977     Expr *pR;
823517eb646Sdanielk1977     char *zType;
824517eb646Sdanielk1977     Expr *p = pEList->a[i].pExpr;
825*290c1948Sdrh     assert( p->pRight==0 || p->pRight->token.z==0 || p->pRight->token.z[0]!=0 );
82622f70c32Sdrh     if( pEList->a[i].zName ){
827*290c1948Sdrh       pCol->zName = sqliteStrDup(pEList->a[i].zName);
828517eb646Sdanielk1977     }else if( p->op==TK_DOT
829b733d037Sdrh                && (pR=p->pRight)!=0 && pR->token.z && pR->token.z[0] ){
830b733d037Sdrh       int cnt;
831*290c1948Sdrh       sqlite3SetNString(&pCol->zName, pR->token.z, pR->token.n, 0);
832b733d037Sdrh       for(j=cnt=0; j<i; j++){
833*290c1948Sdrh         if( sqlite3StrICmp(aCol[j].zName, pCol->zName)==0 ){
834b733d037Sdrh           int n;
835b733d037Sdrh           char zBuf[30];
836b733d037Sdrh           sprintf(zBuf,"_%d",++cnt);
837b733d037Sdrh           n = strlen(zBuf);
838*290c1948Sdrh           sqlite3SetNString(&pCol->zName, pR->token.z, pR->token.n, zBuf,n,0);
839b733d037Sdrh           j = -1;
840b733d037Sdrh         }
841b733d037Sdrh       }
842b733d037Sdrh     }else if( p->span.z && p->span.z[0] ){
843*290c1948Sdrh       sqlite3SetNString(&pCol->zName, p->span.z, p->span.n, 0);
84422f70c32Sdrh     }else{
84522f70c32Sdrh       char zBuf[30];
84622f70c32Sdrh       sprintf(zBuf, "column%d", i+1);
847*290c1948Sdrh       pCol->zName = sqliteStrDup(zBuf);
84822f70c32Sdrh     }
849*290c1948Sdrh     sqlite3Dequote(pCol->zName);
850e014a838Sdanielk1977 
851517eb646Sdanielk1977     zType = sqliteStrDup(columnType(pParse, pSelect->pSrc ,p));
852*290c1948Sdrh     pCol->zType = zType;
853*290c1948Sdrh     pCol->affinity = SQLITE_AFF_NUMERIC;
854517eb646Sdanielk1977     if( zType ){
855*290c1948Sdrh       pCol->affinity = sqlite3AffinityType(zType, strlen(zType));
856517eb646Sdanielk1977     }
857*290c1948Sdrh     pCol->pColl = sqlite3ExprCollSeq(pParse, p);
858*290c1948Sdrh     if( !pCol->pColl ){
859*290c1948Sdrh       pCol->pColl = pParse->db->pDfltColl;
8600202b29eSdanielk1977     }
86122f70c32Sdrh   }
86222f70c32Sdrh   pTab->iPKey = -1;
86322f70c32Sdrh   return pTab;
86422f70c32Sdrh }
86522f70c32Sdrh 
86622f70c32Sdrh /*
867ad2d8307Sdrh ** For the given SELECT statement, do three things.
868d8bc7086Sdrh **
869ad3cab52Sdrh **    (1)  Fill in the pTabList->a[].pTab fields in the SrcList that
87063eb5f29Sdrh **         defines the set of tables that should be scanned.  For views,
87163eb5f29Sdrh **         fill pTabList->a[].pSelect with a copy of the SELECT statement
87263eb5f29Sdrh **         that implements the view.  A copy is made of the view's SELECT
87363eb5f29Sdrh **         statement so that we can freely modify or delete that statement
87463eb5f29Sdrh **         without worrying about messing up the presistent representation
87563eb5f29Sdrh **         of the view.
876d8bc7086Sdrh **
877ad2d8307Sdrh **    (2)  Add terms to the WHERE clause to accomodate the NATURAL keyword
878ad2d8307Sdrh **         on joins and the ON and USING clause of joins.
879ad2d8307Sdrh **
880ad2d8307Sdrh **    (3)  Scan the list of columns in the result set (pEList) looking
88154473229Sdrh **         for instances of the "*" operator or the TABLE.* operator.
88254473229Sdrh **         If found, expand each "*" to be every column in every table
88354473229Sdrh **         and TABLE.* to be every column in TABLE.
884d8bc7086Sdrh **
885d8bc7086Sdrh ** Return 0 on success.  If there are problems, leave an error message
886d8bc7086Sdrh ** in pParse and return non-zero.
887d8bc7086Sdrh */
888d8bc7086Sdrh static int fillInColumnList(Parse *pParse, Select *p){
88954473229Sdrh   int i, j, k, rc;
890ad3cab52Sdrh   SrcList *pTabList;
891daffd0e5Sdrh   ExprList *pEList;
892a76b5dfcSdrh   Table *pTab;
893*290c1948Sdrh   struct SrcList_item *pFrom;
894daffd0e5Sdrh 
895daffd0e5Sdrh   if( p==0 || p->pSrc==0 ) return 1;
896daffd0e5Sdrh   pTabList = p->pSrc;
897daffd0e5Sdrh   pEList = p->pEList;
898d8bc7086Sdrh 
899d8bc7086Sdrh   /* Look up every table in the table list.
900d8bc7086Sdrh   */
901*290c1948Sdrh   for(i=0, pFrom=pTabList->a; i<pTabList->nSrc; i++, pFrom++){
902*290c1948Sdrh     if( pFrom->pTab ){
903d8bc7086Sdrh       /* This routine has run before!  No need to continue */
904d8bc7086Sdrh       return 0;
905d8bc7086Sdrh     }
906*290c1948Sdrh     if( pFrom->zName==0 ){
90722f70c32Sdrh       /* A sub-query in the FROM clause of a SELECT */
908*290c1948Sdrh       assert( pFrom->pSelect!=0 );
909*290c1948Sdrh       if( pFrom->zAlias==0 ){
910ad2d8307Sdrh         char zFakeName[60];
911*290c1948Sdrh         sprintf(zFakeName, "sqlite_subquery_%p_", (void*)pFrom->pSelect);
912*290c1948Sdrh         sqlite3SetString(&pFrom->zAlias, zFakeName, 0);
913ad2d8307Sdrh       }
914*290c1948Sdrh       pFrom->pTab = pTab =
915*290c1948Sdrh         sqlite3ResultSetOfSelect(pParse, pFrom->zAlias, pFrom->pSelect);
91622f70c32Sdrh       if( pTab==0 ){
917daffd0e5Sdrh         return 1;
918daffd0e5Sdrh       }
9195cf590c1Sdrh       /* The isTransient flag indicates that the Table structure has been
9205cf590c1Sdrh       ** dynamically allocated and may be freed at any time.  In other words,
9215cf590c1Sdrh       ** pTab is not pointing to a persistent table structure that defines
9225cf590c1Sdrh       ** part of the schema. */
92322f70c32Sdrh       pTab->isTransient = 1;
92422f70c32Sdrh     }else{
925a76b5dfcSdrh       /* An ordinary table or view name in the FROM clause */
926*290c1948Sdrh       pFrom->pTab = pTab =
927*290c1948Sdrh         sqlite3LocateTable(pParse,pFrom->zName,pFrom->zDatabase);
928a76b5dfcSdrh       if( pTab==0 ){
929d8bc7086Sdrh         return 1;
930d8bc7086Sdrh       }
931a76b5dfcSdrh       if( pTab->pSelect ){
93263eb5f29Sdrh         /* We reach here if the named table is a really a view */
9334adee20fSdanielk1977         if( sqlite3ViewGetColumnNames(pParse, pTab) ){
934417be79cSdrh           return 1;
935417be79cSdrh         }
936*290c1948Sdrh         /* If pFrom->pSelect!=0 it means we are dealing with a
93763eb5f29Sdrh         ** view within a view.  The SELECT structure has already been
93863eb5f29Sdrh         ** copied by the outer view so we can skip the copy step here
93963eb5f29Sdrh         ** in the inner view.
94063eb5f29Sdrh         */
941*290c1948Sdrh         if( pFrom->pSelect==0 ){
942*290c1948Sdrh           pFrom->pSelect = sqlite3SelectDup(pTab->pSelect);
943a76b5dfcSdrh         }
944d8bc7086Sdrh       }
94522f70c32Sdrh     }
94663eb5f29Sdrh   }
947d8bc7086Sdrh 
948ad2d8307Sdrh   /* Process NATURAL keywords, and ON and USING clauses of joins.
949ad2d8307Sdrh   */
950ad2d8307Sdrh   if( sqliteProcessJoin(pParse, p) ) return 1;
951ad2d8307Sdrh 
9527c917d19Sdrh   /* For every "*" that occurs in the column list, insert the names of
95354473229Sdrh   ** all columns in all tables.  And for every TABLE.* insert the names
95454473229Sdrh   ** of all columns in TABLE.  The parser inserted a special expression
9557c917d19Sdrh   ** with the TK_ALL operator for each "*" that it found in the column list.
9567c917d19Sdrh   ** The following code just has to locate the TK_ALL expressions and expand
9577c917d19Sdrh   ** each one to the list of all columns in all tables.
95854473229Sdrh   **
95954473229Sdrh   ** The first loop just checks to see if there are any "*" operators
96054473229Sdrh   ** that need expanding.
961d8bc7086Sdrh   */
9627c917d19Sdrh   for(k=0; k<pEList->nExpr; k++){
96354473229Sdrh     Expr *pE = pEList->a[k].pExpr;
96454473229Sdrh     if( pE->op==TK_ALL ) break;
96554473229Sdrh     if( pE->op==TK_DOT && pE->pRight && pE->pRight->op==TK_ALL
96654473229Sdrh          && pE->pLeft && pE->pLeft->op==TK_ID ) break;
9677c917d19Sdrh   }
96854473229Sdrh   rc = 0;
9697c917d19Sdrh   if( k<pEList->nExpr ){
97054473229Sdrh     /*
97154473229Sdrh     ** If we get here it means the result set contains one or more "*"
97254473229Sdrh     ** operators that need to be expanded.  Loop through each expression
97354473229Sdrh     ** in the result set and expand them one by one.
97454473229Sdrh     */
9757c917d19Sdrh     struct ExprList_item *a = pEList->a;
9767c917d19Sdrh     ExprList *pNew = 0;
9777c917d19Sdrh     for(k=0; k<pEList->nExpr; k++){
97854473229Sdrh       Expr *pE = a[k].pExpr;
97954473229Sdrh       if( pE->op!=TK_ALL &&
98054473229Sdrh            (pE->op!=TK_DOT || pE->pRight==0 || pE->pRight->op!=TK_ALL) ){
98154473229Sdrh         /* This particular expression does not need to be expanded.
98254473229Sdrh         */
9834adee20fSdanielk1977         pNew = sqlite3ExprListAppend(pNew, a[k].pExpr, 0);
9847c917d19Sdrh         pNew->a[pNew->nExpr-1].zName = a[k].zName;
9857c917d19Sdrh         a[k].pExpr = 0;
9867c917d19Sdrh         a[k].zName = 0;
9877c917d19Sdrh       }else{
98854473229Sdrh         /* This expression is a "*" or a "TABLE.*" and needs to be
98954473229Sdrh         ** expanded. */
99054473229Sdrh         int tableSeen = 0;      /* Set to 1 when TABLE matches */
991cf55b7aeSdrh         char *zTName;            /* text of name of TABLE */
99254473229Sdrh         if( pE->op==TK_DOT && pE->pLeft ){
993cf55b7aeSdrh           zTName = sqlite3NameFromToken(&pE->pLeft->token);
99454473229Sdrh         }else{
995cf55b7aeSdrh           zTName = 0;
99654473229Sdrh         }
997*290c1948Sdrh         for(i=0, pFrom=pTabList->a; i<pTabList->nSrc; i++, pFrom++){
998*290c1948Sdrh           Table *pTab = pFrom->pTab;
999*290c1948Sdrh           char *zTabName = pFrom->zAlias;
100054473229Sdrh           if( zTabName==0 || zTabName[0]==0 ){
100154473229Sdrh             zTabName = pTab->zName;
100254473229Sdrh           }
1003cf55b7aeSdrh           if( zTName && (zTabName==0 || zTabName[0]==0 ||
1004cf55b7aeSdrh                  sqlite3StrICmp(zTName, zTabName)!=0) ){
100554473229Sdrh             continue;
100654473229Sdrh           }
100754473229Sdrh           tableSeen = 1;
1008d8bc7086Sdrh           for(j=0; j<pTab->nCol; j++){
100922f70c32Sdrh             Expr *pExpr, *pLeft, *pRight;
1010ad2d8307Sdrh             char *zName = pTab->aCol[j].zName;
1011ad2d8307Sdrh 
1012ad2d8307Sdrh             if( i>0 && (pTabList->a[i-1].jointype & JT_NATURAL)!=0 &&
1013ad2d8307Sdrh                 columnIndex(pTabList->a[i-1].pTab, zName)>=0 ){
1014ad2d8307Sdrh               /* In a NATURAL join, omit the join columns from the
1015ad2d8307Sdrh               ** table on the right */
1016ad2d8307Sdrh               continue;
1017ad2d8307Sdrh             }
10184adee20fSdanielk1977             if( i>0 && sqlite3IdListIndex(pTabList->a[i-1].pUsing, zName)>=0 ){
1019ad2d8307Sdrh               /* In a join with a USING clause, omit columns in the
1020ad2d8307Sdrh               ** using clause from the table on the right. */
1021ad2d8307Sdrh               continue;
1022ad2d8307Sdrh             }
10234adee20fSdanielk1977             pRight = sqlite3Expr(TK_ID, 0, 0, 0);
102422f70c32Sdrh             if( pRight==0 ) break;
1025ad2d8307Sdrh             pRight->token.z = zName;
1026ad2d8307Sdrh             pRight->token.n = strlen(zName);
10274b59ab5eSdrh             pRight->token.dyn = 0;
10284b59ab5eSdrh             if( zTabName && pTabList->nSrc>1 ){
10294adee20fSdanielk1977               pLeft = sqlite3Expr(TK_ID, 0, 0, 0);
10304adee20fSdanielk1977               pExpr = sqlite3Expr(TK_DOT, pLeft, pRight, 0);
103122f70c32Sdrh               if( pExpr==0 ) break;
10324b59ab5eSdrh               pLeft->token.z = zTabName;
10334b59ab5eSdrh               pLeft->token.n = strlen(zTabName);
10344b59ab5eSdrh               pLeft->token.dyn = 0;
10354adee20fSdanielk1977               sqlite3SetString((char**)&pExpr->span.z, zTabName, ".", zName, 0);
10366977fea8Sdrh               pExpr->span.n = strlen(pExpr->span.z);
10376977fea8Sdrh               pExpr->span.dyn = 1;
10386977fea8Sdrh               pExpr->token.z = 0;
10396977fea8Sdrh               pExpr->token.n = 0;
10406977fea8Sdrh               pExpr->token.dyn = 0;
104122f70c32Sdrh             }else{
104222f70c32Sdrh               pExpr = pRight;
10436977fea8Sdrh               pExpr->span = pExpr->token;
104422f70c32Sdrh             }
10454adee20fSdanielk1977             pNew = sqlite3ExprListAppend(pNew, pExpr, 0);
1046d8bc7086Sdrh           }
1047d8bc7086Sdrh         }
104854473229Sdrh         if( !tableSeen ){
1049cf55b7aeSdrh           if( zTName ){
1050cf55b7aeSdrh             sqlite3ErrorMsg(pParse, "no such table: %s", zTName);
1051f5db2d3eSdrh           }else{
10524adee20fSdanielk1977             sqlite3ErrorMsg(pParse, "no tables specified");
1053f5db2d3eSdrh           }
105454473229Sdrh           rc = 1;
105554473229Sdrh         }
1056cf55b7aeSdrh         sqliteFree(zTName);
10577c917d19Sdrh       }
10587c917d19Sdrh     }
10594adee20fSdanielk1977     sqlite3ExprListDelete(pEList);
10607c917d19Sdrh     p->pEList = pNew;
1061d8bc7086Sdrh   }
106254473229Sdrh   return rc;
1063d8bc7086Sdrh }
1064d8bc7086Sdrh 
1065d8bc7086Sdrh /*
1066ff78bd2fSdrh ** This routine recursively unlinks the Select.pSrc.a[].pTab pointers
1067ff78bd2fSdrh ** in a select structure.  It just sets the pointers to NULL.  This
1068ff78bd2fSdrh ** routine is recursive in the sense that if the Select.pSrc.a[].pSelect
1069ff78bd2fSdrh ** pointer is not NULL, this routine is called recursively on that pointer.
1070ff78bd2fSdrh **
1071ff78bd2fSdrh ** This routine is called on the Select structure that defines a
1072ff78bd2fSdrh ** VIEW in order to undo any bindings to tables.  This is necessary
1073ff78bd2fSdrh ** because those tables might be DROPed by a subsequent SQL command.
10745cf590c1Sdrh ** If the bindings are not removed, then the Select.pSrc->a[].pTab field
10755cf590c1Sdrh ** will be left pointing to a deallocated Table structure after the
10765cf590c1Sdrh ** DROP and a coredump will occur the next time the VIEW is used.
1077ff78bd2fSdrh */
10784adee20fSdanielk1977 void sqlite3SelectUnbind(Select *p){
1079ff78bd2fSdrh   int i;
1080ad3cab52Sdrh   SrcList *pSrc = p->pSrc;
1081ff78bd2fSdrh   Table *pTab;
1082ff78bd2fSdrh   if( p==0 ) return;
1083ad3cab52Sdrh   for(i=0; i<pSrc->nSrc; i++){
1084ff78bd2fSdrh     if( (pTab = pSrc->a[i].pTab)!=0 ){
1085ff78bd2fSdrh       if( pTab->isTransient ){
10864adee20fSdanielk1977         sqlite3DeleteTable(0, pTab);
1087ff78bd2fSdrh       }
1088ff78bd2fSdrh       pSrc->a[i].pTab = 0;
1089ff78bd2fSdrh       if( pSrc->a[i].pSelect ){
10904adee20fSdanielk1977         sqlite3SelectUnbind(pSrc->a[i].pSelect);
1091ff78bd2fSdrh       }
1092ff78bd2fSdrh     }
1093ff78bd2fSdrh   }
1094ff78bd2fSdrh }
1095ff78bd2fSdrh 
1096ff78bd2fSdrh /*
1097d8bc7086Sdrh ** This routine associates entries in an ORDER BY expression list with
1098d8bc7086Sdrh ** columns in a result.  For each ORDER BY expression, the opcode of
1099967e8b73Sdrh ** the top-level node is changed to TK_COLUMN and the iColumn value of
1100d8bc7086Sdrh ** the top-level node is filled in with column number and the iTable
1101d8bc7086Sdrh ** value of the top-level node is filled with iTable parameter.
1102d8bc7086Sdrh **
1103d8bc7086Sdrh ** If there are prior SELECT clauses, they are processed first.  A match
1104d8bc7086Sdrh ** in an earlier SELECT takes precedence over a later SELECT.
1105d8bc7086Sdrh **
1106d8bc7086Sdrh ** Any entry that does not match is flagged as an error.  The number
1107d8bc7086Sdrh ** of errors is returned.
1108d8bc7086Sdrh */
1109d8bc7086Sdrh static int matchOrderbyToColumn(
1110d8bc7086Sdrh   Parse *pParse,          /* A place to leave error messages */
1111d8bc7086Sdrh   Select *pSelect,        /* Match to result columns of this SELECT */
1112d8bc7086Sdrh   ExprList *pOrderBy,     /* The ORDER BY values to match against columns */
1113e4de1febSdrh   int iTable,             /* Insert this value in iTable */
1114d8bc7086Sdrh   int mustComplete        /* If TRUE all ORDER BYs must match */
1115d8bc7086Sdrh ){
1116d8bc7086Sdrh   int nErr = 0;
1117d8bc7086Sdrh   int i, j;
1118d8bc7086Sdrh   ExprList *pEList;
1119d8bc7086Sdrh 
1120daffd0e5Sdrh   if( pSelect==0 || pOrderBy==0 ) return 1;
1121d8bc7086Sdrh   if( mustComplete ){
1122d8bc7086Sdrh     for(i=0; i<pOrderBy->nExpr; i++){ pOrderBy->a[i].done = 0; }
1123d8bc7086Sdrh   }
1124d8bc7086Sdrh   if( fillInColumnList(pParse, pSelect) ){
1125d8bc7086Sdrh     return 1;
1126d8bc7086Sdrh   }
1127d8bc7086Sdrh   if( pSelect->pPrior ){
112892cd52f5Sdrh     if( matchOrderbyToColumn(pParse, pSelect->pPrior, pOrderBy, iTable, 0) ){
112992cd52f5Sdrh       return 1;
113092cd52f5Sdrh     }
1131d8bc7086Sdrh   }
1132d8bc7086Sdrh   pEList = pSelect->pEList;
1133d8bc7086Sdrh   for(i=0; i<pOrderBy->nExpr; i++){
1134d8bc7086Sdrh     Expr *pE = pOrderBy->a[i].pExpr;
1135e4de1febSdrh     int iCol = -1;
1136d8bc7086Sdrh     if( pOrderBy->a[i].done ) continue;
11374adee20fSdanielk1977     if( sqlite3ExprIsInteger(pE, &iCol) ){
1138e4de1febSdrh       if( iCol<=0 || iCol>pEList->nExpr ){
11394adee20fSdanielk1977         sqlite3ErrorMsg(pParse,
1140da93d238Sdrh           "ORDER BY position %d should be between 1 and %d",
1141e4de1febSdrh           iCol, pEList->nExpr);
1142e4de1febSdrh         nErr++;
1143e4de1febSdrh         break;
1144e4de1febSdrh       }
1145fcb78a49Sdrh       if( !mustComplete ) continue;
1146e4de1febSdrh       iCol--;
1147e4de1febSdrh     }
1148e4de1febSdrh     for(j=0; iCol<0 && j<pEList->nExpr; j++){
11494cfa7934Sdrh       if( pEList->a[j].zName && (pE->op==TK_ID || pE->op==TK_STRING) ){
1150a76b5dfcSdrh         char *zName, *zLabel;
1151a76b5dfcSdrh         zName = pEList->a[j].zName;
1152a99db3b6Sdrh         zLabel = sqlite3NameFromToken(&pE->token);
1153a99db3b6Sdrh         assert( zLabel!=0 );
11544adee20fSdanielk1977         if( sqlite3StrICmp(zName, zLabel)==0 ){
1155e4de1febSdrh           iCol = j;
1156d8bc7086Sdrh         }
11576e142f54Sdrh         sqliteFree(zLabel);
1158d8bc7086Sdrh       }
11594adee20fSdanielk1977       if( iCol<0 && sqlite3ExprCompare(pE, pEList->a[j].pExpr) ){
1160e4de1febSdrh         iCol = j;
1161d8bc7086Sdrh       }
1162e4de1febSdrh     }
1163e4de1febSdrh     if( iCol>=0 ){
1164967e8b73Sdrh       pE->op = TK_COLUMN;
1165e4de1febSdrh       pE->iColumn = iCol;
1166d8bc7086Sdrh       pE->iTable = iTable;
1167d8bc7086Sdrh       pOrderBy->a[i].done = 1;
1168d8bc7086Sdrh     }
1169e4de1febSdrh     if( iCol<0 && mustComplete ){
11704adee20fSdanielk1977       sqlite3ErrorMsg(pParse,
1171da93d238Sdrh         "ORDER BY term number %d does not match any result column", i+1);
1172d8bc7086Sdrh       nErr++;
1173d8bc7086Sdrh       break;
1174d8bc7086Sdrh     }
1175d8bc7086Sdrh   }
1176d8bc7086Sdrh   return nErr;
1177d8bc7086Sdrh }
1178d8bc7086Sdrh 
1179d8bc7086Sdrh /*
1180d8bc7086Sdrh ** Get a VDBE for the given parser context.  Create a new one if necessary.
1181d8bc7086Sdrh ** If an error occurs, return NULL and leave a message in pParse.
1182d8bc7086Sdrh */
11834adee20fSdanielk1977 Vdbe *sqlite3GetVdbe(Parse *pParse){
1184d8bc7086Sdrh   Vdbe *v = pParse->pVdbe;
1185d8bc7086Sdrh   if( v==0 ){
11864adee20fSdanielk1977     v = pParse->pVdbe = sqlite3VdbeCreate(pParse->db);
1187d8bc7086Sdrh   }
1188d8bc7086Sdrh   return v;
1189d8bc7086Sdrh }
1190d8bc7086Sdrh 
1191d8bc7086Sdrh /*
11927b58daeaSdrh ** Compute the iLimit and iOffset fields of the SELECT based on the
11937b58daeaSdrh ** nLimit and nOffset fields.  nLimit and nOffset hold the integers
11947b58daeaSdrh ** that appear in the original SQL statement after the LIMIT and OFFSET
11957b58daeaSdrh ** keywords.  Or that hold -1 and 0 if those keywords are omitted.
11967b58daeaSdrh ** iLimit and iOffset are the integer memory register numbers for
11977b58daeaSdrh ** counters used to compute the limit and offset.  If there is no
11987b58daeaSdrh ** limit and/or offset, then iLimit and iOffset are negative.
11997b58daeaSdrh **
12007b58daeaSdrh ** This routine changes the values if iLimit and iOffset only if
12017b58daeaSdrh ** a limit or offset is defined by nLimit and nOffset.  iLimit and
12027b58daeaSdrh ** iOffset should have been preset to appropriate default values
12037b58daeaSdrh ** (usually but not always -1) prior to calling this routine.
12047b58daeaSdrh ** Only if nLimit>=0 or nOffset>0 do the limit registers get
12057b58daeaSdrh ** redefined.  The UNION ALL operator uses this property to force
12067b58daeaSdrh ** the reuse of the same limit and offset registers across multiple
12077b58daeaSdrh ** SELECT statements.
12087b58daeaSdrh */
12097b58daeaSdrh static void computeLimitRegisters(Parse *pParse, Select *p){
12107b58daeaSdrh   /*
12117b58daeaSdrh   ** If the comparison is p->nLimit>0 then "LIMIT 0" shows
12127b58daeaSdrh   ** all rows.  It is the same as no limit. If the comparision is
12137b58daeaSdrh   ** p->nLimit>=0 then "LIMIT 0" show no rows at all.
12147b58daeaSdrh   ** "LIMIT -1" always shows all rows.  There is some
12157b58daeaSdrh   ** contraversy about what the correct behavior should be.
12167b58daeaSdrh   ** The current implementation interprets "LIMIT 0" to mean
12177b58daeaSdrh   ** no rows.
12187b58daeaSdrh   */
12197b58daeaSdrh   if( p->nLimit>=0 ){
12207b58daeaSdrh     int iMem = pParse->nMem++;
12214adee20fSdanielk1977     Vdbe *v = sqlite3GetVdbe(pParse);
12227b58daeaSdrh     if( v==0 ) return;
12234adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, -p->nLimit, 0);
12244adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemStore, iMem, 1);
12257b58daeaSdrh     p->iLimit = iMem;
12267b58daeaSdrh   }
12277b58daeaSdrh   if( p->nOffset>0 ){
12287b58daeaSdrh     int iMem = pParse->nMem++;
12294adee20fSdanielk1977     Vdbe *v = sqlite3GetVdbe(pParse);
12307b58daeaSdrh     if( v==0 ) return;
12314adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, -p->nOffset, 0);
12324adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemStore, iMem, 1);
12337b58daeaSdrh     p->iOffset = iMem;
12347b58daeaSdrh   }
12357b58daeaSdrh }
12367b58daeaSdrh 
12377b58daeaSdrh /*
1238d3d39e93Sdrh ** Generate VDBE instructions that will open a transient table that
1239d3d39e93Sdrh ** will be used for an index or to store keyed results for a compound
1240d3d39e93Sdrh ** select.  In other words, open a transient table that needs a
1241d3d39e93Sdrh ** KeyInfo structure.  The number of columns in the KeyInfo is determined
1242d3d39e93Sdrh ** by the result set of the SELECT statement in the second argument.
1243d3d39e93Sdrh **
1244dc1bdc4fSdanielk1977 ** Specifically, this routine is called to open an index table for
1245dc1bdc4fSdanielk1977 ** DISTINCT, UNION, INTERSECT and EXCEPT select statements (but not
1246dc1bdc4fSdanielk1977 ** UNION ALL).
1247dc1bdc4fSdanielk1977 **
1248d3d39e93Sdrh ** Make the new table a KeyAsData table if keyAsData is true.
1249dc1bdc4fSdanielk1977 **
1250dc1bdc4fSdanielk1977 ** The value returned is the address of the OP_OpenTemp instruction.
1251d3d39e93Sdrh */
1252dc1bdc4fSdanielk1977 static int openTempIndex(Parse *pParse, Select *p, int iTab, int keyAsData){
1253d3d39e93Sdrh   KeyInfo *pKeyInfo;
1254736c22b8Sdrh   int nColumn;
1255d3d39e93Sdrh   sqlite *db = pParse->db;
1256d3d39e93Sdrh   int i;
1257d3d39e93Sdrh   Vdbe *v = pParse->pVdbe;
1258dc1bdc4fSdanielk1977   int addr;
1259d3d39e93Sdrh 
1260736c22b8Sdrh   if( fillInColumnList(pParse, p) ){
1261dc1bdc4fSdanielk1977     return 0;
1262736c22b8Sdrh   }
1263736c22b8Sdrh   nColumn = p->pEList->nExpr;
1264d3d39e93Sdrh   pKeyInfo = sqliteMalloc( sizeof(*pKeyInfo)+nColumn*sizeof(CollSeq*) );
1265dc1bdc4fSdanielk1977   if( pKeyInfo==0 ) return 0;
1266dc1bdc4fSdanielk1977   pKeyInfo->enc = pParse->db->enc;
1267d3d39e93Sdrh   pKeyInfo->nField = nColumn;
1268d3d39e93Sdrh   for(i=0; i<nColumn; i++){
1269dc1bdc4fSdanielk1977     pKeyInfo->aColl[i] = sqlite3ExprCollSeq(pParse, p->pEList->a[i].pExpr);
1270dc1bdc4fSdanielk1977     if( !pKeyInfo->aColl[i] ){
1271d3d39e93Sdrh       pKeyInfo->aColl[i] = db->pDfltColl;
1272d3d39e93Sdrh     }
1273dc1bdc4fSdanielk1977   }
1274dc1bdc4fSdanielk1977   addr = sqlite3VdbeOp3(v, OP_OpenTemp, iTab, 0,
1275dc1bdc4fSdanielk1977       (char*)pKeyInfo, P3_KEYINFO_HANDOFF);
1276d3d39e93Sdrh   if( keyAsData ){
1277d3d39e93Sdrh     sqlite3VdbeAddOp(v, OP_KeyAsData, iTab, 1);
1278d3d39e93Sdrh   }
1279dc1bdc4fSdanielk1977   return addr;
1280dc1bdc4fSdanielk1977 }
1281dc1bdc4fSdanielk1977 
1282dc1bdc4fSdanielk1977 static int multiSelectOpenTempAddr(Select *p, int addr, IdList **ppOpenTemp){
1283dc1bdc4fSdanielk1977   if( !p->ppOpenTemp ){
1284dc1bdc4fSdanielk1977     *ppOpenTemp = sqlite3IdListAppend(0, 0);
1285dc1bdc4fSdanielk1977     p->ppOpenTemp = ppOpenTemp;
1286dc1bdc4fSdanielk1977   }else{
1287dc1bdc4fSdanielk1977     *p->ppOpenTemp = sqlite3IdListAppend(*p->ppOpenTemp, 0);
1288dc1bdc4fSdanielk1977   }
1289dc1bdc4fSdanielk1977   if( !(*p->ppOpenTemp) ){
1290dc1bdc4fSdanielk1977     return SQLITE_NOMEM;
1291dc1bdc4fSdanielk1977   }
1292dc1bdc4fSdanielk1977   (*p->ppOpenTemp)->a[(*p->ppOpenTemp)->nId-1].idx = addr;
1293dc1bdc4fSdanielk1977   return SQLITE_OK;
1294dc1bdc4fSdanielk1977 }
1295dc1bdc4fSdanielk1977 
1296dc1bdc4fSdanielk1977 static CollSeq *multiSelectCollSeq(Parse *pParse, Select *p, int iCol){
1297dc1bdc4fSdanielk1977   CollSeq *pRet = 0;
1298dc1bdc4fSdanielk1977   if( p->pPrior ){
1299dc1bdc4fSdanielk1977     pRet = multiSelectCollSeq(pParse, p->pPrior, iCol);
1300dc1bdc4fSdanielk1977   }
1301dc1bdc4fSdanielk1977   if( !pRet ){
1302dc1bdc4fSdanielk1977     pRet = sqlite3ExprCollSeq(pParse, p->pEList->a[iCol].pExpr);
1303dc1bdc4fSdanielk1977   }
1304dc1bdc4fSdanielk1977   return pRet;
1305d3d39e93Sdrh }
1306d3d39e93Sdrh 
1307d3d39e93Sdrh /*
130882c3d636Sdrh ** This routine is called to process a query that is really the union
130982c3d636Sdrh ** or intersection of two or more separate queries.
1310c926afbcSdrh **
1311e78e8284Sdrh ** "p" points to the right-most of the two queries.  the query on the
1312e78e8284Sdrh ** left is p->pPrior.  The left query could also be a compound query
1313e78e8284Sdrh ** in which case this routine will be called recursively.
1314e78e8284Sdrh **
1315e78e8284Sdrh ** The results of the total query are to be written into a destination
1316e78e8284Sdrh ** of type eDest with parameter iParm.
1317e78e8284Sdrh **
1318e78e8284Sdrh ** Example 1:  Consider a three-way compound SQL statement.
1319e78e8284Sdrh **
1320e78e8284Sdrh **     SELECT a FROM t1 UNION SELECT b FROM t2 UNION SELECT c FROM t3
1321e78e8284Sdrh **
1322e78e8284Sdrh ** This statement is parsed up as follows:
1323e78e8284Sdrh **
1324e78e8284Sdrh **     SELECT c FROM t3
1325e78e8284Sdrh **      |
1326e78e8284Sdrh **      `----->  SELECT b FROM t2
1327e78e8284Sdrh **                |
13284b11c6d3Sjplyon **                `------>  SELECT a FROM t1
1329e78e8284Sdrh **
1330e78e8284Sdrh ** The arrows in the diagram above represent the Select.pPrior pointer.
1331e78e8284Sdrh ** So if this routine is called with p equal to the t3 query, then
1332e78e8284Sdrh ** pPrior will be the t2 query.  p->op will be TK_UNION in this case.
1333e78e8284Sdrh **
1334e78e8284Sdrh ** Notice that because of the way SQLite parses compound SELECTs, the
1335e78e8284Sdrh ** individual selects always group from left to right.
133682c3d636Sdrh */
133784ac9d02Sdanielk1977 static int multiSelect(
133884ac9d02Sdanielk1977   Parse *pParse,
133984ac9d02Sdanielk1977   Select *p,
134084ac9d02Sdanielk1977   int eDest,
134184ac9d02Sdanielk1977   int iParm,
134284ac9d02Sdanielk1977   char *aff           /* If eDest is SRT_Union, the affinity string */
134384ac9d02Sdanielk1977 ){
134484ac9d02Sdanielk1977   int rc = SQLITE_OK;  /* Success code from a subroutine */
134510e5e3cfSdrh   Select *pPrior;     /* Another SELECT immediately to our left */
134610e5e3cfSdrh   Vdbe *v;            /* Generate code to this VDBE */
1347dc1bdc4fSdanielk1977   IdList *pOpenTemp = 0;
134882c3d636Sdrh 
13497b58daeaSdrh   /* Make sure there is no ORDER BY or LIMIT clause on prior SELECTs.  Only
13507b58daeaSdrh   ** the last SELECT in the series may have an ORDER BY or LIMIT.
135182c3d636Sdrh   */
135284ac9d02Sdanielk1977   if( p==0 || p->pPrior==0 ){
135384ac9d02Sdanielk1977     rc = 1;
135484ac9d02Sdanielk1977     goto multi_select_end;
135584ac9d02Sdanielk1977   }
1356d8bc7086Sdrh   pPrior = p->pPrior;
1357d8bc7086Sdrh   if( pPrior->pOrderBy ){
13584adee20fSdanielk1977     sqlite3ErrorMsg(pParse,"ORDER BY clause should come after %s not before",
1359da93d238Sdrh       selectOpName(p->op));
136084ac9d02Sdanielk1977     rc = 1;
136184ac9d02Sdanielk1977     goto multi_select_end;
136282c3d636Sdrh   }
13637b58daeaSdrh   if( pPrior->nLimit>=0 || pPrior->nOffset>0 ){
13644adee20fSdanielk1977     sqlite3ErrorMsg(pParse,"LIMIT clause should come after %s not before",
13657b58daeaSdrh       selectOpName(p->op));
136684ac9d02Sdanielk1977     rc = 1;
136784ac9d02Sdanielk1977     goto multi_select_end;
13687b58daeaSdrh   }
136982c3d636Sdrh 
1370d8bc7086Sdrh   /* Make sure we have a valid query engine.  If not, create a new one.
1371d8bc7086Sdrh   */
13724adee20fSdanielk1977   v = sqlite3GetVdbe(pParse);
137384ac9d02Sdanielk1977   if( v==0 ){
137484ac9d02Sdanielk1977     rc = 1;
137584ac9d02Sdanielk1977     goto multi_select_end;
137684ac9d02Sdanielk1977   }
1377d8bc7086Sdrh 
13781cc3d75fSdrh   /* Create the destination temporary table if necessary
13791cc3d75fSdrh   */
13801cc3d75fSdrh   if( eDest==SRT_TempTable ){
1381b4964b72Sdanielk1977     assert( p->pEList );
13824adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_OpenTemp, iParm, 0);
1383b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, p->pEList->nExpr);
13841cc3d75fSdrh     eDest = SRT_Table;
13851cc3d75fSdrh   }
13861cc3d75fSdrh 
1387f46f905aSdrh   /* Generate code for the left and right SELECT statements.
1388d8bc7086Sdrh   */
138982c3d636Sdrh   switch( p->op ){
1390f46f905aSdrh     case TK_ALL: {
1391f46f905aSdrh       if( p->pOrderBy==0 ){
13927b58daeaSdrh         pPrior->nLimit = p->nLimit;
13937b58daeaSdrh         pPrior->nOffset = p->nOffset;
1394dc1bdc4fSdanielk1977         pPrior->ppOpenTemp = p->ppOpenTemp;
139584ac9d02Sdanielk1977         rc = sqlite3Select(pParse, pPrior, eDest, iParm, 0, 0, 0, aff);
139684ac9d02Sdanielk1977         if( rc ){
139784ac9d02Sdanielk1977           goto multi_select_end;
139884ac9d02Sdanielk1977         }
1399f46f905aSdrh         p->pPrior = 0;
14007b58daeaSdrh         p->iLimit = pPrior->iLimit;
14017b58daeaSdrh         p->iOffset = pPrior->iOffset;
14027b58daeaSdrh         p->nLimit = -1;
14037b58daeaSdrh         p->nOffset = 0;
140484ac9d02Sdanielk1977         rc = sqlite3Select(pParse, p, eDest, iParm, 0, 0, 0, aff);
1405f46f905aSdrh         p->pPrior = pPrior;
140684ac9d02Sdanielk1977         if( rc ){
140784ac9d02Sdanielk1977           goto multi_select_end;
140884ac9d02Sdanielk1977         }
1409f46f905aSdrh         break;
1410f46f905aSdrh       }
1411f46f905aSdrh       /* For UNION ALL ... ORDER BY fall through to the next case */
1412f46f905aSdrh     }
141382c3d636Sdrh     case TK_EXCEPT:
141482c3d636Sdrh     case TK_UNION: {
1415d8bc7086Sdrh       int unionTab;    /* Cursor number of the temporary table holding result */
1416742f947bSdanielk1977       int op = 0;      /* One of the SRT_ operations to apply to self */
1417d8bc7086Sdrh       int priorOp;     /* The SRT_ operation to apply to prior selects */
14187b58daeaSdrh       int nLimit, nOffset; /* Saved values of p->nLimit and p->nOffset */
1419c926afbcSdrh       ExprList *pOrderBy;  /* The ORDER BY clause for the right SELECT */
1420dc1bdc4fSdanielk1977       int addr;
142182c3d636Sdrh 
1422d8bc7086Sdrh       priorOp = p->op==TK_ALL ? SRT_Table : SRT_Union;
14237b58daeaSdrh       if( eDest==priorOp && p->pOrderBy==0 && p->nLimit<0 && p->nOffset==0 ){
1424d8bc7086Sdrh         /* We can reuse a temporary table generated by a SELECT to our
1425c926afbcSdrh         ** right.
1426d8bc7086Sdrh         */
142782c3d636Sdrh         unionTab = iParm;
142882c3d636Sdrh       }else{
1429d8bc7086Sdrh         /* We will need to create our own temporary table to hold the
1430d8bc7086Sdrh         ** intermediate results.
1431d8bc7086Sdrh         */
143282c3d636Sdrh         unionTab = pParse->nTab++;
1433d8bc7086Sdrh         if( p->pOrderBy
1434d8bc7086Sdrh         && matchOrderbyToColumn(pParse, p, p->pOrderBy, unionTab, 1) ){
143584ac9d02Sdanielk1977           rc = 1;
143684ac9d02Sdanielk1977           goto multi_select_end;
1437d8bc7086Sdrh         }
1438dc1bdc4fSdanielk1977         addr = sqlite3VdbeAddOp(v, OP_OpenTemp, unionTab, 0);
1439d8bc7086Sdrh         if( p->op!=TK_ALL ){
1440dc1bdc4fSdanielk1977           rc = multiSelectOpenTempAddr(p, addr, &pOpenTemp);
1441dc1bdc4fSdanielk1977           if( rc!=SQLITE_OK ){
1442dc1bdc4fSdanielk1977             goto multi_select_end;
1443dc1bdc4fSdanielk1977           }
1444dc1bdc4fSdanielk1977           sqlite3VdbeAddOp(v, OP_KeyAsData, unionTab, 1);
144582c3d636Sdrh         }
144684ac9d02Sdanielk1977         assert( p->pEList );
1447d8bc7086Sdrh       }
1448d8bc7086Sdrh 
1449d8bc7086Sdrh       /* Code the SELECT statements to our left
1450d8bc7086Sdrh       */
1451dc1bdc4fSdanielk1977       pPrior->ppOpenTemp = p->ppOpenTemp;
145284ac9d02Sdanielk1977       rc = sqlite3Select(pParse, pPrior, priorOp, unionTab, 0, 0, 0, aff);
145384ac9d02Sdanielk1977       if( rc ){
145484ac9d02Sdanielk1977         goto multi_select_end;
145584ac9d02Sdanielk1977       }
145684ac9d02Sdanielk1977       if( p->op==TK_ALL ){
145784ac9d02Sdanielk1977         sqlite3VdbeAddOp(v, OP_SetNumColumns, unionTab, pPrior->pEList->nExpr);
145884ac9d02Sdanielk1977       }
1459d8bc7086Sdrh 
1460d8bc7086Sdrh       /* Code the current SELECT statement
1461d8bc7086Sdrh       */
1462d8bc7086Sdrh       switch( p->op ){
1463d8bc7086Sdrh          case TK_EXCEPT:  op = SRT_Except;   break;
1464d8bc7086Sdrh          case TK_UNION:   op = SRT_Union;    break;
1465d8bc7086Sdrh          case TK_ALL:     op = SRT_Table;    break;
1466d8bc7086Sdrh       }
146782c3d636Sdrh       p->pPrior = 0;
1468c926afbcSdrh       pOrderBy = p->pOrderBy;
1469c926afbcSdrh       p->pOrderBy = 0;
14707b58daeaSdrh       nLimit = p->nLimit;
14717b58daeaSdrh       p->nLimit = -1;
14727b58daeaSdrh       nOffset = p->nOffset;
14737b58daeaSdrh       p->nOffset = 0;
147484ac9d02Sdanielk1977       rc = sqlite3Select(pParse, p, op, unionTab, 0, 0, 0, aff);
147582c3d636Sdrh       p->pPrior = pPrior;
1476c926afbcSdrh       p->pOrderBy = pOrderBy;
14777b58daeaSdrh       p->nLimit = nLimit;
14787b58daeaSdrh       p->nOffset = nOffset;
147984ac9d02Sdanielk1977       if( rc ){
148084ac9d02Sdanielk1977         goto multi_select_end;
148184ac9d02Sdanielk1977       }
148284ac9d02Sdanielk1977 
1483d8bc7086Sdrh 
1484d8bc7086Sdrh       /* Convert the data in the temporary table into whatever form
1485d8bc7086Sdrh       ** it is that we currently need.
1486d8bc7086Sdrh       */
1487c926afbcSdrh       if( eDest!=priorOp || unionTab!=iParm ){
14886b56344dSdrh         int iCont, iBreak, iStart;
148982c3d636Sdrh         assert( p->pEList );
149041202ccaSdrh         if( eDest==SRT_Callback ){
14916a3ea0e6Sdrh           generateColumnNames(pParse, 0, p->pEList);
149241202ccaSdrh         }
14934adee20fSdanielk1977         iBreak = sqlite3VdbeMakeLabel(v);
14944adee20fSdanielk1977         iCont = sqlite3VdbeMakeLabel(v);
14954adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Rewind, unionTab, iBreak);
14967b58daeaSdrh         computeLimitRegisters(pParse, p);
14974adee20fSdanielk1977         iStart = sqlite3VdbeCurrentAddr(v);
149838640e15Sdrh         rc = selectInnerLoop(pParse, p, p->pEList, unionTab, p->pEList->nExpr,
1499d8bc7086Sdrh                              p->pOrderBy, -1, eDest, iParm,
150084ac9d02Sdanielk1977                              iCont, iBreak, 0);
150184ac9d02Sdanielk1977         if( rc ){
150284ac9d02Sdanielk1977           rc = 1;
150384ac9d02Sdanielk1977           goto multi_select_end;
150484ac9d02Sdanielk1977         }
15054adee20fSdanielk1977         sqlite3VdbeResolveLabel(v, iCont);
15064adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Next, unionTab, iStart);
15074adee20fSdanielk1977         sqlite3VdbeResolveLabel(v, iBreak);
15084adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Close, unionTab, 0);
150982c3d636Sdrh       }
151082c3d636Sdrh       break;
151182c3d636Sdrh     }
151282c3d636Sdrh     case TK_INTERSECT: {
151382c3d636Sdrh       int tab1, tab2;
15146b56344dSdrh       int iCont, iBreak, iStart;
15157b58daeaSdrh       int nLimit, nOffset;
1516dc1bdc4fSdanielk1977       int addr;
151782c3d636Sdrh 
1518d8bc7086Sdrh       /* INTERSECT is different from the others since it requires
15196206d50aSdrh       ** two temporary tables.  Hence it has its own case.  Begin
1520d8bc7086Sdrh       ** by allocating the tables we will need.
1521d8bc7086Sdrh       */
152282c3d636Sdrh       tab1 = pParse->nTab++;
152382c3d636Sdrh       tab2 = pParse->nTab++;
1524d8bc7086Sdrh       if( p->pOrderBy && matchOrderbyToColumn(pParse,p,p->pOrderBy,tab1,1) ){
152584ac9d02Sdanielk1977         rc = 1;
152684ac9d02Sdanielk1977         goto multi_select_end;
1527d8bc7086Sdrh       }
1528dc1bdc4fSdanielk1977 
1529dc1bdc4fSdanielk1977       addr = sqlite3VdbeAddOp(v, OP_OpenTemp, tab1, 0);
1530dc1bdc4fSdanielk1977       rc = multiSelectOpenTempAddr(p, addr, &pOpenTemp);
1531dc1bdc4fSdanielk1977       if( rc!=SQLITE_OK ){
1532dc1bdc4fSdanielk1977         goto multi_select_end;
1533dc1bdc4fSdanielk1977       }
1534dc1bdc4fSdanielk1977       sqlite3VdbeAddOp(v, OP_KeyAsData, tab1, 1);
153584ac9d02Sdanielk1977       assert( p->pEList );
1536d8bc7086Sdrh 
1537d8bc7086Sdrh       /* Code the SELECTs to our left into temporary table "tab1".
1538d8bc7086Sdrh       */
1539dc1bdc4fSdanielk1977       pPrior->ppOpenTemp = p->ppOpenTemp;
154084ac9d02Sdanielk1977       rc = sqlite3Select(pParse, pPrior, SRT_Union, tab1, 0, 0, 0, aff);
154184ac9d02Sdanielk1977       if( rc ){
154284ac9d02Sdanielk1977         goto multi_select_end;
154384ac9d02Sdanielk1977       }
1544d8bc7086Sdrh 
1545d8bc7086Sdrh       /* Code the current SELECT into temporary table "tab2"
1546d8bc7086Sdrh       */
1547dc1bdc4fSdanielk1977       addr = sqlite3VdbeAddOp(v, OP_OpenTemp, tab2, 0);
1548dc1bdc4fSdanielk1977       rc = multiSelectOpenTempAddr(p, addr, &pOpenTemp);
1549dc1bdc4fSdanielk1977       if( rc!=SQLITE_OK ){
1550dc1bdc4fSdanielk1977         goto multi_select_end;
1551dc1bdc4fSdanielk1977       }
1552dc1bdc4fSdanielk1977       sqlite3VdbeAddOp(v, OP_KeyAsData, tab2, 1);
155382c3d636Sdrh       p->pPrior = 0;
15547b58daeaSdrh       nLimit = p->nLimit;
15557b58daeaSdrh       p->nLimit = -1;
15567b58daeaSdrh       nOffset = p->nOffset;
15577b58daeaSdrh       p->nOffset = 0;
155884ac9d02Sdanielk1977       rc = sqlite3Select(pParse, p, SRT_Union, tab2, 0, 0, 0, aff);
155982c3d636Sdrh       p->pPrior = pPrior;
15607b58daeaSdrh       p->nLimit = nLimit;
15617b58daeaSdrh       p->nOffset = nOffset;
156284ac9d02Sdanielk1977       if( rc ){
156384ac9d02Sdanielk1977         goto multi_select_end;
156484ac9d02Sdanielk1977       }
1565d8bc7086Sdrh 
1566d8bc7086Sdrh       /* Generate code to take the intersection of the two temporary
1567d8bc7086Sdrh       ** tables.
1568d8bc7086Sdrh       */
156982c3d636Sdrh       assert( p->pEList );
157041202ccaSdrh       if( eDest==SRT_Callback ){
15716a3ea0e6Sdrh         generateColumnNames(pParse, 0, p->pEList);
157241202ccaSdrh       }
15734adee20fSdanielk1977       iBreak = sqlite3VdbeMakeLabel(v);
15744adee20fSdanielk1977       iCont = sqlite3VdbeMakeLabel(v);
15754adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Rewind, tab1, iBreak);
15767b58daeaSdrh       computeLimitRegisters(pParse, p);
15774adee20fSdanielk1977       iStart = sqlite3VdbeAddOp(v, OP_FullKey, tab1, 0);
15784adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotFound, tab2, iCont);
157938640e15Sdrh       rc = selectInnerLoop(pParse, p, p->pEList, tab1, p->pEList->nExpr,
1580d8bc7086Sdrh                              p->pOrderBy, -1, eDest, iParm,
158184ac9d02Sdanielk1977                              iCont, iBreak, 0);
158284ac9d02Sdanielk1977       if( rc ){
158384ac9d02Sdanielk1977         rc = 1;
158484ac9d02Sdanielk1977         goto multi_select_end;
158584ac9d02Sdanielk1977       }
15864adee20fSdanielk1977       sqlite3VdbeResolveLabel(v, iCont);
15874adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Next, tab1, iStart);
15884adee20fSdanielk1977       sqlite3VdbeResolveLabel(v, iBreak);
15894adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Close, tab2, 0);
15904adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Close, tab1, 0);
159182c3d636Sdrh       break;
159282c3d636Sdrh     }
159382c3d636Sdrh   }
159482c3d636Sdrh   assert( p->pEList && pPrior->pEList );
159582c3d636Sdrh   if( p->pEList->nExpr!=pPrior->pEList->nExpr ){
15964adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "SELECTs to the left and right of %s"
1597da93d238Sdrh       " do not have the same number of result columns", selectOpName(p->op));
159884ac9d02Sdanielk1977     rc = 1;
159984ac9d02Sdanielk1977     goto multi_select_end;
16002282792aSdrh   }
160184ac9d02Sdanielk1977 
1602dc1bdc4fSdanielk1977   if( p->pOrderBy || (pOpenTemp && pOpenTemp->nId>0) ){
1603dc1bdc4fSdanielk1977     int nCol = p->pEList->nExpr;
1604dc1bdc4fSdanielk1977     int i;
1605dc1bdc4fSdanielk1977     KeyInfo *pKeyInfo = sqliteMalloc(sizeof(*pKeyInfo)+nCol*sizeof(CollSeq*));
1606dc1bdc4fSdanielk1977     if( !pKeyInfo ){
1607dc1bdc4fSdanielk1977       rc = SQLITE_NOMEM;
1608dc1bdc4fSdanielk1977       goto multi_select_end;
1609dc1bdc4fSdanielk1977     }
1610dc1bdc4fSdanielk1977 
1611dc1bdc4fSdanielk1977     pKeyInfo->enc = pParse->db->enc;
1612dc1bdc4fSdanielk1977     pKeyInfo->nField = nCol;
1613dc1bdc4fSdanielk1977 
1614dc1bdc4fSdanielk1977     for(i=0; i<nCol; i++){
1615dc1bdc4fSdanielk1977       pKeyInfo->aColl[i] = multiSelectCollSeq(pParse, p, i);
1616dc1bdc4fSdanielk1977       if( !pKeyInfo->aColl[i] ){
1617dc1bdc4fSdanielk1977         pKeyInfo->aColl[i] = pParse->db->pDfltColl;
1618dc1bdc4fSdanielk1977       }
1619dc1bdc4fSdanielk1977     }
1620dc1bdc4fSdanielk1977 
1621dc1bdc4fSdanielk1977     for(i=0; pOpenTemp && i<pOpenTemp->nId; i++){
1622dc1bdc4fSdanielk1977       int p3type = (i==0?P3_KEYINFO_HANDOFF:P3_KEYINFO);
1623dc1bdc4fSdanielk1977       int addr = pOpenTemp->a[i].idx;
1624dc1bdc4fSdanielk1977       sqlite3VdbeChangeP3(v, addr, (char *)pKeyInfo, p3type);
1625dc1bdc4fSdanielk1977     }
1626dc1bdc4fSdanielk1977 
1627dc1bdc4fSdanielk1977     if( p->pOrderBy ){
1628dc1bdc4fSdanielk1977       for(i=0; i<p->pOrderBy->nExpr; i++){
1629dc1bdc4fSdanielk1977         Expr *pExpr = p->pOrderBy->a[i].pExpr;
1630dc1bdc4fSdanielk1977         char *zName = p->pOrderBy->a[i].zName;
1631dc1bdc4fSdanielk1977         assert( pExpr->op==TK_COLUMN && pExpr->iColumn<nCol );
1632dc1bdc4fSdanielk1977         assert( !pExpr->pColl );
1633dc1bdc4fSdanielk1977         if( zName ){
1634dc1bdc4fSdanielk1977           pExpr->pColl = sqlite3LocateCollSeq(pParse, zName, -1);
163584ac9d02Sdanielk1977         }else{
1636dc1bdc4fSdanielk1977           pExpr->pColl = pKeyInfo->aColl[pExpr->iColumn];
163784ac9d02Sdanielk1977         }
163884ac9d02Sdanielk1977       }
1639dc1bdc4fSdanielk1977       generateSortTail(pParse, p, v, p->pEList->nExpr, eDest, iParm);
1640dc1bdc4fSdanielk1977     }
1641dc1bdc4fSdanielk1977 
1642dc1bdc4fSdanielk1977     if( !pOpenTemp ){
1643dc1bdc4fSdanielk1977       /* This happens for UNION ALL ... ORDER BY */
1644dc1bdc4fSdanielk1977       sqliteFree(pKeyInfo);
1645dc1bdc4fSdanielk1977     }
1646dc1bdc4fSdanielk1977   }
1647dc1bdc4fSdanielk1977 
1648dc1bdc4fSdanielk1977 multi_select_end:
1649dc1bdc4fSdanielk1977   if( pOpenTemp ){
1650dc1bdc4fSdanielk1977     sqlite3IdListDelete(pOpenTemp);
1651dc1bdc4fSdanielk1977   }
1652dc1bdc4fSdanielk1977   p->ppOpenTemp = 0;
165384ac9d02Sdanielk1977   return rc;
16542282792aSdrh }
16552282792aSdrh 
16562282792aSdrh /*
1657832508b7Sdrh ** Scan through the expression pExpr.  Replace every reference to
16586a3ea0e6Sdrh ** a column in table number iTable with a copy of the iColumn-th
165984e59207Sdrh ** entry in pEList.  (But leave references to the ROWID column
16606a3ea0e6Sdrh ** unchanged.)
1661832508b7Sdrh **
1662832508b7Sdrh ** This routine is part of the flattening procedure.  A subquery
1663832508b7Sdrh ** whose result set is defined by pEList appears as entry in the
1664832508b7Sdrh ** FROM clause of a SELECT such that the VDBE cursor assigned to that
1665832508b7Sdrh ** FORM clause entry is iTable.  This routine make the necessary
1666832508b7Sdrh ** changes to pExpr so that it refers directly to the source table
1667832508b7Sdrh ** of the subquery rather the result set of the subquery.
1668832508b7Sdrh */
16696a3ea0e6Sdrh static void substExprList(ExprList*,int,ExprList*);  /* Forward Decl */
16706a3ea0e6Sdrh static void substExpr(Expr *pExpr, int iTable, ExprList *pEList){
1671832508b7Sdrh   if( pExpr==0 ) return;
167250350a15Sdrh   if( pExpr->op==TK_COLUMN && pExpr->iTable==iTable ){
167350350a15Sdrh     if( pExpr->iColumn<0 ){
167450350a15Sdrh       pExpr->op = TK_NULL;
167550350a15Sdrh     }else{
1676832508b7Sdrh       Expr *pNew;
167784e59207Sdrh       assert( pEList!=0 && pExpr->iColumn<pEList->nExpr );
1678832508b7Sdrh       assert( pExpr->pLeft==0 && pExpr->pRight==0 && pExpr->pList==0 );
1679832508b7Sdrh       pNew = pEList->a[pExpr->iColumn].pExpr;
1680832508b7Sdrh       assert( pNew!=0 );
1681832508b7Sdrh       pExpr->op = pNew->op;
1682d94a6698Sdrh       assert( pExpr->pLeft==0 );
16834adee20fSdanielk1977       pExpr->pLeft = sqlite3ExprDup(pNew->pLeft);
1684d94a6698Sdrh       assert( pExpr->pRight==0 );
16854adee20fSdanielk1977       pExpr->pRight = sqlite3ExprDup(pNew->pRight);
1686d94a6698Sdrh       assert( pExpr->pList==0 );
16874adee20fSdanielk1977       pExpr->pList = sqlite3ExprListDup(pNew->pList);
1688832508b7Sdrh       pExpr->iTable = pNew->iTable;
1689832508b7Sdrh       pExpr->iColumn = pNew->iColumn;
1690832508b7Sdrh       pExpr->iAgg = pNew->iAgg;
16914adee20fSdanielk1977       sqlite3TokenCopy(&pExpr->token, &pNew->token);
16924adee20fSdanielk1977       sqlite3TokenCopy(&pExpr->span, &pNew->span);
169350350a15Sdrh     }
1694832508b7Sdrh   }else{
16956a3ea0e6Sdrh     substExpr(pExpr->pLeft, iTable, pEList);
16966a3ea0e6Sdrh     substExpr(pExpr->pRight, iTable, pEList);
16976a3ea0e6Sdrh     substExprList(pExpr->pList, iTable, pEList);
1698832508b7Sdrh   }
1699832508b7Sdrh }
1700832508b7Sdrh static void
17016a3ea0e6Sdrh substExprList(ExprList *pList, int iTable, ExprList *pEList){
1702832508b7Sdrh   int i;
1703832508b7Sdrh   if( pList==0 ) return;
1704832508b7Sdrh   for(i=0; i<pList->nExpr; i++){
17056a3ea0e6Sdrh     substExpr(pList->a[i].pExpr, iTable, pEList);
1706832508b7Sdrh   }
1707832508b7Sdrh }
1708832508b7Sdrh 
1709832508b7Sdrh /*
17101350b030Sdrh ** This routine attempts to flatten subqueries in order to speed
17111350b030Sdrh ** execution.  It returns 1 if it makes changes and 0 if no flattening
17121350b030Sdrh ** occurs.
17131350b030Sdrh **
17141350b030Sdrh ** To understand the concept of flattening, consider the following
17151350b030Sdrh ** query:
17161350b030Sdrh **
17171350b030Sdrh **     SELECT a FROM (SELECT x+y AS a FROM t1 WHERE z<100) WHERE a>5
17181350b030Sdrh **
17191350b030Sdrh ** The default way of implementing this query is to execute the
17201350b030Sdrh ** subquery first and store the results in a temporary table, then
17211350b030Sdrh ** run the outer query on that temporary table.  This requires two
17221350b030Sdrh ** passes over the data.  Furthermore, because the temporary table
17231350b030Sdrh ** has no indices, the WHERE clause on the outer query cannot be
1724832508b7Sdrh ** optimized.
17251350b030Sdrh **
1726832508b7Sdrh ** This routine attempts to rewrite queries such as the above into
17271350b030Sdrh ** a single flat select, like this:
17281350b030Sdrh **
17291350b030Sdrh **     SELECT x+y AS a FROM t1 WHERE z<100 AND a>5
17301350b030Sdrh **
17311350b030Sdrh ** The code generated for this simpification gives the same result
1732832508b7Sdrh ** but only has to scan the data once.  And because indices might
1733832508b7Sdrh ** exist on the table t1, a complete scan of the data might be
1734832508b7Sdrh ** avoided.
17351350b030Sdrh **
1736832508b7Sdrh ** Flattening is only attempted if all of the following are true:
17371350b030Sdrh **
1738832508b7Sdrh **   (1)  The subquery and the outer query do not both use aggregates.
17391350b030Sdrh **
1740832508b7Sdrh **   (2)  The subquery is not an aggregate or the outer query is not a join.
1741832508b7Sdrh **
17428af4d3acSdrh **   (3)  The subquery is not the right operand of a left outer join, or
17438af4d3acSdrh **        the subquery is not itself a join.  (Ticket #306)
1744832508b7Sdrh **
1745832508b7Sdrh **   (4)  The subquery is not DISTINCT or the outer query is not a join.
1746832508b7Sdrh **
1747832508b7Sdrh **   (5)  The subquery is not DISTINCT or the outer query does not use
1748832508b7Sdrh **        aggregates.
1749832508b7Sdrh **
1750832508b7Sdrh **   (6)  The subquery does not use aggregates or the outer query is not
1751832508b7Sdrh **        DISTINCT.
1752832508b7Sdrh **
175308192d5fSdrh **   (7)  The subquery has a FROM clause.
175408192d5fSdrh **
1755df199a25Sdrh **   (8)  The subquery does not use LIMIT or the outer query is not a join.
1756df199a25Sdrh **
1757df199a25Sdrh **   (9)  The subquery does not use LIMIT or the outer query does not use
1758df199a25Sdrh **        aggregates.
1759df199a25Sdrh **
1760df199a25Sdrh **  (10)  The subquery does not use aggregates or the outer query does not
1761df199a25Sdrh **        use LIMIT.
1762df199a25Sdrh **
1763174b6195Sdrh **  (11)  The subquery and the outer query do not both have ORDER BY clauses.
1764174b6195Sdrh **
17653fc673e6Sdrh **  (12)  The subquery is not the right term of a LEFT OUTER JOIN or the
17663fc673e6Sdrh **        subquery has no WHERE clause.  (added by ticket #350)
17673fc673e6Sdrh **
1768832508b7Sdrh ** In this routine, the "p" parameter is a pointer to the outer query.
1769832508b7Sdrh ** The subquery is p->pSrc->a[iFrom].  isAgg is true if the outer query
1770832508b7Sdrh ** uses aggregates and subqueryIsAgg is true if the subquery uses aggregates.
1771832508b7Sdrh **
1772665de47aSdrh ** If flattening is not attempted, this routine is a no-op and returns 0.
1773832508b7Sdrh ** If flattening is attempted this routine returns 1.
1774832508b7Sdrh **
1775832508b7Sdrh ** All of the expression analysis must occur on both the outer query and
1776832508b7Sdrh ** the subquery before this routine runs.
17771350b030Sdrh */
17788c74a8caSdrh static int flattenSubquery(
17798c74a8caSdrh   Parse *pParse,       /* The parsing context */
17808c74a8caSdrh   Select *p,           /* The parent or outer SELECT statement */
17818c74a8caSdrh   int iFrom,           /* Index in p->pSrc->a[] of the inner subquery */
17828c74a8caSdrh   int isAgg,           /* True if outer SELECT uses aggregate functions */
17838c74a8caSdrh   int subqueryIsAgg    /* True if the subquery uses aggregate functions */
17848c74a8caSdrh ){
17850bb28106Sdrh   Select *pSub;       /* The inner query or "subquery" */
1786ad3cab52Sdrh   SrcList *pSrc;      /* The FROM clause of the outer query */
1787ad3cab52Sdrh   SrcList *pSubSrc;   /* The FROM clause of the subquery */
17880bb28106Sdrh   ExprList *pList;    /* The result set of the outer query */
17896a3ea0e6Sdrh   int iParent;        /* VDBE cursor number of the pSub result set temp table */
1790832508b7Sdrh   int i;
1791832508b7Sdrh   Expr *pWhere;
17921350b030Sdrh 
1793832508b7Sdrh   /* Check to see if flattening is permitted.  Return 0 if not.
1794832508b7Sdrh   */
1795832508b7Sdrh   if( p==0 ) return 0;
1796832508b7Sdrh   pSrc = p->pSrc;
1797ad3cab52Sdrh   assert( pSrc && iFrom>=0 && iFrom<pSrc->nSrc );
1798832508b7Sdrh   pSub = pSrc->a[iFrom].pSelect;
1799832508b7Sdrh   assert( pSub!=0 );
1800832508b7Sdrh   if( isAgg && subqueryIsAgg ) return 0;
1801ad3cab52Sdrh   if( subqueryIsAgg && pSrc->nSrc>1 ) return 0;
1802832508b7Sdrh   pSubSrc = pSub->pSrc;
1803832508b7Sdrh   assert( pSubSrc );
1804c31c2eb8Sdrh   if( pSubSrc->nSrc==0 ) return 0;
1805df199a25Sdrh   if( (pSub->isDistinct || pSub->nLimit>=0) &&  (pSrc->nSrc>1 || isAgg) ){
1806df199a25Sdrh      return 0;
1807df199a25Sdrh   }
1808d11d382cSdrh   if( (p->isDistinct || p->nLimit>=0) && subqueryIsAgg ) return 0;
1809174b6195Sdrh   if( p->pOrderBy && pSub->pOrderBy ) return 0;
1810832508b7Sdrh 
18118af4d3acSdrh   /* Restriction 3:  If the subquery is a join, make sure the subquery is
18128af4d3acSdrh   ** not used as the right operand of an outer join.  Examples of why this
18138af4d3acSdrh   ** is not allowed:
18148af4d3acSdrh   **
18158af4d3acSdrh   **         t1 LEFT OUTER JOIN (t2 JOIN t3)
18168af4d3acSdrh   **
18178af4d3acSdrh   ** If we flatten the above, we would get
18188af4d3acSdrh   **
18198af4d3acSdrh   **         (t1 LEFT OUTER JOIN t2) JOIN t3
18208af4d3acSdrh   **
18218af4d3acSdrh   ** which is not at all the same thing.
18228af4d3acSdrh   */
18238af4d3acSdrh   if( pSubSrc->nSrc>1 && iFrom>0 && (pSrc->a[iFrom-1].jointype & JT_OUTER)!=0 ){
18248af4d3acSdrh     return 0;
18258af4d3acSdrh   }
18268af4d3acSdrh 
18273fc673e6Sdrh   /* Restriction 12:  If the subquery is the right operand of a left outer
18283fc673e6Sdrh   ** join, make sure the subquery has no WHERE clause.
18293fc673e6Sdrh   ** An examples of why this is not allowed:
18303fc673e6Sdrh   **
18313fc673e6Sdrh   **         t1 LEFT OUTER JOIN (SELECT * FROM t2 WHERE t2.x>0)
18323fc673e6Sdrh   **
18333fc673e6Sdrh   ** If we flatten the above, we would get
18343fc673e6Sdrh   **
18353fc673e6Sdrh   **         (t1 LEFT OUTER JOIN t2) WHERE t2.x>0
18363fc673e6Sdrh   **
18373fc673e6Sdrh   ** But the t2.x>0 test will always fail on a NULL row of t2, which
18383fc673e6Sdrh   ** effectively converts the OUTER JOIN into an INNER JOIN.
18393fc673e6Sdrh   */
18403fc673e6Sdrh   if( iFrom>0 && (pSrc->a[iFrom-1].jointype & JT_OUTER)!=0
18413fc673e6Sdrh       && pSub->pWhere!=0 ){
18423fc673e6Sdrh     return 0;
18433fc673e6Sdrh   }
18443fc673e6Sdrh 
18450bb28106Sdrh   /* If we reach this point, it means flattening is permitted for the
184663eb5f29Sdrh   ** iFrom-th entry of the FROM clause in the outer query.
1847832508b7Sdrh   */
1848c31c2eb8Sdrh 
1849c31c2eb8Sdrh   /* Move all of the FROM elements of the subquery into the
1850c31c2eb8Sdrh   ** the FROM clause of the outer query.  Before doing this, remember
1851c31c2eb8Sdrh   ** the cursor number for the original outer query FROM element in
1852c31c2eb8Sdrh   ** iParent.  The iParent cursor will never be used.  Subsequent code
1853c31c2eb8Sdrh   ** will scan expressions looking for iParent references and replace
1854c31c2eb8Sdrh   ** those references with expressions that resolve to the subquery FROM
1855c31c2eb8Sdrh   ** elements we are now copying in.
1856c31c2eb8Sdrh   */
18576a3ea0e6Sdrh   iParent = pSrc->a[iFrom].iCursor;
1858c31c2eb8Sdrh   {
1859c31c2eb8Sdrh     int nSubSrc = pSubSrc->nSrc;
18608af4d3acSdrh     int jointype = pSrc->a[iFrom].jointype;
1861c31c2eb8Sdrh 
1862c31c2eb8Sdrh     if( pSrc->a[iFrom].pTab && pSrc->a[iFrom].pTab->isTransient ){
18634adee20fSdanielk1977       sqlite3DeleteTable(0, pSrc->a[iFrom].pTab);
1864c31c2eb8Sdrh     }
1865f26e09c8Sdrh     sqliteFree(pSrc->a[iFrom].zDatabase);
1866c31c2eb8Sdrh     sqliteFree(pSrc->a[iFrom].zName);
1867c31c2eb8Sdrh     sqliteFree(pSrc->a[iFrom].zAlias);
1868c31c2eb8Sdrh     if( nSubSrc>1 ){
1869c31c2eb8Sdrh       int extra = nSubSrc - 1;
1870c31c2eb8Sdrh       for(i=1; i<nSubSrc; i++){
18714adee20fSdanielk1977         pSrc = sqlite3SrcListAppend(pSrc, 0, 0);
1872c31c2eb8Sdrh       }
1873c31c2eb8Sdrh       p->pSrc = pSrc;
1874c31c2eb8Sdrh       for(i=pSrc->nSrc-1; i-extra>=iFrom; i--){
1875c31c2eb8Sdrh         pSrc->a[i] = pSrc->a[i-extra];
1876c31c2eb8Sdrh       }
1877c31c2eb8Sdrh     }
1878c31c2eb8Sdrh     for(i=0; i<nSubSrc; i++){
1879c31c2eb8Sdrh       pSrc->a[i+iFrom] = pSubSrc->a[i];
1880c31c2eb8Sdrh       memset(&pSubSrc->a[i], 0, sizeof(pSubSrc->a[i]));
1881c31c2eb8Sdrh     }
18828af4d3acSdrh     pSrc->a[iFrom+nSubSrc-1].jointype = jointype;
1883c31c2eb8Sdrh   }
1884c31c2eb8Sdrh 
1885c31c2eb8Sdrh   /* Now begin substituting subquery result set expressions for
1886c31c2eb8Sdrh   ** references to the iParent in the outer query.
1887c31c2eb8Sdrh   **
1888c31c2eb8Sdrh   ** Example:
1889c31c2eb8Sdrh   **
1890c31c2eb8Sdrh   **   SELECT a+5, b*10 FROM (SELECT x*3 AS a, y+10 AS b FROM t1) WHERE a>b;
1891c31c2eb8Sdrh   **   \                     \_____________ subquery __________/          /
1892c31c2eb8Sdrh   **    \_____________________ outer query ______________________________/
1893c31c2eb8Sdrh   **
1894c31c2eb8Sdrh   ** We look at every expression in the outer query and every place we see
1895c31c2eb8Sdrh   ** "a" we substitute "x*3" and every place we see "b" we substitute "y+10".
1896c31c2eb8Sdrh   */
18976a3ea0e6Sdrh   substExprList(p->pEList, iParent, pSub->pEList);
1898832508b7Sdrh   pList = p->pEList;
1899832508b7Sdrh   for(i=0; i<pList->nExpr; i++){
19006977fea8Sdrh     Expr *pExpr;
19016977fea8Sdrh     if( pList->a[i].zName==0 && (pExpr = pList->a[i].pExpr)->span.z!=0 ){
19026977fea8Sdrh       pList->a[i].zName = sqliteStrNDup(pExpr->span.z, pExpr->span.n);
1903832508b7Sdrh     }
1904832508b7Sdrh   }
19051b2e0329Sdrh   if( isAgg ){
19066a3ea0e6Sdrh     substExprList(p->pGroupBy, iParent, pSub->pEList);
19076a3ea0e6Sdrh     substExpr(p->pHaving, iParent, pSub->pEList);
19081b2e0329Sdrh   }
1909174b6195Sdrh   if( pSub->pOrderBy ){
1910174b6195Sdrh     assert( p->pOrderBy==0 );
1911174b6195Sdrh     p->pOrderBy = pSub->pOrderBy;
1912174b6195Sdrh     pSub->pOrderBy = 0;
1913174b6195Sdrh   }else if( p->pOrderBy ){
19146a3ea0e6Sdrh     substExprList(p->pOrderBy, iParent, pSub->pEList);
1915174b6195Sdrh   }
1916832508b7Sdrh   if( pSub->pWhere ){
19174adee20fSdanielk1977     pWhere = sqlite3ExprDup(pSub->pWhere);
1918832508b7Sdrh   }else{
1919832508b7Sdrh     pWhere = 0;
1920832508b7Sdrh   }
1921832508b7Sdrh   if( subqueryIsAgg ){
1922832508b7Sdrh     assert( p->pHaving==0 );
19231b2e0329Sdrh     p->pHaving = p->pWhere;
19241b2e0329Sdrh     p->pWhere = pWhere;
19256a3ea0e6Sdrh     substExpr(p->pHaving, iParent, pSub->pEList);
19261b2e0329Sdrh     if( pSub->pHaving ){
19274adee20fSdanielk1977       Expr *pHaving = sqlite3ExprDup(pSub->pHaving);
19281b2e0329Sdrh       if( p->pHaving ){
19294adee20fSdanielk1977         p->pHaving = sqlite3Expr(TK_AND, p->pHaving, pHaving, 0);
19301b2e0329Sdrh       }else{
19311b2e0329Sdrh         p->pHaving = pHaving;
19321b2e0329Sdrh       }
19331b2e0329Sdrh     }
19341b2e0329Sdrh     assert( p->pGroupBy==0 );
19354adee20fSdanielk1977     p->pGroupBy = sqlite3ExprListDup(pSub->pGroupBy);
1936832508b7Sdrh   }else if( p->pWhere==0 ){
1937832508b7Sdrh     p->pWhere = pWhere;
1938832508b7Sdrh   }else{
19396a3ea0e6Sdrh     substExpr(p->pWhere, iParent, pSub->pEList);
1940832508b7Sdrh     if( pWhere ){
19414adee20fSdanielk1977       p->pWhere = sqlite3Expr(TK_AND, p->pWhere, pWhere, 0);
1942832508b7Sdrh     }
1943832508b7Sdrh   }
1944c31c2eb8Sdrh 
1945c31c2eb8Sdrh   /* The flattened query is distinct if either the inner or the
1946c31c2eb8Sdrh   ** outer query is distinct.
1947c31c2eb8Sdrh   */
1948832508b7Sdrh   p->isDistinct = p->isDistinct || pSub->isDistinct;
19498c74a8caSdrh 
1950c31c2eb8Sdrh   /* Transfer the limit expression from the subquery to the outer
1951c31c2eb8Sdrh   ** query.
1952c31c2eb8Sdrh   */
1953df199a25Sdrh   if( pSub->nLimit>=0 ){
1954df199a25Sdrh     if( p->nLimit<0 ){
1955df199a25Sdrh       p->nLimit = pSub->nLimit;
1956df199a25Sdrh     }else if( p->nLimit+p->nOffset > pSub->nLimit+pSub->nOffset ){
1957df199a25Sdrh       p->nLimit = pSub->nLimit + pSub->nOffset - p->nOffset;
1958df199a25Sdrh     }
1959df199a25Sdrh   }
1960df199a25Sdrh   p->nOffset += pSub->nOffset;
19618c74a8caSdrh 
1962c31c2eb8Sdrh   /* Finially, delete what is left of the subquery and return
1963c31c2eb8Sdrh   ** success.
1964c31c2eb8Sdrh   */
19654adee20fSdanielk1977   sqlite3SelectDelete(pSub);
1966832508b7Sdrh   return 1;
19671350b030Sdrh }
19681350b030Sdrh 
19691350b030Sdrh /*
19709562b551Sdrh ** Analyze the SELECT statement passed in as an argument to see if it
19719562b551Sdrh ** is a simple min() or max() query.  If it is and this query can be
19729562b551Sdrh ** satisfied using a single seek to the beginning or end of an index,
1973e78e8284Sdrh ** then generate the code for this SELECT and return 1.  If this is not a
19749562b551Sdrh ** simple min() or max() query, then return 0;
19759562b551Sdrh **
19769562b551Sdrh ** A simply min() or max() query looks like this:
19779562b551Sdrh **
19789562b551Sdrh **    SELECT min(a) FROM table;
19799562b551Sdrh **    SELECT max(a) FROM table;
19809562b551Sdrh **
19819562b551Sdrh ** The query may have only a single table in its FROM argument.  There
19829562b551Sdrh ** can be no GROUP BY or HAVING or WHERE clauses.  The result set must
19839562b551Sdrh ** be the min() or max() of a single column of the table.  The column
19849562b551Sdrh ** in the min() or max() function must be indexed.
19859562b551Sdrh **
19864adee20fSdanielk1977 ** The parameters to this routine are the same as for sqlite3Select().
19879562b551Sdrh ** See the header comment on that routine for additional information.
19889562b551Sdrh */
19899562b551Sdrh static int simpleMinMaxQuery(Parse *pParse, Select *p, int eDest, int iParm){
19909562b551Sdrh   Expr *pExpr;
19919562b551Sdrh   int iCol;
19929562b551Sdrh   Table *pTab;
19939562b551Sdrh   Index *pIdx;
19949562b551Sdrh   int base;
19959562b551Sdrh   Vdbe *v;
19969562b551Sdrh   int seekOp;
19979562b551Sdrh   int cont;
19986e17529eSdrh   ExprList *pEList, *pList, eList;
19999562b551Sdrh   struct ExprList_item eListItem;
20006e17529eSdrh   SrcList *pSrc;
20016e17529eSdrh 
20029562b551Sdrh 
20039562b551Sdrh   /* Check to see if this query is a simple min() or max() query.  Return
20049562b551Sdrh   ** zero if it is  not.
20059562b551Sdrh   */
20069562b551Sdrh   if( p->pGroupBy || p->pHaving || p->pWhere ) return 0;
20076e17529eSdrh   pSrc = p->pSrc;
20086e17529eSdrh   if( pSrc->nSrc!=1 ) return 0;
20096e17529eSdrh   pEList = p->pEList;
20106e17529eSdrh   if( pEList->nExpr!=1 ) return 0;
20116e17529eSdrh   pExpr = pEList->a[0].pExpr;
20129562b551Sdrh   if( pExpr->op!=TK_AGG_FUNCTION ) return 0;
20136e17529eSdrh   pList = pExpr->pList;
20146e17529eSdrh   if( pList==0 || pList->nExpr!=1 ) return 0;
20156977fea8Sdrh   if( pExpr->token.n!=3 ) return 0;
20164adee20fSdanielk1977   if( sqlite3StrNICmp(pExpr->token.z,"min",3)==0 ){
20170bce8354Sdrh     seekOp = OP_Rewind;
20184adee20fSdanielk1977   }else if( sqlite3StrNICmp(pExpr->token.z,"max",3)==0 ){
20190bce8354Sdrh     seekOp = OP_Last;
20200bce8354Sdrh   }else{
20210bce8354Sdrh     return 0;
20220bce8354Sdrh   }
20236e17529eSdrh   pExpr = pList->a[0].pExpr;
20249562b551Sdrh   if( pExpr->op!=TK_COLUMN ) return 0;
20259562b551Sdrh   iCol = pExpr->iColumn;
20266e17529eSdrh   pTab = pSrc->a[0].pTab;
20279562b551Sdrh 
20289562b551Sdrh   /* If we get to here, it means the query is of the correct form.
202917f71934Sdrh   ** Check to make sure we have an index and make pIdx point to the
203017f71934Sdrh   ** appropriate index.  If the min() or max() is on an INTEGER PRIMARY
203117f71934Sdrh   ** key column, no index is necessary so set pIdx to NULL.  If no
203217f71934Sdrh   ** usable index is found, return 0.
20339562b551Sdrh   */
20349562b551Sdrh   if( iCol<0 ){
20359562b551Sdrh     pIdx = 0;
20369562b551Sdrh   }else{
2037dc1bdc4fSdanielk1977     CollSeq *pColl = sqlite3ExprCollSeq(pParse, pExpr);
20389562b551Sdrh     for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
20399562b551Sdrh       assert( pIdx->nColumn>=1 );
2040dc1bdc4fSdanielk1977       if( pIdx->aiColumn[0]==iCol && pIdx->keyInfo.aColl[0]==pColl ) break;
20419562b551Sdrh     }
20429562b551Sdrh     if( pIdx==0 ) return 0;
20439562b551Sdrh   }
20449562b551Sdrh 
2045e5f50722Sdrh   /* Identify column types if we will be using the callback.  This
20469562b551Sdrh   ** step is skipped if the output is going to a table or a memory cell.
2047e5f50722Sdrh   ** The column names have already been generated in the calling function.
20489562b551Sdrh   */
20494adee20fSdanielk1977   v = sqlite3GetVdbe(pParse);
20509562b551Sdrh   if( v==0 ) return 0;
20519562b551Sdrh 
20520c37e630Sdrh   /* If the output is destined for a temporary table, open that table.
20530c37e630Sdrh   */
20540c37e630Sdrh   if( eDest==SRT_TempTable ){
20554adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_OpenTemp, iParm, 0);
2056b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, 1);
20570c37e630Sdrh   }
20580c37e630Sdrh 
205917f71934Sdrh   /* Generating code to find the min or the max.  Basically all we have
206017f71934Sdrh   ** to do is find the first or the last entry in the chosen index.  If
206117f71934Sdrh   ** the min() or max() is on the INTEGER PRIMARY KEY, then find the first
206217f71934Sdrh   ** or last entry in the main table.
20639562b551Sdrh   */
20644adee20fSdanielk1977   sqlite3CodeVerifySchema(pParse, pTab->iDb);
20656e17529eSdrh   base = pSrc->a[0].iCursor;
20667b58daeaSdrh   computeLimitRegisters(pParse, p);
20676e17529eSdrh   if( pSrc->a[0].pSelect==0 ){
20684adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, pTab->iDb, 0);
2069d3d39e93Sdrh     sqlite3VdbeAddOp(v, OP_OpenRead, base, pTab->tnum);
2070b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, base, pTab->nCol);
20716e17529eSdrh   }
20724adee20fSdanielk1977   cont = sqlite3VdbeMakeLabel(v);
20739562b551Sdrh   if( pIdx==0 ){
20744adee20fSdanielk1977     sqlite3VdbeAddOp(v, seekOp, base, 0);
20759562b551Sdrh   }else{
20764adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, pIdx->iDb, 0);
2077d3d39e93Sdrh     sqlite3VdbeOp3(v, OP_OpenRead, base+1, pIdx->tnum,
2078d3d39e93Sdrh                    (char*)&pIdx->keyInfo, P3_KEYINFO);
20799eb516c0Sdrh     if( seekOp==OP_Rewind ){
20801af3fdb4Sdrh       sqlite3VdbeAddOp(v, OP_String, 0, 0);
20811af3fdb4Sdrh       sqlite3VdbeAddOp(v, OP_MakeRecord, 1, 0);
20821af3fdb4Sdrh       seekOp = OP_MoveGt;
20839eb516c0Sdrh     }
20841af3fdb4Sdrh     sqlite3VdbeAddOp(v, seekOp, base+1, 0);
20854adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_IdxRecno, base+1, 0);
20864adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Close, base+1, 0);
20877cf6e4deSdrh     sqlite3VdbeAddOp(v, OP_MoveGe, base, 0);
20889562b551Sdrh   }
20895cf8e8c7Sdrh   eList.nExpr = 1;
20905cf8e8c7Sdrh   memset(&eListItem, 0, sizeof(eListItem));
20915cf8e8c7Sdrh   eList.a = &eListItem;
20925cf8e8c7Sdrh   eList.a[0].pExpr = pExpr;
209384ac9d02Sdanielk1977   selectInnerLoop(pParse, p, &eList, 0, 0, 0, -1, eDest, iParm, cont, cont, 0);
20944adee20fSdanielk1977   sqlite3VdbeResolveLabel(v, cont);
20954adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_Close, base, 0);
20966e17529eSdrh 
20979562b551Sdrh   return 1;
20989562b551Sdrh }
20999562b551Sdrh 
21009562b551Sdrh /*
2101*290c1948Sdrh ** Analyze and ORDER BY or GROUP BY clause in a SELECT statement.  Return
2102*290c1948Sdrh ** the number of errors seen.
2103*290c1948Sdrh **
2104*290c1948Sdrh ** An ORDER BY or GROUP BY is a list of expressions.  If any expression
2105*290c1948Sdrh ** is an integer constant, then that expression is replaced by the
2106*290c1948Sdrh ** corresponding entry in the result set.
2107*290c1948Sdrh */
2108*290c1948Sdrh static int processOrderGroupBy(
2109*290c1948Sdrh   Parse *pParse,        /* Parsing context */
2110*290c1948Sdrh   ExprList *pOrderBy,   /* The ORDER BY or GROUP BY clause to be processed */
2111*290c1948Sdrh   SrcList *pTabList,    /* The FROM clause */
2112*290c1948Sdrh   ExprList *pEList,     /* The result set */
2113*290c1948Sdrh   int isAgg,            /* True if aggregate functions are involved */
2114*290c1948Sdrh   const char *zType     /* Either "ORDER" or "GROUP", as appropriate */
2115*290c1948Sdrh ){
2116*290c1948Sdrh   int i;
2117*290c1948Sdrh   if( pOrderBy==0 ) return 0;
2118*290c1948Sdrh   for(i=0; i<pOrderBy->nExpr; i++){
2119*290c1948Sdrh     int iCol;
2120*290c1948Sdrh     Expr *pE = pOrderBy->a[i].pExpr;
2121*290c1948Sdrh     if( sqlite3ExprIsInteger(pE, &iCol) && iCol>0 && iCol<=pEList->nExpr ){
2122*290c1948Sdrh       sqlite3ExprDelete(pE);
2123*290c1948Sdrh       pE = pOrderBy->a[i].pExpr = sqlite3ExprDup(pEList->a[iCol-1].pExpr);
2124*290c1948Sdrh     }
2125*290c1948Sdrh     if( sqlite3ExprResolveAndCheck(pParse, pTabList, pEList, pE, isAgg, 0) ){
2126*290c1948Sdrh       return 1;
2127*290c1948Sdrh     }
2128*290c1948Sdrh     if( sqlite3ExprIsConstant(pE) ){
2129*290c1948Sdrh       if( sqlite3ExprIsInteger(pE, &iCol)==0 ){
2130*290c1948Sdrh         sqlite3ErrorMsg(pParse,
2131*290c1948Sdrh           "%s BY terms must not be non-integer constants", zType);
2132*290c1948Sdrh         return 1;
2133*290c1948Sdrh       }else if( iCol<=0 || iCol>pEList->nExpr ){
2134*290c1948Sdrh         sqlite3ErrorMsg(pParse,
2135*290c1948Sdrh            "%s BY column number %d out of range - should be "
2136*290c1948Sdrh            "between 1 and %d", zType, iCol, pEList->nExpr);
2137*290c1948Sdrh         return 1;
2138*290c1948Sdrh       }
2139*290c1948Sdrh     }
2140*290c1948Sdrh   }
2141*290c1948Sdrh   return 0;
2142*290c1948Sdrh }
2143*290c1948Sdrh 
2144*290c1948Sdrh /*
21459bb61fe7Sdrh ** Generate code for the given SELECT statement.
21469bb61fe7Sdrh **
2147fef5208cSdrh ** The results are distributed in various ways depending on the
2148fef5208cSdrh ** value of eDest and iParm.
2149fef5208cSdrh **
2150fef5208cSdrh **     eDest Value       Result
2151fef5208cSdrh **     ------------    -------------------------------------------
2152fef5208cSdrh **     SRT_Callback    Invoke the callback for each row of the result.
2153fef5208cSdrh **
2154fef5208cSdrh **     SRT_Mem         Store first result in memory cell iParm
2155fef5208cSdrh **
2156e014a838Sdanielk1977 **     SRT_Set         Store results as keys of table iParm.
2157fef5208cSdrh **
215882c3d636Sdrh **     SRT_Union       Store results as a key in a temporary table iParm
215982c3d636Sdrh **
21604b11c6d3Sjplyon **     SRT_Except      Remove results from the temporary table iParm.
2161c4a3c779Sdrh **
2162c4a3c779Sdrh **     SRT_Table       Store results in temporary table iParm
21639bb61fe7Sdrh **
2164e78e8284Sdrh ** The table above is incomplete.  Additional eDist value have be added
2165e78e8284Sdrh ** since this comment was written.  See the selectInnerLoop() function for
2166e78e8284Sdrh ** a complete listing of the allowed values of eDest and their meanings.
2167e78e8284Sdrh **
21689bb61fe7Sdrh ** This routine returns the number of errors.  If any errors are
21699bb61fe7Sdrh ** encountered, then an appropriate error message is left in
21709bb61fe7Sdrh ** pParse->zErrMsg.
21719bb61fe7Sdrh **
21729bb61fe7Sdrh ** This routine does NOT free the Select structure passed in.  The
21739bb61fe7Sdrh ** calling function needs to do that.
21741b2e0329Sdrh **
21751b2e0329Sdrh ** The pParent, parentTab, and *pParentAgg fields are filled in if this
21761b2e0329Sdrh ** SELECT is a subquery.  This routine may try to combine this SELECT
21771b2e0329Sdrh ** with its parent to form a single flat query.  In so doing, it might
21781b2e0329Sdrh ** change the parent query from a non-aggregate to an aggregate query.
21791b2e0329Sdrh ** For that reason, the pParentAgg flag is passed as a pointer, so it
21801b2e0329Sdrh ** can be changed.
2181e78e8284Sdrh **
2182e78e8284Sdrh ** Example 1:   The meaning of the pParent parameter.
2183e78e8284Sdrh **
2184e78e8284Sdrh **    SELECT * FROM t1 JOIN (SELECT x, count(*) FROM t2) JOIN t3;
2185e78e8284Sdrh **    \                      \_______ subquery _______/        /
2186e78e8284Sdrh **     \                                                      /
2187e78e8284Sdrh **      \____________________ outer query ___________________/
2188e78e8284Sdrh **
2189e78e8284Sdrh ** This routine is called for the outer query first.   For that call,
2190e78e8284Sdrh ** pParent will be NULL.  During the processing of the outer query, this
2191e78e8284Sdrh ** routine is called recursively to handle the subquery.  For the recursive
2192e78e8284Sdrh ** call, pParent will point to the outer query.  Because the subquery is
2193e78e8284Sdrh ** the second element in a three-way join, the parentTab parameter will
2194e78e8284Sdrh ** be 1 (the 2nd value of a 0-indexed array.)
21959bb61fe7Sdrh */
21964adee20fSdanielk1977 int sqlite3Select(
2197cce7d176Sdrh   Parse *pParse,         /* The parser context */
21989bb61fe7Sdrh   Select *p,             /* The SELECT statement being coded. */
2199e78e8284Sdrh   int eDest,             /* How to dispose of the results */
2200e78e8284Sdrh   int iParm,             /* A parameter used by the eDest disposal method */
2201832508b7Sdrh   Select *pParent,       /* Another SELECT for which this is a sub-query */
2202832508b7Sdrh   int parentTab,         /* Index in pParent->pSrc of this query */
220384ac9d02Sdanielk1977   int *pParentAgg,       /* True if pParent uses aggregate functions */
220484ac9d02Sdanielk1977   char *aff              /* If eDest is SRT_Union, the affinity string */
2205cce7d176Sdrh ){
2206d8bc7086Sdrh   int i;
2207cce7d176Sdrh   WhereInfo *pWInfo;
2208cce7d176Sdrh   Vdbe *v;
2209cce7d176Sdrh   int isAgg = 0;         /* True for select lists like "count(*)" */
2210a2e00042Sdrh   ExprList *pEList;      /* List of columns to extract. */
2211ad3cab52Sdrh   SrcList *pTabList;     /* List of tables to select from */
22129bb61fe7Sdrh   Expr *pWhere;          /* The WHERE clause.  May be NULL */
22139bb61fe7Sdrh   ExprList *pOrderBy;    /* The ORDER BY clause.  May be NULL */
22142282792aSdrh   ExprList *pGroupBy;    /* The GROUP BY clause.  May be NULL */
22152282792aSdrh   Expr *pHaving;         /* The HAVING clause.  May be NULL */
221619a775c2Sdrh   int isDistinct;        /* True if the DISTINCT keyword is present */
221719a775c2Sdrh   int distinct;          /* Table to use for the distinct set */
22181d83f052Sdrh   int rc = 1;            /* Value to return from this function */
22199bb61fe7Sdrh 
22206f8a503dSdanielk1977   if( sqlite3_malloc_failed || pParse->nErr || p==0 ) return 1;
22214adee20fSdanielk1977   if( sqlite3AuthCheck(pParse, SQLITE_SELECT, 0, 0, 0) ) return 1;
2222daffd0e5Sdrh 
222382c3d636Sdrh   /* If there is are a sequence of queries, do the earlier ones first.
222482c3d636Sdrh   */
222582c3d636Sdrh   if( p->pPrior ){
222684ac9d02Sdanielk1977     return multiSelect(pParse, p, eDest, iParm, aff);
222782c3d636Sdrh   }
222882c3d636Sdrh 
222982c3d636Sdrh   /* Make local copies of the parameters for this query.
223082c3d636Sdrh   */
22319bb61fe7Sdrh   pTabList = p->pSrc;
22329bb61fe7Sdrh   pWhere = p->pWhere;
22339bb61fe7Sdrh   pOrderBy = p->pOrderBy;
22342282792aSdrh   pGroupBy = p->pGroupBy;
22352282792aSdrh   pHaving = p->pHaving;
223619a775c2Sdrh   isDistinct = p->isDistinct;
22379bb61fe7Sdrh 
22386a3ea0e6Sdrh   /* Allocate VDBE cursors for each table in the FROM clause
223910e5e3cfSdrh   */
22404adee20fSdanielk1977   sqlite3SrcListAssignCursors(pParse, pTabList);
224110e5e3cfSdrh 
22429bb61fe7Sdrh   /*
22439bb61fe7Sdrh   ** Do not even attempt to generate any code if we have already seen
22449bb61fe7Sdrh   ** errors before this routine starts.
22459bb61fe7Sdrh   */
22461d83f052Sdrh   if( pParse->nErr>0 ) goto select_end;
2247cce7d176Sdrh 
2248e78e8284Sdrh   /* Expand any "*" terms in the result set.  (For example the "*" in
2249e78e8284Sdrh   ** "SELECT * FROM t1")  The fillInColumnlist() routine also does some
2250e78e8284Sdrh   ** other housekeeping - see the header comment for details.
2251cce7d176Sdrh   */
2252d8bc7086Sdrh   if( fillInColumnList(pParse, p) ){
22531d83f052Sdrh     goto select_end;
2254cce7d176Sdrh   }
2255ad2d8307Sdrh   pWhere = p->pWhere;
2256d8bc7086Sdrh   pEList = p->pEList;
22571d83f052Sdrh   if( pEList==0 ) goto select_end;
2258cce7d176Sdrh 
22592282792aSdrh   /* If writing to memory or generating a set
22602282792aSdrh   ** only a single column may be output.
226119a775c2Sdrh   */
2262fef5208cSdrh   if( (eDest==SRT_Mem || eDest==SRT_Set) && pEList->nExpr>1 ){
22634adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "only a single result allowed for "
2264da93d238Sdrh        "a SELECT that is part of an expression");
22651d83f052Sdrh     goto select_end;
226619a775c2Sdrh   }
226719a775c2Sdrh 
2268c926afbcSdrh   /* ORDER BY is ignored for some destinations.
22692282792aSdrh   */
2270c926afbcSdrh   switch( eDest ){
2271c926afbcSdrh     case SRT_Union:
2272c926afbcSdrh     case SRT_Except:
2273c926afbcSdrh     case SRT_Discard:
2274acd4c695Sdrh       pOrderBy = 0;
2275c926afbcSdrh       break;
2276c926afbcSdrh     default:
2277c926afbcSdrh       break;
22782282792aSdrh   }
22792282792aSdrh 
228010e5e3cfSdrh   /* At this point, we should have allocated all the cursors that we
2281832508b7Sdrh   ** need to handle subquerys and temporary tables.
228210e5e3cfSdrh   **
2283967e8b73Sdrh   ** Resolve the column names and do a semantics check on all the expressions.
22842282792aSdrh   */
22854794b980Sdrh   for(i=0; i<pEList->nExpr; i++){
2286*290c1948Sdrh     if( sqlite3ExprResolveAndCheck(pParse, pTabList, 0, pEList->a[i].pExpr,
2287*290c1948Sdrh                                     1, &isAgg) ){
22881d83f052Sdrh       goto select_end;
2289cce7d176Sdrh     }
2290cce7d176Sdrh   }
2291*290c1948Sdrh   if( sqlite3ExprResolveAndCheck(pParse, pTabList, pEList, pWhere, 0, 0) ){
22921d83f052Sdrh     goto select_end;
2293cce7d176Sdrh   }
2294c66c5a26Sdrh   if( pHaving ){
2295c66c5a26Sdrh     if( pGroupBy==0 ){
22964adee20fSdanielk1977       sqlite3ErrorMsg(pParse, "a GROUP BY clause is required before HAVING");
2297c66c5a26Sdrh       goto select_end;
2298c66c5a26Sdrh     }
2299*290c1948Sdrh     if( sqlite3ExprResolveAndCheck(pParse, pTabList, pEList,pHaving,1,&isAgg) ){
2300c66c5a26Sdrh       goto select_end;
2301c66c5a26Sdrh     }
2302c66c5a26Sdrh   }
2303*290c1948Sdrh   if( processOrderGroupBy(pParse, pOrderBy, pTabList, pEList, isAgg, "ORDER")
2304*290c1948Sdrh    || processOrderGroupBy(pParse, pGroupBy, pTabList, pEList, isAgg, "GROUP")
2305*290c1948Sdrh   ){
230688eee38aSdrh     goto select_end;
230788eee38aSdrh   }
2308cce7d176Sdrh 
2309d820cb1bSdrh   /* Begin generating code.
2310d820cb1bSdrh   */
23114adee20fSdanielk1977   v = sqlite3GetVdbe(pParse);
2312d820cb1bSdrh   if( v==0 ) goto select_end;
2313d820cb1bSdrh 
2314e78e8284Sdrh   /* Identify column names if we will be using them in a callback.  This
2315e78e8284Sdrh   ** step is skipped if the output is going to some other destination.
23160bb28106Sdrh   */
23170bb28106Sdrh   if( eDest==SRT_Callback ){
23186a3ea0e6Sdrh     generateColumnNames(pParse, pTabList, pEList);
23190bb28106Sdrh   }
23200bb28106Sdrh 
2321d3d39e93Sdrh #if 1  /* I do not think we need the following code any more.... */
232284ac9d02Sdanielk1977   /* If the destination is SRT_Union, then set the number of columns in
232384ac9d02Sdanielk1977   ** the records that will be inserted into the temporary table. The caller
232484ac9d02Sdanielk1977   ** couldn't do this, in case the select statement is of the form
232584ac9d02Sdanielk1977   ** "SELECT * FROM ....".
232684ac9d02Sdanielk1977   **
232784ac9d02Sdanielk1977   ** We need to do this before we start inserting records into the
232884ac9d02Sdanielk1977   ** temporary table (which has had OP_KeyAsData executed on it), because
232984ac9d02Sdanielk1977   ** it is required by the key comparison function. So do it now, even
233084ac9d02Sdanielk1977   ** though this means that OP_SetNumColumns may be executed on the same
233184ac9d02Sdanielk1977   ** cursor more than once.
233284ac9d02Sdanielk1977   */
233384ac9d02Sdanielk1977   if( eDest==SRT_Union ){
233484ac9d02Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, pEList->nExpr);
233584ac9d02Sdanielk1977   }
2336d3d39e93Sdrh #endif
233784ac9d02Sdanielk1977 
2338d820cb1bSdrh   /* Generate code for all sub-queries in the FROM clause
2339d820cb1bSdrh   */
2340ad3cab52Sdrh   for(i=0; i<pTabList->nSrc; i++){
2341742f947bSdanielk1977     const char *zSavedAuthContext = 0;
2342c31c2eb8Sdrh     int needRestoreContext;
2343c31c2eb8Sdrh 
2344a76b5dfcSdrh     if( pTabList->a[i].pSelect==0 ) continue;
23455cf590c1Sdrh     if( pTabList->a[i].zName!=0 ){
23465cf590c1Sdrh       zSavedAuthContext = pParse->zAuthContext;
23475cf590c1Sdrh       pParse->zAuthContext = pTabList->a[i].zName;
2348c31c2eb8Sdrh       needRestoreContext = 1;
2349c31c2eb8Sdrh     }else{
2350c31c2eb8Sdrh       needRestoreContext = 0;
23515cf590c1Sdrh     }
23524adee20fSdanielk1977     sqlite3Select(pParse, pTabList->a[i].pSelect, SRT_TempTable,
235384ac9d02Sdanielk1977                  pTabList->a[i].iCursor, p, i, &isAgg, 0);
2354c31c2eb8Sdrh     if( needRestoreContext ){
23555cf590c1Sdrh       pParse->zAuthContext = zSavedAuthContext;
23565cf590c1Sdrh     }
2357832508b7Sdrh     pTabList = p->pSrc;
2358832508b7Sdrh     pWhere = p->pWhere;
2359c31c2eb8Sdrh     if( eDest!=SRT_Union && eDest!=SRT_Except && eDest!=SRT_Discard ){
2360832508b7Sdrh       pOrderBy = p->pOrderBy;
2361acd4c695Sdrh     }
2362832508b7Sdrh     pGroupBy = p->pGroupBy;
2363832508b7Sdrh     pHaving = p->pHaving;
2364832508b7Sdrh     isDistinct = p->isDistinct;
23651b2e0329Sdrh   }
23661b2e0329Sdrh 
23676e17529eSdrh   /* Check for the special case of a min() or max() function by itself
23686e17529eSdrh   ** in the result set.
23696e17529eSdrh   */
23706e17529eSdrh   if( simpleMinMaxQuery(pParse, p, eDest, iParm) ){
23716e17529eSdrh     rc = 0;
23726e17529eSdrh     goto select_end;
23736e17529eSdrh   }
23746e17529eSdrh 
23751b2e0329Sdrh   /* Check to see if this is a subquery that can be "flattened" into its parent.
23761b2e0329Sdrh   ** If flattening is a possiblity, do so and return immediately.
23771b2e0329Sdrh   */
23781b2e0329Sdrh   if( pParent && pParentAgg &&
23798c74a8caSdrh       flattenSubquery(pParse, pParent, parentTab, *pParentAgg, isAgg) ){
23801b2e0329Sdrh     if( isAgg ) *pParentAgg = 1;
23811b2e0329Sdrh     return rc;
23821b2e0329Sdrh   }
2383832508b7Sdrh 
23847cedc8d4Sdanielk1977   /* If there is an ORDER BY clause, resolve any collation sequences
23857cedc8d4Sdanielk1977   ** names that have been explicitly specified.
23867cedc8d4Sdanielk1977   */
23877cedc8d4Sdanielk1977   if( pOrderBy ){
23887cedc8d4Sdanielk1977     for(i=0; i<pOrderBy->nExpr; i++){
23897cedc8d4Sdanielk1977       if( pOrderBy->a[i].zName ){
23907cedc8d4Sdanielk1977         pOrderBy->a[i].pExpr->pColl =
23917cedc8d4Sdanielk1977             sqlite3LocateCollSeq(pParse, pOrderBy->a[i].zName, -1);
23927cedc8d4Sdanielk1977       }
23937cedc8d4Sdanielk1977     }
23947cedc8d4Sdanielk1977     if( pParse->nErr ){
23957cedc8d4Sdanielk1977       goto select_end;
23967cedc8d4Sdanielk1977     }
23977cedc8d4Sdanielk1977   }
23987cedc8d4Sdanielk1977 
23997b58daeaSdrh   /* Set the limiter.
24007b58daeaSdrh   */
24017b58daeaSdrh   computeLimitRegisters(pParse, p);
24027b58daeaSdrh 
24032d0794e3Sdrh   /* If the output is destined for a temporary table, open that table.
24042d0794e3Sdrh   */
24052d0794e3Sdrh   if( eDest==SRT_TempTable ){
24064adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_OpenTemp, iParm, 0);
2407b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, pEList->nExpr);
24082d0794e3Sdrh   }
24092d0794e3Sdrh 
24102282792aSdrh   /* Do an analysis of aggregate expressions.
2411efb7251dSdrh   */
2412d820cb1bSdrh   sqliteAggregateInfoReset(pParse);
2413bb999ef6Sdrh   if( isAgg || pGroupBy ){
24140bce8354Sdrh     assert( pParse->nAgg==0 );
2415bb999ef6Sdrh     isAgg = 1;
24162282792aSdrh     for(i=0; i<pEList->nExpr; i++){
24174adee20fSdanielk1977       if( sqlite3ExprAnalyzeAggregates(pParse, pEList->a[i].pExpr) ){
24181d83f052Sdrh         goto select_end;
24192282792aSdrh       }
24202282792aSdrh     }
24212282792aSdrh     if( pGroupBy ){
24222282792aSdrh       for(i=0; i<pGroupBy->nExpr; i++){
24234adee20fSdanielk1977         if( sqlite3ExprAnalyzeAggregates(pParse, pGroupBy->a[i].pExpr) ){
24241d83f052Sdrh           goto select_end;
24252282792aSdrh         }
24262282792aSdrh       }
24272282792aSdrh     }
24284adee20fSdanielk1977     if( pHaving && sqlite3ExprAnalyzeAggregates(pParse, pHaving) ){
24291d83f052Sdrh       goto select_end;
24302282792aSdrh     }
2431191b690eSdrh     if( pOrderBy ){
2432191b690eSdrh       for(i=0; i<pOrderBy->nExpr; i++){
24334adee20fSdanielk1977         if( sqlite3ExprAnalyzeAggregates(pParse, pOrderBy->a[i].pExpr) ){
24341d83f052Sdrh           goto select_end;
2435191b690eSdrh         }
2436191b690eSdrh       }
2437191b690eSdrh     }
2438efb7251dSdrh   }
2439efb7251dSdrh 
24402282792aSdrh   /* Reset the aggregator
2441cce7d176Sdrh   */
2442cce7d176Sdrh   if( isAgg ){
2443e159fdf2Sdanielk1977     int addr = sqlite3VdbeAddOp(v, OP_AggReset, (pGroupBy?0:1), pParse->nAgg);
2444e5095355Sdrh     for(i=0; i<pParse->nAgg; i++){
24450bce8354Sdrh       FuncDef *pFunc;
24460bce8354Sdrh       if( (pFunc = pParse->aAgg[i].pFunc)!=0 && pFunc->xFinalize!=0 ){
2447f9b596ebSdrh         sqlite3VdbeOp3(v, OP_AggInit, 0, i, (char*)pFunc, P3_FUNCDEF);
2448e5095355Sdrh       }
2449e5095355Sdrh     }
2450e159fdf2Sdanielk1977     if( pGroupBy ){
2451ce2663ccSdanielk1977       int sz = sizeof(KeyInfo) + pGroupBy->nExpr*sizeof(CollSeq*);
2452ce2663ccSdanielk1977       KeyInfo *pKey = (KeyInfo *)sqliteMalloc(sz);
2453ce2663ccSdanielk1977       if( 0==pKey ){
2454ce2663ccSdanielk1977         goto select_end;
2455ce2663ccSdanielk1977       }
2456ce2663ccSdanielk1977       pKey->enc = pParse->db->enc;
2457ce2663ccSdanielk1977       pKey->nField = pGroupBy->nExpr;
2458ce2663ccSdanielk1977       for(i=0; i<pGroupBy->nExpr; i++){
2459ce2663ccSdanielk1977         pKey->aColl[i] = sqlite3ExprCollSeq(pParse, pGroupBy->a[i].pExpr);
2460ce2663ccSdanielk1977         if( !pKey->aColl[i] ){
2461ce2663ccSdanielk1977           pKey->aColl[i] = pParse->db->pDfltColl;
2462ce2663ccSdanielk1977         }
2463ce2663ccSdanielk1977       }
2464ce2663ccSdanielk1977       sqlite3VdbeChangeP3(v, addr, (char *)pKey, P3_KEYINFO_HANDOFF);
24651bee3d7bSdrh     }
2466cce7d176Sdrh   }
2467cce7d176Sdrh 
246819a775c2Sdrh   /* Initialize the memory cell to NULL
246919a775c2Sdrh   */
2470fef5208cSdrh   if( eDest==SRT_Mem ){
24710f69c1e3Sdanielk1977     sqlite3VdbeAddOp(v, OP_String8, 0, 0);
24724adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemStore, iParm, 1);
247319a775c2Sdrh   }
247419a775c2Sdrh 
2475832508b7Sdrh   /* Open a temporary table to use for the distinct set.
2476cce7d176Sdrh   */
247719a775c2Sdrh   if( isDistinct ){
2478832508b7Sdrh     distinct = pParse->nTab++;
2479d3d39e93Sdrh     openTempIndex(pParse, p, distinct, 0);
2480832508b7Sdrh   }else{
2481832508b7Sdrh     distinct = -1;
2482efb7251dSdrh   }
2483832508b7Sdrh 
2484832508b7Sdrh   /* Begin the database scan
2485832508b7Sdrh   */
24864adee20fSdanielk1977   pWInfo = sqlite3WhereBegin(pParse, pTabList, pWhere, 0,
248768d2e591Sdrh                             pGroupBy ? 0 : &pOrderBy);
24881d83f052Sdrh   if( pWInfo==0 ) goto select_end;
2489cce7d176Sdrh 
24902282792aSdrh   /* Use the standard inner loop if we are not dealing with
24912282792aSdrh   ** aggregates
2492cce7d176Sdrh   */
2493da9d6c45Sdrh   if( !isAgg ){
2494df199a25Sdrh     if( selectInnerLoop(pParse, p, pEList, 0, 0, pOrderBy, distinct, eDest,
249584ac9d02Sdanielk1977                     iParm, pWInfo->iContinue, pWInfo->iBreak, aff) ){
24961d83f052Sdrh        goto select_end;
2497cce7d176Sdrh     }
2498da9d6c45Sdrh   }
2499cce7d176Sdrh 
2500e3184744Sdrh   /* If we are dealing with aggregates, then do the special aggregate
25012282792aSdrh   ** processing.
2502efb7251dSdrh   */
25032282792aSdrh   else{
2504268380caSdrh     AggExpr *pAgg;
25052282792aSdrh     if( pGroupBy ){
25061bee3d7bSdrh       int lbl1;
25072282792aSdrh       for(i=0; i<pGroupBy->nExpr; i++){
25084adee20fSdanielk1977         sqlite3ExprCode(pParse, pGroupBy->a[i].pExpr);
2509efb7251dSdrh       }
2510ededfd5eSdanielk1977       /* No affinity string is attached to the following OP_MakeRecord
2511d3d39e93Sdrh       ** because we do not need to do any coercion of datatypes. */
2512ededfd5eSdanielk1977       sqlite3VdbeAddOp(v, OP_MakeRecord, pGroupBy->nExpr, 0);
25134adee20fSdanielk1977       lbl1 = sqlite3VdbeMakeLabel(v);
25144adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_AggFocus, 0, lbl1);
2515268380caSdrh       for(i=0, pAgg=pParse->aAgg; i<pParse->nAgg; i++, pAgg++){
2516268380caSdrh         if( pAgg->isAgg ) continue;
25174adee20fSdanielk1977         sqlite3ExprCode(pParse, pAgg->pExpr);
25184adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_AggSet, 0, i);
25192282792aSdrh       }
25204adee20fSdanielk1977       sqlite3VdbeResolveLabel(v, lbl1);
25212282792aSdrh     }
2522268380caSdrh     for(i=0, pAgg=pParse->aAgg; i<pParse->nAgg; i++, pAgg++){
25232282792aSdrh       Expr *pE;
2524268380caSdrh       int nExpr;
2525268380caSdrh       FuncDef *pDef;
2526268380caSdrh       if( !pAgg->isAgg ) continue;
2527268380caSdrh       assert( pAgg->pFunc!=0 );
2528268380caSdrh       assert( pAgg->pFunc->xStep!=0 );
2529268380caSdrh       pDef = pAgg->pFunc;
2530268380caSdrh       pE = pAgg->pExpr;
2531268380caSdrh       assert( pE!=0 );
25322282792aSdrh       assert( pE->op==TK_AGG_FUNCTION );
2533f9b596ebSdrh       nExpr = sqlite3ExprCodeExprList(pParse, pE->pList);
25344adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Integer, i, 0);
2535dc1bdc4fSdanielk1977       if( pDef->needCollSeq ){
2536dc1bdc4fSdanielk1977         CollSeq *pColl = 0;
2537dc1bdc4fSdanielk1977         int j;
2538dc1bdc4fSdanielk1977         for(j=0; !pColl && j<nExpr; j++){
2539dc1bdc4fSdanielk1977           pColl = sqlite3ExprCollSeq(pParse, pE->pList->a[j].pExpr);
2540dc1bdc4fSdanielk1977         }
2541dc1bdc4fSdanielk1977         if( !pColl ) pColl = pParse->db->pDfltColl;
2542dc1bdc4fSdanielk1977         sqlite3VdbeOp3(v, OP_CollSeq, 0, 0, (char *)pColl, P3_COLLSEQ);
2543dc1bdc4fSdanielk1977       }
25444adee20fSdanielk1977       sqlite3VdbeOp3(v, OP_AggFunc, 0, nExpr, (char*)pDef, P3_POINTER);
25452282792aSdrh     }
25462282792aSdrh   }
25472282792aSdrh 
2548cce7d176Sdrh   /* End the database scan loop.
2549cce7d176Sdrh   */
25504adee20fSdanielk1977   sqlite3WhereEnd(pWInfo);
2551cce7d176Sdrh 
25522282792aSdrh   /* If we are processing aggregates, we need to set up a second loop
25532282792aSdrh   ** over all of the aggregate values and process them.
25542282792aSdrh   */
25552282792aSdrh   if( isAgg ){
25564adee20fSdanielk1977     int endagg = sqlite3VdbeMakeLabel(v);
25572282792aSdrh     int startagg;
25584adee20fSdanielk1977     startagg = sqlite3VdbeAddOp(v, OP_AggNext, 0, endagg);
25592282792aSdrh     pParse->useAgg = 1;
25602282792aSdrh     if( pHaving ){
25614adee20fSdanielk1977       sqlite3ExprIfFalse(pParse, pHaving, startagg, 1);
25622282792aSdrh     }
2563df199a25Sdrh     if( selectInnerLoop(pParse, p, pEList, 0, 0, pOrderBy, distinct, eDest,
256484ac9d02Sdanielk1977                     iParm, startagg, endagg, aff) ){
25651d83f052Sdrh       goto select_end;
25662282792aSdrh     }
25674adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Goto, 0, startagg);
25684adee20fSdanielk1977     sqlite3VdbeResolveLabel(v, endagg);
25694adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Noop, 0, 0);
25702282792aSdrh     pParse->useAgg = 0;
25712282792aSdrh   }
25722282792aSdrh 
2573cce7d176Sdrh   /* If there is an ORDER BY clause, then we need to sort the results
2574cce7d176Sdrh   ** and send them to the callback one by one.
2575cce7d176Sdrh   */
2576cce7d176Sdrh   if( pOrderBy ){
2577ffbc3088Sdrh     generateSortTail(pParse, p, v, pEList->nExpr, eDest, iParm);
2578cce7d176Sdrh   }
25796a535340Sdrh 
2580f620b4e2Sdrh   /* If this was a subquery, we have now converted the subquery into a
2581f620b4e2Sdrh   ** temporary table.  So delete the subquery structure from the parent
2582f620b4e2Sdrh   ** to prevent this subquery from being evaluated again and to force the
2583f620b4e2Sdrh   ** the use of the temporary table.
2584f620b4e2Sdrh   */
2585f620b4e2Sdrh   if( pParent ){
2586f620b4e2Sdrh     assert( pParent->pSrc->nSrc>parentTab );
2587f620b4e2Sdrh     assert( pParent->pSrc->a[parentTab].pSelect==p );
25884adee20fSdanielk1977     sqlite3SelectDelete(p);
2589f620b4e2Sdrh     pParent->pSrc->a[parentTab].pSelect = 0;
2590f620b4e2Sdrh   }
2591f620b4e2Sdrh 
25921d83f052Sdrh   /* The SELECT was successfully coded.   Set the return code to 0
25931d83f052Sdrh   ** to indicate no errors.
25941d83f052Sdrh   */
25951d83f052Sdrh   rc = 0;
25961d83f052Sdrh 
25971d83f052Sdrh   /* Control jumps to here if an error is encountered above, or upon
25981d83f052Sdrh   ** successful coding of the SELECT.
25991d83f052Sdrh   */
26001d83f052Sdrh select_end:
26011d83f052Sdrh   sqliteAggregateInfoReset(pParse);
26021d83f052Sdrh   return rc;
2603cce7d176Sdrh }
2604