100   assert( TK_GT>TK_EQ && TK_GT<TK_GE );  in allowedOp()
101   assert( TK_LT>TK_EQ && TK_LT<TK_GE );  in allowedOp()
102   assert( TK_LE>TK_EQ && TK_LE<TK_GE );  in allowedOp()
103   assert( TK_GE==TK_EQ+4 );  in allowedOp()
121     assert( TK_LT==TK_GT+2 );  in exprCommute()
122     assert( TK_GE==TK_LE+2 );  in exprCommute()
123     assert( TK_GT>TK_EQ );  in exprCommute()
124     assert( TK_GT<TK_LE );  in exprCommute()
125     assert( pExpr->op>=TK_GT && pExpr->op<=TK_GE );  in exprCommute()
136   assert( allowedOp(op) );  in operatorMask()
144     assert( (WO_EQ<<(op-TK_EQ)) < 0x7fff );  in operatorMask()
147   assert( op!=TK_ISNULL || c==WO_ISNULL );  in operatorMask()
148   assert( op!=TK_IN || c==WO_IN );  in operatorMask()
149   assert( op!=TK_EQ || c==WO_EQ );  in operatorMask()
150   assert( op!=TK_LT || c==WO_LT );  in operatorMask()
151   assert( op!=TK_LE || c==WO_LE );  in operatorMask()
152   assert( op!=TK_GT || c==WO_GT );  in operatorMask()
153   assert( op!=TK_GE || c==WO_GE );  in operatorMask()
154   assert( op!=TK_IS || c==WO_IS );  in operatorMask()
196   assert( ExprUseXList(pExpr) );  in isLikeOrGlob()
210     assert( pRight->op==TK_VARIABLE || pRight->op==TK_REGISTER );  in isLikeOrGlob()
212     assert( !ExprHasProperty(pRight, EP_IntValue) );  in isLikeOrGlob()
243         assert( !ExprHasProperty(pPrefix, EP_IntValue) );  in isLikeOrGlob()
251         assert( iTo>0 );  in isLikeOrGlob()
298         assert( !ExprHasProperty(pRight, EP_IntValue) );  in isLikeOrGlob()
372     assert( ExprUseXList(pExpr) );  in isAuxiliaryVtabOperator()
386     assert( pCol->op!=TK_COLUMN || (ExprUseYTab(pCol) && pCol->y.pTab!=0) );  in isAuxiliaryVtabOperator()
389         assert( !ExprHasProperty(pExpr, EP_IntValue) );  in isAuxiliaryVtabOperator()
410     assert( pCol->op!=TK_COLUMN || ExprUseYTab(pCol) );  in isAuxiliaryVtabOperator()
411     assert( pCol->op!=TK_COLUMN || (ExprUseYTab(pCol) && pCol->y.pTab!=0) );  in isAuxiliaryVtabOperator()
418       assert( pVtab!=0 );  in isAuxiliaryVtabOperator()
419       assert( pVtab->pModule!=0 );  in isAuxiliaryVtabOperator()
420       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in isAuxiliaryVtabOperator()
436     assert( pLeft->op!=TK_COLUMN || (ExprUseYTab(pLeft) && pLeft->y.pTab!=0) );  in isAuxiliaryVtabOperator()
440     assert( pRight==0 || pRight->op!=TK_COLUMN  in isAuxiliaryVtabOperator()
529   assert( pOne->pExpr->pLeft!=0 && pOne->pExpr->pRight!=0 );  in whereCombineDisjuncts()
530   assert( pTwo->pExpr->pLeft!=0 && pTwo->pExpr->pRight!=0 );  in whereCombineDisjuncts()
538       assert( eOp & (WO_GT|WO_GE) );  in whereCombineDisjuncts()
545   for(op=TK_EQ; eOp!=(WO_EQ<<(op-TK_EQ)); op++){ assert( op<TK_GE ); }  in whereCombineDisjuncts()
661   assert( (pTerm->wtFlags & (TERM_DYNAMIC|TERM_ORINFO|TERM_ANDINFO))==0 );  in exprAnalyzeOrTerm()
662   assert( pExpr->op==TK_OR );  in exprAnalyzeOrTerm()
672   assert( pOrWc->nTerm>=2 );  in exprAnalyzeOrTerm()
682       assert( (pOrTerm->wtFlags & (TERM_ANDINFO|TERM_ORINFO))==0 );  in exprAnalyzeOrTerm()
702             assert( pAndTerm->pExpr );  in exprAnalyzeOrTerm()
793         assert( pOrTerm->eOperator & WO_EQ );  in exprAnalyzeOrTerm()
798           assert( j==1 );  in exprAnalyzeOrTerm()
809           assert( pOrTerm->wtFlags & (TERM_COPIED|TERM_VIRTUAL) );  in exprAnalyzeOrTerm()
812         assert( (pOrTerm->eOperator & (WO_OR|WO_AND))==0 );  in exprAnalyzeOrTerm()
821         assert( j==1 );  in exprAnalyzeOrTerm()
822         assert( IsPowerOfTwo(chngToIN) );  in exprAnalyzeOrTerm()
823         assert( chngToIN==sqlite3WhereGetMask(&pWInfo->sMaskSet, iCursor) );  in exprAnalyzeOrTerm()
832         assert( pOrTerm->eOperator & WO_EQ );  in exprAnalyzeOrTerm()
833         assert( (pOrTerm->eOperator & (WO_OR|WO_AND))==0 );  in exprAnalyzeOrTerm()
869         assert( pOrTerm->eOperator & WO_EQ );  in exprAnalyzeOrTerm()
870         assert( (pOrTerm->eOperator & (WO_OR|WO_AND))==0 );  in exprAnalyzeOrTerm()
871         assert( pOrTerm->leftCursor==iCursor );  in exprAnalyzeOrTerm()
872         assert( pOrTerm->u.x.leftColumn==iColumn );  in exprAnalyzeOrTerm()
877       assert( pLeft!=0 );  in exprAnalyzeOrTerm()
883         assert( ExprUseXList(pNew) );  in exprAnalyzeOrTerm()
990       assert( pIdx->bHasExpr );  in exprMightBeIndexed2()
1010   assert( TK_GT+1==TK_LE && TK_GT+2==TK_LT && TK_GT+3==TK_GE );  in exprMightBeIndexed()
1011   assert( TK_IS<TK_GE && TK_ISNULL<TK_GE && TK_IN<TK_GE );  in exprMightBeIndexed()
1012   assert( op<=TK_GE );  in exprMightBeIndexed()
1014     assert( ExprUseXList(pExpr) );  in exprMightBeIndexed()
1072   assert( pWC->nTerm > idxTerm );  in exprAnalyze()
1076   assert( pExpr!=0 ); /* Because malloc() has not failed */  in exprAnalyze()
1077   assert( pExpr->op!=TK_AS && pExpr->op!=TK_COLLATE );  in exprAnalyze()
1082     assert( pExpr->pRight==0 );  in exprAnalyze()
1107     assert( 0 );  in exprAnalyze()
1146       assert( op==TK_IN );  in exprAnalyze()
1147       assert( pLeft->op==TK_VECTOR );  in exprAnalyze()
1148       assert( ExprUseXList(pLeft) );  in exprAnalyze()
1154       assert( (pTerm->eOperator & (WO_OR|WO_AND))==0 );  in exprAnalyze()
1166       assert( pTerm->u.x.iField==0 );  in exprAnalyze()
1192       assert( (pTerm->eOperator & (WO_OR|WO_AND))==0 );  in exprAnalyze()
1203       assert( !ExprHasProperty(pExpr, EP_IntValue) );  in exprAnalyze()
1232     assert( ExprUseXList(pExpr) );  in exprAnalyze()
1234     assert( pList!=0 );  in exprAnalyze()
1235     assert( pList->nExpr==2 );  in exprAnalyze()
1257     assert( pWC->op==TK_AND );  in exprAnalyze()
1326     assert( ExprUseXList(pExpr) );  in exprAnalyze()
1329     assert( pStr1==0 || !ExprHasProperty(pStr1, EP_IntValue) );  in exprAnalyze()
1330     assert( pStr2==0 || !ExprHasProperty(pStr2, EP_IntValue) );  in exprAnalyze()
1530   assert( pE2!=0 || pExpr==0 );  in sqlite3WhereSplit()
1605   assert( p!=0 && p->pLimit!=0 );                 /* 1 -- checked by caller */  in sqlite3WhereAddLimit()
1619         assert( pWC->a[ii].wtFlags & TERM_VIRTUAL );  in sqlite3WhereAddLimit()
1620         assert( pWC->a[ii].eOperator==WO_ROWVAL );  in sqlite3WhereAddLimit()
1637     assert( p->pLimit->op==TK_LIMIT );  in sqlite3WhereAddLimit()
1670   assert( pWC->nTerm>=pWC->nBase );  in sqlite3WhereClauseClear()
1678       assert( (pWC->a[i].wtFlags & TERM_VIRTUAL)!=0 );  in sqlite3WhereClauseClear()
1682       assert( a->eMatchOp==0 || a->eOperator==WO_AUX );  in sqlite3WhereClauseClear()
1688           assert( (a->wtFlags & TERM_ANDINFO)==0 );  in sqlite3WhereClauseClear()
1691           assert( (a->wtFlags & TERM_ANDINFO)!=0 );  in sqlite3WhereClauseClear()
1742     assert( p->x.pList==0 );  in sqlite3WhereExprUsageFull()
1751     assert( p->y.pWin!=0 );  in sqlite3WhereExprUsageFull()
1763     assert( p->op!=TK_IF_NULL_ROW );  in sqlite3WhereExprUsageNN()
1820   assert( pTab!=0 );  in sqlite3WhereTabFuncArgs()
1836     assert( ExprUseYTab(pColRef) );  in sqlite3WhereTabFuncArgs()