xref: /sqlite-3.40.0/src/select.c (revision ededfd5e)
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*ededfd5eSdanielk1977 ** $Id: select.c,v 1.192 2004/06/17 07:53:03 danielk1977 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;
8601f3f253Sdrh     int nChar;
8701f3f253Sdrh     int 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   }
319*ededfd5eSdanielk1977   sqlite3VdbeAddOp(v, OP_MakeRecord, pOrderBy->nExpr, 0);
3204adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_SortPut, 0, 0);
321c926afbcSdrh }
322c926afbcSdrh 
323c926afbcSdrh /*
3242282792aSdrh ** This routine generates the code for the inside of the inner loop
3252282792aSdrh ** of a SELECT.
32682c3d636Sdrh **
32738640e15Sdrh ** If srcTab and nColumn are both zero, then the pEList expressions
32838640e15Sdrh ** are evaluated in order to get the data for this row.  If nColumn>0
32938640e15Sdrh ** then data is pulled from srcTab and pEList is used only to get the
33038640e15Sdrh ** datatypes for each column.
3312282792aSdrh */
3322282792aSdrh static int selectInnerLoop(
3332282792aSdrh   Parse *pParse,          /* The parser context */
334df199a25Sdrh   Select *p,              /* The complete select statement being coded */
3352282792aSdrh   ExprList *pEList,       /* List of values being extracted */
33682c3d636Sdrh   int srcTab,             /* Pull data from this table */
337967e8b73Sdrh   int nColumn,            /* Number of columns in the source table */
3382282792aSdrh   ExprList *pOrderBy,     /* If not NULL, sort results using this key */
3392282792aSdrh   int distinct,           /* If >=0, make sure results are distinct */
3402282792aSdrh   int eDest,              /* How to dispose of the results */
3412282792aSdrh   int iParm,              /* An argument to the disposal method */
3422282792aSdrh   int iContinue,          /* Jump here to continue with next row */
34384ac9d02Sdanielk1977   int iBreak,             /* Jump here to break out of the inner loop */
34484ac9d02Sdanielk1977   char *aff               /* affinity string if eDest is SRT_Union */
3452282792aSdrh ){
3462282792aSdrh   Vdbe *v = pParse->pVdbe;
3472282792aSdrh   int i;
34838640e15Sdrh 
349daffd0e5Sdrh   if( v==0 ) return 0;
35038640e15Sdrh   assert( pEList!=0 );
3512282792aSdrh 
352df199a25Sdrh   /* If there was a LIMIT clause on the SELECT statement, then do the check
353df199a25Sdrh   ** to see if this row should be output.
354df199a25Sdrh   */
355df199a25Sdrh   if( pOrderBy==0 ){
3567b58daeaSdrh     if( p->iOffset>=0 ){
3574adee20fSdanielk1977       int addr = sqlite3VdbeCurrentAddr(v);
3584adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MemIncr, p->iOffset, addr+2);
3594adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Goto, 0, iContinue);
360df199a25Sdrh     }
3617b58daeaSdrh     if( p->iLimit>=0 ){
3624adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MemIncr, p->iLimit, iBreak);
363df199a25Sdrh     }
364df199a25Sdrh   }
365df199a25Sdrh 
366967e8b73Sdrh   /* Pull the requested columns.
3672282792aSdrh   */
36838640e15Sdrh   if( nColumn>0 ){
369967e8b73Sdrh     for(i=0; i<nColumn; i++){
3704adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Column, srcTab, i);
37182c3d636Sdrh     }
37238640e15Sdrh   }else{
37338640e15Sdrh     nColumn = pEList->nExpr;
37438640e15Sdrh     for(i=0; i<pEList->nExpr; i++){
3754adee20fSdanielk1977       sqlite3ExprCode(pParse, pEList->a[i].pExpr);
37638640e15Sdrh     }
37782c3d636Sdrh   }
3782282792aSdrh 
379daffd0e5Sdrh   /* If the DISTINCT keyword was present on the SELECT statement
380daffd0e5Sdrh   ** and this row has been seen before, then do not make this row
381daffd0e5Sdrh   ** part of the result.
3822282792aSdrh   */
383f5905aa7Sdrh   if( distinct>=0 && pEList && pEList->nExpr>0 ){
3840bd1f4eaSdrh #if NULL_ALWAYS_DISTINCT
3854adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_IsNull, -pEList->nExpr, sqlite3VdbeCurrentAddr(v)+7);
3860bd1f4eaSdrh #endif
387*ededfd5eSdanielk1977     /* Deliberately leave the affinity string off of the following
388*ededfd5eSdanielk1977     ** OP_MakeRecord */
389*ededfd5eSdanielk1977     sqlite3VdbeAddOp(v, OP_MakeRecord, pEList->nExpr * -1, 0);
3904adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Distinct, distinct, sqlite3VdbeCurrentAddr(v)+3);
3914adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Pop, pEList->nExpr+1, 0);
3924adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Goto, 0, iContinue);
3930f69c1e3Sdanielk1977     sqlite3VdbeAddOp(v, OP_String8, 0, 0);
3944adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_PutStrKey, distinct, 0);
3952282792aSdrh   }
39682c3d636Sdrh 
397c926afbcSdrh   switch( eDest ){
39882c3d636Sdrh     /* In this mode, write each query result to the key of the temporary
39982c3d636Sdrh     ** table iParm.
4002282792aSdrh     */
401c926afbcSdrh     case SRT_Union: {
4024adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, NULL_ALWAYS_DISTINCT);
40384ac9d02Sdanielk1977       sqlite3VdbeChangeP3(v, -1, aff, P3_STATIC);
4040f69c1e3Sdanielk1977       sqlite3VdbeAddOp(v, OP_String8, 0, 0);
4054adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_PutStrKey, iParm, 0);
406c926afbcSdrh       break;
407c926afbcSdrh     }
40882c3d636Sdrh 
4095974a30fSdrh     /* Store the result as data using a unique key.
4105974a30fSdrh     */
411c926afbcSdrh     case SRT_Table:
412c926afbcSdrh     case SRT_TempTable: {
4134adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, 0);
414c926afbcSdrh       if( pOrderBy ){
415c926afbcSdrh         pushOntoSorter(pParse, v, pOrderBy);
416c926afbcSdrh       }else{
4174adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_NewRecno, iParm, 0);
4184adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
4194adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_PutIntKey, iParm, 0);
420c926afbcSdrh       }
421c926afbcSdrh       break;
422c926afbcSdrh     }
4235974a30fSdrh 
42482c3d636Sdrh     /* Construct a record from the query result, but instead of
42582c3d636Sdrh     ** saving that record, use it as a key to delete elements from
42682c3d636Sdrh     ** the temporary table iParm.
42782c3d636Sdrh     */
428c926afbcSdrh     case SRT_Except: {
4290bd1f4eaSdrh       int addr;
4304adee20fSdanielk1977       addr = sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, NULL_ALWAYS_DISTINCT);
43184ac9d02Sdanielk1977       sqlite3VdbeChangeP3(v, -1, aff, P3_STATIC);
4324adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotFound, iParm, addr+3);
4334adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Delete, iParm, 0);
434c926afbcSdrh       break;
435c926afbcSdrh     }
4362282792aSdrh 
4372282792aSdrh     /* If we are creating a set for an "expr IN (SELECT ...)" construct,
4382282792aSdrh     ** then there should be a single item on the stack.  Write this
4392282792aSdrh     ** item into the set table with bogus data.
4402282792aSdrh     */
441c926afbcSdrh     case SRT_Set: {
4424adee20fSdanielk1977       int addr1 = sqlite3VdbeCurrentAddr(v);
44352b36cabSdrh       int addr2;
444e014a838Sdanielk1977 
445967e8b73Sdrh       assert( nColumn==1 );
4464adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotNull, -1, addr1+3);
4474adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
4484adee20fSdanielk1977       addr2 = sqlite3VdbeAddOp(v, OP_Goto, 0, 0);
449c926afbcSdrh       if( pOrderBy ){
450c926afbcSdrh         pushOntoSorter(pParse, v, pOrderBy);
451c926afbcSdrh       }else{
452e014a838Sdanielk1977         char const *affStr;
453e014a838Sdanielk1977         char aff = (iParm>>16)&0xFF;
454e014a838Sdanielk1977         aff = sqlite3CompareAffinity(pEList->a[0].pExpr, aff);
455e014a838Sdanielk1977         affStr = sqlite3AffinityString(aff);
456*ededfd5eSdanielk1977         sqlite3VdbeOp3(v, OP_MakeRecord, 1, 0, affStr, P3_STATIC);
4570f69c1e3Sdanielk1977         sqlite3VdbeAddOp(v, OP_String8, 0, 0);
458e014a838Sdanielk1977         sqlite3VdbeAddOp(v, OP_PutStrKey, (iParm&0x0000FFFF), 0);
459c926afbcSdrh       }
4604adee20fSdanielk1977       sqlite3VdbeChangeP2(v, addr2, sqlite3VdbeCurrentAddr(v));
461c926afbcSdrh       break;
462c926afbcSdrh     }
46382c3d636Sdrh 
4642282792aSdrh     /* If this is a scalar select that is part of an expression, then
4652282792aSdrh     ** store the results in the appropriate memory cell and break out
4662282792aSdrh     ** of the scan loop.
4672282792aSdrh     */
468c926afbcSdrh     case SRT_Mem: {
469967e8b73Sdrh       assert( nColumn==1 );
470c926afbcSdrh       if( pOrderBy ){
471c926afbcSdrh         pushOntoSorter(pParse, v, pOrderBy);
472c926afbcSdrh       }else{
4734adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_MemStore, iParm, 1);
4744adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Goto, 0, iBreak);
475c926afbcSdrh       }
476c926afbcSdrh       break;
477c926afbcSdrh     }
4782282792aSdrh 
479f46f905aSdrh     /* Send the data to the callback function.
480f46f905aSdrh     */
481f46f905aSdrh     case SRT_Callback:
482f46f905aSdrh     case SRT_Sorter: {
483f46f905aSdrh       if( pOrderBy ){
484ce665cf6Sdrh         sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, 0);
485f46f905aSdrh         pushOntoSorter(pParse, v, pOrderBy);
486f46f905aSdrh       }else{
487f46f905aSdrh         assert( eDest==SRT_Callback );
4884adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Callback, nColumn, 0);
489f46f905aSdrh       }
490f46f905aSdrh       break;
491f46f905aSdrh     }
492f46f905aSdrh 
493142e30dfSdrh     /* Invoke a subroutine to handle the results.  The subroutine itself
494142e30dfSdrh     ** is responsible for popping the results off of the stack.
495142e30dfSdrh     */
496142e30dfSdrh     case SRT_Subroutine: {
497ac82fcf5Sdrh       if( pOrderBy ){
4984adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_MakeRecord, nColumn, 0);
499ac82fcf5Sdrh         pushOntoSorter(pParse, v, pOrderBy);
500ac82fcf5Sdrh       }else{
5014adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Gosub, 0, iParm);
502ac82fcf5Sdrh       }
503142e30dfSdrh       break;
504142e30dfSdrh     }
505142e30dfSdrh 
506d7489c39Sdrh     /* Discard the results.  This is used for SELECT statements inside
507d7489c39Sdrh     ** the body of a TRIGGER.  The purpose of such selects is to call
508d7489c39Sdrh     ** user-defined functions that have side effects.  We do not care
509d7489c39Sdrh     ** about the actual results of the select.
510d7489c39Sdrh     */
511c926afbcSdrh     default: {
512f46f905aSdrh       assert( eDest==SRT_Discard );
5134adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, nColumn, 0);
514c926afbcSdrh       break;
515c926afbcSdrh     }
516c926afbcSdrh   }
51782c3d636Sdrh   return 0;
51882c3d636Sdrh }
51982c3d636Sdrh 
52082c3d636Sdrh /*
521d8bc7086Sdrh ** If the inner loop was generated using a non-null pOrderBy argument,
522d8bc7086Sdrh ** then the results were placed in a sorter.  After the loop is terminated
523d8bc7086Sdrh ** we need to run the sorter and output the results.  The following
524d8bc7086Sdrh ** routine generates the code needed to do that.
525d8bc7086Sdrh */
526c926afbcSdrh static void generateSortTail(
527ffbc3088Sdrh   Parse *pParse,   /* The parsing context */
528c926afbcSdrh   Select *p,       /* The SELECT statement */
529c926afbcSdrh   Vdbe *v,         /* Generate code into this VDBE */
530c926afbcSdrh   int nColumn,     /* Number of columns of data */
531c926afbcSdrh   int eDest,       /* Write the sorted results here */
532c926afbcSdrh   int iParm        /* Optional parameter associated with eDest */
533c926afbcSdrh ){
5344adee20fSdanielk1977   int end1 = sqlite3VdbeMakeLabel(v);
5354adee20fSdanielk1977   int end2 = sqlite3VdbeMakeLabel(v);
536d8bc7086Sdrh   int addr;
537ffbc3088Sdrh   KeyInfo *pInfo;
538ffbc3088Sdrh   ExprList *pOrderBy;
539ffbc3088Sdrh   int nCol, i;
540ffbc3088Sdrh   sqlite *db = pParse->db;
541ffbc3088Sdrh 
542f46f905aSdrh   if( eDest==SRT_Sorter ) return;
543ffbc3088Sdrh   pOrderBy = p->pOrderBy;
544ffbc3088Sdrh   nCol = pOrderBy->nExpr;
545ffbc3088Sdrh   pInfo = sqliteMalloc( sizeof(*pInfo) + nCol*(sizeof(CollSeq*)+1) );
546ffbc3088Sdrh   if( pInfo==0 ) return;
547ffbc3088Sdrh   pInfo->aSortOrder = (char*)&pInfo->aColl[nCol];
548ffbc3088Sdrh   pInfo->nField = nCol;
549ffbc3088Sdrh   for(i=0; i<nCol; i++){
5500202b29eSdanielk1977     /* If a collation sequence was specified explicity, then it
5510202b29eSdanielk1977     ** is stored in pOrderBy->a[i].zName. Otherwise, use the default
5520202b29eSdanielk1977     ** collation type for the expression.
5530202b29eSdanielk1977     */
5547cedc8d4Sdanielk1977     pInfo->aColl[i] = sqlite3ExprCollSeq(pParse, pOrderBy->a[i].pExpr);
5550202b29eSdanielk1977     if( !pInfo->aColl[i] ){
556ffbc3088Sdrh       pInfo->aColl[i] = db->pDfltColl;
5570202b29eSdanielk1977     }
558ffbc3088Sdrh     pInfo->aSortOrder[i] = pOrderBy->a[i].sortOrder;
559ffbc3088Sdrh   }
560ffbc3088Sdrh   sqlite3VdbeOp3(v, OP_Sort, 0, 0, (char*)pInfo, P3_KEYINFO_HANDOFF);
5614adee20fSdanielk1977   addr = sqlite3VdbeAddOp(v, OP_SortNext, 0, end1);
5627b58daeaSdrh   if( p->iOffset>=0 ){
5634adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemIncr, p->iOffset, addr+4);
5644adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
5654adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Goto, 0, addr);
566df199a25Sdrh   }
5677b58daeaSdrh   if( p->iLimit>=0 ){
5684adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemIncr, p->iLimit, end2);
569df199a25Sdrh   }
570c926afbcSdrh   switch( eDest ){
571c926afbcSdrh     case SRT_Table:
572c926afbcSdrh     case SRT_TempTable: {
5734adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NewRecno, iParm, 0);
5744adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
5754adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_PutIntKey, iParm, 0);
576c926afbcSdrh       break;
577c926afbcSdrh     }
578c926afbcSdrh     case SRT_Set: {
579c926afbcSdrh       assert( nColumn==1 );
5804adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotNull, -1, sqlite3VdbeCurrentAddr(v)+3);
5814adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
5824adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Goto, 0, sqlite3VdbeCurrentAddr(v)+3);
583*ededfd5eSdanielk1977       sqlite3VdbeOp3(v, OP_MakeRecord, 1, 0, "n", P3_STATIC);
5840f69c1e3Sdanielk1977       sqlite3VdbeAddOp(v, OP_String8, 0, 0);
585e014a838Sdanielk1977       sqlite3VdbeAddOp(v, OP_PutStrKey, (iParm&0x0000FFFF), 0);
586c926afbcSdrh       break;
587c926afbcSdrh     }
588c926afbcSdrh     case SRT_Mem: {
589c926afbcSdrh       assert( nColumn==1 );
5904adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_MemStore, iParm, 1);
5914adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Goto, 0, end1);
592c926afbcSdrh       break;
593c926afbcSdrh     }
594ce665cf6Sdrh     case SRT_Callback:
595ac82fcf5Sdrh     case SRT_Subroutine: {
596ac82fcf5Sdrh       int i;
59784ac9d02Sdanielk1977       sqlite3VdbeAddOp(v, OP_Integer, p->pEList->nExpr, 0);
59884ac9d02Sdanielk1977       sqlite3VdbeAddOp(v, OP_Pull, 1, 0);
599ac82fcf5Sdrh       for(i=0; i<nColumn; i++){
6004adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Column, -1-i, i);
601ac82fcf5Sdrh       }
602ce665cf6Sdrh       if( eDest==SRT_Callback ){
603ce665cf6Sdrh         sqlite3VdbeAddOp(v, OP_Callback, nColumn, 0);
604ce665cf6Sdrh       }else{
6054adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Gosub, 0, iParm);
606ce665cf6Sdrh       }
60784ac9d02Sdanielk1977       sqlite3VdbeAddOp(v, OP_Pop, 2, 0);
608ac82fcf5Sdrh       break;
609ac82fcf5Sdrh     }
610c926afbcSdrh     default: {
611f46f905aSdrh       /* Do nothing */
612c926afbcSdrh       break;
613c926afbcSdrh     }
614c926afbcSdrh   }
6154adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_Goto, 0, addr);
6164adee20fSdanielk1977   sqlite3VdbeResolveLabel(v, end2);
6174adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_Pop, 1, 0);
6184adee20fSdanielk1977   sqlite3VdbeResolveLabel(v, end1);
6194adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_SortReset, 0, 0);
620d8bc7086Sdrh }
621d8bc7086Sdrh 
622d8bc7086Sdrh /*
623517eb646Sdanielk1977 ** Return a pointer to a string containing the 'declaration type' of the
624517eb646Sdanielk1977 ** expression pExpr. The string may be treated as static by the caller.
625e78e8284Sdrh **
626517eb646Sdanielk1977 ** If the declaration type is the exact datatype definition extracted from
627517eb646Sdanielk1977 ** the original CREATE TABLE statement if the expression is a column.
628e78e8284Sdrh **
629517eb646Sdanielk1977 ** The declaration type for an expression is either TEXT, NUMERIC or ANY.
630517eb646Sdanielk1977 ** The declaration type for a ROWID field is INTEGER.
631fcb78a49Sdrh */
632517eb646Sdanielk1977 static const char *columnType(Parse *pParse, SrcList *pTabList, Expr *pExpr){
633517eb646Sdanielk1977   char const *zType = 0;
634517eb646Sdanielk1977   int j;
635517eb646Sdanielk1977   if( pExpr==0 ) return 0;
636517eb646Sdanielk1977   if( pExpr->op==TK_COLUMN && pTabList ){
6376a3ea0e6Sdrh     Table *pTab;
638517eb646Sdanielk1977     int iCol = pExpr->iColumn;
639517eb646Sdanielk1977     for(j=0; j<pTabList->nSrc && pTabList->a[j].iCursor!=pExpr->iTable; j++){}
6406a3ea0e6Sdrh     assert( j<pTabList->nSrc );
6416a3ea0e6Sdrh     pTab = pTabList->a[j].pTab;
642fcb78a49Sdrh     if( iCol<0 ) iCol = pTab->iPKey;
643fcb78a49Sdrh     assert( iCol==-1 || (iCol>=0 && iCol<pTab->nCol) );
644fcb78a49Sdrh     if( iCol<0 ){
645fcb78a49Sdrh       zType = "INTEGER";
646fcb78a49Sdrh     }else{
647fcb78a49Sdrh       zType = pTab->aCol[iCol].zType;
648fbcd585fSdanielk1977       if( !zType ) zType = "";
649fcb78a49Sdrh     }
650fcb78a49Sdrh   }else{
651517eb646Sdanielk1977     switch( sqlite3ExprType(pExpr) ){
652736c22b8Sdrh       case SQLITE_AFF_TEXT:     zType = "TEXT";    break;
653736c22b8Sdrh       case SQLITE_AFF_NUMERIC:  zType = "NUMERIC"; break;
654736c22b8Sdrh       default:                  zType = "ANY";     break;
655736c22b8Sdrh     }
656fcb78a49Sdrh   }
657517eb646Sdanielk1977   return zType;
658517eb646Sdanielk1977 }
659517eb646Sdanielk1977 
660517eb646Sdanielk1977 /*
661517eb646Sdanielk1977 ** Generate code that will tell the VDBE the declaration types of columns
662517eb646Sdanielk1977 ** in the result set.
663517eb646Sdanielk1977 */
664517eb646Sdanielk1977 static void generateColumnTypes(
665517eb646Sdanielk1977   Parse *pParse,      /* Parser context */
666517eb646Sdanielk1977   SrcList *pTabList,  /* List of tables */
667517eb646Sdanielk1977   ExprList *pEList    /* Expressions defining the result set */
668517eb646Sdanielk1977 ){
669517eb646Sdanielk1977   Vdbe *v = pParse->pVdbe;
670517eb646Sdanielk1977   int i;
671517eb646Sdanielk1977   for(i=0; i<pEList->nExpr; i++){
672517eb646Sdanielk1977     Expr *p = pEList->a[i].pExpr;
673517eb646Sdanielk1977     const char *zType = columnType(pParse, pTabList, p);
674517eb646Sdanielk1977     if( p==0 ) continue;
675fbcd585fSdanielk1977     /* The vdbe must make it's own copy of the column-type, in case the
676fbcd585fSdanielk1977     ** schema is reset before this virtual machine is deleted.
677fbcd585fSdanielk1977     */
678fbcd585fSdanielk1977     sqlite3VdbeSetColName(v, i+pEList->nExpr, zType, strlen(zType));
679fcb78a49Sdrh   }
680fcb78a49Sdrh }
681fcb78a49Sdrh 
682fcb78a49Sdrh /*
683fcb78a49Sdrh ** Generate code that will tell the VDBE the names of columns
684fcb78a49Sdrh ** in the result set.  This information is used to provide the
685fcabd464Sdrh ** azCol[] values in the callback.
68682c3d636Sdrh */
687832508b7Sdrh static void generateColumnNames(
688832508b7Sdrh   Parse *pParse,      /* Parser context */
689ad3cab52Sdrh   SrcList *pTabList,  /* List of tables */
690832508b7Sdrh   ExprList *pEList    /* Expressions defining the result set */
691832508b7Sdrh ){
692d8bc7086Sdrh   Vdbe *v = pParse->pVdbe;
6936a3ea0e6Sdrh   int i, j;
694fcabd464Sdrh   sqlite *db = pParse->db;
695fcabd464Sdrh   int fullNames, shortNames;
696fcabd464Sdrh 
6973cf86063Sdanielk1977   /* If this is an EXPLAIN, skip this step */
6983cf86063Sdanielk1977   if( pParse->explain ){
69961de0d1bSdanielk1977     return;
7003cf86063Sdanielk1977   }
7013cf86063Sdanielk1977 
702d6502758Sdrh   assert( v!=0 );
7036f8a503dSdanielk1977   if( pParse->colNamesSet || v==0 || sqlite3_malloc_failed ) return;
704d8bc7086Sdrh   pParse->colNamesSet = 1;
705fcabd464Sdrh   fullNames = (db->flags & SQLITE_FullColNames)!=0;
706fcabd464Sdrh   shortNames = (db->flags & SQLITE_ShortColNames)!=0;
70722322fd4Sdanielk1977   sqlite3VdbeSetNumCols(v, pEList->nExpr);
70882c3d636Sdrh   for(i=0; i<pEList->nExpr; i++){
70982c3d636Sdrh     Expr *p;
7105a38705eSdrh     p = pEList->a[i].pExpr;
7115a38705eSdrh     if( p==0 ) continue;
71282c3d636Sdrh     if( pEList->a[i].zName ){
71382c3d636Sdrh       char *zName = pEList->a[i].zName;
714d8123366Sdanielk1977       sqlite3VdbeSetColName(v, i, zName, strlen(zName));
71582c3d636Sdrh       continue;
71682c3d636Sdrh     }
717fa173a76Sdrh     if( p->op==TK_COLUMN && pTabList ){
7186a3ea0e6Sdrh       Table *pTab;
71997665873Sdrh       char *zCol;
7208aff1015Sdrh       int iCol = p->iColumn;
7216a3ea0e6Sdrh       for(j=0; j<pTabList->nSrc && pTabList->a[j].iCursor!=p->iTable; j++){}
7226a3ea0e6Sdrh       assert( j<pTabList->nSrc );
7236a3ea0e6Sdrh       pTab = pTabList->a[j].pTab;
7248aff1015Sdrh       if( iCol<0 ) iCol = pTab->iPKey;
72597665873Sdrh       assert( iCol==-1 || (iCol>=0 && iCol<pTab->nCol) );
726b1363206Sdrh       if( iCol<0 ){
727b1363206Sdrh         zCol = "_ROWID_";
728b1363206Sdrh       }else{
729b1363206Sdrh         zCol = pTab->aCol[iCol].zName;
730b1363206Sdrh       }
731fcabd464Sdrh       if( !shortNames && !fullNames && p->span.z && p->span.z[0] ){
7323cf86063Sdanielk1977         sqlite3VdbeSetColName(v, i, p->span.z, p->span.n);
733fcabd464Sdrh       }else if( fullNames || (!shortNames && pTabList->nSrc>1) ){
73482c3d636Sdrh         char *zName = 0;
73582c3d636Sdrh         char *zTab;
73682c3d636Sdrh 
7376a3ea0e6Sdrh         zTab = pTabList->a[j].zAlias;
738fcabd464Sdrh         if( fullNames || zTab==0 ) zTab = pTab->zName;
7394adee20fSdanielk1977         sqlite3SetString(&zName, zTab, ".", zCol, 0);
7403cf86063Sdanielk1977         sqlite3VdbeSetColName(v, i, zName, P3_DYNAMIC);
74182c3d636Sdrh       }else{
7423cf86063Sdanielk1977         sqlite3VdbeSetColName(v, i, zCol, 0);
74382c3d636Sdrh       }
7446977fea8Sdrh     }else if( p->span.z && p->span.z[0] ){
7453cf86063Sdanielk1977       sqlite3VdbeSetColName(v, i, p->span.z, p->span.n);
7463cf86063Sdanielk1977       /* sqlite3VdbeCompressSpace(v, addr); */
7471bee3d7bSdrh     }else{
7481bee3d7bSdrh       char zName[30];
7491bee3d7bSdrh       assert( p->op!=TK_COLUMN || pTabList==0 );
7501bee3d7bSdrh       sprintf(zName, "column%d", i+1);
7513cf86063Sdanielk1977       sqlite3VdbeSetColName(v, i, zName, 0);
75282c3d636Sdrh     }
75382c3d636Sdrh   }
75476d505baSdanielk1977   generateColumnTypes(pParse, pTabList, pEList);
7555080aaa7Sdrh }
75682c3d636Sdrh 
75782c3d636Sdrh /*
758d8bc7086Sdrh ** Name of the connection operator, used for error messages.
759d8bc7086Sdrh */
760d8bc7086Sdrh static const char *selectOpName(int id){
761d8bc7086Sdrh   char *z;
762d8bc7086Sdrh   switch( id ){
763d8bc7086Sdrh     case TK_ALL:       z = "UNION ALL";   break;
764d8bc7086Sdrh     case TK_INTERSECT: z = "INTERSECT";   break;
765d8bc7086Sdrh     case TK_EXCEPT:    z = "EXCEPT";      break;
766d8bc7086Sdrh     default:           z = "UNION";       break;
767d8bc7086Sdrh   }
768d8bc7086Sdrh   return z;
769d8bc7086Sdrh }
770d8bc7086Sdrh 
771d8bc7086Sdrh /*
772315555caSdrh ** Forward declaration
773315555caSdrh */
774315555caSdrh static int fillInColumnList(Parse*, Select*);
775315555caSdrh 
776315555caSdrh /*
77722f70c32Sdrh ** Given a SELECT statement, generate a Table structure that describes
77822f70c32Sdrh ** the result set of that SELECT.
77922f70c32Sdrh */
7804adee20fSdanielk1977 Table *sqlite3ResultSetOfSelect(Parse *pParse, char *zTabName, Select *pSelect){
78122f70c32Sdrh   Table *pTab;
782b733d037Sdrh   int i, j;
78322f70c32Sdrh   ExprList *pEList;
784b733d037Sdrh   Column *aCol;
78522f70c32Sdrh 
78622f70c32Sdrh   if( fillInColumnList(pParse, pSelect) ){
78722f70c32Sdrh     return 0;
78822f70c32Sdrh   }
78922f70c32Sdrh   pTab = sqliteMalloc( sizeof(Table) );
79022f70c32Sdrh   if( pTab==0 ){
79122f70c32Sdrh     return 0;
79222f70c32Sdrh   }
79322f70c32Sdrh   pTab->zName = zTabName ? sqliteStrDup(zTabName) : 0;
79422f70c32Sdrh   pEList = pSelect->pEList;
79522f70c32Sdrh   pTab->nCol = pEList->nExpr;
796417be79cSdrh   assert( pTab->nCol>0 );
797b733d037Sdrh   pTab->aCol = aCol = sqliteMalloc( sizeof(pTab->aCol[0])*pTab->nCol );
79822f70c32Sdrh   for(i=0; i<pTab->nCol; i++){
799517eb646Sdanielk1977     Expr *pR;
800517eb646Sdanielk1977     char *zType;
801517eb646Sdanielk1977     Expr *p = pEList->a[i].pExpr;
80222f70c32Sdrh     if( pEList->a[i].zName ){
803b733d037Sdrh       aCol[i].zName = sqliteStrDup(pEList->a[i].zName);
804517eb646Sdanielk1977     }else if( p->op==TK_DOT
805b733d037Sdrh                && (pR=p->pRight)!=0 && pR->token.z && pR->token.z[0] ){
806b733d037Sdrh       int cnt;
8074adee20fSdanielk1977       sqlite3SetNString(&aCol[i].zName, pR->token.z, pR->token.n, 0);
808b733d037Sdrh       for(j=cnt=0; j<i; j++){
8094adee20fSdanielk1977         if( sqlite3StrICmp(aCol[j].zName, aCol[i].zName)==0 ){
810b733d037Sdrh           int n;
811b733d037Sdrh           char zBuf[30];
812b733d037Sdrh           sprintf(zBuf,"_%d",++cnt);
813b733d037Sdrh           n = strlen(zBuf);
8144adee20fSdanielk1977           sqlite3SetNString(&aCol[i].zName, pR->token.z, pR->token.n, zBuf,n,0);
815b733d037Sdrh           j = -1;
816b733d037Sdrh         }
817b733d037Sdrh       }
818b733d037Sdrh     }else if( p->span.z && p->span.z[0] ){
8194adee20fSdanielk1977       sqlite3SetNString(&pTab->aCol[i].zName, p->span.z, p->span.n, 0);
82022f70c32Sdrh     }else{
82122f70c32Sdrh       char zBuf[30];
82222f70c32Sdrh       sprintf(zBuf, "column%d", i+1);
82322f70c32Sdrh       pTab->aCol[i].zName = sqliteStrDup(zBuf);
82422f70c32Sdrh     }
825e014a838Sdanielk1977 
826517eb646Sdanielk1977     zType = sqliteStrDup(columnType(pParse, pSelect->pSrc ,p));
827517eb646Sdanielk1977     pTab->aCol[i].zType = zType;
828517eb646Sdanielk1977     pTab->aCol[i].affinity = SQLITE_AFF_NUMERIC;
829517eb646Sdanielk1977     if( zType ){
830517eb646Sdanielk1977       pTab->aCol[i].affinity = sqlite3AffinityType(zType, strlen(zType));
831517eb646Sdanielk1977     }
8327cedc8d4Sdanielk1977     pTab->aCol[i].pColl = sqlite3ExprCollSeq(pParse, p);
8330202b29eSdanielk1977     if( !pTab->aCol[i].pColl ){
8340202b29eSdanielk1977       pTab->aCol[i].pColl = pParse->db->pDfltColl;
8350202b29eSdanielk1977     }
83622f70c32Sdrh   }
83722f70c32Sdrh   pTab->iPKey = -1;
83822f70c32Sdrh   return pTab;
83922f70c32Sdrh }
84022f70c32Sdrh 
84122f70c32Sdrh /*
842ad2d8307Sdrh ** For the given SELECT statement, do three things.
843d8bc7086Sdrh **
844ad3cab52Sdrh **    (1)  Fill in the pTabList->a[].pTab fields in the SrcList that
84563eb5f29Sdrh **         defines the set of tables that should be scanned.  For views,
84663eb5f29Sdrh **         fill pTabList->a[].pSelect with a copy of the SELECT statement
84763eb5f29Sdrh **         that implements the view.  A copy is made of the view's SELECT
84863eb5f29Sdrh **         statement so that we can freely modify or delete that statement
84963eb5f29Sdrh **         without worrying about messing up the presistent representation
85063eb5f29Sdrh **         of the view.
851d8bc7086Sdrh **
852ad2d8307Sdrh **    (2)  Add terms to the WHERE clause to accomodate the NATURAL keyword
853ad2d8307Sdrh **         on joins and the ON and USING clause of joins.
854ad2d8307Sdrh **
855ad2d8307Sdrh **    (3)  Scan the list of columns in the result set (pEList) looking
85654473229Sdrh **         for instances of the "*" operator or the TABLE.* operator.
85754473229Sdrh **         If found, expand each "*" to be every column in every table
85854473229Sdrh **         and TABLE.* to be every column in TABLE.
859d8bc7086Sdrh **
860d8bc7086Sdrh ** Return 0 on success.  If there are problems, leave an error message
861d8bc7086Sdrh ** in pParse and return non-zero.
862d8bc7086Sdrh */
863d8bc7086Sdrh static int fillInColumnList(Parse *pParse, Select *p){
86454473229Sdrh   int i, j, k, rc;
865ad3cab52Sdrh   SrcList *pTabList;
866daffd0e5Sdrh   ExprList *pEList;
867a76b5dfcSdrh   Table *pTab;
868daffd0e5Sdrh 
869daffd0e5Sdrh   if( p==0 || p->pSrc==0 ) return 1;
870daffd0e5Sdrh   pTabList = p->pSrc;
871daffd0e5Sdrh   pEList = p->pEList;
872d8bc7086Sdrh 
873d8bc7086Sdrh   /* Look up every table in the table list.
874d8bc7086Sdrh   */
875ad3cab52Sdrh   for(i=0; i<pTabList->nSrc; i++){
876d8bc7086Sdrh     if( pTabList->a[i].pTab ){
877d8bc7086Sdrh       /* This routine has run before!  No need to continue */
878d8bc7086Sdrh       return 0;
879d8bc7086Sdrh     }
880daffd0e5Sdrh     if( pTabList->a[i].zName==0 ){
88122f70c32Sdrh       /* A sub-query in the FROM clause of a SELECT */
88222f70c32Sdrh       assert( pTabList->a[i].pSelect!=0 );
883ad2d8307Sdrh       if( pTabList->a[i].zAlias==0 ){
884ad2d8307Sdrh         char zFakeName[60];
885ad2d8307Sdrh         sprintf(zFakeName, "sqlite_subquery_%p_",
886ad2d8307Sdrh            (void*)pTabList->a[i].pSelect);
8874adee20fSdanielk1977         sqlite3SetString(&pTabList->a[i].zAlias, zFakeName, 0);
888ad2d8307Sdrh       }
88922f70c32Sdrh       pTabList->a[i].pTab = pTab =
8904adee20fSdanielk1977         sqlite3ResultSetOfSelect(pParse, pTabList->a[i].zAlias,
89122f70c32Sdrh                                         pTabList->a[i].pSelect);
89222f70c32Sdrh       if( pTab==0 ){
893daffd0e5Sdrh         return 1;
894daffd0e5Sdrh       }
8955cf590c1Sdrh       /* The isTransient flag indicates that the Table structure has been
8965cf590c1Sdrh       ** dynamically allocated and may be freed at any time.  In other words,
8975cf590c1Sdrh       ** pTab is not pointing to a persistent table structure that defines
8985cf590c1Sdrh       ** part of the schema. */
89922f70c32Sdrh       pTab->isTransient = 1;
90022f70c32Sdrh     }else{
901a76b5dfcSdrh       /* An ordinary table or view name in the FROM clause */
902a76b5dfcSdrh       pTabList->a[i].pTab = pTab =
9034adee20fSdanielk1977         sqlite3LocateTable(pParse,pTabList->a[i].zName,pTabList->a[i].zDatabase);
904a76b5dfcSdrh       if( pTab==0 ){
905d8bc7086Sdrh         return 1;
906d8bc7086Sdrh       }
907a76b5dfcSdrh       if( pTab->pSelect ){
90863eb5f29Sdrh         /* We reach here if the named table is a really a view */
9094adee20fSdanielk1977         if( sqlite3ViewGetColumnNames(pParse, pTab) ){
910417be79cSdrh           return 1;
911417be79cSdrh         }
91263eb5f29Sdrh         /* If pTabList->a[i].pSelect!=0 it means we are dealing with a
91363eb5f29Sdrh         ** view within a view.  The SELECT structure has already been
91463eb5f29Sdrh         ** copied by the outer view so we can skip the copy step here
91563eb5f29Sdrh         ** in the inner view.
91663eb5f29Sdrh         */
91763eb5f29Sdrh         if( pTabList->a[i].pSelect==0 ){
9184adee20fSdanielk1977           pTabList->a[i].pSelect = sqlite3SelectDup(pTab->pSelect);
919a76b5dfcSdrh         }
920d8bc7086Sdrh       }
92122f70c32Sdrh     }
92263eb5f29Sdrh   }
923d8bc7086Sdrh 
924ad2d8307Sdrh   /* Process NATURAL keywords, and ON and USING clauses of joins.
925ad2d8307Sdrh   */
926ad2d8307Sdrh   if( sqliteProcessJoin(pParse, p) ) return 1;
927ad2d8307Sdrh 
9287c917d19Sdrh   /* For every "*" that occurs in the column list, insert the names of
92954473229Sdrh   ** all columns in all tables.  And for every TABLE.* insert the names
93054473229Sdrh   ** of all columns in TABLE.  The parser inserted a special expression
9317c917d19Sdrh   ** with the TK_ALL operator for each "*" that it found in the column list.
9327c917d19Sdrh   ** The following code just has to locate the TK_ALL expressions and expand
9337c917d19Sdrh   ** each one to the list of all columns in all tables.
93454473229Sdrh   **
93554473229Sdrh   ** The first loop just checks to see if there are any "*" operators
93654473229Sdrh   ** that need expanding.
937d8bc7086Sdrh   */
9387c917d19Sdrh   for(k=0; k<pEList->nExpr; k++){
93954473229Sdrh     Expr *pE = pEList->a[k].pExpr;
94054473229Sdrh     if( pE->op==TK_ALL ) break;
94154473229Sdrh     if( pE->op==TK_DOT && pE->pRight && pE->pRight->op==TK_ALL
94254473229Sdrh          && pE->pLeft && pE->pLeft->op==TK_ID ) break;
9437c917d19Sdrh   }
94454473229Sdrh   rc = 0;
9457c917d19Sdrh   if( k<pEList->nExpr ){
94654473229Sdrh     /*
94754473229Sdrh     ** If we get here it means the result set contains one or more "*"
94854473229Sdrh     ** operators that need to be expanded.  Loop through each expression
94954473229Sdrh     ** in the result set and expand them one by one.
95054473229Sdrh     */
9517c917d19Sdrh     struct ExprList_item *a = pEList->a;
9527c917d19Sdrh     ExprList *pNew = 0;
9537c917d19Sdrh     for(k=0; k<pEList->nExpr; k++){
95454473229Sdrh       Expr *pE = a[k].pExpr;
95554473229Sdrh       if( pE->op!=TK_ALL &&
95654473229Sdrh            (pE->op!=TK_DOT || pE->pRight==0 || pE->pRight->op!=TK_ALL) ){
95754473229Sdrh         /* This particular expression does not need to be expanded.
95854473229Sdrh         */
9594adee20fSdanielk1977         pNew = sqlite3ExprListAppend(pNew, a[k].pExpr, 0);
9607c917d19Sdrh         pNew->a[pNew->nExpr-1].zName = a[k].zName;
9617c917d19Sdrh         a[k].pExpr = 0;
9627c917d19Sdrh         a[k].zName = 0;
9637c917d19Sdrh       }else{
96454473229Sdrh         /* This expression is a "*" or a "TABLE.*" and needs to be
96554473229Sdrh         ** expanded. */
96654473229Sdrh         int tableSeen = 0;      /* Set to 1 when TABLE matches */
96754473229Sdrh         Token *pName;           /* text of name of TABLE */
96854473229Sdrh         if( pE->op==TK_DOT && pE->pLeft ){
96954473229Sdrh           pName = &pE->pLeft->token;
97054473229Sdrh         }else{
97154473229Sdrh           pName = 0;
97254473229Sdrh         }
973ad3cab52Sdrh         for(i=0; i<pTabList->nSrc; i++){
974d8bc7086Sdrh           Table *pTab = pTabList->a[i].pTab;
97554473229Sdrh           char *zTabName = pTabList->a[i].zAlias;
97654473229Sdrh           if( zTabName==0 || zTabName[0]==0 ){
97754473229Sdrh             zTabName = pTab->zName;
97854473229Sdrh           }
97954473229Sdrh           if( pName && (zTabName==0 || zTabName[0]==0 ||
9804adee20fSdanielk1977                  sqlite3StrNICmp(pName->z, zTabName, pName->n)!=0 ||
981c754fa54Sdrh                  zTabName[pName->n]!=0) ){
98254473229Sdrh             continue;
98354473229Sdrh           }
98454473229Sdrh           tableSeen = 1;
985d8bc7086Sdrh           for(j=0; j<pTab->nCol; j++){
98622f70c32Sdrh             Expr *pExpr, *pLeft, *pRight;
987ad2d8307Sdrh             char *zName = pTab->aCol[j].zName;
988ad2d8307Sdrh 
989ad2d8307Sdrh             if( i>0 && (pTabList->a[i-1].jointype & JT_NATURAL)!=0 &&
990ad2d8307Sdrh                 columnIndex(pTabList->a[i-1].pTab, zName)>=0 ){
991ad2d8307Sdrh               /* In a NATURAL join, omit the join columns from the
992ad2d8307Sdrh               ** table on the right */
993ad2d8307Sdrh               continue;
994ad2d8307Sdrh             }
9954adee20fSdanielk1977             if( i>0 && sqlite3IdListIndex(pTabList->a[i-1].pUsing, zName)>=0 ){
996ad2d8307Sdrh               /* In a join with a USING clause, omit columns in the
997ad2d8307Sdrh               ** using clause from the table on the right. */
998ad2d8307Sdrh               continue;
999ad2d8307Sdrh             }
10004adee20fSdanielk1977             pRight = sqlite3Expr(TK_ID, 0, 0, 0);
100122f70c32Sdrh             if( pRight==0 ) break;
1002ad2d8307Sdrh             pRight->token.z = zName;
1003ad2d8307Sdrh             pRight->token.n = strlen(zName);
10044b59ab5eSdrh             pRight->token.dyn = 0;
10054b59ab5eSdrh             if( zTabName && pTabList->nSrc>1 ){
10064adee20fSdanielk1977               pLeft = sqlite3Expr(TK_ID, 0, 0, 0);
10074adee20fSdanielk1977               pExpr = sqlite3Expr(TK_DOT, pLeft, pRight, 0);
100822f70c32Sdrh               if( pExpr==0 ) break;
10094b59ab5eSdrh               pLeft->token.z = zTabName;
10104b59ab5eSdrh               pLeft->token.n = strlen(zTabName);
10114b59ab5eSdrh               pLeft->token.dyn = 0;
10124adee20fSdanielk1977               sqlite3SetString((char**)&pExpr->span.z, zTabName, ".", zName, 0);
10136977fea8Sdrh               pExpr->span.n = strlen(pExpr->span.z);
10146977fea8Sdrh               pExpr->span.dyn = 1;
10156977fea8Sdrh               pExpr->token.z = 0;
10166977fea8Sdrh               pExpr->token.n = 0;
10176977fea8Sdrh               pExpr->token.dyn = 0;
101822f70c32Sdrh             }else{
101922f70c32Sdrh               pExpr = pRight;
10206977fea8Sdrh               pExpr->span = pExpr->token;
102122f70c32Sdrh             }
10224adee20fSdanielk1977             pNew = sqlite3ExprListAppend(pNew, pExpr, 0);
1023d8bc7086Sdrh           }
1024d8bc7086Sdrh         }
102554473229Sdrh         if( !tableSeen ){
1026f5db2d3eSdrh           if( pName ){
10274adee20fSdanielk1977             sqlite3ErrorMsg(pParse, "no such table: %T", pName);
1028f5db2d3eSdrh           }else{
10294adee20fSdanielk1977             sqlite3ErrorMsg(pParse, "no tables specified");
1030f5db2d3eSdrh           }
103154473229Sdrh           rc = 1;
103254473229Sdrh         }
10337c917d19Sdrh       }
10347c917d19Sdrh     }
10354adee20fSdanielk1977     sqlite3ExprListDelete(pEList);
10367c917d19Sdrh     p->pEList = pNew;
1037d8bc7086Sdrh   }
103854473229Sdrh   return rc;
1039d8bc7086Sdrh }
1040d8bc7086Sdrh 
1041d8bc7086Sdrh /*
1042ff78bd2fSdrh ** This routine recursively unlinks the Select.pSrc.a[].pTab pointers
1043ff78bd2fSdrh ** in a select structure.  It just sets the pointers to NULL.  This
1044ff78bd2fSdrh ** routine is recursive in the sense that if the Select.pSrc.a[].pSelect
1045ff78bd2fSdrh ** pointer is not NULL, this routine is called recursively on that pointer.
1046ff78bd2fSdrh **
1047ff78bd2fSdrh ** This routine is called on the Select structure that defines a
1048ff78bd2fSdrh ** VIEW in order to undo any bindings to tables.  This is necessary
1049ff78bd2fSdrh ** because those tables might be DROPed by a subsequent SQL command.
10505cf590c1Sdrh ** If the bindings are not removed, then the Select.pSrc->a[].pTab field
10515cf590c1Sdrh ** will be left pointing to a deallocated Table structure after the
10525cf590c1Sdrh ** DROP and a coredump will occur the next time the VIEW is used.
1053ff78bd2fSdrh */
10544adee20fSdanielk1977 void sqlite3SelectUnbind(Select *p){
1055ff78bd2fSdrh   int i;
1056ad3cab52Sdrh   SrcList *pSrc = p->pSrc;
1057ff78bd2fSdrh   Table *pTab;
1058ff78bd2fSdrh   if( p==0 ) return;
1059ad3cab52Sdrh   for(i=0; i<pSrc->nSrc; i++){
1060ff78bd2fSdrh     if( (pTab = pSrc->a[i].pTab)!=0 ){
1061ff78bd2fSdrh       if( pTab->isTransient ){
10624adee20fSdanielk1977         sqlite3DeleteTable(0, pTab);
1063ff78bd2fSdrh       }
1064ff78bd2fSdrh       pSrc->a[i].pTab = 0;
1065ff78bd2fSdrh       if( pSrc->a[i].pSelect ){
10664adee20fSdanielk1977         sqlite3SelectUnbind(pSrc->a[i].pSelect);
1067ff78bd2fSdrh       }
1068ff78bd2fSdrh     }
1069ff78bd2fSdrh   }
1070ff78bd2fSdrh }
1071ff78bd2fSdrh 
1072ff78bd2fSdrh /*
1073d8bc7086Sdrh ** This routine associates entries in an ORDER BY expression list with
1074d8bc7086Sdrh ** columns in a result.  For each ORDER BY expression, the opcode of
1075967e8b73Sdrh ** the top-level node is changed to TK_COLUMN and the iColumn value of
1076d8bc7086Sdrh ** the top-level node is filled in with column number and the iTable
1077d8bc7086Sdrh ** value of the top-level node is filled with iTable parameter.
1078d8bc7086Sdrh **
1079d8bc7086Sdrh ** If there are prior SELECT clauses, they are processed first.  A match
1080d8bc7086Sdrh ** in an earlier SELECT takes precedence over a later SELECT.
1081d8bc7086Sdrh **
1082d8bc7086Sdrh ** Any entry that does not match is flagged as an error.  The number
1083d8bc7086Sdrh ** of errors is returned.
1084d8bc7086Sdrh */
1085d8bc7086Sdrh static int matchOrderbyToColumn(
1086d8bc7086Sdrh   Parse *pParse,          /* A place to leave error messages */
1087d8bc7086Sdrh   Select *pSelect,        /* Match to result columns of this SELECT */
1088d8bc7086Sdrh   ExprList *pOrderBy,     /* The ORDER BY values to match against columns */
1089e4de1febSdrh   int iTable,             /* Insert this value in iTable */
1090d8bc7086Sdrh   int mustComplete        /* If TRUE all ORDER BYs must match */
1091d8bc7086Sdrh ){
1092d8bc7086Sdrh   int nErr = 0;
1093d8bc7086Sdrh   int i, j;
1094d8bc7086Sdrh   ExprList *pEList;
1095d8bc7086Sdrh 
1096daffd0e5Sdrh   if( pSelect==0 || pOrderBy==0 ) return 1;
1097d8bc7086Sdrh   if( mustComplete ){
1098d8bc7086Sdrh     for(i=0; i<pOrderBy->nExpr; i++){ pOrderBy->a[i].done = 0; }
1099d8bc7086Sdrh   }
1100d8bc7086Sdrh   if( fillInColumnList(pParse, pSelect) ){
1101d8bc7086Sdrh     return 1;
1102d8bc7086Sdrh   }
1103d8bc7086Sdrh   if( pSelect->pPrior ){
110492cd52f5Sdrh     if( matchOrderbyToColumn(pParse, pSelect->pPrior, pOrderBy, iTable, 0) ){
110592cd52f5Sdrh       return 1;
110692cd52f5Sdrh     }
1107d8bc7086Sdrh   }
1108d8bc7086Sdrh   pEList = pSelect->pEList;
1109d8bc7086Sdrh   for(i=0; i<pOrderBy->nExpr; i++){
1110d8bc7086Sdrh     Expr *pE = pOrderBy->a[i].pExpr;
1111e4de1febSdrh     int iCol = -1;
1112d8bc7086Sdrh     if( pOrderBy->a[i].done ) continue;
11134adee20fSdanielk1977     if( sqlite3ExprIsInteger(pE, &iCol) ){
1114e4de1febSdrh       if( iCol<=0 || iCol>pEList->nExpr ){
11154adee20fSdanielk1977         sqlite3ErrorMsg(pParse,
1116da93d238Sdrh           "ORDER BY position %d should be between 1 and %d",
1117e4de1febSdrh           iCol, pEList->nExpr);
1118e4de1febSdrh         nErr++;
1119e4de1febSdrh         break;
1120e4de1febSdrh       }
1121fcb78a49Sdrh       if( !mustComplete ) continue;
1122e4de1febSdrh       iCol--;
1123e4de1febSdrh     }
1124e4de1febSdrh     for(j=0; iCol<0 && j<pEList->nExpr; j++){
11254cfa7934Sdrh       if( pEList->a[j].zName && (pE->op==TK_ID || pE->op==TK_STRING) ){
1126a76b5dfcSdrh         char *zName, *zLabel;
1127a76b5dfcSdrh         zName = pEList->a[j].zName;
1128a76b5dfcSdrh         assert( pE->token.z );
1129a76b5dfcSdrh         zLabel = sqliteStrNDup(pE->token.z, pE->token.n);
11304adee20fSdanielk1977         sqlite3Dequote(zLabel);
11314adee20fSdanielk1977         if( sqlite3StrICmp(zName, zLabel)==0 ){
1132e4de1febSdrh           iCol = j;
1133d8bc7086Sdrh         }
11346e142f54Sdrh         sqliteFree(zLabel);
1135d8bc7086Sdrh       }
11364adee20fSdanielk1977       if( iCol<0 && sqlite3ExprCompare(pE, pEList->a[j].pExpr) ){
1137e4de1febSdrh         iCol = j;
1138d8bc7086Sdrh       }
1139e4de1febSdrh     }
1140e4de1febSdrh     if( iCol>=0 ){
1141967e8b73Sdrh       pE->op = TK_COLUMN;
1142e4de1febSdrh       pE->iColumn = iCol;
1143d8bc7086Sdrh       pE->iTable = iTable;
1144d8bc7086Sdrh       pOrderBy->a[i].done = 1;
1145d8bc7086Sdrh     }
1146e4de1febSdrh     if( iCol<0 && mustComplete ){
11474adee20fSdanielk1977       sqlite3ErrorMsg(pParse,
1148da93d238Sdrh         "ORDER BY term number %d does not match any result column", i+1);
1149d8bc7086Sdrh       nErr++;
1150d8bc7086Sdrh       break;
1151d8bc7086Sdrh     }
1152d8bc7086Sdrh   }
1153d8bc7086Sdrh   return nErr;
1154d8bc7086Sdrh }
1155d8bc7086Sdrh 
1156d8bc7086Sdrh /*
1157d8bc7086Sdrh ** Get a VDBE for the given parser context.  Create a new one if necessary.
1158d8bc7086Sdrh ** If an error occurs, return NULL and leave a message in pParse.
1159d8bc7086Sdrh */
11604adee20fSdanielk1977 Vdbe *sqlite3GetVdbe(Parse *pParse){
1161d8bc7086Sdrh   Vdbe *v = pParse->pVdbe;
1162d8bc7086Sdrh   if( v==0 ){
11634adee20fSdanielk1977     v = pParse->pVdbe = sqlite3VdbeCreate(pParse->db);
1164d8bc7086Sdrh   }
1165d8bc7086Sdrh   return v;
1166d8bc7086Sdrh }
1167d8bc7086Sdrh 
1168d3d39e93Sdrh #if 0  /***** This routine needs deleting *****/
116984ac9d02Sdanielk1977 static void multiSelectAffinity(Select *p, char *zAff){
117084ac9d02Sdanielk1977   int i;
117184ac9d02Sdanielk1977 
117284ac9d02Sdanielk1977   if( !p ) return;
117384ac9d02Sdanielk1977   multiSelectAffinity(p->pPrior, zAff);
117484ac9d02Sdanielk1977 
117584ac9d02Sdanielk1977   for(i=0; i<p->pEList->nExpr; i++){
117684ac9d02Sdanielk1977     if( zAff[i]=='\0' ){
117784ac9d02Sdanielk1977       zAff[i] = sqlite3ExprAffinity(p->pEList->a[i].pExpr);
117884ac9d02Sdanielk1977     }
117984ac9d02Sdanielk1977   }
118084ac9d02Sdanielk1977 }
1181d3d39e93Sdrh #endif
118284ac9d02Sdanielk1977 
1183d8bc7086Sdrh /*
11847b58daeaSdrh ** Compute the iLimit and iOffset fields of the SELECT based on the
11857b58daeaSdrh ** nLimit and nOffset fields.  nLimit and nOffset hold the integers
11867b58daeaSdrh ** that appear in the original SQL statement after the LIMIT and OFFSET
11877b58daeaSdrh ** keywords.  Or that hold -1 and 0 if those keywords are omitted.
11887b58daeaSdrh ** iLimit and iOffset are the integer memory register numbers for
11897b58daeaSdrh ** counters used to compute the limit and offset.  If there is no
11907b58daeaSdrh ** limit and/or offset, then iLimit and iOffset are negative.
11917b58daeaSdrh **
11927b58daeaSdrh ** This routine changes the values if iLimit and iOffset only if
11937b58daeaSdrh ** a limit or offset is defined by nLimit and nOffset.  iLimit and
11947b58daeaSdrh ** iOffset should have been preset to appropriate default values
11957b58daeaSdrh ** (usually but not always -1) prior to calling this routine.
11967b58daeaSdrh ** Only if nLimit>=0 or nOffset>0 do the limit registers get
11977b58daeaSdrh ** redefined.  The UNION ALL operator uses this property to force
11987b58daeaSdrh ** the reuse of the same limit and offset registers across multiple
11997b58daeaSdrh ** SELECT statements.
12007b58daeaSdrh */
12017b58daeaSdrh static void computeLimitRegisters(Parse *pParse, Select *p){
12027b58daeaSdrh   /*
12037b58daeaSdrh   ** If the comparison is p->nLimit>0 then "LIMIT 0" shows
12047b58daeaSdrh   ** all rows.  It is the same as no limit. If the comparision is
12057b58daeaSdrh   ** p->nLimit>=0 then "LIMIT 0" show no rows at all.
12067b58daeaSdrh   ** "LIMIT -1" always shows all rows.  There is some
12077b58daeaSdrh   ** contraversy about what the correct behavior should be.
12087b58daeaSdrh   ** The current implementation interprets "LIMIT 0" to mean
12097b58daeaSdrh   ** no rows.
12107b58daeaSdrh   */
12117b58daeaSdrh   if( p->nLimit>=0 ){
12127b58daeaSdrh     int iMem = pParse->nMem++;
12134adee20fSdanielk1977     Vdbe *v = sqlite3GetVdbe(pParse);
12147b58daeaSdrh     if( v==0 ) return;
12154adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, -p->nLimit, 0);
12164adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemStore, iMem, 1);
12177b58daeaSdrh     p->iLimit = iMem;
12187b58daeaSdrh   }
12197b58daeaSdrh   if( p->nOffset>0 ){
12207b58daeaSdrh     int iMem = pParse->nMem++;
12214adee20fSdanielk1977     Vdbe *v = sqlite3GetVdbe(pParse);
12227b58daeaSdrh     if( v==0 ) return;
12234adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, -p->nOffset, 0);
12244adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemStore, iMem, 1);
12257b58daeaSdrh     p->iOffset = iMem;
12267b58daeaSdrh   }
12277b58daeaSdrh }
12287b58daeaSdrh 
12297b58daeaSdrh /*
1230d3d39e93Sdrh ** Generate VDBE instructions that will open a transient table that
1231d3d39e93Sdrh ** will be used for an index or to store keyed results for a compound
1232d3d39e93Sdrh ** select.  In other words, open a transient table that needs a
1233d3d39e93Sdrh ** KeyInfo structure.  The number of columns in the KeyInfo is determined
1234d3d39e93Sdrh ** by the result set of the SELECT statement in the second argument.
1235d3d39e93Sdrh **
1236dc1bdc4fSdanielk1977 ** Specifically, this routine is called to open an index table for
1237dc1bdc4fSdanielk1977 ** DISTINCT, UNION, INTERSECT and EXCEPT select statements (but not
1238dc1bdc4fSdanielk1977 ** UNION ALL).
1239dc1bdc4fSdanielk1977 **
1240d3d39e93Sdrh ** Make the new table a KeyAsData table if keyAsData is true.
1241dc1bdc4fSdanielk1977 **
1242dc1bdc4fSdanielk1977 ** The value returned is the address of the OP_OpenTemp instruction.
1243d3d39e93Sdrh */
1244dc1bdc4fSdanielk1977 static int openTempIndex(Parse *pParse, Select *p, int iTab, int keyAsData){
1245d3d39e93Sdrh   KeyInfo *pKeyInfo;
1246736c22b8Sdrh   int nColumn;
1247d3d39e93Sdrh   sqlite *db = pParse->db;
1248d3d39e93Sdrh   int i;
1249d3d39e93Sdrh   Vdbe *v = pParse->pVdbe;
1250dc1bdc4fSdanielk1977   int addr;
1251d3d39e93Sdrh 
1252736c22b8Sdrh   if( fillInColumnList(pParse, p) ){
1253dc1bdc4fSdanielk1977     return 0;
1254736c22b8Sdrh   }
1255736c22b8Sdrh   nColumn = p->pEList->nExpr;
1256d3d39e93Sdrh   pKeyInfo = sqliteMalloc( sizeof(*pKeyInfo)+nColumn*sizeof(CollSeq*) );
1257dc1bdc4fSdanielk1977   if( pKeyInfo==0 ) return 0;
1258dc1bdc4fSdanielk1977   pKeyInfo->enc = pParse->db->enc;
1259d3d39e93Sdrh   pKeyInfo->nField = nColumn;
1260d3d39e93Sdrh   for(i=0; i<nColumn; i++){
1261dc1bdc4fSdanielk1977     pKeyInfo->aColl[i] = sqlite3ExprCollSeq(pParse, p->pEList->a[i].pExpr);
1262dc1bdc4fSdanielk1977     if( !pKeyInfo->aColl[i] ){
1263d3d39e93Sdrh       pKeyInfo->aColl[i] = db->pDfltColl;
1264d3d39e93Sdrh     }
1265dc1bdc4fSdanielk1977   }
1266dc1bdc4fSdanielk1977   addr = sqlite3VdbeOp3(v, OP_OpenTemp, iTab, 0,
1267dc1bdc4fSdanielk1977       (char*)pKeyInfo, P3_KEYINFO_HANDOFF);
1268d3d39e93Sdrh   if( keyAsData ){
1269d3d39e93Sdrh     sqlite3VdbeAddOp(v, OP_KeyAsData, iTab, 1);
1270d3d39e93Sdrh   }
1271dc1bdc4fSdanielk1977   return addr;
1272dc1bdc4fSdanielk1977 }
1273dc1bdc4fSdanielk1977 
1274dc1bdc4fSdanielk1977 static int multiSelectOpenTempAddr(Select *p, int addr, IdList **ppOpenTemp){
1275dc1bdc4fSdanielk1977   if( !p->ppOpenTemp ){
1276dc1bdc4fSdanielk1977     *ppOpenTemp = sqlite3IdListAppend(0, 0);
1277dc1bdc4fSdanielk1977     p->ppOpenTemp = ppOpenTemp;
1278dc1bdc4fSdanielk1977   }else{
1279dc1bdc4fSdanielk1977     *p->ppOpenTemp = sqlite3IdListAppend(*p->ppOpenTemp, 0);
1280dc1bdc4fSdanielk1977   }
1281dc1bdc4fSdanielk1977   if( !(*p->ppOpenTemp) ){
1282dc1bdc4fSdanielk1977     return SQLITE_NOMEM;
1283dc1bdc4fSdanielk1977   }
1284dc1bdc4fSdanielk1977   (*p->ppOpenTemp)->a[(*p->ppOpenTemp)->nId-1].idx = addr;
1285dc1bdc4fSdanielk1977   return SQLITE_OK;
1286dc1bdc4fSdanielk1977 }
1287dc1bdc4fSdanielk1977 
1288dc1bdc4fSdanielk1977 static CollSeq *multiSelectCollSeq(Parse *pParse, Select *p, int iCol){
1289dc1bdc4fSdanielk1977   CollSeq *pRet = 0;
1290dc1bdc4fSdanielk1977   if( p->pPrior ){
1291dc1bdc4fSdanielk1977     pRet = multiSelectCollSeq(pParse, p->pPrior, iCol);
1292dc1bdc4fSdanielk1977   }
1293dc1bdc4fSdanielk1977   if( !pRet ){
1294dc1bdc4fSdanielk1977     pRet = sqlite3ExprCollSeq(pParse, p->pEList->a[iCol].pExpr);
1295dc1bdc4fSdanielk1977   }
1296dc1bdc4fSdanielk1977   return pRet;
1297d3d39e93Sdrh }
1298d3d39e93Sdrh 
1299d3d39e93Sdrh /*
130082c3d636Sdrh ** This routine is called to process a query that is really the union
130182c3d636Sdrh ** or intersection of two or more separate queries.
1302c926afbcSdrh **
1303e78e8284Sdrh ** "p" points to the right-most of the two queries.  the query on the
1304e78e8284Sdrh ** left is p->pPrior.  The left query could also be a compound query
1305e78e8284Sdrh ** in which case this routine will be called recursively.
1306e78e8284Sdrh **
1307e78e8284Sdrh ** The results of the total query are to be written into a destination
1308e78e8284Sdrh ** of type eDest with parameter iParm.
1309e78e8284Sdrh **
1310e78e8284Sdrh ** Example 1:  Consider a three-way compound SQL statement.
1311e78e8284Sdrh **
1312e78e8284Sdrh **     SELECT a FROM t1 UNION SELECT b FROM t2 UNION SELECT c FROM t3
1313e78e8284Sdrh **
1314e78e8284Sdrh ** This statement is parsed up as follows:
1315e78e8284Sdrh **
1316e78e8284Sdrh **     SELECT c FROM t3
1317e78e8284Sdrh **      |
1318e78e8284Sdrh **      `----->  SELECT b FROM t2
1319e78e8284Sdrh **                |
13204b11c6d3Sjplyon **                `------>  SELECT a FROM t1
1321e78e8284Sdrh **
1322e78e8284Sdrh ** The arrows in the diagram above represent the Select.pPrior pointer.
1323e78e8284Sdrh ** So if this routine is called with p equal to the t3 query, then
1324e78e8284Sdrh ** pPrior will be the t2 query.  p->op will be TK_UNION in this case.
1325e78e8284Sdrh **
1326e78e8284Sdrh ** Notice that because of the way SQLite parses compound SELECTs, the
1327e78e8284Sdrh ** individual selects always group from left to right.
132882c3d636Sdrh */
132984ac9d02Sdanielk1977 static int multiSelect(
133084ac9d02Sdanielk1977   Parse *pParse,
133184ac9d02Sdanielk1977   Select *p,
133284ac9d02Sdanielk1977   int eDest,
133384ac9d02Sdanielk1977   int iParm,
133484ac9d02Sdanielk1977   char *aff           /* If eDest is SRT_Union, the affinity string */
133584ac9d02Sdanielk1977 ){
133684ac9d02Sdanielk1977   int rc = SQLITE_OK;  /* Success code from a subroutine */
133710e5e3cfSdrh   Select *pPrior;     /* Another SELECT immediately to our left */
133810e5e3cfSdrh   Vdbe *v;            /* Generate code to this VDBE */
1339dc1bdc4fSdanielk1977   IdList *pOpenTemp = 0;
134082c3d636Sdrh 
13417b58daeaSdrh   /* Make sure there is no ORDER BY or LIMIT clause on prior SELECTs.  Only
13427b58daeaSdrh   ** the last SELECT in the series may have an ORDER BY or LIMIT.
134382c3d636Sdrh   */
134484ac9d02Sdanielk1977   if( p==0 || p->pPrior==0 ){
134584ac9d02Sdanielk1977     rc = 1;
134684ac9d02Sdanielk1977     goto multi_select_end;
134784ac9d02Sdanielk1977   }
1348d8bc7086Sdrh   pPrior = p->pPrior;
1349d8bc7086Sdrh   if( pPrior->pOrderBy ){
13504adee20fSdanielk1977     sqlite3ErrorMsg(pParse,"ORDER BY clause should come after %s not before",
1351da93d238Sdrh       selectOpName(p->op));
135284ac9d02Sdanielk1977     rc = 1;
135384ac9d02Sdanielk1977     goto multi_select_end;
135482c3d636Sdrh   }
13557b58daeaSdrh   if( pPrior->nLimit>=0 || pPrior->nOffset>0 ){
13564adee20fSdanielk1977     sqlite3ErrorMsg(pParse,"LIMIT clause should come after %s not before",
13577b58daeaSdrh       selectOpName(p->op));
135884ac9d02Sdanielk1977     rc = 1;
135984ac9d02Sdanielk1977     goto multi_select_end;
13607b58daeaSdrh   }
136182c3d636Sdrh 
1362d8bc7086Sdrh   /* Make sure we have a valid query engine.  If not, create a new one.
1363d8bc7086Sdrh   */
13644adee20fSdanielk1977   v = sqlite3GetVdbe(pParse);
136584ac9d02Sdanielk1977   if( v==0 ){
136684ac9d02Sdanielk1977     rc = 1;
136784ac9d02Sdanielk1977     goto multi_select_end;
136884ac9d02Sdanielk1977   }
1369d8bc7086Sdrh 
13701cc3d75fSdrh   /* Create the destination temporary table if necessary
13711cc3d75fSdrh   */
13721cc3d75fSdrh   if( eDest==SRT_TempTable ){
1373b4964b72Sdanielk1977     assert( p->pEList );
13744adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_OpenTemp, iParm, 0);
1375b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, p->pEList->nExpr);
13761cc3d75fSdrh     eDest = SRT_Table;
13771cc3d75fSdrh   }
13781cc3d75fSdrh 
1379f46f905aSdrh   /* Generate code for the left and right SELECT statements.
1380d8bc7086Sdrh   */
138182c3d636Sdrh   switch( p->op ){
1382f46f905aSdrh     case TK_ALL: {
1383f46f905aSdrh       if( p->pOrderBy==0 ){
13847b58daeaSdrh         pPrior->nLimit = p->nLimit;
13857b58daeaSdrh         pPrior->nOffset = p->nOffset;
1386dc1bdc4fSdanielk1977         pPrior->ppOpenTemp = p->ppOpenTemp;
138784ac9d02Sdanielk1977         rc = sqlite3Select(pParse, pPrior, eDest, iParm, 0, 0, 0, aff);
138884ac9d02Sdanielk1977         if( rc ){
138984ac9d02Sdanielk1977           goto multi_select_end;
139084ac9d02Sdanielk1977         }
1391f46f905aSdrh         p->pPrior = 0;
13927b58daeaSdrh         p->iLimit = pPrior->iLimit;
13937b58daeaSdrh         p->iOffset = pPrior->iOffset;
13947b58daeaSdrh         p->nLimit = -1;
13957b58daeaSdrh         p->nOffset = 0;
139684ac9d02Sdanielk1977         rc = sqlite3Select(pParse, p, eDest, iParm, 0, 0, 0, aff);
1397f46f905aSdrh         p->pPrior = pPrior;
139884ac9d02Sdanielk1977         if( rc ){
139984ac9d02Sdanielk1977           goto multi_select_end;
140084ac9d02Sdanielk1977         }
1401f46f905aSdrh         break;
1402f46f905aSdrh       }
1403f46f905aSdrh       /* For UNION ALL ... ORDER BY fall through to the next case */
1404f46f905aSdrh     }
140582c3d636Sdrh     case TK_EXCEPT:
140682c3d636Sdrh     case TK_UNION: {
1407d8bc7086Sdrh       int unionTab;    /* Cursor number of the temporary table holding result */
1408742f947bSdanielk1977       int op = 0;      /* One of the SRT_ operations to apply to self */
1409d8bc7086Sdrh       int priorOp;     /* The SRT_ operation to apply to prior selects */
14107b58daeaSdrh       int nLimit, nOffset; /* Saved values of p->nLimit and p->nOffset */
1411c926afbcSdrh       ExprList *pOrderBy;  /* The ORDER BY clause for the right SELECT */
1412dc1bdc4fSdanielk1977       int addr;
141382c3d636Sdrh 
1414d8bc7086Sdrh       priorOp = p->op==TK_ALL ? SRT_Table : SRT_Union;
14157b58daeaSdrh       if( eDest==priorOp && p->pOrderBy==0 && p->nLimit<0 && p->nOffset==0 ){
1416d8bc7086Sdrh         /* We can reuse a temporary table generated by a SELECT to our
1417c926afbcSdrh         ** right.
1418d8bc7086Sdrh         */
141982c3d636Sdrh         unionTab = iParm;
142082c3d636Sdrh       }else{
1421d8bc7086Sdrh         /* We will need to create our own temporary table to hold the
1422d8bc7086Sdrh         ** intermediate results.
1423d8bc7086Sdrh         */
142482c3d636Sdrh         unionTab = pParse->nTab++;
1425d8bc7086Sdrh         if( p->pOrderBy
1426d8bc7086Sdrh         && matchOrderbyToColumn(pParse, p, p->pOrderBy, unionTab, 1) ){
142784ac9d02Sdanielk1977           rc = 1;
142884ac9d02Sdanielk1977           goto multi_select_end;
1429d8bc7086Sdrh         }
1430dc1bdc4fSdanielk1977         addr = sqlite3VdbeAddOp(v, OP_OpenTemp, unionTab, 0);
1431d8bc7086Sdrh         if( p->op!=TK_ALL ){
1432dc1bdc4fSdanielk1977           rc = multiSelectOpenTempAddr(p, addr, &pOpenTemp);
1433dc1bdc4fSdanielk1977           if( rc!=SQLITE_OK ){
1434dc1bdc4fSdanielk1977             goto multi_select_end;
1435dc1bdc4fSdanielk1977           }
1436dc1bdc4fSdanielk1977           sqlite3VdbeAddOp(v, OP_KeyAsData, unionTab, 1);
143782c3d636Sdrh         }
143884ac9d02Sdanielk1977         assert( p->pEList );
1439d8bc7086Sdrh       }
1440d8bc7086Sdrh 
1441d8bc7086Sdrh       /* Code the SELECT statements to our left
1442d8bc7086Sdrh       */
1443dc1bdc4fSdanielk1977       pPrior->ppOpenTemp = p->ppOpenTemp;
144484ac9d02Sdanielk1977       rc = sqlite3Select(pParse, pPrior, priorOp, unionTab, 0, 0, 0, aff);
144584ac9d02Sdanielk1977       if( rc ){
144684ac9d02Sdanielk1977         goto multi_select_end;
144784ac9d02Sdanielk1977       }
144884ac9d02Sdanielk1977       if( p->op==TK_ALL ){
144984ac9d02Sdanielk1977         sqlite3VdbeAddOp(v, OP_SetNumColumns, unionTab, pPrior->pEList->nExpr);
145084ac9d02Sdanielk1977       }
1451d8bc7086Sdrh 
1452d8bc7086Sdrh       /* Code the current SELECT statement
1453d8bc7086Sdrh       */
1454d8bc7086Sdrh       switch( p->op ){
1455d8bc7086Sdrh          case TK_EXCEPT:  op = SRT_Except;   break;
1456d8bc7086Sdrh          case TK_UNION:   op = SRT_Union;    break;
1457d8bc7086Sdrh          case TK_ALL:     op = SRT_Table;    break;
1458d8bc7086Sdrh       }
145982c3d636Sdrh       p->pPrior = 0;
1460c926afbcSdrh       pOrderBy = p->pOrderBy;
1461c926afbcSdrh       p->pOrderBy = 0;
14627b58daeaSdrh       nLimit = p->nLimit;
14637b58daeaSdrh       p->nLimit = -1;
14647b58daeaSdrh       nOffset = p->nOffset;
14657b58daeaSdrh       p->nOffset = 0;
146684ac9d02Sdanielk1977       rc = sqlite3Select(pParse, p, op, unionTab, 0, 0, 0, aff);
146782c3d636Sdrh       p->pPrior = pPrior;
1468c926afbcSdrh       p->pOrderBy = pOrderBy;
14697b58daeaSdrh       p->nLimit = nLimit;
14707b58daeaSdrh       p->nOffset = nOffset;
147184ac9d02Sdanielk1977       if( rc ){
147284ac9d02Sdanielk1977         goto multi_select_end;
147384ac9d02Sdanielk1977       }
147484ac9d02Sdanielk1977 
1475d8bc7086Sdrh 
1476d8bc7086Sdrh       /* Convert the data in the temporary table into whatever form
1477d8bc7086Sdrh       ** it is that we currently need.
1478d8bc7086Sdrh       */
1479c926afbcSdrh       if( eDest!=priorOp || unionTab!=iParm ){
14806b56344dSdrh         int iCont, iBreak, iStart;
148182c3d636Sdrh         assert( p->pEList );
148241202ccaSdrh         if( eDest==SRT_Callback ){
14836a3ea0e6Sdrh           generateColumnNames(pParse, 0, p->pEList);
148441202ccaSdrh         }
14854adee20fSdanielk1977         iBreak = sqlite3VdbeMakeLabel(v);
14864adee20fSdanielk1977         iCont = sqlite3VdbeMakeLabel(v);
14874adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Rewind, unionTab, iBreak);
14887b58daeaSdrh         computeLimitRegisters(pParse, p);
14894adee20fSdanielk1977         iStart = sqlite3VdbeCurrentAddr(v);
149038640e15Sdrh         rc = selectInnerLoop(pParse, p, p->pEList, unionTab, p->pEList->nExpr,
1491d8bc7086Sdrh                              p->pOrderBy, -1, eDest, iParm,
149284ac9d02Sdanielk1977                              iCont, iBreak, 0);
149384ac9d02Sdanielk1977         if( rc ){
149484ac9d02Sdanielk1977           rc = 1;
149584ac9d02Sdanielk1977           goto multi_select_end;
149684ac9d02Sdanielk1977         }
14974adee20fSdanielk1977         sqlite3VdbeResolveLabel(v, iCont);
14984adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Next, unionTab, iStart);
14994adee20fSdanielk1977         sqlite3VdbeResolveLabel(v, iBreak);
15004adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_Close, unionTab, 0);
150182c3d636Sdrh       }
150282c3d636Sdrh       break;
150382c3d636Sdrh     }
150482c3d636Sdrh     case TK_INTERSECT: {
150582c3d636Sdrh       int tab1, tab2;
15066b56344dSdrh       int iCont, iBreak, iStart;
15077b58daeaSdrh       int nLimit, nOffset;
1508dc1bdc4fSdanielk1977       int addr;
150982c3d636Sdrh 
1510d8bc7086Sdrh       /* INTERSECT is different from the others since it requires
15116206d50aSdrh       ** two temporary tables.  Hence it has its own case.  Begin
1512d8bc7086Sdrh       ** by allocating the tables we will need.
1513d8bc7086Sdrh       */
151482c3d636Sdrh       tab1 = pParse->nTab++;
151582c3d636Sdrh       tab2 = pParse->nTab++;
1516d8bc7086Sdrh       if( p->pOrderBy && matchOrderbyToColumn(pParse,p,p->pOrderBy,tab1,1) ){
151784ac9d02Sdanielk1977         rc = 1;
151884ac9d02Sdanielk1977         goto multi_select_end;
1519d8bc7086Sdrh       }
1520dc1bdc4fSdanielk1977 
1521dc1bdc4fSdanielk1977       addr = sqlite3VdbeAddOp(v, OP_OpenTemp, tab1, 0);
1522dc1bdc4fSdanielk1977       rc = multiSelectOpenTempAddr(p, addr, &pOpenTemp);
1523dc1bdc4fSdanielk1977       if( rc!=SQLITE_OK ){
1524dc1bdc4fSdanielk1977         goto multi_select_end;
1525dc1bdc4fSdanielk1977       }
1526dc1bdc4fSdanielk1977       sqlite3VdbeAddOp(v, OP_KeyAsData, tab1, 1);
152784ac9d02Sdanielk1977       assert( p->pEList );
1528d8bc7086Sdrh 
1529d8bc7086Sdrh       /* Code the SELECTs to our left into temporary table "tab1".
1530d8bc7086Sdrh       */
1531dc1bdc4fSdanielk1977       pPrior->ppOpenTemp = p->ppOpenTemp;
153284ac9d02Sdanielk1977       rc = sqlite3Select(pParse, pPrior, SRT_Union, tab1, 0, 0, 0, aff);
153384ac9d02Sdanielk1977       if( rc ){
153484ac9d02Sdanielk1977         goto multi_select_end;
153584ac9d02Sdanielk1977       }
1536d8bc7086Sdrh 
1537d8bc7086Sdrh       /* Code the current SELECT into temporary table "tab2"
1538d8bc7086Sdrh       */
1539dc1bdc4fSdanielk1977       addr = sqlite3VdbeAddOp(v, OP_OpenTemp, tab2, 0);
1540dc1bdc4fSdanielk1977       rc = multiSelectOpenTempAddr(p, addr, &pOpenTemp);
1541dc1bdc4fSdanielk1977       if( rc!=SQLITE_OK ){
1542dc1bdc4fSdanielk1977         goto multi_select_end;
1543dc1bdc4fSdanielk1977       }
1544dc1bdc4fSdanielk1977       sqlite3VdbeAddOp(v, OP_KeyAsData, tab2, 1);
154582c3d636Sdrh       p->pPrior = 0;
15467b58daeaSdrh       nLimit = p->nLimit;
15477b58daeaSdrh       p->nLimit = -1;
15487b58daeaSdrh       nOffset = p->nOffset;
15497b58daeaSdrh       p->nOffset = 0;
155084ac9d02Sdanielk1977       rc = sqlite3Select(pParse, p, SRT_Union, tab2, 0, 0, 0, aff);
155182c3d636Sdrh       p->pPrior = pPrior;
15527b58daeaSdrh       p->nLimit = nLimit;
15537b58daeaSdrh       p->nOffset = nOffset;
155484ac9d02Sdanielk1977       if( rc ){
155584ac9d02Sdanielk1977         goto multi_select_end;
155684ac9d02Sdanielk1977       }
1557d8bc7086Sdrh 
1558d8bc7086Sdrh       /* Generate code to take the intersection of the two temporary
1559d8bc7086Sdrh       ** tables.
1560d8bc7086Sdrh       */
156182c3d636Sdrh       assert( p->pEList );
156241202ccaSdrh       if( eDest==SRT_Callback ){
15636a3ea0e6Sdrh         generateColumnNames(pParse, 0, p->pEList);
156441202ccaSdrh       }
15654adee20fSdanielk1977       iBreak = sqlite3VdbeMakeLabel(v);
15664adee20fSdanielk1977       iCont = sqlite3VdbeMakeLabel(v);
15674adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Rewind, tab1, iBreak);
15687b58daeaSdrh       computeLimitRegisters(pParse, p);
15694adee20fSdanielk1977       iStart = sqlite3VdbeAddOp(v, OP_FullKey, tab1, 0);
15704adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_NotFound, tab2, iCont);
157138640e15Sdrh       rc = selectInnerLoop(pParse, p, p->pEList, tab1, p->pEList->nExpr,
1572d8bc7086Sdrh                              p->pOrderBy, -1, eDest, iParm,
157384ac9d02Sdanielk1977                              iCont, iBreak, 0);
157484ac9d02Sdanielk1977       if( rc ){
157584ac9d02Sdanielk1977         rc = 1;
157684ac9d02Sdanielk1977         goto multi_select_end;
157784ac9d02Sdanielk1977       }
15784adee20fSdanielk1977       sqlite3VdbeResolveLabel(v, iCont);
15794adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Next, tab1, iStart);
15804adee20fSdanielk1977       sqlite3VdbeResolveLabel(v, iBreak);
15814adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Close, tab2, 0);
15824adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Close, tab1, 0);
158382c3d636Sdrh       break;
158482c3d636Sdrh     }
158582c3d636Sdrh   }
158682c3d636Sdrh   assert( p->pEList && pPrior->pEList );
158782c3d636Sdrh   if( p->pEList->nExpr!=pPrior->pEList->nExpr ){
15884adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "SELECTs to the left and right of %s"
1589da93d238Sdrh       " do not have the same number of result columns", selectOpName(p->op));
159084ac9d02Sdanielk1977     rc = 1;
159184ac9d02Sdanielk1977     goto multi_select_end;
15922282792aSdrh   }
159384ac9d02Sdanielk1977 
1594dc1bdc4fSdanielk1977   if( p->pOrderBy || (pOpenTemp && pOpenTemp->nId>0) ){
1595dc1bdc4fSdanielk1977     int nCol = p->pEList->nExpr;
1596dc1bdc4fSdanielk1977     int i;
1597dc1bdc4fSdanielk1977     KeyInfo *pKeyInfo = sqliteMalloc(sizeof(*pKeyInfo)+nCol*sizeof(CollSeq*));
1598dc1bdc4fSdanielk1977     if( !pKeyInfo ){
1599dc1bdc4fSdanielk1977       rc = SQLITE_NOMEM;
1600dc1bdc4fSdanielk1977       goto multi_select_end;
1601dc1bdc4fSdanielk1977     }
1602dc1bdc4fSdanielk1977 
1603dc1bdc4fSdanielk1977     pKeyInfo->enc = pParse->db->enc;
1604dc1bdc4fSdanielk1977     pKeyInfo->nField = nCol;
1605dc1bdc4fSdanielk1977 
1606dc1bdc4fSdanielk1977     for(i=0; i<nCol; i++){
1607dc1bdc4fSdanielk1977       pKeyInfo->aColl[i] = multiSelectCollSeq(pParse, p, i);
1608dc1bdc4fSdanielk1977       if( !pKeyInfo->aColl[i] ){
1609dc1bdc4fSdanielk1977         pKeyInfo->aColl[i] = pParse->db->pDfltColl;
1610dc1bdc4fSdanielk1977       }
1611dc1bdc4fSdanielk1977     }
1612dc1bdc4fSdanielk1977 
1613dc1bdc4fSdanielk1977     for(i=0; pOpenTemp && i<pOpenTemp->nId; i++){
1614dc1bdc4fSdanielk1977       int p3type = (i==0?P3_KEYINFO_HANDOFF:P3_KEYINFO);
1615dc1bdc4fSdanielk1977       int addr = pOpenTemp->a[i].idx;
1616dc1bdc4fSdanielk1977       sqlite3VdbeChangeP3(v, addr, (char *)pKeyInfo, p3type);
1617dc1bdc4fSdanielk1977     }
1618dc1bdc4fSdanielk1977 
1619dc1bdc4fSdanielk1977     if( p->pOrderBy ){
1620dc1bdc4fSdanielk1977       for(i=0; i<p->pOrderBy->nExpr; i++){
1621dc1bdc4fSdanielk1977         Expr *pExpr = p->pOrderBy->a[i].pExpr;
1622dc1bdc4fSdanielk1977         char *zName = p->pOrderBy->a[i].zName;
1623dc1bdc4fSdanielk1977         assert( pExpr->op==TK_COLUMN && pExpr->iColumn<nCol );
1624dc1bdc4fSdanielk1977         assert( !pExpr->pColl );
1625dc1bdc4fSdanielk1977         if( zName ){
1626dc1bdc4fSdanielk1977           pExpr->pColl = sqlite3LocateCollSeq(pParse, zName, -1);
162784ac9d02Sdanielk1977         }else{
1628dc1bdc4fSdanielk1977           pExpr->pColl = pKeyInfo->aColl[pExpr->iColumn];
162984ac9d02Sdanielk1977         }
163084ac9d02Sdanielk1977       }
1631dc1bdc4fSdanielk1977       generateSortTail(pParse, p, v, p->pEList->nExpr, eDest, iParm);
1632dc1bdc4fSdanielk1977     }
1633dc1bdc4fSdanielk1977 
1634dc1bdc4fSdanielk1977     if( !pOpenTemp ){
1635dc1bdc4fSdanielk1977       /* This happens for UNION ALL ... ORDER BY */
1636dc1bdc4fSdanielk1977       sqliteFree(pKeyInfo);
1637dc1bdc4fSdanielk1977     }
1638dc1bdc4fSdanielk1977   }
1639dc1bdc4fSdanielk1977 
1640dc1bdc4fSdanielk1977 multi_select_end:
1641dc1bdc4fSdanielk1977   if( pOpenTemp ){
1642dc1bdc4fSdanielk1977     sqlite3IdListDelete(pOpenTemp);
1643dc1bdc4fSdanielk1977   }
1644dc1bdc4fSdanielk1977   p->ppOpenTemp = 0;
164584ac9d02Sdanielk1977   return rc;
16462282792aSdrh }
16472282792aSdrh 
16482282792aSdrh /*
1649832508b7Sdrh ** Scan through the expression pExpr.  Replace every reference to
16506a3ea0e6Sdrh ** a column in table number iTable with a copy of the iColumn-th
165184e59207Sdrh ** entry in pEList.  (But leave references to the ROWID column
16526a3ea0e6Sdrh ** unchanged.)
1653832508b7Sdrh **
1654832508b7Sdrh ** This routine is part of the flattening procedure.  A subquery
1655832508b7Sdrh ** whose result set is defined by pEList appears as entry in the
1656832508b7Sdrh ** FROM clause of a SELECT such that the VDBE cursor assigned to that
1657832508b7Sdrh ** FORM clause entry is iTable.  This routine make the necessary
1658832508b7Sdrh ** changes to pExpr so that it refers directly to the source table
1659832508b7Sdrh ** of the subquery rather the result set of the subquery.
1660832508b7Sdrh */
16616a3ea0e6Sdrh static void substExprList(ExprList*,int,ExprList*);  /* Forward Decl */
16626a3ea0e6Sdrh static void substExpr(Expr *pExpr, int iTable, ExprList *pEList){
1663832508b7Sdrh   if( pExpr==0 ) return;
166450350a15Sdrh   if( pExpr->op==TK_COLUMN && pExpr->iTable==iTable ){
166550350a15Sdrh     if( pExpr->iColumn<0 ){
166650350a15Sdrh       pExpr->op = TK_NULL;
166750350a15Sdrh     }else{
1668832508b7Sdrh       Expr *pNew;
166984e59207Sdrh       assert( pEList!=0 && pExpr->iColumn<pEList->nExpr );
1670832508b7Sdrh       assert( pExpr->pLeft==0 && pExpr->pRight==0 && pExpr->pList==0 );
1671832508b7Sdrh       pNew = pEList->a[pExpr->iColumn].pExpr;
1672832508b7Sdrh       assert( pNew!=0 );
1673832508b7Sdrh       pExpr->op = pNew->op;
1674d94a6698Sdrh       assert( pExpr->pLeft==0 );
16754adee20fSdanielk1977       pExpr->pLeft = sqlite3ExprDup(pNew->pLeft);
1676d94a6698Sdrh       assert( pExpr->pRight==0 );
16774adee20fSdanielk1977       pExpr->pRight = sqlite3ExprDup(pNew->pRight);
1678d94a6698Sdrh       assert( pExpr->pList==0 );
16794adee20fSdanielk1977       pExpr->pList = sqlite3ExprListDup(pNew->pList);
1680832508b7Sdrh       pExpr->iTable = pNew->iTable;
1681832508b7Sdrh       pExpr->iColumn = pNew->iColumn;
1682832508b7Sdrh       pExpr->iAgg = pNew->iAgg;
16834adee20fSdanielk1977       sqlite3TokenCopy(&pExpr->token, &pNew->token);
16844adee20fSdanielk1977       sqlite3TokenCopy(&pExpr->span, &pNew->span);
168550350a15Sdrh     }
1686832508b7Sdrh   }else{
16876a3ea0e6Sdrh     substExpr(pExpr->pLeft, iTable, pEList);
16886a3ea0e6Sdrh     substExpr(pExpr->pRight, iTable, pEList);
16896a3ea0e6Sdrh     substExprList(pExpr->pList, iTable, pEList);
1690832508b7Sdrh   }
1691832508b7Sdrh }
1692832508b7Sdrh static void
16936a3ea0e6Sdrh substExprList(ExprList *pList, int iTable, ExprList *pEList){
1694832508b7Sdrh   int i;
1695832508b7Sdrh   if( pList==0 ) return;
1696832508b7Sdrh   for(i=0; i<pList->nExpr; i++){
16976a3ea0e6Sdrh     substExpr(pList->a[i].pExpr, iTable, pEList);
1698832508b7Sdrh   }
1699832508b7Sdrh }
1700832508b7Sdrh 
1701832508b7Sdrh /*
17021350b030Sdrh ** This routine attempts to flatten subqueries in order to speed
17031350b030Sdrh ** execution.  It returns 1 if it makes changes and 0 if no flattening
17041350b030Sdrh ** occurs.
17051350b030Sdrh **
17061350b030Sdrh ** To understand the concept of flattening, consider the following
17071350b030Sdrh ** query:
17081350b030Sdrh **
17091350b030Sdrh **     SELECT a FROM (SELECT x+y AS a FROM t1 WHERE z<100) WHERE a>5
17101350b030Sdrh **
17111350b030Sdrh ** The default way of implementing this query is to execute the
17121350b030Sdrh ** subquery first and store the results in a temporary table, then
17131350b030Sdrh ** run the outer query on that temporary table.  This requires two
17141350b030Sdrh ** passes over the data.  Furthermore, because the temporary table
17151350b030Sdrh ** has no indices, the WHERE clause on the outer query cannot be
1716832508b7Sdrh ** optimized.
17171350b030Sdrh **
1718832508b7Sdrh ** This routine attempts to rewrite queries such as the above into
17191350b030Sdrh ** a single flat select, like this:
17201350b030Sdrh **
17211350b030Sdrh **     SELECT x+y AS a FROM t1 WHERE z<100 AND a>5
17221350b030Sdrh **
17231350b030Sdrh ** The code generated for this simpification gives the same result
1724832508b7Sdrh ** but only has to scan the data once.  And because indices might
1725832508b7Sdrh ** exist on the table t1, a complete scan of the data might be
1726832508b7Sdrh ** avoided.
17271350b030Sdrh **
1728832508b7Sdrh ** Flattening is only attempted if all of the following are true:
17291350b030Sdrh **
1730832508b7Sdrh **   (1)  The subquery and the outer query do not both use aggregates.
17311350b030Sdrh **
1732832508b7Sdrh **   (2)  The subquery is not an aggregate or the outer query is not a join.
1733832508b7Sdrh **
17348af4d3acSdrh **   (3)  The subquery is not the right operand of a left outer join, or
17358af4d3acSdrh **        the subquery is not itself a join.  (Ticket #306)
1736832508b7Sdrh **
1737832508b7Sdrh **   (4)  The subquery is not DISTINCT or the outer query is not a join.
1738832508b7Sdrh **
1739832508b7Sdrh **   (5)  The subquery is not DISTINCT or the outer query does not use
1740832508b7Sdrh **        aggregates.
1741832508b7Sdrh **
1742832508b7Sdrh **   (6)  The subquery does not use aggregates or the outer query is not
1743832508b7Sdrh **        DISTINCT.
1744832508b7Sdrh **
174508192d5fSdrh **   (7)  The subquery has a FROM clause.
174608192d5fSdrh **
1747df199a25Sdrh **   (8)  The subquery does not use LIMIT or the outer query is not a join.
1748df199a25Sdrh **
1749df199a25Sdrh **   (9)  The subquery does not use LIMIT or the outer query does not use
1750df199a25Sdrh **        aggregates.
1751df199a25Sdrh **
1752df199a25Sdrh **  (10)  The subquery does not use aggregates or the outer query does not
1753df199a25Sdrh **        use LIMIT.
1754df199a25Sdrh **
1755174b6195Sdrh **  (11)  The subquery and the outer query do not both have ORDER BY clauses.
1756174b6195Sdrh **
17573fc673e6Sdrh **  (12)  The subquery is not the right term of a LEFT OUTER JOIN or the
17583fc673e6Sdrh **        subquery has no WHERE clause.  (added by ticket #350)
17593fc673e6Sdrh **
1760832508b7Sdrh ** In this routine, the "p" parameter is a pointer to the outer query.
1761832508b7Sdrh ** The subquery is p->pSrc->a[iFrom].  isAgg is true if the outer query
1762832508b7Sdrh ** uses aggregates and subqueryIsAgg is true if the subquery uses aggregates.
1763832508b7Sdrh **
1764665de47aSdrh ** If flattening is not attempted, this routine is a no-op and returns 0.
1765832508b7Sdrh ** If flattening is attempted this routine returns 1.
1766832508b7Sdrh **
1767832508b7Sdrh ** All of the expression analysis must occur on both the outer query and
1768832508b7Sdrh ** the subquery before this routine runs.
17691350b030Sdrh */
17708c74a8caSdrh static int flattenSubquery(
17718c74a8caSdrh   Parse *pParse,       /* The parsing context */
17728c74a8caSdrh   Select *p,           /* The parent or outer SELECT statement */
17738c74a8caSdrh   int iFrom,           /* Index in p->pSrc->a[] of the inner subquery */
17748c74a8caSdrh   int isAgg,           /* True if outer SELECT uses aggregate functions */
17758c74a8caSdrh   int subqueryIsAgg    /* True if the subquery uses aggregate functions */
17768c74a8caSdrh ){
17770bb28106Sdrh   Select *pSub;       /* The inner query or "subquery" */
1778ad3cab52Sdrh   SrcList *pSrc;      /* The FROM clause of the outer query */
1779ad3cab52Sdrh   SrcList *pSubSrc;   /* The FROM clause of the subquery */
17800bb28106Sdrh   ExprList *pList;    /* The result set of the outer query */
17816a3ea0e6Sdrh   int iParent;        /* VDBE cursor number of the pSub result set temp table */
1782832508b7Sdrh   int i;
1783832508b7Sdrh   Expr *pWhere;
17841350b030Sdrh 
1785832508b7Sdrh   /* Check to see if flattening is permitted.  Return 0 if not.
1786832508b7Sdrh   */
1787832508b7Sdrh   if( p==0 ) return 0;
1788832508b7Sdrh   pSrc = p->pSrc;
1789ad3cab52Sdrh   assert( pSrc && iFrom>=0 && iFrom<pSrc->nSrc );
1790832508b7Sdrh   pSub = pSrc->a[iFrom].pSelect;
1791832508b7Sdrh   assert( pSub!=0 );
1792832508b7Sdrh   if( isAgg && subqueryIsAgg ) return 0;
1793ad3cab52Sdrh   if( subqueryIsAgg && pSrc->nSrc>1 ) return 0;
1794832508b7Sdrh   pSubSrc = pSub->pSrc;
1795832508b7Sdrh   assert( pSubSrc );
1796c31c2eb8Sdrh   if( pSubSrc->nSrc==0 ) return 0;
1797df199a25Sdrh   if( (pSub->isDistinct || pSub->nLimit>=0) &&  (pSrc->nSrc>1 || isAgg) ){
1798df199a25Sdrh      return 0;
1799df199a25Sdrh   }
1800d11d382cSdrh   if( (p->isDistinct || p->nLimit>=0) && subqueryIsAgg ) return 0;
1801174b6195Sdrh   if( p->pOrderBy && pSub->pOrderBy ) return 0;
1802832508b7Sdrh 
18038af4d3acSdrh   /* Restriction 3:  If the subquery is a join, make sure the subquery is
18048af4d3acSdrh   ** not used as the right operand of an outer join.  Examples of why this
18058af4d3acSdrh   ** is not allowed:
18068af4d3acSdrh   **
18078af4d3acSdrh   **         t1 LEFT OUTER JOIN (t2 JOIN t3)
18088af4d3acSdrh   **
18098af4d3acSdrh   ** If we flatten the above, we would get
18108af4d3acSdrh   **
18118af4d3acSdrh   **         (t1 LEFT OUTER JOIN t2) JOIN t3
18128af4d3acSdrh   **
18138af4d3acSdrh   ** which is not at all the same thing.
18148af4d3acSdrh   */
18158af4d3acSdrh   if( pSubSrc->nSrc>1 && iFrom>0 && (pSrc->a[iFrom-1].jointype & JT_OUTER)!=0 ){
18168af4d3acSdrh     return 0;
18178af4d3acSdrh   }
18188af4d3acSdrh 
18193fc673e6Sdrh   /* Restriction 12:  If the subquery is the right operand of a left outer
18203fc673e6Sdrh   ** join, make sure the subquery has no WHERE clause.
18213fc673e6Sdrh   ** An examples of why this is not allowed:
18223fc673e6Sdrh   **
18233fc673e6Sdrh   **         t1 LEFT OUTER JOIN (SELECT * FROM t2 WHERE t2.x>0)
18243fc673e6Sdrh   **
18253fc673e6Sdrh   ** If we flatten the above, we would get
18263fc673e6Sdrh   **
18273fc673e6Sdrh   **         (t1 LEFT OUTER JOIN t2) WHERE t2.x>0
18283fc673e6Sdrh   **
18293fc673e6Sdrh   ** But the t2.x>0 test will always fail on a NULL row of t2, which
18303fc673e6Sdrh   ** effectively converts the OUTER JOIN into an INNER JOIN.
18313fc673e6Sdrh   */
18323fc673e6Sdrh   if( iFrom>0 && (pSrc->a[iFrom-1].jointype & JT_OUTER)!=0
18333fc673e6Sdrh       && pSub->pWhere!=0 ){
18343fc673e6Sdrh     return 0;
18353fc673e6Sdrh   }
18363fc673e6Sdrh 
18370bb28106Sdrh   /* If we reach this point, it means flattening is permitted for the
183863eb5f29Sdrh   ** iFrom-th entry of the FROM clause in the outer query.
1839832508b7Sdrh   */
1840c31c2eb8Sdrh 
1841c31c2eb8Sdrh   /* Move all of the FROM elements of the subquery into the
1842c31c2eb8Sdrh   ** the FROM clause of the outer query.  Before doing this, remember
1843c31c2eb8Sdrh   ** the cursor number for the original outer query FROM element in
1844c31c2eb8Sdrh   ** iParent.  The iParent cursor will never be used.  Subsequent code
1845c31c2eb8Sdrh   ** will scan expressions looking for iParent references and replace
1846c31c2eb8Sdrh   ** those references with expressions that resolve to the subquery FROM
1847c31c2eb8Sdrh   ** elements we are now copying in.
1848c31c2eb8Sdrh   */
18496a3ea0e6Sdrh   iParent = pSrc->a[iFrom].iCursor;
1850c31c2eb8Sdrh   {
1851c31c2eb8Sdrh     int nSubSrc = pSubSrc->nSrc;
18528af4d3acSdrh     int jointype = pSrc->a[iFrom].jointype;
1853c31c2eb8Sdrh 
1854c31c2eb8Sdrh     if( pSrc->a[iFrom].pTab && pSrc->a[iFrom].pTab->isTransient ){
18554adee20fSdanielk1977       sqlite3DeleteTable(0, pSrc->a[iFrom].pTab);
1856c31c2eb8Sdrh     }
1857f26e09c8Sdrh     sqliteFree(pSrc->a[iFrom].zDatabase);
1858c31c2eb8Sdrh     sqliteFree(pSrc->a[iFrom].zName);
1859c31c2eb8Sdrh     sqliteFree(pSrc->a[iFrom].zAlias);
1860c31c2eb8Sdrh     if( nSubSrc>1 ){
1861c31c2eb8Sdrh       int extra = nSubSrc - 1;
1862c31c2eb8Sdrh       for(i=1; i<nSubSrc; i++){
18634adee20fSdanielk1977         pSrc = sqlite3SrcListAppend(pSrc, 0, 0);
1864c31c2eb8Sdrh       }
1865c31c2eb8Sdrh       p->pSrc = pSrc;
1866c31c2eb8Sdrh       for(i=pSrc->nSrc-1; i-extra>=iFrom; i--){
1867c31c2eb8Sdrh         pSrc->a[i] = pSrc->a[i-extra];
1868c31c2eb8Sdrh       }
1869c31c2eb8Sdrh     }
1870c31c2eb8Sdrh     for(i=0; i<nSubSrc; i++){
1871c31c2eb8Sdrh       pSrc->a[i+iFrom] = pSubSrc->a[i];
1872c31c2eb8Sdrh       memset(&pSubSrc->a[i], 0, sizeof(pSubSrc->a[i]));
1873c31c2eb8Sdrh     }
18748af4d3acSdrh     pSrc->a[iFrom+nSubSrc-1].jointype = jointype;
1875c31c2eb8Sdrh   }
1876c31c2eb8Sdrh 
1877c31c2eb8Sdrh   /* Now begin substituting subquery result set expressions for
1878c31c2eb8Sdrh   ** references to the iParent in the outer query.
1879c31c2eb8Sdrh   **
1880c31c2eb8Sdrh   ** Example:
1881c31c2eb8Sdrh   **
1882c31c2eb8Sdrh   **   SELECT a+5, b*10 FROM (SELECT x*3 AS a, y+10 AS b FROM t1) WHERE a>b;
1883c31c2eb8Sdrh   **   \                     \_____________ subquery __________/          /
1884c31c2eb8Sdrh   **    \_____________________ outer query ______________________________/
1885c31c2eb8Sdrh   **
1886c31c2eb8Sdrh   ** We look at every expression in the outer query and every place we see
1887c31c2eb8Sdrh   ** "a" we substitute "x*3" and every place we see "b" we substitute "y+10".
1888c31c2eb8Sdrh   */
18896a3ea0e6Sdrh   substExprList(p->pEList, iParent, pSub->pEList);
1890832508b7Sdrh   pList = p->pEList;
1891832508b7Sdrh   for(i=0; i<pList->nExpr; i++){
18926977fea8Sdrh     Expr *pExpr;
18936977fea8Sdrh     if( pList->a[i].zName==0 && (pExpr = pList->a[i].pExpr)->span.z!=0 ){
18946977fea8Sdrh       pList->a[i].zName = sqliteStrNDup(pExpr->span.z, pExpr->span.n);
1895832508b7Sdrh     }
1896832508b7Sdrh   }
18971b2e0329Sdrh   if( isAgg ){
18986a3ea0e6Sdrh     substExprList(p->pGroupBy, iParent, pSub->pEList);
18996a3ea0e6Sdrh     substExpr(p->pHaving, iParent, pSub->pEList);
19001b2e0329Sdrh   }
1901174b6195Sdrh   if( pSub->pOrderBy ){
1902174b6195Sdrh     assert( p->pOrderBy==0 );
1903174b6195Sdrh     p->pOrderBy = pSub->pOrderBy;
1904174b6195Sdrh     pSub->pOrderBy = 0;
1905174b6195Sdrh   }else if( p->pOrderBy ){
19066a3ea0e6Sdrh     substExprList(p->pOrderBy, iParent, pSub->pEList);
1907174b6195Sdrh   }
1908832508b7Sdrh   if( pSub->pWhere ){
19094adee20fSdanielk1977     pWhere = sqlite3ExprDup(pSub->pWhere);
1910832508b7Sdrh   }else{
1911832508b7Sdrh     pWhere = 0;
1912832508b7Sdrh   }
1913832508b7Sdrh   if( subqueryIsAgg ){
1914832508b7Sdrh     assert( p->pHaving==0 );
19151b2e0329Sdrh     p->pHaving = p->pWhere;
19161b2e0329Sdrh     p->pWhere = pWhere;
19176a3ea0e6Sdrh     substExpr(p->pHaving, iParent, pSub->pEList);
19181b2e0329Sdrh     if( pSub->pHaving ){
19194adee20fSdanielk1977       Expr *pHaving = sqlite3ExprDup(pSub->pHaving);
19201b2e0329Sdrh       if( p->pHaving ){
19214adee20fSdanielk1977         p->pHaving = sqlite3Expr(TK_AND, p->pHaving, pHaving, 0);
19221b2e0329Sdrh       }else{
19231b2e0329Sdrh         p->pHaving = pHaving;
19241b2e0329Sdrh       }
19251b2e0329Sdrh     }
19261b2e0329Sdrh     assert( p->pGroupBy==0 );
19274adee20fSdanielk1977     p->pGroupBy = sqlite3ExprListDup(pSub->pGroupBy);
1928832508b7Sdrh   }else if( p->pWhere==0 ){
1929832508b7Sdrh     p->pWhere = pWhere;
1930832508b7Sdrh   }else{
19316a3ea0e6Sdrh     substExpr(p->pWhere, iParent, pSub->pEList);
1932832508b7Sdrh     if( pWhere ){
19334adee20fSdanielk1977       p->pWhere = sqlite3Expr(TK_AND, p->pWhere, pWhere, 0);
1934832508b7Sdrh     }
1935832508b7Sdrh   }
1936c31c2eb8Sdrh 
1937c31c2eb8Sdrh   /* The flattened query is distinct if either the inner or the
1938c31c2eb8Sdrh   ** outer query is distinct.
1939c31c2eb8Sdrh   */
1940832508b7Sdrh   p->isDistinct = p->isDistinct || pSub->isDistinct;
19418c74a8caSdrh 
1942c31c2eb8Sdrh   /* Transfer the limit expression from the subquery to the outer
1943c31c2eb8Sdrh   ** query.
1944c31c2eb8Sdrh   */
1945df199a25Sdrh   if( pSub->nLimit>=0 ){
1946df199a25Sdrh     if( p->nLimit<0 ){
1947df199a25Sdrh       p->nLimit = pSub->nLimit;
1948df199a25Sdrh     }else if( p->nLimit+p->nOffset > pSub->nLimit+pSub->nOffset ){
1949df199a25Sdrh       p->nLimit = pSub->nLimit + pSub->nOffset - p->nOffset;
1950df199a25Sdrh     }
1951df199a25Sdrh   }
1952df199a25Sdrh   p->nOffset += pSub->nOffset;
19538c74a8caSdrh 
1954c31c2eb8Sdrh   /* Finially, delete what is left of the subquery and return
1955c31c2eb8Sdrh   ** success.
1956c31c2eb8Sdrh   */
19574adee20fSdanielk1977   sqlite3SelectDelete(pSub);
1958832508b7Sdrh   return 1;
19591350b030Sdrh }
19601350b030Sdrh 
19611350b030Sdrh /*
19629562b551Sdrh ** Analyze the SELECT statement passed in as an argument to see if it
19639562b551Sdrh ** is a simple min() or max() query.  If it is and this query can be
19649562b551Sdrh ** satisfied using a single seek to the beginning or end of an index,
1965e78e8284Sdrh ** then generate the code for this SELECT and return 1.  If this is not a
19669562b551Sdrh ** simple min() or max() query, then return 0;
19679562b551Sdrh **
19689562b551Sdrh ** A simply min() or max() query looks like this:
19699562b551Sdrh **
19709562b551Sdrh **    SELECT min(a) FROM table;
19719562b551Sdrh **    SELECT max(a) FROM table;
19729562b551Sdrh **
19739562b551Sdrh ** The query may have only a single table in its FROM argument.  There
19749562b551Sdrh ** can be no GROUP BY or HAVING or WHERE clauses.  The result set must
19759562b551Sdrh ** be the min() or max() of a single column of the table.  The column
19769562b551Sdrh ** in the min() or max() function must be indexed.
19779562b551Sdrh **
19784adee20fSdanielk1977 ** The parameters to this routine are the same as for sqlite3Select().
19799562b551Sdrh ** See the header comment on that routine for additional information.
19809562b551Sdrh */
19819562b551Sdrh static int simpleMinMaxQuery(Parse *pParse, Select *p, int eDest, int iParm){
19829562b551Sdrh   Expr *pExpr;
19839562b551Sdrh   int iCol;
19849562b551Sdrh   Table *pTab;
19859562b551Sdrh   Index *pIdx;
19869562b551Sdrh   int base;
19879562b551Sdrh   Vdbe *v;
19889562b551Sdrh   int seekOp;
19899562b551Sdrh   int cont;
19906e17529eSdrh   ExprList *pEList, *pList, eList;
19919562b551Sdrh   struct ExprList_item eListItem;
19926e17529eSdrh   SrcList *pSrc;
19936e17529eSdrh 
19949562b551Sdrh 
19959562b551Sdrh   /* Check to see if this query is a simple min() or max() query.  Return
19969562b551Sdrh   ** zero if it is  not.
19979562b551Sdrh   */
19989562b551Sdrh   if( p->pGroupBy || p->pHaving || p->pWhere ) return 0;
19996e17529eSdrh   pSrc = p->pSrc;
20006e17529eSdrh   if( pSrc->nSrc!=1 ) return 0;
20016e17529eSdrh   pEList = p->pEList;
20026e17529eSdrh   if( pEList->nExpr!=1 ) return 0;
20036e17529eSdrh   pExpr = pEList->a[0].pExpr;
20049562b551Sdrh   if( pExpr->op!=TK_AGG_FUNCTION ) return 0;
20056e17529eSdrh   pList = pExpr->pList;
20066e17529eSdrh   if( pList==0 || pList->nExpr!=1 ) return 0;
20076977fea8Sdrh   if( pExpr->token.n!=3 ) return 0;
20084adee20fSdanielk1977   if( sqlite3StrNICmp(pExpr->token.z,"min",3)==0 ){
20090bce8354Sdrh     seekOp = OP_Rewind;
20104adee20fSdanielk1977   }else if( sqlite3StrNICmp(pExpr->token.z,"max",3)==0 ){
20110bce8354Sdrh     seekOp = OP_Last;
20120bce8354Sdrh   }else{
20130bce8354Sdrh     return 0;
20140bce8354Sdrh   }
20156e17529eSdrh   pExpr = pList->a[0].pExpr;
20169562b551Sdrh   if( pExpr->op!=TK_COLUMN ) return 0;
20179562b551Sdrh   iCol = pExpr->iColumn;
20186e17529eSdrh   pTab = pSrc->a[0].pTab;
20199562b551Sdrh 
20209562b551Sdrh   /* If we get to here, it means the query is of the correct form.
202117f71934Sdrh   ** Check to make sure we have an index and make pIdx point to the
202217f71934Sdrh   ** appropriate index.  If the min() or max() is on an INTEGER PRIMARY
202317f71934Sdrh   ** key column, no index is necessary so set pIdx to NULL.  If no
202417f71934Sdrh   ** usable index is found, return 0.
20259562b551Sdrh   */
20269562b551Sdrh   if( iCol<0 ){
20279562b551Sdrh     pIdx = 0;
20289562b551Sdrh   }else{
2029dc1bdc4fSdanielk1977     CollSeq *pColl = sqlite3ExprCollSeq(pParse, pExpr);
20309562b551Sdrh     for(pIdx=pTab->pIndex; pIdx; pIdx=pIdx->pNext){
20319562b551Sdrh       assert( pIdx->nColumn>=1 );
2032dc1bdc4fSdanielk1977       if( pIdx->aiColumn[0]==iCol && pIdx->keyInfo.aColl[0]==pColl ) break;
20339562b551Sdrh     }
20349562b551Sdrh     if( pIdx==0 ) return 0;
20359562b551Sdrh   }
20369562b551Sdrh 
2037e5f50722Sdrh   /* Identify column types if we will be using the callback.  This
20389562b551Sdrh   ** step is skipped if the output is going to a table or a memory cell.
2039e5f50722Sdrh   ** The column names have already been generated in the calling function.
20409562b551Sdrh   */
20414adee20fSdanielk1977   v = sqlite3GetVdbe(pParse);
20429562b551Sdrh   if( v==0 ) return 0;
20439562b551Sdrh 
20440c37e630Sdrh   /* If the output is destined for a temporary table, open that table.
20450c37e630Sdrh   */
20460c37e630Sdrh   if( eDest==SRT_TempTable ){
20474adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_OpenTemp, iParm, 0);
2048b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, 1);
20490c37e630Sdrh   }
20500c37e630Sdrh 
205117f71934Sdrh   /* Generating code to find the min or the max.  Basically all we have
205217f71934Sdrh   ** to do is find the first or the last entry in the chosen index.  If
205317f71934Sdrh   ** the min() or max() is on the INTEGER PRIMARY KEY, then find the first
205417f71934Sdrh   ** or last entry in the main table.
20559562b551Sdrh   */
20564adee20fSdanielk1977   sqlite3CodeVerifySchema(pParse, pTab->iDb);
20576e17529eSdrh   base = pSrc->a[0].iCursor;
20587b58daeaSdrh   computeLimitRegisters(pParse, p);
20596e17529eSdrh   if( pSrc->a[0].pSelect==0 ){
20604adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, pTab->iDb, 0);
2061d3d39e93Sdrh     sqlite3VdbeAddOp(v, OP_OpenRead, base, pTab->tnum);
2062b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, base, pTab->nCol);
20636e17529eSdrh   }
20644adee20fSdanielk1977   cont = sqlite3VdbeMakeLabel(v);
20659562b551Sdrh   if( pIdx==0 ){
20664adee20fSdanielk1977     sqlite3VdbeAddOp(v, seekOp, base, 0);
20679562b551Sdrh   }else{
20684adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Integer, pIdx->iDb, 0);
2069d3d39e93Sdrh     sqlite3VdbeOp3(v, OP_OpenRead, base+1, pIdx->tnum,
2070d3d39e93Sdrh                    (char*)&pIdx->keyInfo, P3_KEYINFO);
20714adee20fSdanielk1977     sqlite3VdbeAddOp(v, seekOp, base+1, 0);
20724adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_IdxRecno, base+1, 0);
20734adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Close, base+1, 0);
20747cf6e4deSdrh     sqlite3VdbeAddOp(v, OP_MoveGe, base, 0);
20759562b551Sdrh   }
20765cf8e8c7Sdrh   eList.nExpr = 1;
20775cf8e8c7Sdrh   memset(&eListItem, 0, sizeof(eListItem));
20785cf8e8c7Sdrh   eList.a = &eListItem;
20795cf8e8c7Sdrh   eList.a[0].pExpr = pExpr;
208084ac9d02Sdanielk1977   selectInnerLoop(pParse, p, &eList, 0, 0, 0, -1, eDest, iParm, cont, cont, 0);
20814adee20fSdanielk1977   sqlite3VdbeResolveLabel(v, cont);
20824adee20fSdanielk1977   sqlite3VdbeAddOp(v, OP_Close, base, 0);
20836e17529eSdrh 
20849562b551Sdrh   return 1;
20859562b551Sdrh }
20869562b551Sdrh 
20879562b551Sdrh /*
20889bb61fe7Sdrh ** Generate code for the given SELECT statement.
20899bb61fe7Sdrh **
2090fef5208cSdrh ** The results are distributed in various ways depending on the
2091fef5208cSdrh ** value of eDest and iParm.
2092fef5208cSdrh **
2093fef5208cSdrh **     eDest Value       Result
2094fef5208cSdrh **     ------------    -------------------------------------------
2095fef5208cSdrh **     SRT_Callback    Invoke the callback for each row of the result.
2096fef5208cSdrh **
2097fef5208cSdrh **     SRT_Mem         Store first result in memory cell iParm
2098fef5208cSdrh **
2099e014a838Sdanielk1977 **     SRT_Set         Store results as keys of table iParm.
2100fef5208cSdrh **
210182c3d636Sdrh **     SRT_Union       Store results as a key in a temporary table iParm
210282c3d636Sdrh **
21034b11c6d3Sjplyon **     SRT_Except      Remove results from the temporary table iParm.
2104c4a3c779Sdrh **
2105c4a3c779Sdrh **     SRT_Table       Store results in temporary table iParm
21069bb61fe7Sdrh **
2107e78e8284Sdrh ** The table above is incomplete.  Additional eDist value have be added
2108e78e8284Sdrh ** since this comment was written.  See the selectInnerLoop() function for
2109e78e8284Sdrh ** a complete listing of the allowed values of eDest and their meanings.
2110e78e8284Sdrh **
21119bb61fe7Sdrh ** This routine returns the number of errors.  If any errors are
21129bb61fe7Sdrh ** encountered, then an appropriate error message is left in
21139bb61fe7Sdrh ** pParse->zErrMsg.
21149bb61fe7Sdrh **
21159bb61fe7Sdrh ** This routine does NOT free the Select structure passed in.  The
21169bb61fe7Sdrh ** calling function needs to do that.
21171b2e0329Sdrh **
21181b2e0329Sdrh ** The pParent, parentTab, and *pParentAgg fields are filled in if this
21191b2e0329Sdrh ** SELECT is a subquery.  This routine may try to combine this SELECT
21201b2e0329Sdrh ** with its parent to form a single flat query.  In so doing, it might
21211b2e0329Sdrh ** change the parent query from a non-aggregate to an aggregate query.
21221b2e0329Sdrh ** For that reason, the pParentAgg flag is passed as a pointer, so it
21231b2e0329Sdrh ** can be changed.
2124e78e8284Sdrh **
2125e78e8284Sdrh ** Example 1:   The meaning of the pParent parameter.
2126e78e8284Sdrh **
2127e78e8284Sdrh **    SELECT * FROM t1 JOIN (SELECT x, count(*) FROM t2) JOIN t3;
2128e78e8284Sdrh **    \                      \_______ subquery _______/        /
2129e78e8284Sdrh **     \                                                      /
2130e78e8284Sdrh **      \____________________ outer query ___________________/
2131e78e8284Sdrh **
2132e78e8284Sdrh ** This routine is called for the outer query first.   For that call,
2133e78e8284Sdrh ** pParent will be NULL.  During the processing of the outer query, this
2134e78e8284Sdrh ** routine is called recursively to handle the subquery.  For the recursive
2135e78e8284Sdrh ** call, pParent will point to the outer query.  Because the subquery is
2136e78e8284Sdrh ** the second element in a three-way join, the parentTab parameter will
2137e78e8284Sdrh ** be 1 (the 2nd value of a 0-indexed array.)
21389bb61fe7Sdrh */
21394adee20fSdanielk1977 int sqlite3Select(
2140cce7d176Sdrh   Parse *pParse,         /* The parser context */
21419bb61fe7Sdrh   Select *p,             /* The SELECT statement being coded. */
2142e78e8284Sdrh   int eDest,             /* How to dispose of the results */
2143e78e8284Sdrh   int iParm,             /* A parameter used by the eDest disposal method */
2144832508b7Sdrh   Select *pParent,       /* Another SELECT for which this is a sub-query */
2145832508b7Sdrh   int parentTab,         /* Index in pParent->pSrc of this query */
214684ac9d02Sdanielk1977   int *pParentAgg,       /* True if pParent uses aggregate functions */
214784ac9d02Sdanielk1977   char *aff              /* If eDest is SRT_Union, the affinity string */
2148cce7d176Sdrh ){
2149d8bc7086Sdrh   int i;
2150cce7d176Sdrh   WhereInfo *pWInfo;
2151cce7d176Sdrh   Vdbe *v;
2152cce7d176Sdrh   int isAgg = 0;         /* True for select lists like "count(*)" */
2153a2e00042Sdrh   ExprList *pEList;      /* List of columns to extract. */
2154ad3cab52Sdrh   SrcList *pTabList;     /* List of tables to select from */
21559bb61fe7Sdrh   Expr *pWhere;          /* The WHERE clause.  May be NULL */
21569bb61fe7Sdrh   ExprList *pOrderBy;    /* The ORDER BY clause.  May be NULL */
21572282792aSdrh   ExprList *pGroupBy;    /* The GROUP BY clause.  May be NULL */
21582282792aSdrh   Expr *pHaving;         /* The HAVING clause.  May be NULL */
215919a775c2Sdrh   int isDistinct;        /* True if the DISTINCT keyword is present */
216019a775c2Sdrh   int distinct;          /* Table to use for the distinct set */
21611d83f052Sdrh   int rc = 1;            /* Value to return from this function */
21629bb61fe7Sdrh 
21636f8a503dSdanielk1977   if( sqlite3_malloc_failed || pParse->nErr || p==0 ) return 1;
21644adee20fSdanielk1977   if( sqlite3AuthCheck(pParse, SQLITE_SELECT, 0, 0, 0) ) return 1;
2165daffd0e5Sdrh 
216682c3d636Sdrh   /* If there is are a sequence of queries, do the earlier ones first.
216782c3d636Sdrh   */
216882c3d636Sdrh   if( p->pPrior ){
216984ac9d02Sdanielk1977     return multiSelect(pParse, p, eDest, iParm, aff);
217082c3d636Sdrh   }
217182c3d636Sdrh 
217282c3d636Sdrh   /* Make local copies of the parameters for this query.
217382c3d636Sdrh   */
21749bb61fe7Sdrh   pTabList = p->pSrc;
21759bb61fe7Sdrh   pWhere = p->pWhere;
21769bb61fe7Sdrh   pOrderBy = p->pOrderBy;
21772282792aSdrh   pGroupBy = p->pGroupBy;
21782282792aSdrh   pHaving = p->pHaving;
217919a775c2Sdrh   isDistinct = p->isDistinct;
21809bb61fe7Sdrh 
21816a3ea0e6Sdrh   /* Allocate VDBE cursors for each table in the FROM clause
218210e5e3cfSdrh   */
21834adee20fSdanielk1977   sqlite3SrcListAssignCursors(pParse, pTabList);
218410e5e3cfSdrh 
21859bb61fe7Sdrh   /*
21869bb61fe7Sdrh   ** Do not even attempt to generate any code if we have already seen
21879bb61fe7Sdrh   ** errors before this routine starts.
21889bb61fe7Sdrh   */
21891d83f052Sdrh   if( pParse->nErr>0 ) goto select_end;
2190cce7d176Sdrh 
2191e78e8284Sdrh   /* Expand any "*" terms in the result set.  (For example the "*" in
2192e78e8284Sdrh   ** "SELECT * FROM t1")  The fillInColumnlist() routine also does some
2193e78e8284Sdrh   ** other housekeeping - see the header comment for details.
2194cce7d176Sdrh   */
2195d8bc7086Sdrh   if( fillInColumnList(pParse, p) ){
21961d83f052Sdrh     goto select_end;
2197cce7d176Sdrh   }
2198ad2d8307Sdrh   pWhere = p->pWhere;
2199d8bc7086Sdrh   pEList = p->pEList;
22001d83f052Sdrh   if( pEList==0 ) goto select_end;
2201cce7d176Sdrh 
22022282792aSdrh   /* If writing to memory or generating a set
22032282792aSdrh   ** only a single column may be output.
220419a775c2Sdrh   */
2205fef5208cSdrh   if( (eDest==SRT_Mem || eDest==SRT_Set) && pEList->nExpr>1 ){
22064adee20fSdanielk1977     sqlite3ErrorMsg(pParse, "only a single result allowed for "
2207da93d238Sdrh        "a SELECT that is part of an expression");
22081d83f052Sdrh     goto select_end;
220919a775c2Sdrh   }
221019a775c2Sdrh 
2211c926afbcSdrh   /* ORDER BY is ignored for some destinations.
22122282792aSdrh   */
2213c926afbcSdrh   switch( eDest ){
2214c926afbcSdrh     case SRT_Union:
2215c926afbcSdrh     case SRT_Except:
2216c926afbcSdrh     case SRT_Discard:
2217f93bbbeaSdanielk1977     case SRT_Set:
2218acd4c695Sdrh       pOrderBy = 0;
2219c926afbcSdrh       break;
2220c926afbcSdrh     default:
2221c926afbcSdrh       break;
22222282792aSdrh   }
22232282792aSdrh 
222410e5e3cfSdrh   /* At this point, we should have allocated all the cursors that we
2225832508b7Sdrh   ** need to handle subquerys and temporary tables.
222610e5e3cfSdrh   **
2227967e8b73Sdrh   ** Resolve the column names and do a semantics check on all the expressions.
22282282792aSdrh   */
22294794b980Sdrh   for(i=0; i<pEList->nExpr; i++){
22304adee20fSdanielk1977     if( sqlite3ExprResolveIds(pParse, pTabList, 0, pEList->a[i].pExpr) ){
22311d83f052Sdrh       goto select_end;
2232cce7d176Sdrh     }
22334adee20fSdanielk1977     if( sqlite3ExprCheck(pParse, pEList->a[i].pExpr, 1, &isAgg) ){
22341d83f052Sdrh       goto select_end;
2235cce7d176Sdrh     }
2236cce7d176Sdrh   }
2237cce7d176Sdrh   if( pWhere ){
22384adee20fSdanielk1977     if( sqlite3ExprResolveIds(pParse, pTabList, pEList, pWhere) ){
22391d83f052Sdrh       goto select_end;
2240cce7d176Sdrh     }
22414adee20fSdanielk1977     if( sqlite3ExprCheck(pParse, pWhere, 0, 0) ){
22421d83f052Sdrh       goto select_end;
2243cce7d176Sdrh     }
2244cce7d176Sdrh   }
2245c66c5a26Sdrh   if( pHaving ){
2246c66c5a26Sdrh     if( pGroupBy==0 ){
22474adee20fSdanielk1977       sqlite3ErrorMsg(pParse, "a GROUP BY clause is required before HAVING");
2248c66c5a26Sdrh       goto select_end;
2249c66c5a26Sdrh     }
22504adee20fSdanielk1977     if( sqlite3ExprResolveIds(pParse, pTabList, pEList, pHaving) ){
2251c66c5a26Sdrh       goto select_end;
2252c66c5a26Sdrh     }
22534adee20fSdanielk1977     if( sqlite3ExprCheck(pParse, pHaving, 1, &isAgg) ){
2254c66c5a26Sdrh       goto select_end;
2255c66c5a26Sdrh     }
2256c66c5a26Sdrh   }
2257cce7d176Sdrh   if( pOrderBy ){
2258cce7d176Sdrh     for(i=0; i<pOrderBy->nExpr; i++){
2259e4de1febSdrh       int iCol;
226088eee38aSdrh       Expr *pE = pOrderBy->a[i].pExpr;
22614adee20fSdanielk1977       if( sqlite3ExprIsInteger(pE, &iCol) && iCol>0 && iCol<=pEList->nExpr ){
22624adee20fSdanielk1977         sqlite3ExprDelete(pE);
22634adee20fSdanielk1977         pE = pOrderBy->a[i].pExpr = sqlite3ExprDup(pEList->a[iCol-1].pExpr);
226488eee38aSdrh       }
22654adee20fSdanielk1977       if( sqlite3ExprResolveIds(pParse, pTabList, pEList, pE) ){
226688eee38aSdrh         goto select_end;
226788eee38aSdrh       }
22684adee20fSdanielk1977       if( sqlite3ExprCheck(pParse, pE, isAgg, 0) ){
226988eee38aSdrh         goto select_end;
227088eee38aSdrh       }
22714adee20fSdanielk1977       if( sqlite3ExprIsConstant(pE) ){
22724adee20fSdanielk1977         if( sqlite3ExprIsInteger(pE, &iCol)==0 ){
22734adee20fSdanielk1977           sqlite3ErrorMsg(pParse,
2274da93d238Sdrh              "ORDER BY terms must not be non-integer constants");
22751d83f052Sdrh           goto select_end;
2276e4de1febSdrh         }else if( iCol<=0 || iCol>pEList->nExpr ){
22774adee20fSdanielk1977           sqlite3ErrorMsg(pParse,
2278da93d238Sdrh              "ORDER BY column number %d out of range - should be "
2279e4de1febSdrh              "between 1 and %d", iCol, pEList->nExpr);
2280e4de1febSdrh           goto select_end;
2281e4de1febSdrh         }
2282cce7d176Sdrh       }
2283cce7d176Sdrh     }
2284cce7d176Sdrh   }
22852282792aSdrh   if( pGroupBy ){
22862282792aSdrh     for(i=0; i<pGroupBy->nExpr; i++){
228788eee38aSdrh       int iCol;
22882282792aSdrh       Expr *pE = pGroupBy->a[i].pExpr;
22894adee20fSdanielk1977       if( sqlite3ExprIsInteger(pE, &iCol) && iCol>0 && iCol<=pEList->nExpr ){
22904adee20fSdanielk1977         sqlite3ExprDelete(pE);
22914adee20fSdanielk1977         pE = pGroupBy->a[i].pExpr = sqlite3ExprDup(pEList->a[iCol-1].pExpr);
22929208643dSdrh       }
22934adee20fSdanielk1977       if( sqlite3ExprResolveIds(pParse, pTabList, pEList, pE) ){
22941d83f052Sdrh         goto select_end;
22952282792aSdrh       }
22964adee20fSdanielk1977       if( sqlite3ExprCheck(pParse, pE, isAgg, 0) ){
22971d83f052Sdrh         goto select_end;
22982282792aSdrh       }
22994adee20fSdanielk1977       if( sqlite3ExprIsConstant(pE) ){
23004adee20fSdanielk1977         if( sqlite3ExprIsInteger(pE, &iCol)==0 ){
23014adee20fSdanielk1977           sqlite3ErrorMsg(pParse,
2302da93d238Sdrh             "GROUP BY terms must not be non-integer constants");
230388eee38aSdrh           goto select_end;
230488eee38aSdrh         }else if( iCol<=0 || iCol>pEList->nExpr ){
23054adee20fSdanielk1977           sqlite3ErrorMsg(pParse,
2306da93d238Sdrh              "GROUP BY column number %d out of range - should be "
230788eee38aSdrh              "between 1 and %d", iCol, pEList->nExpr);
230888eee38aSdrh           goto select_end;
230988eee38aSdrh         }
231088eee38aSdrh       }
23112282792aSdrh     }
23122282792aSdrh   }
2313cce7d176Sdrh 
2314d820cb1bSdrh   /* Begin generating code.
2315d820cb1bSdrh   */
23164adee20fSdanielk1977   v = sqlite3GetVdbe(pParse);
2317d820cb1bSdrh   if( v==0 ) goto select_end;
2318d820cb1bSdrh 
2319e78e8284Sdrh   /* Identify column names if we will be using them in a callback.  This
2320e78e8284Sdrh   ** step is skipped if the output is going to some other destination.
23210bb28106Sdrh   */
23220bb28106Sdrh   if( eDest==SRT_Callback ){
23236a3ea0e6Sdrh     generateColumnNames(pParse, pTabList, pEList);
23240bb28106Sdrh   }
23250bb28106Sdrh 
2326d3d39e93Sdrh #if 1  /* I do not think we need the following code any more.... */
232784ac9d02Sdanielk1977   /* If the destination is SRT_Union, then set the number of columns in
232884ac9d02Sdanielk1977   ** the records that will be inserted into the temporary table. The caller
232984ac9d02Sdanielk1977   ** couldn't do this, in case the select statement is of the form
233084ac9d02Sdanielk1977   ** "SELECT * FROM ....".
233184ac9d02Sdanielk1977   **
233284ac9d02Sdanielk1977   ** We need to do this before we start inserting records into the
233384ac9d02Sdanielk1977   ** temporary table (which has had OP_KeyAsData executed on it), because
233484ac9d02Sdanielk1977   ** it is required by the key comparison function. So do it now, even
233584ac9d02Sdanielk1977   ** though this means that OP_SetNumColumns may be executed on the same
233684ac9d02Sdanielk1977   ** cursor more than once.
233784ac9d02Sdanielk1977   */
233884ac9d02Sdanielk1977   if( eDest==SRT_Union ){
233984ac9d02Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, pEList->nExpr);
234084ac9d02Sdanielk1977   }
2341d3d39e93Sdrh #endif
234284ac9d02Sdanielk1977 
2343d820cb1bSdrh   /* Generate code for all sub-queries in the FROM clause
2344d820cb1bSdrh   */
2345ad3cab52Sdrh   for(i=0; i<pTabList->nSrc; i++){
2346742f947bSdanielk1977     const char *zSavedAuthContext = 0;
2347c31c2eb8Sdrh     int needRestoreContext;
2348c31c2eb8Sdrh 
2349a76b5dfcSdrh     if( pTabList->a[i].pSelect==0 ) continue;
23505cf590c1Sdrh     if( pTabList->a[i].zName!=0 ){
23515cf590c1Sdrh       zSavedAuthContext = pParse->zAuthContext;
23525cf590c1Sdrh       pParse->zAuthContext = pTabList->a[i].zName;
2353c31c2eb8Sdrh       needRestoreContext = 1;
2354c31c2eb8Sdrh     }else{
2355c31c2eb8Sdrh       needRestoreContext = 0;
23565cf590c1Sdrh     }
23574adee20fSdanielk1977     sqlite3Select(pParse, pTabList->a[i].pSelect, SRT_TempTable,
235884ac9d02Sdanielk1977                  pTabList->a[i].iCursor, p, i, &isAgg, 0);
2359c31c2eb8Sdrh     if( needRestoreContext ){
23605cf590c1Sdrh       pParse->zAuthContext = zSavedAuthContext;
23615cf590c1Sdrh     }
2362832508b7Sdrh     pTabList = p->pSrc;
2363832508b7Sdrh     pWhere = p->pWhere;
2364c31c2eb8Sdrh     if( eDest!=SRT_Union && eDest!=SRT_Except && eDest!=SRT_Discard ){
2365832508b7Sdrh       pOrderBy = p->pOrderBy;
2366acd4c695Sdrh     }
2367832508b7Sdrh     pGroupBy = p->pGroupBy;
2368832508b7Sdrh     pHaving = p->pHaving;
2369832508b7Sdrh     isDistinct = p->isDistinct;
23701b2e0329Sdrh   }
23711b2e0329Sdrh 
23726e17529eSdrh   /* Check for the special case of a min() or max() function by itself
23736e17529eSdrh   ** in the result set.
23746e17529eSdrh   */
23756e17529eSdrh   if( simpleMinMaxQuery(pParse, p, eDest, iParm) ){
23766e17529eSdrh     rc = 0;
23776e17529eSdrh     goto select_end;
23786e17529eSdrh   }
23796e17529eSdrh 
23801b2e0329Sdrh   /* Check to see if this is a subquery that can be "flattened" into its parent.
23811b2e0329Sdrh   ** If flattening is a possiblity, do so and return immediately.
23821b2e0329Sdrh   */
23831b2e0329Sdrh   if( pParent && pParentAgg &&
23848c74a8caSdrh       flattenSubquery(pParse, pParent, parentTab, *pParentAgg, isAgg) ){
23851b2e0329Sdrh     if( isAgg ) *pParentAgg = 1;
23861b2e0329Sdrh     return rc;
23871b2e0329Sdrh   }
2388832508b7Sdrh 
23897cedc8d4Sdanielk1977   /* If there is an ORDER BY clause, resolve any collation sequences
23907cedc8d4Sdanielk1977   ** names that have been explicitly specified.
23917cedc8d4Sdanielk1977   */
23927cedc8d4Sdanielk1977   if( pOrderBy ){
23937cedc8d4Sdanielk1977     for(i=0; i<pOrderBy->nExpr; i++){
23947cedc8d4Sdanielk1977       if( pOrderBy->a[i].zName ){
23957cedc8d4Sdanielk1977         pOrderBy->a[i].pExpr->pColl =
23967cedc8d4Sdanielk1977             sqlite3LocateCollSeq(pParse, pOrderBy->a[i].zName, -1);
23977cedc8d4Sdanielk1977       }
23987cedc8d4Sdanielk1977     }
23997cedc8d4Sdanielk1977     if( pParse->nErr ){
24007cedc8d4Sdanielk1977       goto select_end;
24017cedc8d4Sdanielk1977     }
24027cedc8d4Sdanielk1977   }
24037cedc8d4Sdanielk1977 
24047b58daeaSdrh   /* Set the limiter.
24057b58daeaSdrh   */
24067b58daeaSdrh   computeLimitRegisters(pParse, p);
24077b58daeaSdrh 
24082d0794e3Sdrh   /* If the output is destined for a temporary table, open that table.
24092d0794e3Sdrh   */
24102d0794e3Sdrh   if( eDest==SRT_TempTable ){
24114adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_OpenTemp, iParm, 0);
2412b4964b72Sdanielk1977     sqlite3VdbeAddOp(v, OP_SetNumColumns, iParm, pEList->nExpr);
24132d0794e3Sdrh   }
24142d0794e3Sdrh 
24152282792aSdrh   /* Do an analysis of aggregate expressions.
2416efb7251dSdrh   */
2417d820cb1bSdrh   sqliteAggregateInfoReset(pParse);
2418bb999ef6Sdrh   if( isAgg || pGroupBy ){
24190bce8354Sdrh     assert( pParse->nAgg==0 );
2420bb999ef6Sdrh     isAgg = 1;
24212282792aSdrh     for(i=0; i<pEList->nExpr; i++){
24224adee20fSdanielk1977       if( sqlite3ExprAnalyzeAggregates(pParse, pEList->a[i].pExpr) ){
24231d83f052Sdrh         goto select_end;
24242282792aSdrh       }
24252282792aSdrh     }
24262282792aSdrh     if( pGroupBy ){
24272282792aSdrh       for(i=0; i<pGroupBy->nExpr; i++){
24284adee20fSdanielk1977         if( sqlite3ExprAnalyzeAggregates(pParse, pGroupBy->a[i].pExpr) ){
24291d83f052Sdrh           goto select_end;
24302282792aSdrh         }
24312282792aSdrh       }
24322282792aSdrh     }
24334adee20fSdanielk1977     if( pHaving && sqlite3ExprAnalyzeAggregates(pParse, pHaving) ){
24341d83f052Sdrh       goto select_end;
24352282792aSdrh     }
2436191b690eSdrh     if( pOrderBy ){
2437191b690eSdrh       for(i=0; i<pOrderBy->nExpr; i++){
24384adee20fSdanielk1977         if( sqlite3ExprAnalyzeAggregates(pParse, pOrderBy->a[i].pExpr) ){
24391d83f052Sdrh           goto select_end;
2440191b690eSdrh         }
2441191b690eSdrh       }
2442191b690eSdrh     }
2443efb7251dSdrh   }
2444efb7251dSdrh 
24452282792aSdrh   /* Reset the aggregator
2446cce7d176Sdrh   */
2447cce7d176Sdrh   if( isAgg ){
2448ce2663ccSdanielk1977     int addr = sqlite3VdbeAddOp(v, OP_AggReset, 0, pParse->nAgg);
2449e5095355Sdrh     for(i=0; i<pParse->nAgg; i++){
24500bce8354Sdrh       FuncDef *pFunc;
24510bce8354Sdrh       if( (pFunc = pParse->aAgg[i].pFunc)!=0 && pFunc->xFinalize!=0 ){
2452f9b596ebSdrh         sqlite3VdbeOp3(v, OP_AggInit, 0, i, (char*)pFunc, P3_FUNCDEF);
2453e5095355Sdrh       }
2454e5095355Sdrh     }
24551bee3d7bSdrh     if( pGroupBy==0 ){
24560f69c1e3Sdanielk1977       sqlite3VdbeAddOp(v, OP_String8, 0, 0);
24574adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_AggFocus, 0, 0);
2458ce2663ccSdanielk1977     }else{
2459ce2663ccSdanielk1977       int sz = sizeof(KeyInfo) + pGroupBy->nExpr*sizeof(CollSeq*);
2460ce2663ccSdanielk1977       KeyInfo *pKey = (KeyInfo *)sqliteMalloc(sz);
2461ce2663ccSdanielk1977       if( 0==pKey ){
2462ce2663ccSdanielk1977         goto select_end;
2463ce2663ccSdanielk1977       }
2464ce2663ccSdanielk1977       pKey->enc = pParse->db->enc;
2465ce2663ccSdanielk1977       pKey->nField = pGroupBy->nExpr;
2466ce2663ccSdanielk1977       for(i=0; i<pGroupBy->nExpr; i++){
2467ce2663ccSdanielk1977         pKey->aColl[i] = sqlite3ExprCollSeq(pParse, pGroupBy->a[i].pExpr);
2468ce2663ccSdanielk1977         if( !pKey->aColl[i] ){
2469ce2663ccSdanielk1977           pKey->aColl[i] = pParse->db->pDfltColl;
2470ce2663ccSdanielk1977         }
2471ce2663ccSdanielk1977       }
2472ce2663ccSdanielk1977       sqlite3VdbeChangeP3(v, addr, (char *)pKey, P3_KEYINFO_HANDOFF);
24731bee3d7bSdrh     }
2474cce7d176Sdrh   }
2475cce7d176Sdrh 
247619a775c2Sdrh   /* Initialize the memory cell to NULL
247719a775c2Sdrh   */
2478fef5208cSdrh   if( eDest==SRT_Mem ){
24790f69c1e3Sdanielk1977     sqlite3VdbeAddOp(v, OP_String8, 0, 0);
24804adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_MemStore, iParm, 1);
248119a775c2Sdrh   }
248219a775c2Sdrh 
2483832508b7Sdrh   /* Open a temporary table to use for the distinct set.
2484cce7d176Sdrh   */
248519a775c2Sdrh   if( isDistinct ){
2486832508b7Sdrh     distinct = pParse->nTab++;
2487d3d39e93Sdrh     openTempIndex(pParse, p, distinct, 0);
2488832508b7Sdrh   }else{
2489832508b7Sdrh     distinct = -1;
2490efb7251dSdrh   }
2491832508b7Sdrh 
2492832508b7Sdrh   /* Begin the database scan
2493832508b7Sdrh   */
24944adee20fSdanielk1977   pWInfo = sqlite3WhereBegin(pParse, pTabList, pWhere, 0,
249568d2e591Sdrh                             pGroupBy ? 0 : &pOrderBy);
24961d83f052Sdrh   if( pWInfo==0 ) goto select_end;
2497cce7d176Sdrh 
24982282792aSdrh   /* Use the standard inner loop if we are not dealing with
24992282792aSdrh   ** aggregates
2500cce7d176Sdrh   */
2501da9d6c45Sdrh   if( !isAgg ){
2502df199a25Sdrh     if( selectInnerLoop(pParse, p, pEList, 0, 0, pOrderBy, distinct, eDest,
250384ac9d02Sdanielk1977                     iParm, pWInfo->iContinue, pWInfo->iBreak, aff) ){
25041d83f052Sdrh        goto select_end;
2505cce7d176Sdrh     }
2506da9d6c45Sdrh   }
2507cce7d176Sdrh 
2508e3184744Sdrh   /* If we are dealing with aggregates, then do the special aggregate
25092282792aSdrh   ** processing.
2510efb7251dSdrh   */
25112282792aSdrh   else{
2512268380caSdrh     AggExpr *pAgg;
25132282792aSdrh     if( pGroupBy ){
25141bee3d7bSdrh       int lbl1;
25152282792aSdrh       for(i=0; i<pGroupBy->nExpr; i++){
25164adee20fSdanielk1977         sqlite3ExprCode(pParse, pGroupBy->a[i].pExpr);
2517efb7251dSdrh       }
2518*ededfd5eSdanielk1977       /* No affinity string is attached to the following OP_MakeRecord
2519d3d39e93Sdrh       ** because we do not need to do any coercion of datatypes. */
2520*ededfd5eSdanielk1977       sqlite3VdbeAddOp(v, OP_MakeRecord, pGroupBy->nExpr, 0);
25214adee20fSdanielk1977       lbl1 = sqlite3VdbeMakeLabel(v);
25224adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_AggFocus, 0, lbl1);
2523268380caSdrh       for(i=0, pAgg=pParse->aAgg; i<pParse->nAgg; i++, pAgg++){
2524268380caSdrh         if( pAgg->isAgg ) continue;
25254adee20fSdanielk1977         sqlite3ExprCode(pParse, pAgg->pExpr);
25264adee20fSdanielk1977         sqlite3VdbeAddOp(v, OP_AggSet, 0, i);
25272282792aSdrh       }
25284adee20fSdanielk1977       sqlite3VdbeResolveLabel(v, lbl1);
25292282792aSdrh     }
2530268380caSdrh     for(i=0, pAgg=pParse->aAgg; i<pParse->nAgg; i++, pAgg++){
25312282792aSdrh       Expr *pE;
2532268380caSdrh       int nExpr;
2533268380caSdrh       FuncDef *pDef;
2534268380caSdrh       if( !pAgg->isAgg ) continue;
2535268380caSdrh       assert( pAgg->pFunc!=0 );
2536268380caSdrh       assert( pAgg->pFunc->xStep!=0 );
2537268380caSdrh       pDef = pAgg->pFunc;
2538268380caSdrh       pE = pAgg->pExpr;
2539268380caSdrh       assert( pE!=0 );
25402282792aSdrh       assert( pE->op==TK_AGG_FUNCTION );
2541f9b596ebSdrh       nExpr = sqlite3ExprCodeExprList(pParse, pE->pList);
25424adee20fSdanielk1977       sqlite3VdbeAddOp(v, OP_Integer, i, 0);
2543dc1bdc4fSdanielk1977       if( pDef->needCollSeq ){
2544dc1bdc4fSdanielk1977         CollSeq *pColl = 0;
2545dc1bdc4fSdanielk1977         int j;
2546dc1bdc4fSdanielk1977         for(j=0; !pColl && j<nExpr; j++){
2547dc1bdc4fSdanielk1977           pColl = sqlite3ExprCollSeq(pParse, pE->pList->a[j].pExpr);
2548dc1bdc4fSdanielk1977         }
2549dc1bdc4fSdanielk1977         if( !pColl ) pColl = pParse->db->pDfltColl;
2550dc1bdc4fSdanielk1977         sqlite3VdbeOp3(v, OP_CollSeq, 0, 0, (char *)pColl, P3_COLLSEQ);
2551dc1bdc4fSdanielk1977       }
25524adee20fSdanielk1977       sqlite3VdbeOp3(v, OP_AggFunc, 0, nExpr, (char*)pDef, P3_POINTER);
25532282792aSdrh     }
25542282792aSdrh   }
25552282792aSdrh 
2556cce7d176Sdrh   /* End the database scan loop.
2557cce7d176Sdrh   */
25584adee20fSdanielk1977   sqlite3WhereEnd(pWInfo);
2559cce7d176Sdrh 
25602282792aSdrh   /* If we are processing aggregates, we need to set up a second loop
25612282792aSdrh   ** over all of the aggregate values and process them.
25622282792aSdrh   */
25632282792aSdrh   if( isAgg ){
25644adee20fSdanielk1977     int endagg = sqlite3VdbeMakeLabel(v);
25652282792aSdrh     int startagg;
25664adee20fSdanielk1977     startagg = sqlite3VdbeAddOp(v, OP_AggNext, 0, endagg);
25672282792aSdrh     pParse->useAgg = 1;
25682282792aSdrh     if( pHaving ){
25694adee20fSdanielk1977       sqlite3ExprIfFalse(pParse, pHaving, startagg, 1);
25702282792aSdrh     }
2571df199a25Sdrh     if( selectInnerLoop(pParse, p, pEList, 0, 0, pOrderBy, distinct, eDest,
257284ac9d02Sdanielk1977                     iParm, startagg, endagg, aff) ){
25731d83f052Sdrh       goto select_end;
25742282792aSdrh     }
25754adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Goto, 0, startagg);
25764adee20fSdanielk1977     sqlite3VdbeResolveLabel(v, endagg);
25774adee20fSdanielk1977     sqlite3VdbeAddOp(v, OP_Noop, 0, 0);
25782282792aSdrh     pParse->useAgg = 0;
25792282792aSdrh   }
25802282792aSdrh 
2581cce7d176Sdrh   /* If there is an ORDER BY clause, then we need to sort the results
2582cce7d176Sdrh   ** and send them to the callback one by one.
2583cce7d176Sdrh   */
2584cce7d176Sdrh   if( pOrderBy ){
2585ffbc3088Sdrh     generateSortTail(pParse, p, v, pEList->nExpr, eDest, iParm);
2586cce7d176Sdrh   }
25876a535340Sdrh 
2588f620b4e2Sdrh   /* If this was a subquery, we have now converted the subquery into a
2589f620b4e2Sdrh   ** temporary table.  So delete the subquery structure from the parent
2590f620b4e2Sdrh   ** to prevent this subquery from being evaluated again and to force the
2591f620b4e2Sdrh   ** the use of the temporary table.
2592f620b4e2Sdrh   */
2593f620b4e2Sdrh   if( pParent ){
2594f620b4e2Sdrh     assert( pParent->pSrc->nSrc>parentTab );
2595f620b4e2Sdrh     assert( pParent->pSrc->a[parentTab].pSelect==p );
25964adee20fSdanielk1977     sqlite3SelectDelete(p);
2597f620b4e2Sdrh     pParent->pSrc->a[parentTab].pSelect = 0;
2598f620b4e2Sdrh   }
2599f620b4e2Sdrh 
26001d83f052Sdrh   /* The SELECT was successfully coded.   Set the return code to 0
26011d83f052Sdrh   ** to indicate no errors.
26021d83f052Sdrh   */
26031d83f052Sdrh   rc = 0;
26041d83f052Sdrh 
26051d83f052Sdrh   /* Control jumps to here if an error is encountered above, or upon
26061d83f052Sdrh   ** successful coding of the SELECT.
26071d83f052Sdrh   */
26081d83f052Sdrh select_end:
26091d83f052Sdrh   sqliteAggregateInfoReset(pParse);
26101d83f052Sdrh   return rc;
2611cce7d176Sdrh }
2612