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