contrib/sqlite3/sqlite3.c

19498 #define ExprHasProperty(E,P)     (((E)->flags&(u32)(P))!=0)  macro
19561     ExprHasProperty((p), EP_WinFunc) && p->y.pWin->eFrmType!=TK_FILTER \
32521           if( ALWAYS(pExpr) && ALWAYS(!ExprHasProperty(pExpr,EP_IntValue)) ){  in sqlite3_str_vappendf()
32630      && (ExprHasProperty(pExpr,EP_OuterON|EP_InnerON) || pExpr->w.iOfst<=0)  in sqlite3RecordErrorOffsetOfExpr()
32635   if( ExprHasProperty(pExpr, EP_FromDDL) ) return;  in sqlite3RecordErrorOffsetOfExpr()
33665     if( ExprHasProperty(pExpr, EP_OuterON) ){  in sqlite3TreeViewExpr()
33668     if( ExprHasProperty(pExpr, EP_InnerON) ){  in sqlite3TreeViewExpr()
33671     if( ExprHasProperty(pExpr, EP_FromDDL) ){  in sqlite3TreeViewExpr()
33707       if( ExprHasProperty(pExpr, EP_FixedCol) ){  in sqlite3TreeViewExpr()
33722       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33728       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33743       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33749       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33759       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33766       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33817       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33829       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33831         !ExprHasProperty(pExpr, EP_Collate) ? "SOFT-" : "",  in sqlite3TreeViewExpr()
33841       if( ExprHasProperty(pExpr, EP_TokenOnly) ){  in sqlite3TreeViewExpr()
33853       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
33911       if( ExprHasProperty(pExpr, EP_Subrtn) ){  in sqlite3TreeViewExpr()
33980       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in sqlite3TreeViewExpr()
35832   assert( !ExprHasProperty(p, EP_IntValue) );  in sqlite3DequoteExpr()
85357   assert( !ExprHasProperty(p, EP_IntValue) );
85462     assert( !ExprHasProperty(pExpr, EP_IntValue) );
85486       if( ExprHasProperty(pLeft, EP_IntValue)
85500     if( ExprHasProperty(pExpr, EP_IntValue) ){
85563     assert( !ExprHasProperty(pExpr, EP_IntValue) );
85581     assert( !ExprHasProperty(pExpr, EP_IntValue) );
87729       assert( !ExprHasProperty(pExpr, EP_IntValue) );
107836   testcase( ExprHasProperty(pExpr, EP_TokenOnly) );
107837   testcase( ExprHasProperty(pExpr, EP_Reduced) );
107841     if( !ExprHasProperty(pExpr,(EP_TokenOnly|EP_Leaf)) ){
107847         assert( !ExprHasProperty(pExpr, EP_WinFunc) );
107851         assert( !ExprHasProperty(pExpr, EP_WinFunc) );
107858         if( ExprHasProperty(pExpr, EP_WinFunc) ){
108116   assert( !ExprHasProperty(pExpr, EP_Reduced|EP_TokenOnly) );
108127       assert( !ExprHasProperty(pExpr, EP_IntValue) );
108133     if( ExprHasProperty(pExpr, EP_WinFunc) ){
108337   assert( !ExprHasProperty(pExpr, EP_TokenOnly|EP_Reduced) );
108705           if( (pNC->ncFlags&NC_AllowAgg)==0 && ExprHasProperty(pOrig, EP_Agg) ){
108709           if( ExprHasProperty(pOrig, EP_Win)
108752     if( ExprHasProperty(pExpr,EP_DblQuoted)
108791   assert( !ExprHasProperty(pExpr, EP_xIsSelect|EP_IntValue) );
108796         if( ExprHasProperty(pExpr,EP_Leaf) ){
108820     }else if( cnt==0 && ExprHasProperty(pRight,EP_DblQuoted) ){
108835   if( !ExprHasProperty(pExpr,(EP_TokenOnly|EP_Leaf)) ){
108969   assert( !ExprHasProperty(p, EP_IntValue) );
109073       testcase( ExprHasProperty(pExpr, EP_OuterON) );
109074       assert( !ExprHasProperty(pExpr, EP_IntValue) );
109112         assert( !ExprHasProperty(pExpr, EP_IntValue) );
109125           assert( !ExprHasProperty(pRight, EP_IntValue) );
109156       assert( !ExprHasProperty(pExpr, EP_xIsSelect|EP_IntValue) );
109218          || ExprHasProperty(pExpr, EP_SubtArg)
109311         else if( is_agg==0 && ExprHasProperty(pExpr, EP_WinFunc) ){
109334       else if( ExprHasProperty(pExpr, EP_WinFunc) || pExpr->pLeft ){
109364           if( ExprHasProperty(pExpr, EP_WinFunc) ){
109433       assert( !ExprHasProperty(pExpr, EP_Reduced) );
109511     assert( !ExprHasProperty(pE, EP_IntValue) );
109766   if( ExprHasProperty(pExpr, EP_WinFunc) ){
110095         if( ExprHasProperty(pItem->pExpr, EP_Agg) ){
110408       assert( !ExprHasProperty(pExpr, EP_IntValue) );
110427     if( ExprHasProperty(pExpr, EP_Skip|EP_IfNullRow) ){
110551   while( pExpr && ExprHasProperty(pExpr, EP_Skip) ){
110564   while( pExpr && ExprHasProperty(pExpr, EP_Skip|EP_Unlikely) ){
110565     if( ExprHasProperty(pExpr, EP_Unlikely) ){
110624       assert( !ExprHasProperty(p, EP_IntValue) );
110638             if( ExprHasProperty(p->x.pList->a[i].pExpr, EP_Collate) ){
110798   if( ExprHasProperty(p, EP_Commuted) ){
111059   int isCommuted = ExprHasProperty(pExpr,EP_Commuted);
111522   assert( !ExprHasProperty(pNew, EP_InnerON|EP_OuterON) );
111617   if( ExprHasProperty(pExpr, EP_FromDDL) ){
111655   assert( !ExprHasProperty(pExpr, EP_IntValue|EP_Reduced|EP_TokenOnly) );
111728   if( ExprHasProperty(p, EP_Leaf) && !ExprHasProperty(p, EP_TokenOnly) ){
111735   if( !ExprHasProperty(p, (EP_TokenOnly|EP_Leaf)) ){
111739       assert( !ExprHasProperty(p, EP_WinFunc) );
111742       assert( !ExprHasProperty(p, EP_WinFunc) );
111747       if( ExprHasProperty(p, EP_WinFunc) ){
111754       if( !ExprHasProperty(p, EP_Static)
111755        && !ExprHasProperty(pLeft, EP_Static)
111766   if( !ExprHasProperty(p, EP_Static) ){
111822   if( ExprHasProperty(p, EP_TokenOnly) ) return EXPR_TOKENONLYSIZE;
111823   if( ExprHasProperty(p, EP_Reduced) ) return EXPR_REDUCEDSIZE;
111866   if( 0==flags || ExprHasProperty(p, EP_FullSize) ){
111869     assert( !ExprHasProperty(p, EP_TokenOnly|EP_Reduced) );
111870     assert( !ExprHasProperty(p, EP_OuterON) );
111889   if( !ExprHasProperty(p, EP_IntValue) && p->u.zToken ){
111967     }else if( !ExprHasProperty(p, EP_IntValue) && p->u.zToken ){
111994       if( !ExprHasProperty(p, EP_IntValue) && p->u.zToken ){
112002       assert( ExprHasProperty(p, EP_Reduced)==0 );
112044       if( ExprHasProperty(p, EP_WinFunc) ){
112046         assert( ExprHasProperty(pNew, EP_WinFunc) );
112056                || ExprHasProperty(p->pLeft, EP_Subquery) );
112068                || ExprHasProperty(p->pLeft, EP_Subquery) );
112117   if( pExpr->op==TK_FUNCTION && ExprHasProperty(pExpr, EP_WinFunc) ){
112671   if( !ExprHasProperty(pExpr, EP_Quoted|EP_IntValue)
112688   assert( !ExprHasProperty(pExpr, EP_IntValue) );
112747   if( ExprHasProperty(pExpr, EP_TokenOnly)
112761    || ExprHasProperty(pExpr, EP_WinFunc)
112802   if( pWalker->eCode==2 && ExprHasProperty(pExpr, EP_OuterON) ){
112812       if( (pWalker->eCode>=4 || ExprHasProperty(pExpr,EP_ConstFunc))
112813        && !ExprHasProperty(pExpr, EP_WinFunc)
112837       if( ExprHasProperty(pExpr, EP_FixedCol) && pWalker->eCode!=2 ){
113019     if( !ExprHasProperty(pExpr, EP_OuterON) ) return 0;   /* rule (4a) */
113022     if( ExprHasProperty(pExpr, EP_OuterON) ) return 0;    /* rule (5) */
113024   if( ExprHasProperty(pExpr, EP_OuterON|EP_InnerON)  /* (6a) */
113237       return ExprHasProperty(p, EP_CanBeNull)
113334   if( ExprHasProperty(pX, EP_VarSelect)  ) return 0;  /* Correlated subq */
113392   assert( !ExprHasProperty(pIn, EP_xIsSelect) );
113866   if( !ExprHasProperty(pExpr, EP_VarSelect) && pParse->iSelfTab==0 ){
113885     if( ExprHasProperty(pExpr, EP_Subrtn)
113909     assert( !ExprHasProperty(pExpr, EP_TokenOnly|EP_Reduced) );
114107   if( ExprHasProperty(pExpr, EP_Subrtn) ){
114117   assert( !ExprHasProperty(pExpr, EP_Reduced|EP_TokenOnly) );
114133   if( !ExprHasProperty(pExpr, EP_VarSelect) ){
114427       if( ExprHasProperty(pExpr, EP_Subrtn) ){
114988     if( ExprHasProperty(pExpr, EP_SubtArg)
115084    && !ExprHasProperty(pExpr, EP_Leaf)
115142       if( ExprHasProperty(pExpr, EP_FixedCol) ){
115236       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115242       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115266       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115278       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115292       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115318             ExprHasProperty(pExpr,EP_Commuted));
115373         assert( !ExprHasProperty(pExpr, EP_IntValue) );
115431         assert( !ExprHasProperty(pExpr, EP_IntValue) );
115450       if( ExprHasProperty(pExpr, EP_WinFunc) ){
115462       assert( !ExprHasProperty(pExpr, EP_TokenOnly) );
115466       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115543       if( nFarg>=2 && ExprHasProperty(pExpr, EP_InfixFunc) ){
115627       if( !ExprHasProperty(pExpr, EP_Collate) ){
115853       assert( !ExprHasProperty(pExpr, EP_IntValue) );
115910   if( pExpr!=0 && ExprHasProperty(pExpr, EP_HasFunc) ){
116009      && (ExprHasProperty(pX,EP_Subquery) || pX->op==TK_REGISTER)
116284                   r1, r2, dest, jumpIfNull, ExprHasProperty(pExpr,EP_Commuted));
116461                   r1, r2, dest, jumpIfNull,ExprHasProperty(pExpr,EP_Commuted));
116645   assert( !ExprHasProperty(pA, EP_IntValue) );
116646   assert( !ExprHasProperty(pB, EP_IntValue) );
116652       if( ExprHasProperty(pA,EP_WinFunc)!=ExprHasProperty(pB,EP_WinFunc) ){
116655       if( ExprHasProperty(pA,EP_WinFunc) ){
116758       if( seenNot && ExprHasProperty(p, EP_xIsSelect) ) return 0;
116949   if( ExprHasProperty(pExpr, EP_OuterON) ) return WRC_Prune;
116950   if( ExprHasProperty(pExpr, EP_InnerON) && pWalker->mWFlags ){
117268   if( ExprHasProperty(pExpr, EP_WinFunc) ){
117294   if( ALWAYS(!ExprHasProperty(pExpr, EP_TokenOnly|EP_Reduced))
117507           assert( !ExprHasProperty(pExpr, EP_TokenOnly|EP_Reduced) );
117544             assert( !ExprHasProperty(pExpr, EP_xIsSelect) );
117571                 pItem->bOBUnique = ExprHasProperty(pExpr, EP_Distinct);
117580             if( ExprHasProperty(pExpr, EP_Distinct) && !pItem->bOBUnique ){
117589         assert( !ExprHasProperty(pExpr, EP_TokenOnly|EP_Reduced) );
122494       assert( !ExprHasProperty(pAuthArg, EP_IntValue) );
124848         assert( !ExprHasProperty(pCExpr, EP_IntValue) );
127141       assert( !ExprHasProperty(pExpr, EP_IntValue) );
127239       assert( !ExprHasProperty(pListItem->pExpr, EP_IntValue) );
132776   assert( !ExprHasProperty(pExpr, EP_IntValue) );
132800     assert( !ExprHasProperty(pEscape, EP_IntValue) );
136245           ExprHasProperty(pX, EP_Subquery) ? OP_Copy : OP_SCopy, y, iRegStore);
137987       assert( pDestExpr==0 || !ExprHasProperty(pDestExpr, EP_IntValue) );
137989       assert( pSrcExpr==0 || !ExprHasProperty(pSrcExpr, EP_IntValue) );
141899         assert( pColExpr==0 || !ExprHasProperty(pColExpr, EP_IntValue)
145282     assert( !ExprHasProperty(p, EP_TokenOnly|EP_Reduced) );
145315     if( iTable<0 || (ExprHasProperty(p, EP_OuterON) && p->w.iJoin==iTable) ){
145486           assert( !ExprHasProperty(pEq, EP_TokenOnly|EP_Reduced) );
147128         assert( !ExprHasProperty(pColExpr, EP_IntValue) );
148736   if( ExprHasProperty(pExpr, EP_OuterON|EP_InnerON)
148739     testcase( ExprHasProperty(pExpr, EP_InnerON) );
148744    && !ExprHasProperty(pExpr, EP_FixedCol)
148776         testcase( ExprHasProperty(pCopy, EP_Subquery) );
148805         if( ExprHasProperty(pExpr,EP_OuterON|EP_InnerON) ){
148825     if( ExprHasProperty(pExpr, EP_WinFunc) ){
148965   if( ExprHasProperty(pExpr, EP_OuterON) ){
149691   if( ExprHasProperty(pColumn, EP_FixedCol) ) return;
149733   if( ExprHasProperty(pExpr, pConst->mExcludeOn) ){
149734     testcase( ExprHasProperty(pExpr, EP_OuterON) );
149735     testcase( ExprHasProperty(pExpr, EP_InnerON) );
149773   if( ExprHasProperty(pExpr, EP_FixedCol|pConst->mExcludeOn) ){
149774     testcase( ExprHasProperty(pExpr, EP_FixedCol) );
149775     testcase( ExprHasProperty(pExpr, EP_OuterON) );
149776     testcase( ExprHasProperty(pExpr, EP_InnerON) );
150144   if( ExprHasProperty(pWhere, EP_OuterON|EP_InnerON) /* (9a) */
150162    && (ExprHasProperty(pWhere,EP_OuterON)==0
150167   if( ExprHasProperty(pWhere,EP_OuterON)
150322    || ExprHasProperty(pFunc, EP_WinFunc)
150327   assert( !ExprHasProperty(pFunc, EP_IntValue) );
150388   testcase( ExprHasProperty(pExpr, EP_Distinct) );
150389   testcase( ExprHasProperty(pExpr, EP_WinFunc) );
150390   if( ExprHasProperty(pExpr, EP_Distinct|EP_WinFunc) ) return 0;
151078           assert( !ExprHasProperty(pE->pLeft, EP_IntValue) );
151465     if( ExprHasProperty(pExpr, EP_WinFunc) ){
151756     if( ExprHasProperty(pF->pFExpr, EP_WinFunc) ){
152077   if( ExprHasProperty(pExpr, EP_WinFunc) ) return 0;/* Not a window function */
153533             if( ExprHasProperty(pAggInfo->aFunc[i].pFExpr, EP_WinFunc) ){
154832     testcase( ExprHasProperty(pExpr, EP_VarSelect) );
156173        && (pWhere==0 || !ExprHasProperty(pWhere, EP_Subquery))
160022       && (pLevel->iLeftJoin==0 || ExprHasProperty(pTerm->pExpr, EP_OuterON))
160802       if( !ExprHasProperty(pExpr, EP_OuterON)
160811       if( ExprHasProperty(pTerm->pExpr, EP_OuterON) ) continue;
161990         if( ExprHasProperty(pExpr, EP_Subquery) ) continue;  /* tag-20220303a */
162017                && !ExprHasProperty(pOrExpr, EP_OuterON)
162232         if( !ExprHasProperty(pE,EP_OuterON|EP_InnerON) ){
162237                && !ExprHasProperty(pE,EP_OuterON) ){
162313     assert( !ExprHasProperty(pE, EP_OuterON) );
162494       if( ExprHasProperty(pTerm->pExpr, EP_OuterON|EP_InnerON) ) continue;
162623   if( p && ExprHasProperty(p, EP_Unlikely) ){
162761     assert( !ExprHasProperty(pRight, EP_IntValue) );
162808         assert( !ExprHasProperty(pPrefix, EP_IntValue) );
162863         assert( !ExprHasProperty(pRight, EP_IntValue) );
162954         assert( !ExprHasProperty(pExpr, EP_IntValue) );
162985       assert( !ExprHasProperty(pExpr, EP_IntValue) );
163034   if( pDerived && ExprHasProperty(pBase, EP_OuterON|EP_InnerON) ){
163491   if( ExprHasProperty(pExpr, EP_OuterON) ) return 0;                   /* (3) */
163689      || ExprHasProperty(pExpr, EP_xIsSelect|EP_IfNullRow)
163707   if( ExprHasProperty(pExpr, EP_OuterON|EP_InnerON) ){
163709     if( ExprHasProperty(pExpr, EP_OuterON) ){
163757      && !ExprHasProperty(pRight, EP_FixedCol)
163796      && !ExprHasProperty(pExpr,EP_OuterON)
163799       assert( !ExprHasProperty(pExpr, EP_IntValue) );
163867      && !ExprHasProperty(pExpr, EP_OuterON)
163925     assert( pStr1==0 || !ExprHasProperty(pStr1, EP_IntValue) );
163926     assert( pStr2==0 || !ExprHasProperty(pStr2, EP_IntValue) );
164077         if( ExprHasProperty(pExpr, EP_OuterON) && pNewExpr ){
164356     if( ExprHasProperty(p, EP_VarSelect) ) pMaskSet->bVarSelect = 1;
164372   if( p->op==TK_COLUMN && !ExprHasProperty(p, EP_FixedCol) ){
164374   }else if( ExprHasProperty(p, EP_TokenOnly|EP_Leaf) ){
164772   if( ALWAYS(p!=0) && p->op==TK_COLUMN && !ExprHasProperty(p, EP_FixedCol) ){
164842          && (pScan->iEquiv<=1 || !ExprHasProperty(pTerm->pExpr, EP_OuterON))
165307   testcase( ExprHasProperty(pTerm->pExpr, EP_OuterON) )
165308   testcase( ExprHasProperty(pTerm->pExpr, EP_InnerON) );
165309   if( !ExprHasProperty(pTerm->pExpr, EP_OuterON|EP_InnerON)
165315    && NEVER(ExprHasProperty(pTerm->pExpr, EP_InnerON))
165966         assert( !ExprHasProperty(pExpr, EP_IntValue) );
166844     if( ExprHasProperty(pTerm->pExpr, EP_OuterON) ) zType[2] = 'L';
168084     if( (!ExprHasProperty(pExpr, EP_OuterON) || pExpr->w.iJoin==iTab)
168085      && ((jointype & JT_OUTER)==0 || ExprHasProperty(pExpr, EP_OuterON))
170749   if( pExpr->op==TK_FUNCTION && ExprHasProperty(pExpr, EP_ConstFunc)==0 ){
170872         if( !ExprHasProperty(pTerm->pExpr, EP_OuterON)
170879        && ExprHasProperty(pTerm->pExpr, EP_InnerON)
171329     assert( pT->prereqAll!=0 || !ExprHasProperty(pX, EP_OuterON) );
171332      && !(ExprHasProperty(pX, EP_InnerON)          /* Condition (3) */
172929       if( !ExprHasProperty(pExpr, EP_WinFunc) ){
172963         assert( ExprHasProperty(pExpr, EP_Static)==0 );
173098     assert( !ExprHasProperty(pExpr, EP_IntValue) );
179941       if( !ExprHasProperty(yymsp[-4].minor.yy590, EP_HasFunc) ){