Lines Matching refs:assert
38 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeCreate()
41 assert( pParse->aLabel==0 ); in sqlite3VdbeCreate()
42 assert( pParse->nLabel==0 ); in sqlite3VdbeCreate()
43 assert( p->nOpAlloc==0 ); in sqlite3VdbeCreate()
44 assert( pParse->szOpAlloc==0 ); in sqlite3VdbeCreate()
76 assert( p->zSql==0 ); in sqlite3VdbeSetSql()
108 assert( zId!=0 ); in sqlite3VdbeUsesDoubleQuotedString()
130 assert( pA->db==pB->db ); in sqlite3VdbeSwap()
190 assert( nOp<=(int)(1024/sizeof(Op)) ); in growOpArray()
191 assert( nNew>=(v->nOpAlloc+nOp) ); in growOpArray()
236 assert( p->nOpAlloc<=p->nOp ); in growOp3()
238 assert( p->nOpAlloc>p->nOp ); in growOp3()
246 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeAddOp3()
247 assert( op>=0 && op<0xff ); in sqlite3VdbeAddOp3()
251 assert( p->aOp!=0 ); in sqlite3VdbeAddOp3()
254 assert( pOp!=0 ); in sqlite3VdbeAddOp3()
374 assert( v ); in sqlite3VdbeAddFunctionCall()
378 assert( pParse->db->mallocFailed ); in sqlite3VdbeAddFunctionCall()
579 assert( v->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeResolveLabel()
580 assert( j<-p->nLabel ); in sqlite3VdbeResolveLabel()
581 assert( j>=0 ); in sqlite3VdbeResolveLabel()
590 assert( p->aLabel[j]==(-1) ); /* Labels may only be resolved once */ in sqlite3VdbeResolveLabel()
656 assert( p->iAddr<nOp ); in opIterNext()
785 assert( p->nWrite==0 || p->usesStmtJournal ); in sqlite3VdbeAssertAbortable()
818 assert( p->aOp[0].opcode==OP_Init ); in resolveP2Values()
849 assert( pOp->p2>=0 ); in resolveP2Values()
859 assert( (pOp - p->aOp) >= 3 ); in resolveP2Values()
860 assert( pOp[-1].opcode==OP_Integer ); in resolveP2Values()
872 assert( (sqlite3OpcodeProperty[pOp->opcode] & OPFLG_JUMP)!=0 ); in resolveP2Values()
873 assert( ADDR(pOp->p2)<-pParse->nLabel ); in resolveP2Values()
882 assert( (sqlite3OpcodeProperty[pOp->opcode]&OPFLG_JUMP)==0 || pOp->p2>=0); in resolveP2Values()
884 assert( pOp>p->aOp ); in resolveP2Values()
894 assert( p->bIsReader!=0 || DbMaskAllZero(p->btreeMask) ); in resolveP2Values()
928 assert( v!=0 ); in sqlite3VdbeNoJumpsOutsideSubrtn()
930 assert( pParse!=0 ); in sqlite3VdbeNoJumpsOutsideSubrtn()
932 assert( iLast>=iFirst ); in sqlite3VdbeNoJumpsOutsideSubrtn()
933 assert( iLast<v->nOp ); in sqlite3VdbeNoJumpsOutsideSubrtn()
942 assert( j>=0 ); in sqlite3VdbeNoJumpsOutsideSubrtn()
985 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeCurrentAddr()
999 assert( p->nOp + N <= p->nOpAlloc ); in sqlite3VdbeVerifyNoMallocRequired()
1014 assert( p->aOp[i].opcode!=OP_ResultRow ); in sqlite3VdbeVerifyNoResultRow()
1043 assert( aOp && !p->db->mallocFailed ); in sqlite3VdbeTakeOpArray()
1046 assert( DbMaskAllZero(p->btreeMask) ); in sqlite3VdbeTakeOpArray()
1069 assert( nOp>0 ); in sqlite3VdbeAddOpList()
1070 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeAddOpList()
1079 assert( aOp->p2>=0 ); in sqlite3VdbeAddOpList()
1138 assert( addr>=0 ); in sqlite3VdbeChangeOpcode()
1142 assert( addr>=0 ); in sqlite3VdbeChangeP1()
1146 assert( addr>=0 || p->db->mallocFailed ); in sqlite3VdbeChangeP2()
1150 assert( addr>=0 ); in sqlite3VdbeChangeP3()
1154 assert( p->nOp>0 || p->db->mallocFailed ); in sqlite3VdbeChangeP5()
1193 assert( p->aOp[addr].opcode==OP_Once in sqlite3VdbeJumpHereOrPopInst()
1196 assert( p->aOp[addr].p4type==0 ); in sqlite3VdbeJumpHereOrPopInst()
1212 assert( db!=0 ); in freeEphemeralFunction()
1226 assert( db!=0 ); in freeP4FuncCtx()
1231 assert( db ); in freeP4()
1279 assert( nOp>=0 ); in vdbeFreeOpArray()
1280 assert( db!=0 ); in vdbeFreeOpArray()
1318 assert( addr>=0 && addr<p->nOp ); in sqlite3VdbeChangeToNoop()
1352 assert( pParse->pVdbe ); in sqlite3VdbeReleaseRegisters()
1353 assert( iFirst>=1 ); in sqlite3VdbeReleaseRegisters()
1354 assert( iFirst+N-1<=pParse->nMem ); in sqlite3VdbeReleaseRegisters()
1413 assert( p!=0 ); in sqlite3VdbeChangeP4()
1415 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeChangeP4()
1416 assert( p->aOp!=0 || db->mallocFailed ); in sqlite3VdbeChangeP4()
1421 assert( p->nOp>0 ); in sqlite3VdbeChangeP4()
1422 assert( addr<p->nOp ); in sqlite3VdbeChangeP4()
1437 assert( n<0 ); in sqlite3VdbeChangeP4()
1455 assert( n!=P4_INT32 && n!=P4_VTAB ); in sqlite3VdbeAppendP4()
1456 assert( n<=0 ); in sqlite3VdbeAppendP4()
1460 assert( pP4!=0 ); in sqlite3VdbeAppendP4()
1461 assert( p->nOp>0 ); in sqlite3VdbeAppendP4()
1463 assert( pOp->p4type==P4_NOTUSED ); in sqlite3VdbeAppendP4()
1476 assert( v!=0 ); in sqlite3VdbeSetP4KeyInfo()
1477 assert( pIdx!=0 ); in sqlite3VdbeSetP4KeyInfo()
1490 assert( p->nOp>0 || p->aOp==0 ); in vdbeVComment()
1491 assert( p->aOp==0 || p->aOp[p->nOp-1].zComment==0 || p->pParse->nErr>0 ); in vdbeVComment()
1493 assert( p->aOp ); in vdbeVComment()
1543 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeGetOp()
1544 assert( (addr>=0 && addr<p->nOp) || p->db->mallocFailed ); in sqlite3VdbeGetOp()
1640 assert( x.nChar>2 ); in sqlite3VdbeDisplayComment()
1678 assert( !ExprHasProperty(pExpr, EP_IntValue) ); in displayP4Expr()
1758 assert( pKeyInfo->aSortFlags!=0 ); in sqlite3VdbeDisplayP4()
1781 assert( pColl->enc<4 ); in sqlite3VdbeDisplayP4()
1819 assert( pMem->flags & MEM_Blob ); in sqlite3VdbeDisplayP4()
1871 assert( i>=0 && i<p->db->nDb && i<(int)sizeof(yDbMask)*8 ); in sqlite3VdbeUsesBtree()
1872 assert( i<(int)sizeof(p->btreeMask)*8 ); in sqlite3VdbeUsesBtree()
2023 assert( (&p[1])==pEnd || p[0].db==p[1].db ); in releaseMemArray()
2024 assert( sqlite3VdbeCheckMemInvariants(p) ); in releaseMemArray()
2081 assert( sqlite3VdbeFrameIsValid(pFrame) ); in sqlite3VdbeFrameMemDel()
2146 assert( apSub!=0 ); in sqlite3VdbeNextOpcode()
2147 assert( nSub>0 ); in sqlite3VdbeNextOpcode()
2150 assert( i<apSub[j]->nOp || j+1<nSub ); in sqlite3VdbeNextOpcode()
2189 assert( eMode==1 ); in sqlite3VdbeNextOpcode()
2210 assert( sqlite3VdbeFrameIsValid(p) ); in sqlite3VdbeFrameDelete()
2250 assert( p->explain ); in sqlite3VdbeList()
2251 assert( p->eVdbeState==VDBE_RUN_STATE ); in sqlite3VdbeList()
2252 assert( p->rc==SQLITE_OK || p->rc==SQLITE_BUSY || p->rc==SQLITE_NOMEM ); in sqlite3VdbeList()
2273 assert( p->nMem>9 ); in sqlite3VdbeList()
2408 assert( EIGHT_BYTE_ALIGNMENT(p->pSpace) ); in allocSpace()
2418 assert( EIGHT_BYTE_ALIGNMENT(pBuf) ); in allocSpace()
2430 assert( p!=0 ); in sqlite3VdbeRewind()
2431 assert( p->eVdbeState==VDBE_INIT_STATE in sqlite3VdbeRewind()
2437 assert( p->nOp>0 ); in sqlite3VdbeRewind()
2443 assert( p->aMem[i].db==p->db ); in sqlite3VdbeRewind()
2492 assert( p!=0 ); in sqlite3VdbeMakeReady()
2493 assert( p->nOp>0 ); in sqlite3VdbeMakeReady()
2494 assert( pParse!=0 ); in sqlite3VdbeMakeReady()
2495 assert( p->eVdbeState==VDBE_INIT_STATE ); in sqlite3VdbeMakeReady()
2496 assert( pParse==p->pParse ); in sqlite3VdbeMakeReady()
2500 assert( db->mallocFailed==0 ); in sqlite3VdbeMakeReady()
2520 assert( EIGHT_BYTE_ALIGNMENT(x.pSpace) ); in sqlite3VdbeMakeReady()
2522 assert( x.nFree>=0 ); in sqlite3VdbeMakeReady()
2523 assert( EIGHT_BYTE_ALIGNMENT(&x.pSpace[x.nFree]) ); in sqlite3VdbeMakeReady()
2615 assert( pCx->uc.pCursor!=0 ); in sqlite3VdbeFreeCursorNN()
2623 assert( pVCur->pVtab->nRef>0 ); in sqlite3VdbeFreeCursorNN()
2688 assert( p->nFrame==0 ); in closeAllCursors()
2699 assert( p->pAuxData==0 ); in closeAllCursors()
2742 assert( idx<p->nResColumn ); in sqlite3VdbeSetColName()
2743 assert( var<COLNAME_N ); in sqlite3VdbeSetColName()
2745 assert( !zName || xDel!=SQLITE_DYNAMIC ); in sqlite3VdbeSetColName()
2748 assert( p->aColName!=0 ); in sqlite3VdbeSetColName()
2751 assert( rc!=0 || !zName || (pColName->flags&MEM_Term)!=0 ); in sqlite3VdbeSetColName()
2812 assert( i!=1 ); in vdbeCommit()
2903 assert( zSuper[sqlite3Strlen30(zSuper)-3]=='9' ); in vdbeCommit()
2932 assert( zFile[0]!=0 ); in vdbeCommit()
2973 assert( rc!=SQLITE_BUSY ); in vdbeCommit()
3039 assert( cnt==db->nVdbeActive ); in checkActiveVdbeCnt()
3040 assert( nWrite==db->nVdbeWrite ); in checkActiveVdbeCnt()
3041 assert( nRead==db->nVdbeRead ); in checkActiveVdbeCnt()
3063 assert( eOp==SAVEPOINT_ROLLBACK || eOp==SAVEPOINT_RELEASE); in vdbeCloseStatement()
3064 assert( db->nStatement>0 ); in vdbeCloseStatement()
3065 assert( p->iStatement==(db->nStatement+db->nSavepoint) ); in vdbeCloseStatement()
3170 assert( p->eVdbeState==VDBE_RUN_STATE ); in sqlite3VdbeHalt()
3330 assert( db->nVdbeActive>=db->nVdbeRead ); in sqlite3VdbeHalt()
3331 assert( db->nVdbeRead>=db->nVdbeWrite ); in sqlite3VdbeHalt()
3332 assert( db->nVdbeWrite>=0 ); in sqlite3VdbeHalt()
3347 assert( db->nVdbeActive>0 || db->autoCommit==0 || db->nStatement==0 ); in sqlite3VdbeHalt()
3394 assert( v->db->init.busy==0 ); in vdbeInvokeSqllog()
3451 if( p->apCsr ) for(i=0; i<p->nCursor; i++) assert( p->apCsr[i]==0 ); in sqlite3VdbeReset()
3453 for(i=0; i<p->nMem; i++) assert( p->aMem[i].flags==MEM_Undefined ); in sqlite3VdbeReset()
3509 assert( VDBE_RUN_STATE>VDBE_READY_STATE ); in sqlite3VdbeFinalize()
3510 assert( VDBE_HALT_STATE>VDBE_READY_STATE ); in sqlite3VdbeFinalize()
3511 assert( VDBE_INIT_STATE<VDBE_READY_STATE ); in sqlite3VdbeFinalize()
3514 assert( (rc & p->db->errMask)==rc ); in sqlite3VdbeFinalize()
3566 assert( db!=0 ); in sqlite3VdbeClearObject()
3567 assert( p->db==0 || p->db==db ); in sqlite3VdbeClearObject()
3611 assert( p!=0 ); in sqlite3VdbeDelete()
3613 assert( db!=0 ); in sqlite3VdbeDelete()
3614 assert( sqlite3_mutex_held(db->mutex) ); in sqlite3VdbeDelete()
3617 assert( p->ppVPrev!=0 ); in sqlite3VdbeDelete()
3636 assert( p->deferredMoveto ); in sqlite3VdbeFinishMoveto()
3637 assert( p->isTable ); in sqlite3VdbeFinishMoveto()
3638 assert( p->eCurType==CURTYPE_BTREE ); in sqlite3VdbeFinishMoveto()
3659 assert( p->eCurType==CURTYPE_BTREE ); in sqlite3VdbeHandleMovedCursor()
3660 assert( p->uc.pCursor!=0 ); in sqlite3VdbeHandleMovedCursor()
3661 assert( sqlite3BtreeCursorHasMoved(p->uc.pCursor) ); in sqlite3VdbeHandleMovedCursor()
3673 assert( p->eCurType==CURTYPE_BTREE || IsNullCursor(p) ); in sqlite3VdbeCursorRestore()
3738 assert( pLen!=0 );
3784 assert( pMem->db->mallocFailed || flags&(MEM_Str|MEM_Blob) );
3785 assert( pMem->n>=0 );
3822 assert( serial_type<12 in sqlite3VdbeSerialTypeLen()
3828 assert( serial_type<128 ); in sqlite3VdbeOneByteSerialTypeLen()
3928 assert( sizeof(r1)==sizeof(t2) && memcmp(&r1, &t2, sizeof(r1))==0 ); in serialGet()
3930 assert( sizeof(x)==8 && sizeof(pMem->u.r)==8 ); in serialGet()
4051 assert( pKeyInfo->aSortFlags!=0 ); in sqlite3VdbeAllocUnpackedRecord()
4076 assert( EIGHT_BYTE_ALIGNMENT(pMem) ); in sqlite3VdbeRecordUnpack()
4095 assert( CORRUPT_DB ); in sqlite3VdbeRecordUnpack()
4101 assert( u<=pKeyInfo->nKeyField + 1 ); in sqlite3VdbeRecordUnpack()
4150 assert( pKeyInfo->nAllField>=pPKey2->nField || CORRUPT_DB ); in vdbeRecordCompareDebug()
4151 assert( pKeyInfo->aSortFlags!=0 ); in vdbeRecordCompareDebug()
4152 assert( pKeyInfo->nKeyField>0 ); in vdbeRecordCompareDebug()
4153 assert( idx1<=szHdr1 || CORRUPT_DB ); in vdbeRecordCompareDebug()
4182 assert( mem1.szMalloc==0 ); /* See comment below */ in vdbeRecordCompareDebug()
4200 assert( mem1.szMalloc==0 ); in vdbeRecordCompareDebug()
4241 assert( nKey>=0 ); in vdbeAssertFieldCountWithinLimits()
4242 assert( szHdr<=(u32)nKey ); in vdbeAssertFieldCountWithinLimits()
4247 assert( nField <= pKeyInfo->nAllField ); in vdbeAssertFieldCountWithinLimits()
4318 assert( (pB1->flags & MEM_Zero)==0 || n1==0 ); in sqlite3BlobCompare()
4319 assert( (pB2->flags & MEM_Zero)==0 || n2==0 ); in sqlite3BlobCompare()
4382 assert( !sqlite3VdbeMemIsRowSet(pMem1) && !sqlite3VdbeMemIsRowSet(pMem2) ); in sqlite3MemCompare()
4445 assert( pMem1->enc==pMem2->enc || pMem1->db->mallocFailed ); in sqlite3MemCompare()
4446 assert( pMem1->enc==SQLITE_UTF8 || in sqlite3MemCompare()
4453 assert( !pColl || pColl->xCmp ); in sqlite3MemCompare()
4476 assert( CORRUPT_DB || (serial_type>=1 && serial_type<=9 && serial_type!=7) ); in vdbeRecordDecodeInt()
4573 assert( pPKey2->pKeyInfo->nAllField>=pPKey2->nField in sqlite3VdbeRecordCompareWithSkip()
4575 assert( pPKey2->pKeyInfo->aSortFlags!=0 ); in sqlite3VdbeRecordCompareWithSkip()
4576 assert( pPKey2->pKeyInfo->nKeyField>0 ); in sqlite3VdbeRecordCompareWithSkip()
4577 assert( idx1<=szHdr1 || CORRUPT_DB ); in sqlite3VdbeRecordCompareWithSkip()
4665 assert( (pRhs->flags & MEM_Zero)==0 || pRhs->n==0 ); in sqlite3VdbeRecordCompareWithSkip()
4707 assert( vdbeRecordCompareDebug(nKey1, pKey1, pPKey2, rc) ); in sqlite3VdbeRecordCompareWithSkip()
4708 assert( mem1.szMalloc==0 ); /* See comment below */ in sqlite3VdbeRecordCompareWithSkip()
4727 assert( mem1.szMalloc==0 ); in sqlite3VdbeRecordCompareWithSkip()
4732 assert( CORRUPT_DB in sqlite3VdbeRecordCompareWithSkip()
4769 assert( (*(u8*)pKey1)<=0x3F || CORRUPT_DB ); in vdbeRecordCompareInt()
4824 assert( pPKey2->u.i == pPKey2->aMem[0].u.i ); in vdbeRecordCompareInt()
4841 assert( vdbeRecordCompareDebug(nKey1, pKey1, pPKey2, res) ); in vdbeRecordCompareInt()
4859 assert( pPKey2->aMem[0].flags & MEM_Str ); in vdbeRecordCompareString()
4860 assert( pPKey2->aMem[0].n == pPKey2->n ); in vdbeRecordCompareString()
4861 assert( pPKey2->aMem[0].z == pPKey2->u.z ); in vdbeRecordCompareString()
4870 assert( CORRUPT_DB ); in vdbeRecordCompareString()
4909 assert( vdbeRecordCompareDebug(nKey1, pKey1, pPKey2, res) in vdbeRecordCompareString()
4957 assert( flags & MEM_Str ); in sqlite3VdbeFindCompare()
4988 assert( sqlite3BtreeCursorIsValid(pCur) ); in sqlite3VdbeIdxRowid()
4990 assert( (nCellKey & SQLITE_MAX_U32)==(u64)nCellKey ); in sqlite3VdbeIdxRowid()
5004 assert( m.n>=0 ); in sqlite3VdbeIdxRowid()
5065 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeIdxKeyCompare()
5067 assert( sqlite3BtreeCursorIsValid(pCur) ); in sqlite3VdbeIdxKeyCompare()
5090 assert( sqlite3_mutex_held(db->mutex) ); in sqlite3VdbeSetChanges()
5151 assert( iVar>0 ); in sqlite3VdbeGetBoundValue()
5154 assert( (v->db->flags & SQLITE_EnableQPSG)==0 ); in sqlite3VdbeGetBoundValue()
5173 assert( iVar>0 ); in sqlite3VdbeSetVarmask()
5174 assert( (v->db->flags & SQLITE_EnableQPSG)==0 ); in sqlite3VdbeSetVarmask()
5244 assert( db!=0 ); in vdbeFreeUnpacked()
5279 assert( db->pPreUpdate==0 ); in sqlite3VdbePreUpdateHook()
5292 assert( pCsr!=0 ); in sqlite3VdbePreUpdateHook()
5293 assert( pCsr->eCurType==CURTYPE_BTREE ); in sqlite3VdbePreUpdateHook()
5294 assert( pCsr->nField==pTab->nCol in sqlite3VdbePreUpdateHook()