lib/sqlite/sqlite3.c

506 ** The ALWAYS and NEVER macros surround boolean expressions which
514 ** In other words, ALWAYS and NEVER are added for defensive code.
516 ** When doing coverage testing ALWAYS and NEVER are hard-coded to
522 # define NEVER(X)       (0)
525 # define NEVER(X)       ((X)?(assert(0),1):0)
528 # define NEVER(X)       (X)
19634   if( N==0 || NEVER(z==0) ){
35688     if( NEVER(i==N_SORT_BUCKET-1) ){
40341   if( NEVER(!isOpen(pPager->fd)) ){
41710   ** be called in the error state.  Nevertheless, we include a NEVER()
41713   if( NEVER(pPager->errCode) ) return SQLITE_OK;
41764     if( NEVER(
42250   if( NEVER(MEMDB && pPager->errCode) ){ return pPager->errCode; }
42678   if( NEVER(pPager->errCode) ) return pPager->errCode;
42840   if( NEVER(pPager->errCode) )  return pPager->errCode;
42844   if( NEVER(pPager->readOnly) ) return SQLITE_PERM;
43270   if( NEVER(pPager->errCode) ) return pPager->errCode;
43465   if( NEVER(pPager->errCode) ) return pPager->errCode;
44146   if( NEVER(isOpen(pPager->jfd) && pPager->journalOff>0) ) return 0;
51730   if( NEVER(wrFlag && pBt->readOnly) ){
52116   if( NEVER(offset+amt > nKey+pCur->info.nData)
52308   if( NEVER(pCur->info.nSize==0) ){
53557     if( NEVER(nKey>0x7fffffff || pKey==0) ){
55095   if( NEVER(pCur->aiIdx[pCur->iPage]>=pCur->apPage[pCur->iPage]->nCell)
55096    || NEVER(pCur->eState!=CURSOR_VALID)
55315     if( NEVER(rc) ){
55462   if( NEVER(pBt->pCursor) ){
56183   if( NEVER(nRef != sqlite3PagerRefcount(pBt->pPager)) ){
58187   if( NEVER(op==TK_REGISTER) ) op = pExpr->op2;
60500           if( NEVER(p->readOnly) ){
60765   if( NEVER(p==0) ) return;
64654   if( NEVER(rc!=SQLITE_OK) ){
66679     if( NEVER(u.aw.p2<2) ) {
67367   if( NEVER(u.bf.pC->pCursor==0) ){
67653   if( NEVER(rc!=SQLITE_OK) ) goto abort_due_to_error;
67778   if( NEVER(rc!=SQLITE_OK) ) goto abort_due_to_error;
67901   if( NEVER(u.bn.pCrsr==0) ){
68166     if( NEVER(rc) ) goto abort_due_to_error;
71976             if( NEVER(zTabName==0) || sqlite3StrICmp(zTabName, zTab)!=0 ){
74385   if( NEVER(pTab==0) ) return 0;
74600   if( NEVER(v==0) ) return 0;
75226   if( NEVER(iFrom==iTo) ) return;
75242   if( NEVER(iFrom==iTo) ) return;
76048     if( NEVER(r1!=r2) ) sqlite3ReleaseTempReg(pParse, r1);
76191   if( NEVER(v==0) )     return;  /* Existance of VDBE checked by caller */
76192   if( NEVER(pExpr==0) ) return;  /* No way this can happen */
76311   if( NEVER(v==0) ) return; /* Existance of VDBE checked by caller */
76475     if( ExprHasProperty(pB, EP_IntValue) || NEVER(pB->u.zToken==0) ) return 2;
77118   if( NEVER(v==0) ) return;
77190   if( NEVER(db->mallocFailed) ) goto exit_rename_table;
77743   if( v==0 || NEVER(pTab==0) ){
78758   if( NEVER(iDb<0) || iDb==1 ) return 0;
78790   if( NEVER(pList==0) ) return 0;
79053   if( NEVER(pTab==0) ) return;
80132   if( p==0 || NEVER(p->nCol<1) ) return;
80211   if( p==0 || NEVER(p->nCol<1) ) return;
80657     if( NEVER(v==0) ) return;
81338     if( NEVER(iCol<0) ) goto fk_end;
82458   if( p==0 || NEVER(p->nSrc==0) ){
82867   }else if( NEVER(pName2==0) || pName2->z==0 ){
85542   if( NEVER(pDef==0) || (pDef->flags & SQLITE_FUNC_LIKE)==0 ){
87369   if( NEVER(zTab==0) ) goto insert_cleanup;
87486     if( rc || NEVER(pParse->nErr) || db->mallocFailed ){
92683     if( NEVER(pLeftTab==0 || pRightTab==0) ) continue;
92902   if( NEVER(v==0) ) return;
93358   if( NEVER(pExpr==0) || pNC->pSrcList==0 ) return 0;
93531   if( pParse->colNamesSet || NEVER(v==0) || db->mallocFailed ) return;
93539     if( NEVER(p==0) ) continue;
93804     if( NEVER(v==0) ) return;  /* VDBE should have already been allocated */
95157        || NEVER(pSub1->pSrc==0) || pSub1->pSrc->nSrc!=1
95432   if( NEVER(ExprHasProperty(pExpr, EP_xIsSelect)) ) return 0;
95540   if( NEVER(p->pSrc==0) || (p->selFlags & SF_Expanded)!=0 ){
95861   if( NEVER(p==0) ) return;
97418   if( NEVER(pParse->nErr) || !pTrig ) goto triggerfinish_cleanup;
97764   if( pIdList==0 || NEVER(pEList==0) ) return 1;
99117    || NEVER(db->mallocFailed)
99230       if( NEVER(rc!=SQLITE_OK) ) goto end_of_vacuum;
100225   if( NEVER(pExpr==0) ) return pDef;
100228   if( NEVER(pTab==0) ) return pDef;
100957           if( NEVER(j>=pIdx->nColumn) ) return 0;
103928     if( NEVER(pTerm==0) ) break;
105180         **       The NEVER() comes about because rule (2) above prevents
105191                 || NEVER((sCost.plan.wsFlags & WHERE_NOT_FULLSCAN)!=0))
105544 ** The only modifications are the addition of a couple of NEVER()
107008   if( NEVER(pParser->yyidx<0) ) return 0;
107041   if( NEVER(pParser==0) ) return;
111092   if( NEVER(p==0) || p->xFunc==0 || p->nBusy<0 ) return 0;
112958     ** NEVER macros were defined at compile-time.
112963     ** ALWAYS() and NEVER() are both no-op pass-through macros, which is the
112974     **      // ALWAYS() and NEVER() are no-op pass-through macros
112976     **      // ALWAYS(x) asserts that x is true. NEVER(x) asserts x is false.
112978     **      // ALWAYS(x) is a constant 1.  NEVER(x) is a constant 0.
114119 # define NEVER(X)  (0)
114122 # define NEVER(X)  (x)