Lines Matching refs:assert
183 assert( I<=2 ); /* 0: fall through, 1: taken, 2: alternate taken */ in vdbeTakeBranch()
184 assert( M<=4 ); /* 2: two-way branch, 3: three-way branch, 4: OP_Jump */ in vdbeTakeBranch()
185 assert( I<M ); /* I can only be 2 if M is 3 or 4 */ in vdbeTakeBranch()
193 assert( (I & mNever)==0 ); in vdbeTakeBranch()
272 assert( iCur>=0 && iCur<p->nCursor ); in allocateCursor()
282 assert( pMem->flags==MEM_Undefined ); in allocateCursor()
283 assert( (pMem->flags & MEM_Dyn)==0 ); in allocateCursor()
284 assert( pMem->szMalloc==0 || pMem->z==pMem->zMalloc ); in allocateCursor()
345 assert( (pRec->flags & (MEM_Str|MEM_Int|MEM_Real|MEM_IntReal))==MEM_Str ); in applyNumericAffinity()
387 assert( affinity==SQLITE_AFF_INTEGER || affinity==SQLITE_AFF_REAL in applyAffinity()
451 assert( (pMem->flags & (MEM_Int|MEM_Real|MEM_IntReal))==0 ); in computeNumericType()
452 assert( (pMem->flags & (MEM_Str|MEM_Blob))!=0 ); in computeNumericType()
480 assert( (pMem->flags & MEM_Null)==0 in numericType()
488 assert( pMem->flags & (MEM_Str|MEM_Blob) ); in numericType()
508 assert( (f & (MEM_Static|MEM_Ephem))==0 ); in sqlite3VdbeMemPrettyPrint()
511 assert( (f & (MEM_Dyn|MEM_Ephem))==0 ); in sqlite3VdbeMemPrettyPrint()
514 assert( (f & (MEM_Static|MEM_Dyn))==0 ); in sqlite3VdbeMemPrettyPrint()
536 assert( (f & (MEM_Static|MEM_Ephem))==0 ); in sqlite3VdbeMemPrettyPrint()
539 assert( (f & (MEM_Dyn|MEM_Ephem))==0 ); in sqlite3VdbeMemPrettyPrint()
542 assert( (f & (MEM_Static|MEM_Dyn))==0 ); in sqlite3VdbeMemPrettyPrint()
646 assert( n==(db->nSavepoint + db->isTransactionSavepoint) ); in checkSavepointCount()
662 assert( pOp->p2>0 ); in out2Prerelease()
663 assert( pOp->p2<=(p->nMem+1 - p->nCursor) ); in out2Prerelease()
682 assert( pOp->p4type==P4_INT32 ); in filterHash()
745 assert( p->eVdbeState==VDBE_RUN_STATE ); /* sqlite3_step() verifies this */ in sqlite3VdbeExec()
750 assert( 0 < db->nProgressOps ); in sqlite3VdbeExec()
761 assert( p->rc==SQLITE_OK || (p->rc&0xff)==SQLITE_BUSY ); in sqlite3VdbeExec()
764 assert( p->bIsReader || p->readOnly!=0 ); in sqlite3VdbeExec()
766 assert( p->explain==0 ); in sqlite3VdbeExec()
801 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
803 assert( pOp>=aOp && pOp<&aOp[p->nOp]); in sqlite3VdbeExec()
839 assert( pOp->p1>0 ); in sqlite3VdbeExec()
840 assert( pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
841 assert( memIsValid(&aMem[pOp->p1]) ); in sqlite3VdbeExec()
842 assert( sqlite3VdbeCheckMemInvariants(&aMem[pOp->p1]) ); in sqlite3VdbeExec()
846 assert( pOp->p2>0 ); in sqlite3VdbeExec()
847 assert( pOp->p2<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
848 assert( memIsValid(&aMem[pOp->p2]) ); in sqlite3VdbeExec()
849 assert( sqlite3VdbeCheckMemInvariants(&aMem[pOp->p2]) ); in sqlite3VdbeExec()
853 assert( pOp->p3>0 ); in sqlite3VdbeExec()
854 assert( pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
855 assert( memIsValid(&aMem[pOp->p3]) ); in sqlite3VdbeExec()
856 assert( sqlite3VdbeCheckMemInvariants(&aMem[pOp->p3]) ); in sqlite3VdbeExec()
860 assert( pOp->p2>0 ); in sqlite3VdbeExec()
861 assert( pOp->p2<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
865 assert( pOp->p3>0 ); in sqlite3VdbeExec()
866 assert( pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
931 assert( pOp->p2 < (int)(pOp - aOp) ); in sqlite3VdbeExec()
932 assert( pOp->p2 > 1 ); in sqlite3VdbeExec()
934 assert( pOp[1].opcode==OP_ReleaseReg ); in sqlite3VdbeExec()
962 assert( db->nProgressOps!=0 ); in sqlite3VdbeExec()
981 assert( pOp->p1>0 && pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
983 assert( VdbeMemDynamic(pIn1)==0 ); in sqlite3VdbeExec()
1036 assert( pOp->p1>0 && pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
1037 assert( pOp->p2>=0 && pOp->p2<p->nOp ); in sqlite3VdbeExec()
1038 assert( pOp->p3>=0 && pOp->p3<p->nOp ); in sqlite3VdbeExec()
1040 assert( !VdbeMemDynamic(pOut) ); in sqlite3VdbeExec()
1048 assert( pOp->p2>0 ); /* There are never any jumps to instruction 0 */ in sqlite3VdbeExec()
1049 assert( pOp->p2<p->nOp ); /* Jumps must be in range */ in sqlite3VdbeExec()
1065 assert( pIn1->flags==MEM_Int ); in sqlite3VdbeExec()
1066 assert( pIn1->u.i>=0 && pIn1->u.i<p->nOp ); in sqlite3VdbeExec()
1068 assert( pCaller->opcode==OP_Yield ); in sqlite3VdbeExec()
1069 assert( pCaller->p2>=0 && pCaller->p2<p->nOp ); in sqlite3VdbeExec()
1091 assert( VdbeMemDynamic(pIn1)==0 ); in sqlite3VdbeExec()
1177 assert( pOp->p5<=4 ); in sqlite3VdbeExec()
1197 assert( rc==SQLITE_BUSY || rc==SQLITE_OK || rc==SQLITE_ERROR ); in sqlite3VdbeExec()
1201 assert( rc==SQLITE_OK || (p->rc&0xff)==SQLITE_CONSTRAINT ); in sqlite3VdbeExec()
1202 assert( rc==SQLITE_OK || db->nDeferredCons>0 || db->nDeferredImmCons>0 ); in sqlite3VdbeExec()
1227 assert( pOp->p4.pI64!=0 ); in sqlite3VdbeExec()
1242 assert( !sqlite3IsNaN(*pOp->p4.pReal) ); in sqlite3VdbeExec()
1257 assert( pOp->p4.z!=0 ); in sqlite3VdbeExec()
1264 assert( rc==SQLITE_OK || rc==SQLITE_TOOBIG ); in sqlite3VdbeExec()
1267 assert( pOut->szMalloc>0 && pOut->zMalloc==pOut->z ); in sqlite3VdbeExec()
1268 assert( VdbeMemDynamic(pOut)==0 ); in sqlite3VdbeExec()
1283 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
1301 assert( pOp->p4.z!=0 ); in sqlite3VdbeExec()
1310 assert( pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
1312 assert( pIn3->flags & MEM_Int ); in sqlite3VdbeExec()
1359 assert( pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
1385 assert( pOp->p1>0 && pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
1399 assert( pOp->p1 <= SQLITE_MAX_LENGTH ); in sqlite3VdbeExec()
1423 assert( pOp->p1>0 && pOp->p1<=p->nVar ); in sqlite3VdbeExec()
1424 assert( pOp->p4.z==0 || pOp->p4.z==sqlite3VListNumToName(p->pVList,pOp->p1) ); in sqlite3VdbeExec()
1455 assert( n>0 && p1>0 && p2>0 ); in sqlite3VdbeExec()
1456 assert( p1+n<=p2 || p2+n<=p1 ); in sqlite3VdbeExec()
1461 assert( pOut<=&aMem[(p->nMem+1 - p->nCursor)] ); in sqlite3VdbeExec()
1462 assert( pIn1<=&aMem[(p->nMem+1 - p->nCursor)] ); in sqlite3VdbeExec()
1463 assert( memIsValid(pIn1) ); in sqlite3VdbeExec()
1503 assert( pOut!=pIn1 ); in sqlite3VdbeExec()
1538 assert( pOut!=pIn1 ); in sqlite3VdbeExec()
1557 assert( (pIn1->flags & MEM_Int)!=0 ); in sqlite3VdbeExec()
1591 assert( p->nResColumn==pOp->p2 ); in sqlite3VdbeExec()
1592 assert( pOp->p1>0 || CORRUPT_DB ); in sqlite3VdbeExec()
1593 assert( pOp->p1+pOp->p2<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
1602 assert( memIsValid(&pMem[i]) ); in sqlite3VdbeExec()
1644 assert( pIn1!=pOut ); in sqlite3VdbeExec()
1677 assert( (pIn2->flags & MEM_Dyn) == (flags2 & MEM_Dyn) ); in sqlite3VdbeExec()
1681 assert( (pIn1->flags & MEM_Dyn) == (flags1 & MEM_Dyn) ); in sqlite3VdbeExec()
1833 assert( pOp->p4type==P4_COLLSEQ ); in sqlite3VdbeExec()
1894 assert( op==OP_ShiftRight || op==OP_ShiftLeft ); in sqlite3VdbeExec()
1898 assert( OP_ShiftRight==OP_ShiftLeft+1 ); in sqlite3VdbeExec()
2003 assert( pOp->p2>=SQLITE_AFF_BLOB && pOp->p2<=SQLITE_AFF_REAL ); in sqlite3VdbeExec()
2129 assert( (pOp->p5 & SQLITE_AFF_MASK)!=SQLITE_AFF_TEXT || CORRUPT_DB ); in sqlite3VdbeExec()
2160 assert( (flags1 & MEM_Cleared)==0 ); in sqlite3VdbeExec()
2161 assert( (pOp->p5 & SQLITE_JUMPIFNULL)==0 || CORRUPT_DB ); in sqlite3VdbeExec()
2216 assert( pOp->p4type==P4_COLLSEQ || pOp->p4.pColl==0 ); in sqlite3VdbeExec()
2226 assert( OP_Eq==OP_Ne+1 ); assert( OP_Gt==OP_Ne+2 ); assert( OP_Le==OP_Ne+3 ); in sqlite3VdbeExec()
2227 assert( OP_Lt==OP_Ne+4 ); assert( OP_Ge==OP_Ne+5 ); in sqlite3VdbeExec()
2238 assert( (pIn3->flags & MEM_Dyn) == (flags3 & MEM_Dyn) ); in sqlite3VdbeExec()
2240 assert( (pIn1->flags & MEM_Dyn) == (flags1 & MEM_Dyn) ); in sqlite3VdbeExec()
2270 assert( aOp[iAddr].opcode==OP_Lt || aOp[iAddr].opcode==OP_Gt ); in sqlite3VdbeExec()
2292 assert( pOp->p4type==P4_INTARRAY ); in sqlite3VdbeExec()
2293 assert( pOp->p4.ai ); in sqlite3VdbeExec()
2294 assert( pOp[1].opcode==OP_Compare ); in sqlite3VdbeExec()
2295 assert( pOp[1].p5 & OPFLAG_PERMUTE ); in sqlite3VdbeExec()
2335 assert( pOp>aOp ); in sqlite3VdbeExec()
2336 assert( pOp[-1].opcode==OP_Permutation ); in sqlite3VdbeExec()
2337 assert( pOp[-1].p4type==P4_INTARRAY ); in sqlite3VdbeExec()
2339 assert( aPermute!=0 ); in sqlite3VdbeExec()
2343 assert( n>0 ); in sqlite3VdbeExec()
2344 assert( pKeyInfo!=0 ); in sqlite3VdbeExec()
2351 assert( p1>0 && p1+mx<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
2352 assert( p2>0 && p2+mx<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
2354 assert( p1>0 && p1+n<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
2355 assert( p2>0 && p2+n<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
2360 assert( memIsValid(&aMem[p1+idx]) ); in sqlite3VdbeExec()
2361 assert( memIsValid(&aMem[p2+idx]) ); in sqlite3VdbeExec()
2364 assert( i<pKeyInfo->nKeyField ); in sqlite3VdbeExec()
2378 assert( pOp[1].opcode==OP_Jump ); in sqlite3VdbeExec()
2391 assert( pOp>aOp && pOp[-1].opcode==OP_Compare ); in sqlite3VdbeExec()
2467 assert( pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
2468 assert( pOp->p4.i==0 || pOp->p4.i==1 ); in sqlite3VdbeExec()
2469 assert( pOp->p3==0 || pOp->p3==1 ); in sqlite3VdbeExec()
2530 assert( p->aOp[0].opcode==OP_Init ); in sqlite3VdbeExec()
2621 assert( pOp->p1>=(-1) && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
2622 assert( pOp->p1>=0 || (pOp->p3>=0 && pOp->p3<=(p->nMem+1 - p->nCursor)) ); in sqlite3VdbeExec()
2625 assert( pC!=0 ); in sqlite3VdbeExec()
2626 assert( pOp->p3>=0 ); in sqlite3VdbeExec()
2663 assert( memIsValid(&aMem[pOp->p3]) ); in sqlite3VdbeExec()
2722 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
2749 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
2807 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
2808 assert( pOp->p3>0 && pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
2813 assert( pC!=0 ); in sqlite3VdbeExec()
2814 assert( p2<(u32)pC->nField in sqlite3VdbeExec()
2817 assert( aOffset==pC->aType+pC->nField ); in sqlite3VdbeExec()
2818 assert( pC->eCurType!=CURTYPE_VTAB ); in sqlite3VdbeExec()
2819 assert( pC->eCurType!=CURTYPE_PSEUDO || pC->nullRow ); in sqlite3VdbeExec()
2820 assert( pC->eCurType!=CURTYPE_SORTER ); in sqlite3VdbeExec()
2828 assert( pReg->flags & MEM_Blob ); in sqlite3VdbeExec()
2829 assert( memIsValid(pReg) ); in sqlite3VdbeExec()
2842 assert( !pC->isEphemeral ); in sqlite3VdbeExec()
2855 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
2856 assert( pCrsr ); in sqlite3VdbeExec()
2857 assert( sqlite3BtreeCursorIsValid(pCrsr) ); in sqlite3VdbeExec()
2860 assert( pC->szRow<=pC->payloadSize ); in sqlite3VdbeExec()
2861 assert( pC->szRow<=65536 ); /* Maximum page size is 64KiB */ in sqlite3VdbeExec()
2906 assert( pC->nHdrParsed<=p2 ); /* Conditional skipped */ in sqlite3VdbeExec()
2999 assert( p2<pC->nHdrParsed ); in sqlite3VdbeExec()
3000 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
3003 assert( sqlite3VdbeCheckMemInvariants(pDest) ); in sqlite3VdbeExec()
3007 assert( t==pC->aType[p2] ); in sqlite3VdbeExec()
3110 assert( pOp->p4type==P4_TABLE ); in sqlite3VdbeExec()
3112 assert( pTab->tabFlags & TF_Strict ); in sqlite3VdbeExec()
3113 assert( pTab->nNVCol==pOp->p2 ); in sqlite3VdbeExec()
3121 assert( pIn1 < &aMem[pOp->p1+pOp->p2] ); in sqlite3VdbeExec()
3172 assert( pIn1 == &aMem[pOp->p1+pOp->p2] ); in sqlite3VdbeExec()
3196 assert( zAffinity!=0 ); in sqlite3VdbeExec()
3197 assert( pOp->p2>0 ); in sqlite3VdbeExec()
3198 assert( zAffinity[pOp->p2]==0 ); in sqlite3VdbeExec()
3201 assert( pIn1 <= &p->aMem[(p->nMem+1 - p->nCursor)] ); in sqlite3VdbeExec()
3202 assert( zAffinity[0]==SQLITE_AFF_NONE || memIsValid(pIn1) ); in sqlite3VdbeExec()
3293 assert( nField>0 && pOp->p2>0 && pOp->p2+nField<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
3299 assert( pOp->p3<pOp->p1 || pOp->p3>=pOp->p1+pOp->p2 ); in sqlite3VdbeExec()
3305 assert( pData0<=pLast ); in sqlite3VdbeExec()
3317 assert( zAffinity[0]==0 || pRec<=pLast ); in sqlite3VdbeExec()
3363 assert( memIsValid(pRec) ); in sqlite3VdbeExec()
3373 assert( pOp->p5==OPFLAG_NOCHNG_MAGIC || CORRUPT_DB ); in sqlite3VdbeExec()
3435 assert( db->mallocFailed || pRec->flags&(MEM_Str|MEM_Blob) ); in sqlite3VdbeExec()
3436 assert( pRec->n>=0 ); in sqlite3VdbeExec()
3508 assert( pData0<=pLast ); in sqlite3VdbeExec()
3524 assert( sizeof(v)==sizeof(pRec->u.r) ); in sqlite3VdbeExec()
3531 assert( i>0 ); in sqlite3VdbeExec()
3542 assert( pRec->z!=0 ); in sqlite3VdbeExec()
3549 assert( pRec->z!=0 ); in sqlite3VdbeExec()
3557 assert( nHdr==(int)(zHdr - (u8*)pOut->z) ); in sqlite3VdbeExec()
3558 assert( nByte==(int)(zPayload - (u8*)pOut->z) ); in sqlite3VdbeExec()
3560 assert( pOp->p3>0 && pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
3579 assert( p->apCsr[pOp->p1]->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
3581 assert( pCrsr ); in sqlite3VdbeExec()
3617 assert( db->pSavepoint==0 || db->autoCommit==0 ); in sqlite3VdbeExec()
3618 assert( p1==SAVEPOINT_BEGIN||p1==SAVEPOINT_RELEASE||p1==SAVEPOINT_ROLLBACK ); in sqlite3VdbeExec()
3619 assert( db->pSavepoint || db->isTransactionSavepoint==0 ); in sqlite3VdbeExec()
3620 assert( checkSavepointCount(db) ); in sqlite3VdbeExec()
3621 assert( p->bIsReader ); in sqlite3VdbeExec()
3638 assert( db->autoCommit==0 || db->nVTrans==0 ); in sqlite3VdbeExec()
3667 assert( p1==SAVEPOINT_RELEASE || p1==SAVEPOINT_ROLLBACK ); in sqlite3VdbeExec()
3725 assert( p1==SAVEPOINT_RELEASE ); in sqlite3VdbeExec()
3756 assert( pSavepoint==db->pSavepoint ); in sqlite3VdbeExec()
3763 assert( p1==SAVEPOINT_ROLLBACK ); in sqlite3VdbeExec()
3797 assert( desiredAutoCommit==1 || desiredAutoCommit==0 ); in sqlite3VdbeExec()
3798 assert( desiredAutoCommit==1 || iRollback==0 ); in sqlite3VdbeExec()
3799 assert( db->nVdbeActive>0 ); /* At least this one VM is active */ in sqlite3VdbeExec()
3800 assert( p->bIsReader ); in sqlite3VdbeExec()
3804 assert( desiredAutoCommit==1 ); in sqlite3VdbeExec()
3842 /*NOTREACHED*/ assert(0); in sqlite3VdbeExec()
3885 assert( p->bIsReader ); in sqlite3VdbeExec()
3886 assert( p->readOnly==0 || pOp->p2==0 ); in sqlite3VdbeExec()
3887 assert( pOp->p2>=0 && pOp->p2<=2 ); in sqlite3VdbeExec()
3888 assert( pOp->p1>=0 && pOp->p1<db->nDb ); in sqlite3VdbeExec()
3889 assert( DbMaskTest(p->btreeMask, pOp->p1) ); in sqlite3VdbeExec()
3890 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
3922 assert( sqlite3BtreeTxnState(pBt)==SQLITE_TXN_WRITE ); in sqlite3VdbeExec()
3924 assert( db->nStatement>=0 && db->nSavepoint>=0 ); in sqlite3VdbeExec()
3941 assert( pOp->p5==0 || pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
3998 assert( p->bIsReader ); in sqlite3VdbeExec()
4001 assert( pOp->p3<SQLITE_N_BTREE_META ); in sqlite3VdbeExec()
4002 assert( iDb>=0 && iDb<db->nDb ); in sqlite3VdbeExec()
4003 assert( db->aDb[iDb].pBt!=0 ); in sqlite3VdbeExec()
4004 assert( DbMaskTest(p->btreeMask, iDb) ); in sqlite3VdbeExec()
4031 assert( pOp->p2<SQLITE_N_BTREE_META ); in sqlite3VdbeExec()
4032 assert( pOp->p1>=0 && pOp->p1<db->nDb ); in sqlite3VdbeExec()
4033 assert( DbMaskTest(p->btreeMask, pOp->p1) ); in sqlite3VdbeExec()
4034 assert( p->readOnly==0 ); in sqlite3VdbeExec()
4036 assert( pDb->pBt!=0 ); in sqlite3VdbeExec()
4037 assert( sqlite3SchemaMutexHeld(db, pOp->p1, 0) ); in sqlite3VdbeExec()
4153 assert( pOp->p5==0 || pOp->p5==OPFLAG_SEEKEQ ); in sqlite3VdbeExec()
4154 assert( pOp->p4type==P4_KEYINFO ); in sqlite3VdbeExec()
4157 assert( pCur->iDb==pOp->p3 ); /* Guaranteed by the code generator */ in sqlite3VdbeExec()
4158 assert( pCur->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
4167 assert( pOp->opcode==OP_OpenWrite || pOp->p5==0 || pOp->p5==OPFLAG_SEEKEQ ); in sqlite3VdbeExec()
4168 assert( p->bIsReader ); in sqlite3VdbeExec()
4169 assert( pOp->opcode==OP_OpenRead || pOp->opcode==OP_ReopenIdx in sqlite3VdbeExec()
4181 assert( iDb>=0 && iDb<db->nDb ); in sqlite3VdbeExec()
4182 assert( DbMaskTest(p->btreeMask, iDb) ); in sqlite3VdbeExec()
4185 assert( pX!=0 ); in sqlite3VdbeExec()
4187 assert( OPFLAG_FORDELETE==BTREE_FORDELETE ); in sqlite3VdbeExec()
4189 assert( sqlite3SchemaMutexHeld(db, iDb, 0) ); in sqlite3VdbeExec()
4197 assert( p2>0 ); in sqlite3VdbeExec()
4198 assert( p2<=(u32)(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
4199 assert( pOp->opcode==OP_OpenWrite ); in sqlite3VdbeExec()
4201 assert( memIsValid(pIn2) ); in sqlite3VdbeExec()
4202 assert( (pIn2->flags & MEM_Int)!=0 ); in sqlite3VdbeExec()
4209 assert( p2>=2 ); in sqlite3VdbeExec()
4213 assert( pKeyInfo->enc==ENC(db) ); in sqlite3VdbeExec()
4214 assert( pKeyInfo->db==db ); in sqlite3VdbeExec()
4219 assert( pOp->p1>=0 ); in sqlite3VdbeExec()
4220 assert( nField>=0 ); in sqlite3VdbeExec()
4240 assert( OPFLAG_BULKCSR==BTREE_BULKLOAD ); in sqlite3VdbeExec()
4241 assert( OPFLAG_SEEKEQ==BTREE_SEEK_EQ ); in sqlite3VdbeExec()
4263 assert( pOrig ); in sqlite3VdbeExec()
4264 assert( pOrig->isEphemeral ); /* Only ephemeral cursors can be duplicated */ in sqlite3VdbeExec()
4282 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
4331 assert( pOp->p1>=0 ); in sqlite3VdbeExec()
4332 assert( pOp->p2>=0 ); in sqlite3VdbeExec()
4336 assert( pOp->p2==0 ); /* Only used when number of columns is zero */ in sqlite3VdbeExec()
4337 assert( pOp->opcode==OP_OpenEphemeral ); in sqlite3VdbeExec()
4338 assert( aMem[pOp->p3].flags & MEM_Null ); in sqlite3VdbeExec()
4347 assert( pCx->isEphemeral ); in sqlite3VdbeExec()
4367 assert( pOp->p4type==P4_KEYINFO ); in sqlite3VdbeExec()
4371 assert( pCx->pgnoRoot==SCHEMA_ROOT+1 ); in sqlite3VdbeExec()
4372 assert( pKeyInfo->db==db ); in sqlite3VdbeExec()
4373 assert( pKeyInfo->enc==ENC(db) ); in sqlite3VdbeExec()
4409 assert( pOp->p1>=0 ); in sqlite3VdbeExec()
4410 assert( pOp->p2>=0 ); in sqlite3VdbeExec()
4414 assert( pCx->pKeyInfo->db==db ); in sqlite3VdbeExec()
4415 assert( pCx->pKeyInfo->enc==ENC(db) ); in sqlite3VdbeExec()
4430 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
4432 assert( isSorter(pC) ); in sqlite3VdbeExec()
4458 assert( pOp->p1>=0 ); in sqlite3VdbeExec()
4459 assert( pOp->p3>=0 ); in sqlite3VdbeExec()
4470 assert( pOp->p5==0 ); in sqlite3VdbeExec()
4480 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
4500 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
4608 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
4609 assert( pOp->p2!=0 ); in sqlite3VdbeExec()
4611 assert( pC!=0 ); in sqlite3VdbeExec()
4612 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
4613 assert( OP_SeekLE == OP_SeekLT+1 ); in sqlite3VdbeExec()
4614 assert( OP_SeekGE == OP_SeekLT+2 ); in sqlite3VdbeExec()
4615 assert( OP_SeekGT == OP_SeekLT+3 ); in sqlite3VdbeExec()
4616 assert( pC->isOrdered ); in sqlite3VdbeExec()
4617 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
4630 assert( sqlite3BtreeCursorHasHint(pC->uc.pCursor, BTREE_SEEK_EQ)==0 in sqlite3VdbeExec()
4669 assert( OP_SeekGE==(OP_SeekGT-1) ); in sqlite3VdbeExec()
4670 assert( OP_SeekLT==(OP_SeekLE-1) ); in sqlite3VdbeExec()
4671 assert( (OP_SeekLE & 0x0001)==(OP_SeekGT & 0x0001) ); in sqlite3VdbeExec()
4678 assert( OP_SeekLE==(OP_SeekLT+1) ); in sqlite3VdbeExec()
4679 assert( OP_SeekGT==(OP_SeekGE+1) ); in sqlite3VdbeExec()
4680 assert( (OP_SeekLT & 0x0001)==(OP_SeekGE & 0x0001) ); in sqlite3VdbeExec()
4697 assert( pOp->opcode==OP_SeekGE || pOp->opcode==OP_SeekLE ); in sqlite3VdbeExec()
4698 assert( pOp[1].opcode==OP_IdxLT || pOp[1].opcode==OP_IdxGT ); in sqlite3VdbeExec()
4699 assert( pOp->opcode==OP_SeekGE || pOp[1].opcode==OP_IdxLT ); in sqlite3VdbeExec()
4700 assert( pOp->opcode==OP_SeekLE || pOp[1].opcode==OP_IdxGT ); in sqlite3VdbeExec()
4701 assert( pOp[1].p1==pOp[0].p1 ); in sqlite3VdbeExec()
4702 assert( pOp[1].p2==pOp[0].p2 ); in sqlite3VdbeExec()
4703 assert( pOp[1].p3==pOp[0].p3 ); in sqlite3VdbeExec()
4704 assert( pOp[1].p4.i==pOp[0].p4.i ); in sqlite3VdbeExec()
4708 assert( pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
4709 assert( nField>0 ); in sqlite3VdbeExec()
4721 assert( oc!=OP_SeekGT || r.default_rc==-1 ); in sqlite3VdbeExec()
4722 assert( oc!=OP_SeekLE || r.default_rc==-1 ); in sqlite3VdbeExec()
4723 assert( oc!=OP_SeekGE || r.default_rc==+1 ); in sqlite3VdbeExec()
4724 assert( oc!=OP_SeekLT || r.default_rc==+1 ); in sqlite3VdbeExec()
4731 assert( memIsValid(&r.aMem[i]) ); in sqlite3VdbeExec()
4742 assert( res!=0 ); in sqlite3VdbeExec()
4749 if( oc>=OP_SeekGE ){ assert( oc==OP_SeekGE || oc==OP_SeekGT ); in sqlite3VdbeExec()
4765 assert( oc==OP_SeekLT || oc==OP_SeekLE ); in sqlite3VdbeExec()
4785 assert( pOp->p2>0 ); in sqlite3VdbeExec()
4790 assert( pOp[1].opcode==OP_IdxLT || pOp[1].opcode==OP_IdxGT ); in sqlite3VdbeExec()
4871 assert( pOp[1].opcode==OP_SeekGE ); in sqlite3VdbeExec()
4876 assert( pOp->p2>=(int)(pOp-aOp)+2 ); in sqlite3VdbeExec()
4880 assert( pOp[1].p1==aOp[pOp->p2-1].p1 ); in sqlite3VdbeExec()
4881 assert( pOp[1].p2==aOp[pOp->p2-1].p2 ); in sqlite3VdbeExec()
4882 assert( pOp[1].p3==aOp[pOp->p2-1].p3 ); in sqlite3VdbeExec()
4883 assert( aOp[pOp->p2-1].opcode==OP_IdxGT in sqlite3VdbeExec()
4888 assert( pOp->p2==(int)(pOp-aOp)+2 ); in sqlite3VdbeExec()
4889 assert( aOp[pOp->p2-1].opcode==OP_SeekGE ); in sqlite3VdbeExec()
4893 assert( pOp->p1>0 ); in sqlite3VdbeExec()
4895 assert( pC!=0 ); in sqlite3VdbeExec()
4896 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
4897 assert( !pC->isTable ); in sqlite3VdbeExec()
4907 assert( nStep>=1 ); in sqlite3VdbeExec()
4916 assert( memIsValid(&r.aMem[i]) ); in sqlite3VdbeExec()
4989 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
4991 assert( pC!=0 ); in sqlite3VdbeExec()
4992 assert( pOp->p3>=pOp->p2 ); in sqlite3VdbeExec()
5020 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5121 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5123 assert( pC!=0 ); in sqlite3VdbeExec()
5146 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5147 assert( pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
5149 assert( pC!=0 ); in sqlite3VdbeExec()
5154 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5155 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
5156 assert( pC->isTable==0 ); in sqlite3VdbeExec()
5164 assert( memIsValid(&r.aMem[ii]) ); in sqlite3VdbeExec()
5165 assert( (r.aMem[ii].flags & MEM_Zero)==0 || r.aMem[ii].n==0 ); in sqlite3VdbeExec()
5172 assert( r.aMem->flags & MEM_Blob ); in sqlite3VdbeExec()
5173 assert( pOp->opcode!=OP_NoConflict ); in sqlite3VdbeExec()
5175 assert( rc==SQLITE_OK || rc==SQLITE_NOMEM ); in sqlite3VdbeExec()
5292 assert( (pIn3->flags & MEM_Int)!=0 || pOp->opcode==OP_SeekRowid ); in sqlite3VdbeExec()
5293 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5297 assert( pC!=0 ); in sqlite3VdbeExec()
5301 assert( pC->isTable ); in sqlite3VdbeExec()
5302 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5304 assert( pCrsr!=0 ); in sqlite3VdbeExec()
5307 assert( rc==SQLITE_OK || res==0 ); in sqlite3VdbeExec()
5315 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
5335 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5336 assert( p->apCsr[pOp->p1]!=0 ); in sqlite3VdbeExec()
5337 assert( p->apCsr[pOp->p1]->eCurType!=CURTYPE_VTAB ); in sqlite3VdbeExec()
5372 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5374 assert( pC!=0 ); in sqlite3VdbeExec()
5375 assert( pC->isTable ); in sqlite3VdbeExec()
5376 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5377 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
5392 assert( pC->isTable ); in sqlite3VdbeExec()
5412 assert( sqlite3BtreeCursorIsValid(pC->uc.pCursor) ); in sqlite3VdbeExec()
5425 assert( pOp->p3>0 ); in sqlite3VdbeExec()
5429 assert( pOp->p3<=pFrame->nMem ); in sqlite3VdbeExec()
5433 assert( pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
5437 assert( memIsValid(pMem) ); in sqlite3VdbeExec()
5441 assert( (pMem->flags & MEM_Int)!=0 ); /* mem(P3) holds an integer */ in sqlite3VdbeExec()
5457 assert( pOp->p3==0 ); /* We cannot be in random rowid mode if this is in sqlite3VdbeExec()
5472 assert( v>0 ); /* EV: R-40812-03570 */ in sqlite3VdbeExec()
5528 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5529 assert( memIsValid(pData) ); in sqlite3VdbeExec()
5531 assert( pC!=0 ); in sqlite3VdbeExec()
5532 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5533 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
5534 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
5535 assert( (pOp->p5 & OPFLAG_ISNOOP) || pC->isTable ); in sqlite3VdbeExec()
5536 assert( pOp->p4type==P4_TABLE || pOp->p4type>=P4_STATIC ); in sqlite3VdbeExec()
5541 assert( pKey->flags & MEM_Int ); in sqlite3VdbeExec()
5542 assert( memIsValid(pKey) ); in sqlite3VdbeExec()
5547 assert( pC->iDb>=0 ); in sqlite3VdbeExec()
5550 assert( (pOp->p5 & OPFLAG_ISNOOP) || HasRowid(pTab) ); in sqlite3VdbeExec()
5572 assert( (pData->flags & (MEM_Blob|MEM_Str))!=0 || pData->n==0 ); in sqlite3VdbeExec()
5592 assert( db->xUpdateCallback!=0 ); in sqlite3VdbeExec()
5593 assert( pTab->aCol!=0 ); in sqlite3VdbeExec()
5616 assert( pOp[1].opcode==OP_Insert || pOp[1].opcode==OP_IdxInsert ); in sqlite3VdbeExec()
5617 assert( pOp[1].opcode==OP_Insert || pOp->p3==0 ); in sqlite3VdbeExec()
5618 assert( pOp[1].opcode==OP_IdxInsert || pOp->p3>0 ); in sqlite3VdbeExec()
5619 assert( pOp[1].p5 & OPFLAG_PREFORMAT ); in sqlite3VdbeExec()
5670 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5672 assert( pC!=0 ); in sqlite3VdbeExec()
5673 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5674 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
5675 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
5688 assert( CORRUPT_DB || pC->movetoTarget==iKey ); in sqlite3VdbeExec()
5698 assert( pC->iDb>=0 ); in sqlite3VdbeExec()
5699 assert( pOp->p4.pTab!=0 ); in sqlite3VdbeExec()
5712 assert( db->xPreUpdateCallback==0 || pTab==pOp->p4.pTab ); in sqlite3VdbeExec()
5714 assert( !(opflags & OPFLAG_ISUPDATE) in sqlite3VdbeExec()
5728 assert( (pOp->p5 & ~(OPFLAG_SAVEPOSITION|OPFLAG_AUXDELETE))==0 ); in sqlite3VdbeExec()
5729 assert( OPFLAG_SAVEPOSITION==BTREE_SAVEPOSITION ); in sqlite3VdbeExec()
5730 assert( OPFLAG_AUXDELETE==BTREE_AUXDELETE ); in sqlite3VdbeExec()
5757 assert( pC->iDb>=0 ); in sqlite3VdbeExec()
5797 assert( isSorter(pC) ); in sqlite3VdbeExec()
5798 assert( pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
5826 assert( isSorter(pC) ); in sqlite3VdbeExec()
5828 assert( rc!=SQLITE_OK || (pOut->flags & MEM_Blob) ); in sqlite3VdbeExec()
5829 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5870 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5872 assert( pC!=0 ); in sqlite3VdbeExec()
5873 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5874 assert( isSorter(pC)==0 ); in sqlite3VdbeExec()
5875 assert( pC->nullRow==0 ); in sqlite3VdbeExec()
5876 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
5887 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
5888 assert( sqlite3BtreeCursorIsValid(pCrsr) ); in sqlite3VdbeExec()
5920 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5922 assert( pC!=0 ); in sqlite3VdbeExec()
5923 assert( pC->eCurType!=CURTYPE_PSEUDO || pC->nullRow ); in sqlite3VdbeExec()
5931 assert( pC->uc.pVCur!=0 ); in sqlite3VdbeExec()
5934 assert( pModule->xRowid ); in sqlite3VdbeExec()
5940 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
5941 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
5966 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
5981 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
6018 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6020 assert( pC!=0 ); in sqlite3VdbeExec()
6021 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6024 assert( pCrsr!=0 ); in sqlite3VdbeExec()
6029 assert( pOp->p2==0 ); in sqlite3VdbeExec()
6058 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6060 assert( pC!=0 ); in sqlite3VdbeExec()
6062 assert( pCrsr ); in sqlite3VdbeExec()
6123 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6124 assert( pOp->p5==0 ); in sqlite3VdbeExec()
6126 assert( pC!=0 ); in sqlite3VdbeExec()
6127 assert( isSorter(pC)==(pOp->opcode==OP_SorterSort) ); in sqlite3VdbeExec()
6135 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6137 assert( pCrsr ); in sqlite3VdbeExec()
6144 assert( pOp->p2>0 && pOp->p2<p->nOp ); in sqlite3VdbeExec()
6208 assert( isSorter(pC) ); in sqlite3VdbeExec()
6213 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6214 assert( pOp->p5==0 in sqlite3VdbeExec()
6218 assert( pC!=0 ); in sqlite3VdbeExec()
6219 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
6220 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6221 assert( pC->seekOp==OP_SeekLT || pC->seekOp==OP_SeekLE in sqlite3VdbeExec()
6228 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6229 assert( pOp->p5==0 in sqlite3VdbeExec()
6233 assert( pC!=0 ); in sqlite3VdbeExec()
6234 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
6235 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6236 assert( pC->seekOp==OP_SeekGT || pC->seekOp==OP_SeekGE in sqlite3VdbeExec()
6291 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6294 assert( pC!=0 ); in sqlite3VdbeExec()
6295 assert( !isSorter(pC) ); in sqlite3VdbeExec()
6297 assert( (pIn2->flags & MEM_Blob) || (pOp->p5 & OPFLAG_PREFORMAT) ); in sqlite3VdbeExec()
6299 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6300 assert( pC->isTable==0 ); in sqlite3VdbeExec()
6311 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
6327 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6330 assert( pC!=0 ); in sqlite3VdbeExec()
6331 assert( isSorter(pC) ); in sqlite3VdbeExec()
6333 assert( pIn2->flags & MEM_Blob ); in sqlite3VdbeExec()
6334 assert( pC->isTable==0 ); in sqlite3VdbeExec()
6363 assert( pOp->p3>0 ); in sqlite3VdbeExec()
6364 assert( pOp->p2>0 && pOp->p2+pOp->p3<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
6365 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6367 assert( pC!=0 ); in sqlite3VdbeExec()
6368 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6371 assert( pCrsr!=0 ); in sqlite3VdbeExec()
6385 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
6425 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6427 assert( pC!=0 ); in sqlite3VdbeExec()
6428 assert( pC->eCurType==CURTYPE_BTREE || IsNullCursor(pC) ); in sqlite3VdbeExec()
6429 assert( pC->uc.pCursor!=0 ); in sqlite3VdbeExec()
6430 assert( pC->isTable==0 || IsNullCursor(pC) ); in sqlite3VdbeExec()
6431 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
6432 assert( !pC->nullRow || pOp->opcode==OP_IdxRowid ); in sqlite3VdbeExec()
6450 assert( pOp->p3>=0 && pOp->p3<p->nCursor ); in sqlite3VdbeExec()
6452 assert( pTabCur!=0 ); in sqlite3VdbeExec()
6453 assert( pTabCur->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6454 assert( pTabCur->uc.pCursor!=0 ); in sqlite3VdbeExec()
6455 assert( pTabCur->isTable ); in sqlite3VdbeExec()
6460 assert( pOp->p4type==P4_INTARRAY || pOp->p4.ai==0 ); in sqlite3VdbeExec()
6461 assert( !pTabCur->isEphemeral ); in sqlite3VdbeExec()
6463 assert( !pC->isEphemeral ); in sqlite3VdbeExec()
6470 assert( pOp->opcode==OP_IdxRowid ); in sqlite3VdbeExec()
6485 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6546 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6548 assert( pC!=0 ); in sqlite3VdbeExec()
6549 assert( pC->isOrdered ); in sqlite3VdbeExec()
6550 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6551 assert( pC->uc.pCursor!=0); in sqlite3VdbeExec()
6552 assert( pC->deferredMoveto==0 ); in sqlite3VdbeExec()
6553 assert( pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
6557 assert( pOp->opcode==OP_IdxLE || pOp->opcode==OP_IdxGT ); in sqlite3VdbeExec()
6560 assert( pOp->opcode==OP_IdxGE || pOp->opcode==OP_IdxLT ); in sqlite3VdbeExec()
6568 assert( memIsValid(&r.aMem[i]) ); in sqlite3VdbeExec()
6580 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6582 assert( sqlite3BtreeCursorIsValid(pCur) ); in sqlite3VdbeExec()
6598 assert( (OP_IdxLE&1)==(OP_IdxLT&1) && (OP_IdxGE&1)==(OP_IdxGT&1) ); in sqlite3VdbeExec()
6600 assert( pOp->opcode==OP_IdxLE || pOp->opcode==OP_IdxLT ); in sqlite3VdbeExec()
6603 assert( pOp->opcode==OP_IdxGE || pOp->opcode==OP_IdxGT ); in sqlite3VdbeExec()
6607 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
6644 assert( p->readOnly==0 ); in sqlite3VdbeExec()
6645 assert( pOp->p1>1 ); in sqlite3VdbeExec()
6654 assert( DbMaskTest(p->btreeMask, iDb) ); in sqlite3VdbeExec()
6664 assert( resetSchemaOnFault==0 || resetSchemaOnFault==iDb+1 ); in sqlite3VdbeExec()
6694 assert( p->readOnly==0 ); in sqlite3VdbeExec()
6695 assert( DbMaskTest(p->btreeMask, pOp->p2) ); in sqlite3VdbeExec()
6700 assert( memIsValid(&aMem[pOp->p3]) ); in sqlite3VdbeExec()
6720 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
6722 assert( pC!=0 ); in sqlite3VdbeExec()
6726 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
6727 assert( pC->isEphemeral ); in sqlite3VdbeExec()
6750 assert( pOp->p3==BTREE_INTKEY || pOp->p3==BTREE_BLOBKEY ); in sqlite3VdbeExec()
6751 assert( pOp->p1>=0 && pOp->p1<db->nDb ); in sqlite3VdbeExec()
6752 assert( DbMaskTest(p->btreeMask, pOp->p1) ); in sqlite3VdbeExec()
6753 assert( p->readOnly==0 ); in sqlite3VdbeExec()
6755 assert( pDb->pBt!=0 ); in sqlite3VdbeExec()
6796 assert( iDb==1 || sqlite3BtreeHoldsMutex(db->aDb[iDb].pBt) ); in sqlite3VdbeExec()
6801 assert( iDb>=0 && iDb<db->nDb ); in sqlite3VdbeExec()
6802 assert( DbHasProperty(db, iDb, DB_SchemaLoaded) in sqlite3VdbeExec()
6828 assert( db->init.busy==0 ); in sqlite3VdbeExec()
6832 assert( !db->mallocFailed ); in sqlite3VdbeExec()
6863 assert( pOp->p1>=0 && pOp->p1<db->nDb ); in sqlite3VdbeExec()
6940 assert( p->bIsReader ); in sqlite3VdbeExec()
6943 assert( nRoot>0 ); in sqlite3VdbeExec()
6944 assert( aRoot[0]==(Pgno)nRoot ); in sqlite3VdbeExec()
6945 assert( pOp->p3>0 && pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
6947 assert( (pnErr->flags & MEM_Int)!=0 ); in sqlite3VdbeExec()
6948 assert( (pnErr->flags & (MEM_Str|MEM_Blob))==0 ); in sqlite3VdbeExec()
6950 assert( pOp->p5<db->nDb ); in sqlite3VdbeExec()
6951 assert( DbMaskTest(p->btreeMask, pOp->p5) ); in sqlite3VdbeExec()
6956 assert( z==0 ); in sqlite3VdbeExec()
6980 assert( (pIn2->flags & MEM_Int)!=0 ); in sqlite3VdbeExec()
6984 assert( sqlite3VdbeMemIsRowSet(pIn1) ); in sqlite3VdbeExec()
7001 assert( (pIn1->flags & MEM_Blob)==0 || sqlite3VdbeMemIsRowSet(pIn1) ); in sqlite3VdbeExec()
7047 assert( pIn3->flags&MEM_Int ); in sqlite3VdbeExec()
7055 assert( sqlite3VdbeMemIsRowSet(pIn1) ); in sqlite3VdbeExec()
7056 assert( pOp->p4type==P4_INT32 ); in sqlite3VdbeExec()
7057 assert( iSet==-1 || iSet>=0 ); in sqlite3VdbeExec()
7099 assert( pProgram->nOp>0 ); in sqlite3VdbeExec()
7135 assert( nMem>0 ); in sqlite3VdbeExec()
7176 assert( pRt->xDel==sqlite3VdbeFrameMemDel ); in sqlite3VdbeExec()
7177 assert( pProgram->nMem+pProgram->nCsr==pFrame->nChildMem in sqlite3VdbeExec()
7179 assert( pProgram->nCsr==pFrame->nChildCsr ); in sqlite3VdbeExec()
7180 assert( (int)(pOp - aOp)==pFrame->pc ); in sqlite3VdbeExec()
7188 assert( pFrame->pAuxData==0 ); in sqlite3VdbeExec()
7307 assert( memIsValid(pIn1) ); in sqlite3VdbeExec()
7330 assert( pIn1->flags&MEM_Int ); in sqlite3VdbeExec()
7362 assert( pIn1->flags & MEM_Int ); in sqlite3VdbeExec()
7363 assert( pIn3->flags & MEM_Int ); in sqlite3VdbeExec()
7390 assert( pIn1->flags&MEM_Int ); in sqlite3VdbeExec()
7407 assert( pIn1->flags&MEM_Int ); in sqlite3VdbeExec()
7459 assert( pOp->p4type==P4_FUNCDEF ); in sqlite3VdbeExec()
7461 assert( pOp->p3>0 && pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
7462 assert( n==0 || (pOp->p2>0 && pOp->p2+n<=(p->nMem+1 - p->nCursor)+1) ); in sqlite3VdbeExec()
7463 assert( pOp->p3<pOp->p2 || pOp->p3>=pOp->p2+n ); in sqlite3VdbeExec()
7481 assert( pOp->p1==(pOp->opcode==OP_AggInverse) ); in sqlite3VdbeExec()
7492 assert( pOp->p4type==P4_FUNCCTX ); in sqlite3VdbeExec()
7500 assert( pMem->uTemp==0x1122e0e3 ); in sqlite3VdbeExec()
7518 assert( memIsValid(pCtx->argv[i]) ); in sqlite3VdbeExec()
7524 assert( pCtx->pOut->flags==MEM_Null ); in sqlite3VdbeExec()
7525 assert( pCtx->isError==0 ); in sqlite3VdbeExec()
7526 assert( pCtx->skipFlag==0 ); in sqlite3VdbeExec()
7540 assert( pOp[-1].opcode==OP_CollSeq ); in sqlite3VdbeExec()
7550 assert( pCtx->pOut->flags==MEM_Null ); in sqlite3VdbeExec()
7551 assert( pCtx->skipFlag==0 ); in sqlite3VdbeExec()
7584 assert( pOp->p1>0 && pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
7585 assert( pOp->p3==0 || pOp->opcode==OP_AggValue ); in sqlite3VdbeExec()
7587 assert( (pMem->flags & ~(MEM_Null|MEM_Agg))==0 ); in sqlite3VdbeExec()
7625 assert( p->readOnly==0 ); in sqlite3VdbeExec()
7628 assert( pOp->p2==SQLITE_CHECKPOINT_PASSIVE in sqlite3VdbeExec()
7669 assert( eNew==PAGER_JOURNALMODE_DELETE in sqlite3VdbeExec()
7677 assert( pOp->p1>=0 && pOp->p1<db->nDb ); in sqlite3VdbeExec()
7678 assert( p->readOnly==0 ); in sqlite3VdbeExec()
7684 assert( sqlite3BtreeHoldsMutex(pBt) ); in sqlite3VdbeExec()
7731 assert( sqlite3BtreeTxnState(pBt)!=SQLITE_TXN_WRITE ); in sqlite3VdbeExec()
7763 assert( p->readOnly==0 ); in sqlite3VdbeExec()
7781 assert( pOp->p1>=0 && pOp->p1<db->nDb ); in sqlite3VdbeExec()
7782 assert( DbMaskTest(p->btreeMask, pOp->p1) ); in sqlite3VdbeExec()
7783 assert( p->readOnly==0 ); in sqlite3VdbeExec()
7813 assert( pOp->p2==0 || pOp->p2==1 ); in sqlite3VdbeExec()
7829 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
7831 assert( pC!=0 ); in sqlite3VdbeExec()
7832 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
7844 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
7846 assert( pC!=0 ); in sqlite3VdbeExec()
7847 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
7872 assert( p1>=0 && p1<db->nDb ); in sqlite3VdbeExec()
7873 assert( DbMaskTest(p->btreeMask, p1) ); in sqlite3VdbeExec()
7874 assert( isWriteLock==0 || isWriteLock==1 ); in sqlite3VdbeExec()
7922 assert( (aMem[pOp->p2].flags & MEM_Str)!=0 ); in sqlite3VdbeExec()
7923 assert( (aMem[pOp->p2].flags & MEM_Static)!=0 ); in sqlite3VdbeExec()
7925 assert( rc==SQLITE_OK ); in sqlite3VdbeExec()
7927 assert( zTab || db->mallocFailed ); in sqlite3VdbeExec()
7947 assert( p->errorAction==OE_Abort && p->usesStmtJournal ); in sqlite3VdbeExec()
7966 assert( p->bIsReader ); in sqlite3VdbeExec()
7988 assert( db->mallocFailed ); in sqlite3VdbeExec()
8060 assert( memIsValid(pQuery) ); in sqlite3VdbeExec()
8062 assert( pCur!=0 ); in sqlite3VdbeExec()
8063 assert( pCur->eCurType==CURTYPE_VTAB ); in sqlite3VdbeExec()
8069 assert( (pQuery->flags&MEM_Int)!=0 && pArgc->flags==MEM_Int ); in sqlite3VdbeExec()
8111 assert( pCur!=0 ); in sqlite3VdbeExec()
8112 assert( pOp->p3>0 && pOp->p3<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
8119 assert( pCur->eCurType==CURTYPE_VTAB ); in sqlite3VdbeExec()
8122 assert( pModule->xColumn ); in sqlite3VdbeExec()
8126 assert( pOp->p5==OPFLAG_NOCHNG || pOp->p5==0 ); in sqlite3VdbeExec()
8163 assert( pCur!=0 ); in sqlite3VdbeExec()
8164 assert( pCur->eCurType==CURTYPE_VTAB ); in sqlite3VdbeExec()
8170 assert( pModule->xNext ); in sqlite3VdbeExec()
8207 assert( pVtab->pModule->xRename ); in sqlite3VdbeExec()
8208 assert( memIsValid(pName) ); in sqlite3VdbeExec()
8209 assert( p->readOnly==0 ); in sqlite3VdbeExec()
8211 assert( pName->flags & MEM_Str ); in sqlite3VdbeExec()
8263 assert( pOp->p2==1 || pOp->p5==OE_Fail || pOp->p5==OE_Rollback in sqlite3VdbeExec()
8266 assert( p->readOnly==0 ); in sqlite3VdbeExec()
8276 assert( pOp->p4type==P4_VTAB ); in sqlite3VdbeExec()
8282 assert( memIsValid(pX) ); in sqlite3VdbeExec()
8292 assert( nArg>1 && apArg[0] && (apArg[0]->flags&MEM_Null) ); in sqlite3VdbeExec()
8399 assert( pOp->p4type==P4_FUNCCTX ); in sqlite3VdbeExec()
8413 assert( pCtx->pVdbe==p ); in sqlite3VdbeExec()
8418 assert( memIsValid(pCtx->argv[i]) ); in sqlite3VdbeExec()
8423 assert( pCtx->isError==0 ); in sqlite3VdbeExec()
8437 assert( (pOut->flags&MEM_Str)==0 in sqlite3VdbeExec()
8440 assert( !sqlite3VdbeMemTooBig(pOut) ); in sqlite3VdbeExec()
8467 assert( pOp->p1>0 && pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
8469 assert( pIn1->flags & MEM_Blob ); in sqlite3VdbeExec()
8470 assert( pIn1->n>0 ); in sqlite3VdbeExec()
8503 assert( pOp->p1>0 && pOp->p1<=(p->nMem+1 - p->nCursor) ); in sqlite3VdbeExec()
8505 assert( (pIn1->flags & MEM_Blob)!=0 ); in sqlite3VdbeExec()
8506 assert( pIn1->n >= 1 ); in sqlite3VdbeExec()
8570 assert( pOp->p4.z==0 || strncmp(pOp->p4.z, "-" "- ", 3)==0 ); in sqlite3VdbeExec()
8573 assert( pOp==p->aOp || pOp->opcode==OP_Trace ); in sqlite3VdbeExec()
8613 assert( pOp->p2>0 ); in sqlite3VdbeExec()
8637 assert( pOp->p1>=0 && pOp->p1<p->nCursor ); in sqlite3VdbeExec()
8638 assert( pOp->p4type==P4_EXPR ); in sqlite3VdbeExec()
8641 assert( pC->eCurType==CURTYPE_BTREE ); in sqlite3VdbeExec()
8700 assert( pOp->p1>0 ); in sqlite3VdbeExec()
8701 assert( pOp->p1+pOp->p2<=(p->nMem+1 - p->nCursor)+1 ); in sqlite3VdbeExec()
8726 assert( pOp->opcode==OP_Noop || pOp->opcode==OP_Explain ); in sqlite3VdbeExec()
8753 assert( pOp>=&aOp[-1] && pOp<&aOp[p->nOp-1] ); in sqlite3VdbeExec()
8785 assert( rc ); in sqlite3VdbeExec()
8832 assert( rc!=SQLITE_OK || nExtraDelete==0 in sqlite3VdbeExec()
8857 assert( AtomicLoad(&db->u1.isInterrupted) ); in sqlite3VdbeExec()