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