Lines Matching refs:assert
292 assert( sqlite3BtreeHoldsMutex(p) ); in querySharedCacheTableLock()
293 assert( eLock==READ_LOCK || eLock==WRITE_LOCK ); in querySharedCacheTableLock()
294 assert( p->db!=0 ); in querySharedCacheTableLock()
295 assert( !(p->db->flags&SQLITE_ReadUncommit)||eLock==WRITE_LOCK||iTab==1 ); in querySharedCacheTableLock()
301 assert( eLock==READ_LOCK || (p==pBt->pWriter && p->inTrans==TRANS_WRITE) ); in querySharedCacheTableLock()
302 assert( eLock==READ_LOCK || pBt->inTransaction==TRANS_WRITE ); in querySharedCacheTableLock()
327 assert( pIter->eLock==READ_LOCK || pIter->eLock==WRITE_LOCK ); in querySharedCacheTableLock()
328 assert( eLock==READ_LOCK || pIter->pBtree==p || pIter->eLock==READ_LOCK); in querySharedCacheTableLock()
332 assert( p==pBt->pWriter ); in querySharedCacheTableLock()
365 assert( sqlite3BtreeHoldsMutex(p) ); in setSharedCacheTableLock()
366 assert( eLock==READ_LOCK || eLock==WRITE_LOCK ); in setSharedCacheTableLock()
367 assert( p->db!=0 ); in setSharedCacheTableLock()
373 assert( 0==(p->db->flags&SQLITE_ReadUncommit) || eLock==WRITE_LOCK ); in setSharedCacheTableLock()
377 assert( p->sharable ); in setSharedCacheTableLock()
378 assert( SQLITE_OK==querySharedCacheTableLock(p, iTable, eLock) ); in setSharedCacheTableLock()
406 assert( WRITE_LOCK>READ_LOCK ); in setSharedCacheTableLock()
428 assert( sqlite3BtreeHoldsMutex(p) ); in clearAllSharedCacheTableLocks()
429 assert( p->sharable || 0==*ppIter ); in clearAllSharedCacheTableLocks()
430 assert( p->inTrans>0 ); in clearAllSharedCacheTableLocks()
434 assert( (pBt->btsFlags & BTS_EXCLUSIVE)==0 || pBt->pWriter==pLock->pBtree ); in clearAllSharedCacheTableLocks()
435 assert( pLock->pBtree->inTrans>=pLock->eLock ); in clearAllSharedCacheTableLocks()
438 assert( pLock->iTable!=1 || pLock==&p->lock ); in clearAllSharedCacheTableLocks()
447 assert( (pBt->btsFlags & BTS_PENDING)==0 || pBt->pWriter ); in clearAllSharedCacheTableLocks()
475 assert( pLock->eLock==READ_LOCK || pLock->pBtree==p ); in downgradeAllSharedCacheTableLocks()
506 assert( cursorHoldsMutex(p) ); in cursorOwnsBtShared()
523 assert( sqlite3_mutex_held(pBt->mutex) ); in invalidateAllOverflowCache()
550 assert( pBtree->hasIncrblobCur ); in invalidateIncrblobCursors()
551 assert( sqlite3BtreeHoldsMutex(pBtree) ); in invalidateIncrblobCursors()
606 assert( pgno<=pBt->nPage ); in btreeSetHasContent()
668 assert( CURSOR_VALID==pCur->eState ); in saveCursorKey()
669 assert( 0==pCur->pKey ); in saveCursorKey()
670 assert( cursorHoldsMutex(pCur) ); in saveCursorKey()
697 assert( !pCur->curIntKey || !pCur->pKey ); in saveCursorKey()
711 assert( CURSOR_VALID==pCur->eState || CURSOR_SKIPNEXT==pCur->eState ); in saveCursorPosition()
712 assert( 0==pCur->pKey ); in saveCursorPosition()
713 assert( cursorHoldsMutex(pCur) ); in saveCursorPosition()
760 assert( sqlite3_mutex_held(pBt->mutex) ); in saveAllCursors()
761 assert( pExcept==0 || pExcept->pBt==pBt ); in saveAllCursors()
801 assert( cursorHoldsMutex(pCur) ); in sqlite3BtreeClearCursor()
824 assert( nKey==(i64)(int)nKey ); in btreeMoveto()
851 assert( cursorOwnsBtShared(pCur) ); in btreeRestoreCursorPosition()
852 assert( pCur->eState>=CURSOR_REQUIRESEEK ); in btreeRestoreCursorPosition()
865 assert( pCur->eState==CURSOR_VALID || pCur->eState==CURSOR_INVALID ); in btreeRestoreCursorPosition()
892 assert( EIGHT_BYTE_ALIGNMENT(pCur) in sqlite3BtreeCursorHasMoved()
894 assert( offsetof(BtCursor, eState)==0 ); in sqlite3BtreeCursorHasMoved()
895 assert( sizeof(pCur->eState)==1 ); in sqlite3BtreeCursorHasMoved()
906 assert( offsetof(BtCursor, eState)==0 ); in sqlite3BtreeFakeValidCursor()
926 assert( pCur!=0 ); in sqlite3BtreeCursorRestore()
927 assert( pCur->eState!=CURSOR_VALID ); in sqlite3BtreeCursorRestore()
956 assert( x==BTREE_SEEK_EQ || x==BTREE_BULKLOAD || x==0 ); in sqlite3BtreeCursorHintFlags()
974 assert( sqlite3_mutex_held(pBt->mutex) ); in ptrmapPageno()
1004 assert( sqlite3_mutex_held(pBt->mutex) ); in ptrmapPut()
1006 assert( 0==PTRMAP_ISPAGE(pBt, PENDING_BYTE_PAGE(pBt)) ); in ptrmapPut()
1008 assert( pBt->autoVacuum ); in ptrmapPut()
1031 assert( offset <= (int)pBt->usableSize-5 ); in ptrmapPut()
1061 assert( sqlite3_mutex_held(pBt->mutex) ); in ptrmapGet()
1075 assert( offset <= (int)pBt->usableSize-5 ); in ptrmapGet()
1076 assert( pEType!=0 ); in ptrmapGet()
1181 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in btreeParseCellPtrNoPayload()
1182 assert( pPage->leaf==0 ); in btreeParseCellPtrNoPayload()
1183 assert( pPage->childPtrSize==4 ); in btreeParseCellPtrNoPayload()
1202 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in btreeParseCellPtr()
1203 assert( pPage->leaf==0 || pPage->leaf==1 ); in btreeParseCellPtr()
1204 assert( pPage->intKeyLeaf ); in btreeParseCellPtr()
1205 assert( pPage->childPtrSize==0 ); in btreeParseCellPtr()
1283 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in btreeParseCellPtrIndex()
1284 assert( pPage->leaf==0 || pPage->leaf==1 ); in btreeParseCellPtrIndex()
1285 assert( pPage->intKeyLeaf==0 ); in btreeParseCellPtrIndex()
1371 assert( nSize==debuginfo.nSize || CORRUPT_DB ); in cellSizePtr()
1389 assert( pPage->childPtrSize==4 ); in cellSizePtrNoPayload()
1392 assert( debuginfo.nSize==(u16)(pIter - pCell) || CORRUPT_DB ); in cellSizePtrNoPayload()
1444 assert( nSize==debuginfo.nSize || CORRUPT_DB ); in cellSizePtrTableLeaf()
1467 assert( pCell!=0 ); in ptrmapPutOvflPtr()
1511 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in defragmentPage()
1512 assert( pPage->pBt!=0 ); in defragmentPage()
1513 assert( pPage->pBt->usableSize <= SQLITE_MAX_PAGE_SIZE ); in defragmentPage()
1514 assert( pPage->nOverflow==0 ); in defragmentPage()
1515 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in defragmentPage()
1520 assert( nCell==get2byte(&data[hdr+3]) || CORRUPT_DB ); in defragmentPage()
1555 assert( cbrk+(iFree-top) <= usableSize ); in defragmentPage()
1586 assert( pc>=iCellStart && pc<=iCellLast ); in defragmentPage()
1592 assert( cbrk+size<=usableSize && cbrk>=iCellStart ); in defragmentPage()
1602 assert( pPage->nFree>=0 ); in defragmentPage()
1606 assert( cbrk>=iCellFirst ); in defragmentPage()
1611 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in defragmentPage()
1639 assert( pc>0 ); in pageFindSlot()
1709 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in allocateSpace()
1710 assert( pPage->pBt ); in allocateSpace()
1711 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in allocateSpace()
1712 assert( nByte>=0 ); /* Minimum cell size is 4 */ in allocateSpace()
1713 assert( pPage->nFree>=nByte ); in allocateSpace()
1714 assert( pPage->nOverflow==0 ); in allocateSpace()
1715 assert( nByte < (int)(pPage->pBt->usableSize-8) ); in allocateSpace()
1717 assert( pPage->cellOffset == hdr + 12 - 4*pPage->leaf ); in allocateSpace()
1719 assert( gap<=65536 ); in allocateSpace()
1727 assert( top<=(int)pPage->pBt->usableSize ); /* by btreeComputeFreeSpace() */ in allocateSpace()
1747 assert( pSpace+nByte<=data+pPage->pBt->usableSize ); in allocateSpace()
1764 assert( pPage->nCell>0 || CORRUPT_DB ); in allocateSpace()
1765 assert( pPage->nFree>=0 ); in allocateSpace()
1769 assert( gap+2+nByte<=top ); in allocateSpace()
1781 assert( top+nByte <= (int)pPage->pBt->usableSize ); in allocateSpace()
1810 assert( pPage->pBt!=0 ); in freeSpace()
1811 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in freeSpace()
1812 assert( CORRUPT_DB || iStart>=pPage->hdrOffset+6+pPage->childPtrSize ); in freeSpace()
1813 assert( CORRUPT_DB || iEnd <= pPage->pBt->usableSize ); in freeSpace()
1814 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in freeSpace()
1815 assert( iSize>=4 ); /* Minimum cell size is 4 */ in freeSpace()
1816 assert( iStart<=pPage->pBt->usableSize-4 ); in freeSpace()
1836 assert( iFreeBlk>iPtr || iFreeBlk==0 || CORRUPT_DB ); in freeSpace()
1911 assert( pPage->hdrOffset==(pPage->pgno==1 ? 100 : 0) ); in decodeFlags()
1912 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in decodeFlags()
1913 pPage->leaf = (u8)(flagByte>>3); assert( PTF_LEAF == 1<<3 ); in decodeFlags()
1920 assert( (PTF_LEAFDATA|PTF_INTKEY)==5 ); in decodeFlags()
1923 assert( (PTF_LEAFDATA|PTF_INTKEY|PTF_LEAF)==13 ); in decodeFlags()
1939 assert( (PTF_ZERODATA)==2 ); in decodeFlags()
1942 assert( (PTF_ZERODATA|PTF_LEAF)==10 ); in decodeFlags()
1976 assert( pPage->pBt!=0 ); in btreeComputeFreeSpace()
1977 assert( pPage->pBt->db!=0 ); in btreeComputeFreeSpace()
1978 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in btreeComputeFreeSpace()
1979 assert( pPage->pgno==sqlite3PagerPagenumber(pPage->pDbPage) ); in btreeComputeFreeSpace()
1980 assert( pPage == sqlite3PagerGetExtra(pPage->pDbPage) ); in btreeComputeFreeSpace()
1981 assert( pPage->aData == sqlite3PagerGetData(pPage->pDbPage) ); in btreeComputeFreeSpace()
1982 assert( pPage->isInit==1 ); in btreeComputeFreeSpace()
1983 assert( pPage->nFree<0 ); in btreeComputeFreeSpace()
2093 assert( pPage->pBt!=0 ); in btreeInitPage()
2094 assert( pPage->pBt->db!=0 ); in btreeInitPage()
2095 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in btreeInitPage()
2096 assert( pPage->pgno==sqlite3PagerPagenumber(pPage->pDbPage) ); in btreeInitPage()
2097 assert( pPage == sqlite3PagerGetExtra(pPage->pDbPage) ); in btreeInitPage()
2098 assert( pPage->aData == sqlite3PagerGetData(pPage->pDbPage) ); in btreeInitPage()
2099 assert( pPage->isInit==0 ); in btreeInitPage()
2108 assert( pBt->pageSize>=512 && pBt->pageSize<=65536 ); in btreeInitPage()
2127 assert( pPage->nCell>0 in btreeInitPage()
2148 assert( sqlite3PagerPagenumber(pPage->pDbPage)==pPage->pgno || CORRUPT_DB ); in zeroPage()
2149 assert( sqlite3PagerGetExtra(pPage->pDbPage) == (void*)pPage ); in zeroPage()
2150 assert( sqlite3PagerGetData(pPage->pDbPage) == data ); in zeroPage()
2151 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in zeroPage()
2152 assert( sqlite3_mutex_held(pBt->mutex) ); in zeroPage()
2168 assert( pBt->pageSize>=512 && pBt->pageSize<=65536 ); in zeroPage()
2188 assert( pPage->aData==sqlite3PagerGetData(pDbPage) ); in btreePageFromDbPage()
2212 assert( flags==0 || flags==PAGER_GET_NOCONTENT || flags==PAGER_GET_READONLY ); in btreeGetPage()
2213 assert( sqlite3_mutex_held(pBt->mutex) ); in btreeGetPage()
2227 assert( sqlite3_mutex_held(pBt->mutex) ); in btreePageLookup()
2243 assert( sqlite3BtreeHoldsMutex(p) ); in sqlite3BtreeLastPage()
2269 assert( sqlite3_mutex_held(pBt->mutex) ); in getAndInitPage()
2270 assert( pCur==0 || ppPage==&pCur->pPage ); in getAndInitPage()
2271 assert( pCur==0 || bReadOnly==pCur->curPagerFlags ); in getAndInitPage()
2272 assert( pCur==0 || pCur->iPage>0 ); in getAndInitPage()
2290 assert( (*ppPage)->pgno==pgno || CORRUPT_DB ); in getAndInitPage()
2291 assert( (*ppPage)->aData==sqlite3PagerGetData(pDbPage) ); in getAndInitPage()
2309 assert( pgno!=0 || rc!=SQLITE_OK ); in getAndInitPage()
2320 assert( pPage->aData ); in releasePageNotNull()
2321 assert( pPage->pBt ); in releasePageNotNull()
2322 assert( pPage->pDbPage!=0 ); in releasePageNotNull()
2323 assert( sqlite3PagerGetExtra(pPage->pDbPage) == (void*)pPage ); in releasePageNotNull()
2324 assert( sqlite3PagerGetData(pPage->pDbPage)==pPage->aData ); in releasePageNotNull()
2325 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in releasePageNotNull()
2332 assert( pPage!=0 ); in releasePageOne()
2333 assert( pPage->aData ); in releasePageOne()
2334 assert( pPage->pBt ); in releasePageOne()
2335 assert( pPage->pDbPage!=0 ); in releasePageOne()
2336 assert( sqlite3PagerGetExtra(pPage->pDbPage) == (void*)pPage ); in releasePageOne()
2337 assert( sqlite3PagerGetData(pPage->pDbPage)==pPage->aData ); in releasePageOne()
2338 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in releasePageOne()
2383 assert( sqlite3PagerPageRefcount(pData)>0 ); in pageReinit()
2385 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in pageReinit()
2404 assert( pBt->db ); in btreeInvokeBusyHandler()
2405 assert( sqlite3_mutex_held(pBt->db->mutex) ); in btreeInvokeBusyHandler()
2459 assert( db!=0 ); in sqlite3BtreeOpen()
2460 assert( pVfs!=0 ); in sqlite3BtreeOpen()
2461 assert( sqlite3_mutex_held(db->mutex) ); in sqlite3BtreeOpen()
2462 assert( (flags&0xff)==flags ); /* flags fit in 8 bits */ in sqlite3BtreeOpen()
2465 assert( (flags & BTREE_UNORDERED)==0 || (flags & BTREE_SINGLE)!=0 ); in sqlite3BtreeOpen()
2468 assert( (flags & BTREE_SINGLE)==0 || isTempDb ); in sqlite3BtreeOpen()
2526 assert( pBt->nRef>0 ); in sqlite3BtreeOpen()
2566 assert( sizeof(i64)==8 ); in sqlite3BtreeOpen()
2567 assert( sizeof(u64)==8 ); in sqlite3BtreeOpen()
2568 assert( sizeof(u32)==4 ); in sqlite3BtreeOpen()
2569 assert( sizeof(u16)==2 ); in sqlite3BtreeOpen()
2570 assert( sizeof(Pgno)==4 ); in sqlite3BtreeOpen()
2633 assert( (pBt->pageSize & 7)==0 ); /* 8-byte alignment of pageSize */ in sqlite3BtreeOpen()
2715 assert( sqlite3_mutex_held(mutexOpen) ); in sqlite3BtreeOpen()
2718 assert( rc!=SQLITE_OK || sqlite3BtreeConnectionCount(*ppBtree)>0 ); in sqlite3BtreeOpen()
2734 assert( sqlite3_mutex_notheld(pBt->mutex) ); in removeFromSharingList()
2768 assert( pBt!=0 ); in allocateTempSpace()
2769 assert( pBt->pTmpSpace==0 ); in allocateTempSpace()
2772 assert( pBt->pCursor!=0 && (pBt->pCursor->curFlags & BTCF_WriteFlag)!=0 ); in allocateTempSpace()
2819 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeClose()
2829 assert( pTmp->pBtree!=p ); in sqlite3BtreeClose()
2846 assert( p->wantToLock==0 && p->locked==0 ); in sqlite3BtreeClose()
2853 assert( !pBt->pCursor ); in sqlite3BtreeClose()
2864 assert( p->wantToLock==0 ); in sqlite3BtreeClose()
2865 assert( p->locked==0 ); in sqlite3BtreeClose()
2883 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeSetCacheSize()
2903 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeSetSpillSize()
2917 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeSetMmapLimit()
2939 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeSetPagerFlags()
2971 assert( nReserve>=0 && nReserve<=255 ); in sqlite3BtreeSetPageSize()
2980 assert( nReserve>=0 && nReserve<=255 ); in sqlite3BtreeSetPageSize()
2983 assert( (pageSize & 7)==0 ); in sqlite3BtreeSetPageSize()
2984 assert( !pBt->pCursor ); in sqlite3BtreeSetPageSize()
3016 assert( sqlite3_mutex_held(p->pBt->mutex) ); in sqlite3BtreeGetReserveNoMutex()
3075 assert( BTS_OVERWRITE==BTS_SECURE_DELETE*2 ); in sqlite3BtreeSecureDelete()
3076 assert( BTS_FAST_SECURE==(BTS_OVERWRITE|BTS_SECURE_DELETE) ); in sqlite3BtreeSecureDelete()
3178 assert( sqlite3_mutex_held(pBt->mutex) ); in lockBtree()
3179 assert( pBt->pPage1==0 ); in lockBtree()
3271 assert( (pageSize & 7)==0 ); in lockBtree()
3339 assert( pBt->maxLeaf + 23 <= MX_CELL_SIZE(pBt) ); in lockBtree()
3383 assert( sqlite3_mutex_held(pBt->mutex) ); in unlockBtreeIfUnused()
3384 assert( countValidCursors(pBt,0)==0 || pBt->inTransaction>TRANS_NONE ); in unlockBtreeIfUnused()
3387 assert( pPage1->aData ); in unlockBtreeIfUnused()
3388 assert( sqlite3PagerRefcount(pBt->pPager)==1 ); in unlockBtreeIfUnused()
3404 assert( sqlite3_mutex_held(pBt->mutex) ); in newDatabase()
3409 assert( pP1!=0 ); in newDatabase()
3414 assert( sizeof(zMagicHeader)==16 ); in newDatabase()
3419 assert( pBt->usableSize<=pBt->pageSize && pBt->usableSize+255>=pBt->pageSize); in newDatabase()
3428 assert( pBt->autoVacuum==1 || pBt->autoVacuum==0 ); in newDatabase()
3429 assert( pBt->incrVacuum==1 || pBt->incrVacuum==0 ); in newDatabase()
3502 assert( pBt->inTransaction==TRANS_WRITE || IfNotOmitAV(pBt->bDoTruncate)==0 ); in sqlite3BtreeBeginTrans()
3559 assert( pBt->inTransaction==TRANS_NONE ); in sqlite3BtreeBeginTrans()
3606 assert( p->lock.pBtree==p && p->lock.iTable==1 ); in sqlite3BtreeBeginTrans()
3620 assert( !pBt->pWriter ); in sqlite3BtreeBeginTrans()
3674 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in setChildPtrmaps()
3713 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in modifyPagePointer()
3714 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in modifyPagePointer()
3789 assert( eType==PTRMAP_OVERFLOW2 || eType==PTRMAP_OVERFLOW1 || in relocatePage()
3791 assert( sqlite3_mutex_held(pBt->mutex) ); in relocatePage()
3792 assert( pDbPage->pBt==pBt ); in relocatePage()
3874 assert( sqlite3_mutex_held(pBt->mutex) ); in incrVacuumStep()
3875 assert( iLastPg>nFin ); in incrVacuumStep()
3907 assert( iFreePg==iLastPg ); in incrVacuumStep()
3946 assert( iFreePg<iLastPg ); in incrVacuumStep()
4002 assert( pBt->inTransaction==TRANS_WRITE && p->inTrans==TRANS_WRITE ); in sqlite3BtreeIncrVacuum()
4041 assert( p!=0 ); in autoVacuumCommit()
4046 assert( sqlite3_mutex_held(pBt->mutex) ); in autoVacuumCommit()
4048 assert(pBt->autoVacuum); in autoVacuumCommit()
4111 assert( nRef>=sqlite3PagerRefcount(pPager) ); in autoVacuumCommit()
4175 assert( sqlite3BtreeHoldsMutex(p) ); in btreeEndTransaction()
4246 assert( pBt->inTransaction==TRANS_WRITE ); in sqlite3BtreeCommitPhaseTwo()
4247 assert( pBt->nTransaction>0 ); in sqlite3BtreeCommitPhaseTwo()
4307 assert( (writeOnly==0 || writeOnly==1) && BTCF_WriteFlag==1 ); in sqlite3BtreeTripAllCursors()
4359 assert( writeOnly==1 || writeOnly==0 ); in sqlite3BtreeRollback()
4360 assert( tripCode==SQLITE_ABORT_ROLLBACK || tripCode==SQLITE_OK ); in sqlite3BtreeRollback()
4370 assert( rc==SQLITE_OK || (writeOnly==0 && rc2==SQLITE_OK) ); in sqlite3BtreeRollback()
4378 assert( TRANS_WRITE==pBt->inTransaction ); in sqlite3BtreeRollback()
4391 assert( countValidCursors(pBt, 1)==0 ); in sqlite3BtreeRollback()
4423 assert( p->inTrans==TRANS_WRITE ); in sqlite3BtreeBeginStmt()
4424 assert( (pBt->btsFlags & BTS_READ_ONLY)==0 ); in sqlite3BtreeBeginStmt()
4425 assert( iStatement>0 ); in sqlite3BtreeBeginStmt()
4426 assert( iStatement>p->db->nSavepoint ); in sqlite3BtreeBeginStmt()
4427 assert( pBt->inTransaction==TRANS_WRITE ); in sqlite3BtreeBeginStmt()
4454 assert( op==SAVEPOINT_RELEASE || op==SAVEPOINT_ROLLBACK ); in sqlite3BtreeSavepoint()
4455 assert( iSavepoint>=0 || (iSavepoint==-1 && op==SAVEPOINT_ROLLBACK) ); in sqlite3BtreeSavepoint()
4472 assert( CORRUPT_DB || pBt->nPage>0 ); in sqlite3BtreeSavepoint()
4531 assert( sqlite3BtreeHoldsMutex(p) ); in btreeCursor()
4532 assert( wrFlag==0 in btreeCursor()
4541 assert( hasSharedCacheTableLock(p, iTable, pKeyInfo!=0, (wrFlag?2:1)) in btreeCursor()
4543 assert( wrFlag==0 || !hasReadConflicts(p, iTable) ); in btreeCursor()
4546 assert( p->inTrans>TRANS_NONE ); in btreeCursor()
4547 assert( wrFlag==0 || p->inTrans==TRANS_WRITE ); in btreeCursor()
4548 assert( pBt->pPage1 && pBt->pPage1->aData ); in btreeCursor()
4549 assert( wrFlag==0 || (pBt->btsFlags & BTS_READ_ONLY)==0 ); in btreeCursor()
4555 assert( wrFlag==0 ); in btreeCursor()
4648 assert( pBt->pCursor!=0 ); in sqlite3BtreeCloseCursor()
4668 assert( pBtree->sharable==0 ); in sqlite3BtreeCloseCursor()
4699 assert( CORRUPT_DB || cellInfoEqual(&info, &pCur->info) ); in assertCellInfo()
4724 assert( pCur!=0 ); in sqlite3BtreeCursorIsValidNN()
4735 assert( cursorHoldsMutex(pCur) ); in sqlite3BtreeIntegerKey()
4736 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeIntegerKey()
4737 assert( pCur->curIntKey ); in sqlite3BtreeIntegerKey()
4746 assert( (pCur->curFlags & BTCF_Pinned)==0 ); in sqlite3BtreeCursorPin()
4750 assert( (pCur->curFlags & BTCF_Pinned)!=0 ); in sqlite3BtreeCursorUnpin()
4760 assert( cursorHoldsMutex(pCur) ); in sqlite3BtreeOffset()
4761 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeOffset()
4778 assert( cursorHoldsMutex(pCur) ); in sqlite3BtreePayloadSize()
4779 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreePayloadSize()
4798 assert( cursorHoldsMutex(pCur) ); in sqlite3BtreeMaxRecordSize()
4799 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeMaxRecordSize()
4832 assert( sqlite3_mutex_held(pBt->mutex) ); in getOverflowPage()
4833 assert(pPgnoNext); in getOverflowPage()
4861 assert( next==0 || rc==SQLITE_DONE ); in getOverflowPage()
4864 assert( rc==SQLITE_OK || pPage==0 ); in getOverflowPage()
4956 assert( pPage ); in accessPayload()
4957 assert( eOp==0 || eOp==1 ); in accessPayload()
4958 assert( pCur->eState==CURSOR_VALID ); in accessPayload()
4962 assert( cursorHoldsMutex(pCur) ); in accessPayload()
4966 assert( offset+amt <= pCur->info.nPayload ); in accessPayload()
4968 assert( aPayload > pPage->aData ); in accessPayload()
5034 assert( rc==SQLITE_OK && amt>0 ); in accessPayload()
5038 assert( pCur->aOverflow[iIdx]==0 in accessPayload()
5050 assert( pCur->curFlags & BTCF_ValidOvfl ); in accessPayload()
5051 assert( pCur->pBtree->db==pBt->db ); in accessPayload()
5089 assert( aWrite>=pBufStart ); /* due to (6) */ in accessPayload()
5145 assert( cursorHoldsMutex(pCur) ); in sqlite3BtreePayload()
5146 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreePayload()
5147 assert( pCur->iPage>=0 && pCur->pPage ); in sqlite3BtreePayload()
5167 assert( cursorOwnsBtShared(pCur) ); in accessPayloadChecked()
5173 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreePayloadChecked()
5205 assert( pCur!=0 && pCur->iPage>=0 && pCur->pPage); in fetchPayload()
5206 assert( pCur->eState==CURSOR_VALID ); in fetchPayload()
5207 assert( sqlite3_mutex_held(pCur->pBtree->db->mutex) ); in fetchPayload()
5208 assert( cursorOwnsBtShared(pCur) ); in fetchPayload()
5209 assert( pCur->ix<pCur->pPage->nCell || CORRUPT_DB ); in fetchPayload()
5210 assert( pCur->info.nSize>0 ); in fetchPayload()
5211 assert( pCur->info.pPayload>pCur->pPage->aData || CORRUPT_DB ); in fetchPayload()
5212 assert( pCur->info.pPayload<pCur->pPage->aDataEnd ||CORRUPT_DB); in fetchPayload()
5217 assert( CORRUPT_DB ); in fetchPayload()
5254 assert( cursorOwnsBtShared(pCur) ); in moveToChild()
5255 assert( pCur->eState==CURSOR_VALID ); in moveToChild()
5256 assert( pCur->iPage<BTCURSOR_MAX_DEPTH ); in moveToChild()
5257 assert( pCur->iPage>=0 ); in moveToChild()
5282 assert( iIdx<=pParent->nCell ); in assertParentIndex()
5284 assert( get4byte(&pParent->aData[pParent->hdrOffset+8])==iChild ); in assertParentIndex()
5286 assert( get4byte(findCell(pParent, iIdx))==iChild ); in assertParentIndex()
5303 assert( cursorOwnsBtShared(pCur) ); in moveToParent()
5304 assert( pCur->eState==CURSOR_VALID ); in moveToParent()
5305 assert( pCur->iPage>0 ); in moveToParent()
5306 assert( pCur->pPage ); in moveToParent()
5346 assert( cursorOwnsBtShared(pCur) ); in moveToRoot()
5347 assert( CURSOR_INVALID < CURSOR_REQUIRESEEK ); in moveToRoot()
5348 assert( CURSOR_VALID < CURSOR_REQUIRESEEK ); in moveToRoot()
5349 assert( CURSOR_FAULT > CURSOR_REQUIRESEEK ); in moveToRoot()
5350 assert( pCur->eState < CURSOR_REQUIRESEEK || pCur->iPage<0 ); in moveToRoot()
5351 assert( pCur->pgnoRoot>0 || pCur->iPage<0 ); in moveToRoot()
5366 assert( pCur->iPage==(-1) ); in moveToRoot()
5369 assert( pCur->skipNext!=SQLITE_OK ); in moveToRoot()
5384 assert( pRoot->pgno==pCur->pgnoRoot || CORRUPT_DB ); in moveToRoot()
5396 assert( pRoot->intKey==1 || pRoot->intKey==0 ); in moveToRoot()
5433 assert( cursorOwnsBtShared(pCur) ); in moveToLeftmost()
5434 assert( pCur->eState==CURSOR_VALID ); in moveToLeftmost()
5436 assert( pCur->ix<pPage->nCell ); in moveToLeftmost()
5458 assert( cursorOwnsBtShared(pCur) ); in moveToRightmost()
5459 assert( pCur->eState==CURSOR_VALID ); in moveToRightmost()
5467 assert( pCur->info.nSize==0 ); in moveToRightmost()
5468 assert( (pCur->curFlags & BTCF_ValidNKey)==0 ); in moveToRightmost()
5479 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeFirst()
5480 assert( sqlite3_mutex_held(pCur->pBtree->db->mutex) ); in sqlite3BtreeFirst()
5483 assert( pCur->pPage->nCell>0 ); in sqlite3BtreeFirst()
5487 assert( pCur->pgnoRoot==0 || pCur->pPage->nCell==0 ); in sqlite3BtreeFirst()
5501 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeLast()
5502 assert( sqlite3_mutex_held(pCur->pBtree->db->mutex) ); in sqlite3BtreeLast()
5511 assert( pCur->aiIdx[ii]==pCur->apPage[ii]->nCell ); in sqlite3BtreeLast()
5513 assert( pCur->ix==pCur->pPage->nCell-1 || CORRUPT_DB ); in sqlite3BtreeLast()
5516 assert( pCur->pPage->leaf ); in sqlite3BtreeLast()
5524 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeLast()
5533 assert( pCur->pgnoRoot==0 || pCur->pPage->nCell==0 ); in sqlite3BtreeLast()
5571 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeTableMoveto()
5572 assert( sqlite3_mutex_held(pCur->pBtree->db->mutex) ); in sqlite3BtreeTableMoveto()
5573 assert( pRes ); in sqlite3BtreeTableMoveto()
5574 assert( pCur->pKeyInfo==0 ); in sqlite3BtreeTableMoveto()
5575 assert( pCur->eState!=CURSOR_VALID || pCur->curIntKey!=0 ); in sqlite3BtreeTableMoveto()
5615 assert( pCur->pgnoRoot==0 || pCur->pPage->nCell==0 ); in sqlite3BtreeTableMoveto()
5621 assert( pCur->pPage ); in sqlite3BtreeTableMoveto()
5622 assert( pCur->pPage->isInit ); in sqlite3BtreeTableMoveto()
5623 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeTableMoveto()
5624 assert( pCur->pPage->nCell > 0 ); in sqlite3BtreeTableMoveto()
5625 assert( pCur->iPage==0 || pCur->apPage[0]->intKey==pCur->curIntKey ); in sqlite3BtreeTableMoveto()
5626 assert( pCur->curIntKey ); in sqlite3BtreeTableMoveto()
5640 assert( pPage->nCell>0 ); in sqlite3BtreeTableMoveto()
5641 assert( pPage->intKey ); in sqlite3BtreeTableMoveto()
5644 assert( biasRight==0 || biasRight==1 ); in sqlite3BtreeTableMoveto()
5664 assert( nCellKey==intKey ); in sqlite3BtreeTableMoveto()
5677 assert( lwr+upr>=0 ); in sqlite3BtreeTableMoveto()
5680 assert( lwr==upr+1 || !pPage->leaf ); in sqlite3BtreeTableMoveto()
5681 assert( pPage->isInit ); in sqlite3BtreeTableMoveto()
5683 assert( pCur->ix<pCur->pPage->nCell ); in sqlite3BtreeTableMoveto()
5701 assert( (pCur->curFlags & BTCF_ValidOvfl)==0 ); in sqlite3BtreeTableMoveto()
5760 assert( pCur->eState==CURSOR_VALID ); in cursorOnLastPage()
5802 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeIndexMoveto()
5803 assert( sqlite3_mutex_held(pCur->pBtree->db->mutex) ); in sqlite3BtreeIndexMoveto()
5804 assert( pRes ); in sqlite3BtreeIndexMoveto()
5805 assert( pCur->pKeyInfo!=0 ); in sqlite3BtreeIndexMoveto()
5813 assert( pIdxKey->default_rc==1 in sqlite3BtreeIndexMoveto()
5858 assert( pCur->pgnoRoot==0 || pCur->pPage->nCell==0 ); in sqlite3BtreeIndexMoveto()
5866 assert( pCur->pPage ); in sqlite3BtreeIndexMoveto()
5867 assert( pCur->pPage->isInit ); in sqlite3BtreeIndexMoveto()
5868 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeIndexMoveto()
5869 assert( pCur->pPage->nCell > 0 ); in sqlite3BtreeIndexMoveto()
5870 assert( pCur->curIntKey==0 ); in sqlite3BtreeIndexMoveto()
5871 assert( pIdxKey!=0 ); in sqlite3BtreeIndexMoveto()
5884 assert( pPage->nCell>0 ); in sqlite3BtreeIndexMoveto()
5885 assert( pPage->intKey==0 ); in sqlite3BtreeIndexMoveto()
5954 assert( in sqlite3BtreeIndexMoveto()
5963 assert( c==0 ); in sqlite3BtreeIndexMoveto()
5971 assert( lwr+upr>=0 ); in sqlite3BtreeIndexMoveto()
5974 assert( lwr==upr+1 || (pPage->intKey && !pPage->leaf) ); in sqlite3BtreeIndexMoveto()
5975 assert( pPage->isInit ); in sqlite3BtreeIndexMoveto()
5977 assert( pCur->ix<pCur->pPage->nCell || CORRUPT_DB ); in sqlite3BtreeIndexMoveto()
5994 assert( (pCur->curFlags & BTCF_ValidOvfl)==0 ); in sqlite3BtreeIndexMoveto()
6023 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeRowCountEst()
6024 assert( sqlite3_mutex_held(pCur->pBtree->db->mutex) ); in sqlite3BtreeRowCountEst()
6064 assert( cursorOwnsBtShared(pCur) ); in btreeNext()
6066 assert( (pCur->curFlags & BTCF_ValidOvfl)==0 ); in btreeNext()
6115 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeNext()
6116 assert( flags==0 || flags==1 ); in sqlite3BtreeNext()
6156 assert( cursorOwnsBtShared(pCur) ); in btreePrevious()
6157 assert( (pCur->curFlags & (BTCF_AtLast|BTCF_ValidOvfl|BTCF_ValidNKey))==0 ); in btreePrevious()
6158 assert( pCur->info.nSize==0 ); in btreePrevious()
6174 assert( pPage->isInit ); in btreePrevious()
6188 assert( pCur->info.nSize==0 ); in btreePrevious()
6189 assert( (pCur->curFlags & (BTCF_ValidOvfl))==0 ); in btreePrevious()
6202 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreePrevious()
6203 assert( flags==0 || flags==1 ); in sqlite3BtreePrevious()
6254 assert( sqlite3_mutex_held(pBt->mutex) ); in allocateBtreePage()
6255 assert( eMode==BTALLOC_ANY || (nearby>0 && IfNotOmitAV(pBt->autoVacuum)) ); in allocateBtreePage()
6279 assert( nearby>0 ); in allocateBtreePage()
6280 assert( pBt->autoVacuum ); in allocateBtreePage()
6327 assert( pTrunk!=0 ); in allocateBtreePage()
6328 assert( pTrunk->aData!=0 ); in allocateBtreePage()
6336 assert( pPrevTrunk==0 ); in allocateBtreePage()
6400 assert( sqlite3PagerIswriteable(pPage1->pDbPage) ); in allocateBtreePage()
6514 assert( pBt->nPage!=PENDING_BYTE_PAGE(pBt) ); in allocateBtreePage()
6528 assert( *pPgno!=PENDING_BYTE_PAGE(pBt) ); in allocateBtreePage()
6539 assert( CORRUPT_DB || *pPgno!=PENDING_BYTE_PAGE(pBt) ); in allocateBtreePage()
6544 assert( rc!=SQLITE_OK || sqlite3PagerPageRefcount((*ppPage)->pDbPage)<=1 ); in allocateBtreePage()
6545 assert( rc!=SQLITE_OK || (*ppPage)->isInit==0 ); in allocateBtreePage()
6569 assert( sqlite3_mutex_held(pBt->mutex) ); in freePage2()
6570 assert( CORRUPT_DB || iPage>1 ); in freePage2()
6571 assert( !pMemPage || pMemPage->pgno==iPage ); in freePage2()
6630 assert( pBt->usableSize>32 ); in freePage2()
6715 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in clearCellOverflow()
6716 assert( pInfo->nLocal!=pInfo->nPayload ); in clearCellOverflow()
6725 assert( pBt->usableSize > 4 ); in clearCellOverflow()
6728 assert( nOvfl>0 || in clearCellOverflow()
6816 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in fillInCell()
6820 assert( pCell<pPage->aData || pCell>=&pPage->aData[pPage->pBt->pageSize] in fillInCell()
6829 assert( pPage->intKeyLeaf ); /* fillInCell() only called for leaves */ in fillInCell()
6833 assert( pX->nKey<=0x7fffffff && pX->pKey!=0 ); in fillInCell()
6849 assert( nSrc<=nPayload ); in fillInCell()
6887 assert( nHeader==(int)(info.pPayload - pCell) ); in fillInCell()
6888 assert( info.nKey==pX->nKey ); in fillInCell()
6889 assert( *pnSize == info.nSize ); in fillInCell()
6890 assert( spaceLeft == info.nLocal ); in fillInCell()
6901 assert( pToRelease==0 || sqlite3PagerIswriteable(pToRelease->pDbPage) ); in fillInCell()
6905 assert( pPayload<pPage->aData || pPayload>=&pPage->aData[pBt->pageSize] in fillInCell()
6961 assert( pToRelease==0 || sqlite3PagerIswriteable(pToRelease->pDbPage) ); in fillInCell()
6965 assert( pPrior<pPage->aData || pPrior>=&pPage->aData[pBt->pageSize] in fillInCell()
6997 assert( idx>=0 ); in dropCell()
6998 assert( idx<pPage->nCell ); in dropCell()
6999 assert( CORRUPT_DB || sz==cellSize(pPage, idx) ); in dropCell()
7000 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in dropCell()
7001 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in dropCell()
7002 assert( pPage->nFree>=0 ); in dropCell()
7005 assert( pPage->pBt->usableSize > (u32)(ptr-data) ); in dropCell()
7061 assert( *pRC==SQLITE_OK ); in insertCell()
7062 assert( i>=0 && i<=pPage->nCell+pPage->nOverflow ); in insertCell()
7063 assert( MX_CELL(pPage->pBt)<=10921 ); in insertCell()
7064 assert( pPage->nCell<=MX_CELL(pPage->pBt) || CORRUPT_DB ); in insertCell()
7065 assert( pPage->nOverflow<=ArraySize(pPage->apOvfl) ); in insertCell()
7066 assert( ArraySize(pPage->apOvfl)==ArraySize(pPage->aiOvfl) ); in insertCell()
7067 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in insertCell()
7068 assert( sz==pPage->xCellSize(pPage, pCell) || CORRUPT_DB ); in insertCell()
7069 assert( pPage->nFree>=0 ); in insertCell()
7082 assert( j < ArraySize(pPage->apOvfl)-1 ); in insertCell()
7091 assert( j==0 || pPage->aiOvfl[j-1]<(u16)i ); /* Overflows in sorted order */ in insertCell()
7092 assert( j==0 || i==pPage->aiOvfl[j-1]+1 ); /* Overflows are sequential */ in insertCell()
7099 assert( sqlite3PagerIswriteable(pPage->pDbPage) ); in insertCell()
7101 assert( &data[pPage->cellOffset]==pPage->aCellIdx ); in insertCell()
7106 assert( idx >= 0 ); in insertCell()
7107 assert( idx >= pPage->cellOffset+2*pPage->nCell+2 || CORRUPT_DB ); in insertCell()
7108 assert( idx+sz <= (int)pPage->pBt->usableSize ); in insertCell()
7127 assert( get2byte(&data[pPage->hdrOffset+3])==pPage->nCell || CORRUPT_DB ); in insertCell()
7237 assert( idx>=0 && idx+N<=p->nCell ); in populateCellCache()
7239 assert( p->apCell[idx]!=0 ); in populateCellCache()
7243 assert( CORRUPT_DB || in populateCellCache()
7255 assert( N>=0 && N<p->nCell ); in computeCellSize()
7256 assert( p->szCell[N]==0 ); in computeCellSize()
7261 assert( N>=0 && N<p->nCell ); in cachedCellSize()
7298 assert( i<iEnd ); in rebuildPage()
7310 assert( sz>0 ); in rebuildPage()
7325 assert( sz==pPg->xCellSize(pPg, pCell) || CORRUPT_DB ); in rebuildPage()
7384 assert( CORRUPT_DB || pPg->hdrOffset==0 ); /* Never called on page 1 */ in pageInsertArray()
7391 assert( pCArray->szCell[i]!=0 ); in pageInsertArray()
7401 assert( (pSlot+sz)<=pCArray->apCell[i] in pageInsertArray()
7407 assert( CORRUPT_DB ); in pageInsertArray()
7456 sz = pCArray->szCell[i]; assert( sz>0 ); in pageFreeArray()
7459 assert( pFree>aData && (pFree - aData)<65536 ); in pageFreeArray()
7475 assert( pFree>aData && (pFree - aData)<65536 ); in pageFreeArray()
7516 assert( nCell>=0 ); in editPage()
7525 assert( nCell>=nTail ); in editPage()
7536 assert( (iOld-iNew)<nNew || nCell==0 || CORRUPT_DB ); in editPage()
7537 assert( nAdd>=0 ); in editPage()
7565 assert( nCell>=0 ); in editPage()
7585 assert( 0==memcmp(pCell, &aData[iOff], in editPage()
7628 assert( sqlite3_mutex_held(pPage->pBt->mutex) ); in balance_quick()
7629 assert( sqlite3PagerIswriteable(pParent->pDbPage) ); in balance_quick()
7630 assert( pPage->nOverflow==1 ); in balance_quick()
7633 assert( pPage->nFree>=0 ); in balance_quick()
7634 assert( pParent->nFree>=0 ); in balance_quick()
7650 assert( sqlite3PagerIswriteable(pNew->pDbPage) ); in balance_quick()
7651 assert( CORRUPT_DB || pPage->aData[0]==(PTF_INTKEY|PTF_LEAFDATA|PTF_LEAF) ); in balance_quick()
7731 assert( pPage->isInit );
7742 assert( n==pPage->pgno && e==PTRMAP_OVERFLOW1 );
7747 assert( n==pPage->pgno && e==PTRMAP_BTREE );
7753 assert( n==pPage->pgno && e==PTRMAP_BTREE );
7788 assert( pFrom->isInit ); in copyNodeContent()
7789 assert( pFrom->nFree>=iToHdr ); in copyNodeContent()
7790 assert( get2byte(&aFrom[iFromHdr+5]) <= (int)pBt->usableSize ); in copyNodeContent()
7896 assert( sqlite3_mutex_held(pBt->mutex) ); in balance_nonroot()
7897 assert( sqlite3PagerIswriteable(pParent->pDbPage) ); in balance_nonroot()
7904 assert( pParent->nOverflow==0 || pParent->nOverflow==1 ); in balance_nonroot()
7905 assert( pParent->nOverflow==0 || pParent->aiOvfl[0]==iParentIdx ); in balance_nonroot()
7910 assert( pParent->nFree>=0 ); in balance_nonroot()
7927 assert( bBulk==0 || bBulk==1 ); in balance_nonroot()
8011 assert( szScratch<=7*(int)pBt->pageSize ); in balance_nonroot()
8019 assert( EIGHT_BYTE_ALIGNMENT(aSpace1) ); in balance_nonroot()
8087 assert( k==0 || pOld->aiOvfl[k-1]+1==pOld->aiOvfl[k] );/* NOTE 1 */ in balance_nonroot()
8094 assert( b.nCell<nMaxCells ); in balance_nonroot()
8099 assert( (b.nCell-nCellAtStart)==(pOld->nCell+pOld->nOverflow) ); in balance_nonroot()
8105 assert( b.nCell<nMaxCells ); in balance_nonroot()
8109 assert( sz<=pBt->maxLocal+23 ); in balance_nonroot()
8110 assert( iSpace1 <= (int)pBt->pageSize ); in balance_nonroot()
8113 assert( leafCorrection==0 || leafCorrection==4 ); in balance_nonroot()
8116 assert( leafCorrection==0 ); in balance_nonroot()
8117 assert( pOld->hdrOffset==0 || CORRUPT_DB ); in balance_nonroot()
8122 assert( leafCorrection==4 ); in balance_nonroot()
8126 assert( b.szCell[b.nCell]==3 || CORRUPT_DB ); in balance_nonroot()
8127 assert( b.apCell[b.nCell]==&aSpace1[iSpace1-3] || CORRUPT_DB ); in balance_nonroot()
8165 assert( p->nFree>=0 ); in balance_nonroot()
8237 assert( d<nMaxCells ); in balance_nonroot()
8238 assert( r<nMaxCells ); in balance_nonroot()
8265 assert( cntNew[0]>0 || (pParent->pgno==1 && pParent->nCell==0) || CORRUPT_DB); in balance_nonroot()
8290 assert( i>0 ); in balance_nonroot()
8322 assert( apNew[i]->pDbPage->flags & PGHDR_WRITEABLE ); in balance_nonroot()
8323 assert( apNew[i]->pDbPage->flags & PGHDR_DIRTY ); in balance_nonroot()
8363 assert( sqlite3PagerIswriteable(pParent->pDbPage) ); in balance_nonroot()
8364 assert( nNew>=1 && nNew<=ArraySize(apNew) ); in balance_nonroot()
8365 assert( apNew[nNew-1]!=0 ); in balance_nonroot()
8403 assert( iOld<nNew || iOld<nOld ); in balance_nonroot()
8404 assert( iOld>=0 && iOld<NB ); in balance_nonroot()
8443 assert( j<nMaxCells ); in balance_nonroot()
8444 assert( b.apCell[j]!=0 ); in balance_nonroot()
8476 assert(leafCorrection==4); in balance_nonroot()
8481 assert( sz<=pBt->maxLocal+23 ); in balance_nonroot()
8482 assert( iOvflSpace <= (int)pBt->pageSize ); in balance_nonroot()
8491 assert( sqlite3PagerIswriteable(pParent->pDbPage) ); in balance_nonroot()
8518 assert( iPg>=0 && iPg<nNew ); in balance_nonroot()
8529 assert( iPg==0 || cntOld[iPg-1]>=cntNew[iPg-1] || abDone[iPg-1] ); in balance_nonroot()
8533 assert( cntNew[iPg]>=cntOld[iPg] || abDone[iPg+1] ); in balance_nonroot()
8548 assert( apNew[iPg]->nOverflow==0 ); in balance_nonroot()
8549 assert( apNew[iPg]->nCell==nNewCell ); in balance_nonroot()
8554 assert( memcmp(abDone, "\01\01\01\01\01", nNew)==0 ); in balance_nonroot()
8556 assert( nOld>0 ); in balance_nonroot()
8557 assert( nNew>0 ); in balance_nonroot()
8575 assert( nNew==1 || CORRUPT_DB ); in balance_nonroot()
8578 assert( apNew[0]->nFree == in balance_nonroot()
8595 assert( pParent->isInit ); in balance_nonroot()
8657 assert( pRoot->nOverflow>0 ); in balance_deeper()
8658 assert( sqlite3_mutex_held(pBt->mutex) ); in balance_deeper()
8677 assert( sqlite3PagerIswriteable(pChild->pDbPage) ); in balance_deeper()
8678 assert( sqlite3PagerIswriteable(pRoot->pDbPage) ); in balance_deeper()
8679 assert( pChild->nCell==pRoot->nCell || CORRUPT_DB ); in balance_deeper()
8758 assert( balance_deeper_called==0 ); in balance()
8767 assert( pCur->pPage->nOverflow ); in balance()
8806 assert( balance_quick_called==0 ); in balance()
8852 assert( pCur->iPage>=0 ); in balance()
8931 assert( nTotal>=0 ); in btreeOverwriteCell()
8932 assert( iOffset>=0 ); in btreeOverwriteCell()
9004 assert( (flags & (BTREE_SAVEPOSITION|BTREE_APPEND|BTREE_PREFORMAT))==flags ); in sqlite3BtreeInsert()
9005 assert( (flags & BTREE_PREFORMAT)==0 || seekResult || pCur->pKeyInfo==0 ); in sqlite3BtreeInsert()
9041 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeInsert()
9042 assert( (pCur->curFlags & BTCF_WriteFlag)!=0 in sqlite3BtreeInsert()
9045 assert( hasSharedCacheTableLock(p, pCur->pgnoRoot, pCur->pKeyInfo!=0, 2) ); in sqlite3BtreeInsert()
9052 assert( (flags & BTREE_PREFORMAT) || (pX->pKey==0)==(pCur->pKeyInfo==0) ); in sqlite3BtreeInsert()
9055 assert( pX->pKey==0 ); in sqlite3BtreeInsert()
9067 assert( pCur->curFlags & BTCF_ValidNKey ); in sqlite3BtreeInsert()
9068 assert( pX->nKey==pCur->info.nKey ); in sqlite3BtreeInsert()
9069 assert( loc==0 ); in sqlite3BtreeInsert()
9080 assert( pX->nData>=0 && pX->nZero>=0 ); in sqlite3BtreeInsert()
9087 assert( loc==0 ); in sqlite3BtreeInsert()
9103 assert( (flags & BTREE_SAVEPOSITION)==0 || loc==0 ); in sqlite3BtreeInsert()
9141 assert( pCur->eState==CURSOR_VALID in sqlite3BtreeInsert()
9145 assert( pPage->intKey || pX->nKey>=0 || (flags & BTREE_PREFORMAT) ); in sqlite3BtreeInsert()
9146 assert( pPage->leaf || !pPage->intKey ); in sqlite3BtreeInsert()
9160 assert( pPage->isInit || CORRUPT_DB ); in sqlite3BtreeInsert()
9162 assert( newCell!=0 ); in sqlite3BtreeInsert()
9179 assert( szNew==pPage->xCellSize(pPage, newCell) ); in sqlite3BtreeInsert()
9180 assert( szNew <= MX_CELL_SIZE(pBt) ); in sqlite3BtreeInsert()
9184 assert( idx>=0 ); in sqlite3BtreeInsert()
9211 assert( rc==SQLITE_OK ); /* clearCell never fails when nLocal==nPayload */ in sqlite3BtreeInsert()
9224 assert( pPage->leaf ); in sqlite3BtreeInsert()
9228 assert( pPage->leaf ); in sqlite3BtreeInsert()
9231 assert( pPage->nOverflow==0 || rc==SQLITE_OK ); in sqlite3BtreeInsert()
9232 assert( rc!=SQLITE_OK || pPage->nCell>0 || pPage->nOverflow>0 ); in sqlite3BtreeInsert()
9256 assert( rc==SQLITE_OK ); in sqlite3BtreeInsert()
9269 assert( pCur->pKey==0 ); in sqlite3BtreeInsert()
9281 assert( pCur->iPage<0 || pCur->pPage->nOverflow==0 ); in sqlite3BtreeInsert()
9351 assert( nOut>0 ); in sqlite3BtreeTransferRow()
9427 assert( cursorOwnsBtShared(pCur) ); in sqlite3BtreeDelete()
9428 assert( pBt->inTransaction==TRANS_WRITE ); in sqlite3BtreeDelete()
9429 assert( (pBt->btsFlags & BTS_READ_ONLY)==0 ); in sqlite3BtreeDelete()
9430 assert( pCur->curFlags & BTCF_WriteFlag ); in sqlite3BtreeDelete()
9431 assert( hasSharedCacheTableLock(p, pCur->pgnoRoot, pCur->pKeyInfo!=0, 2) ); in sqlite3BtreeDelete()
9432 assert( !hasReadConflicts(p, pCur->pgnoRoot) ); in sqlite3BtreeDelete()
9433 assert( (flags & ~(BTREE_SAVEPOSITION | BTREE_AUXDELETE))==0 ); in sqlite3BtreeDelete()
9437 assert( rc!=SQLITE_OK || CORRUPT_DB || pCur->eState==CURSOR_VALID ); in sqlite3BtreeDelete()
9443 assert( pCur->eState==CURSOR_VALID ); in sqlite3BtreeDelete()
9497 assert( rc!=SQLITE_DONE ); in sqlite3BtreeDelete()
9546 assert( MX_CELL_SIZE(pBt) >= nCell ); in sqlite3BtreeDelete()
9548 assert( pTmp!=0 ); in sqlite3BtreeDelete()
9572 assert( pCur->pPage->nOverflow==0 ); in sqlite3BtreeDelete()
9573 assert( pCur->pPage->nFree>=0 ); in sqlite3BtreeDelete()
9593 assert( (pCur->iPage==iCellDepth || CORRUPT_DB) ); in sqlite3BtreeDelete()
9594 assert( pPage==pCur->pPage || CORRUPT_DB ); in sqlite3BtreeDelete()
9595 assert( (pPage->nCell>0 || CORRUPT_DB) && iCellIdx<=pPage->nCell ); in sqlite3BtreeDelete()
9633 assert( sqlite3BtreeHoldsMutex(p) ); in btreeCreateTable()
9634 assert( pBt->inTransaction==TRANS_WRITE ); in btreeCreateTable()
9635 assert( (pBt->btsFlags & BTS_READ_ONLY)==0 ); in btreeCreateTable()
9671 assert( pgnoRoot>=3 ); in btreeCreateTable()
9714 assert( eType!=PTRMAP_ROOTPAGE ); in btreeCreateTable()
9715 assert( eType!=PTRMAP_FREEPAGE ); in btreeCreateTable()
9747 assert( sqlite3PagerIswriteable(pBt->pPage1->pDbPage) ); in btreeCreateTable()
9759 assert( sqlite3PagerIswriteable(pRoot->pDbPage) ); in btreeCreateTable()
9767 assert( (pBt->openFlags & BTREE_SINGLE)==0 || pgnoRoot==2 ); in btreeCreateTable()
9796 assert( sqlite3_mutex_held(pBt->mutex) ); in clearDatabasePage()
9854 assert( p->inTrans==TRANS_WRITE ); in sqlite3BtreeClearTable()
9905 assert( sqlite3BtreeHoldsMutex(p) ); in btreeDropTable()
9906 assert( p->inTrans==TRANS_WRITE ); in btreeDropTable()
9907 assert( iTable>=2 ); in btreeDropTable()
9975 assert( maxRootPgno!=PENDING_BYTE_PAGE(pBt) ); in btreeDropTable()
10018 assert( p->inTrans>TRANS_NONE ); in sqlite3BtreeGetMeta()
10019 assert( SQLITE_OK==querySharedCacheTableLock(p, SCHEMA_ROOT, READ_LOCK) ); in sqlite3BtreeGetMeta()
10020 assert( pBt->pPage1 ); in sqlite3BtreeGetMeta()
10021 assert( idx>=0 && idx<=15 ); in sqlite3BtreeGetMeta()
10048 assert( idx>=1 && idx<=15 ); in sqlite3BtreeUpdateMeta()
10050 assert( p->inTrans==TRANS_WRITE ); in sqlite3BtreeUpdateMeta()
10051 assert( pBt->pPage1!=0 ); in sqlite3BtreeUpdateMeta()
10058 assert( pBt->autoVacuum || iMeta==0 ); in sqlite3BtreeUpdateMeta()
10059 assert( iMeta==0 || iMeta==1 ); in sqlite3BtreeUpdateMeta()
10184 assert( iPg<=pCheck->nPage && sizeof(pCheck->aPgRef[0])==1 ); in getPageReferenced()
10192 assert( iPg<=pCheck->nPage && sizeof(pCheck->aPgRef[0])==1 ); in setPageReferenced()
10438 assert( rc==SQLITE_CORRUPT ); /* The only possible error from InitPage */ in checkTreePage()
10444 assert( rc==SQLITE_CORRUPT ); in checkTreePage()
10454 assert( contentOffset<=usableSize ); /* Enforced by btreeInitPage() */ in checkTreePage()
10459 assert( pPage->nCell==nCell ); in checkTreePage()
10464 assert( pPage->aCellIdx==&data[cellStart] ); in checkTreePage()
10492 assert( pCellIdx==&data[cellStart + i*2] ); in checkTreePage()
10522 assert( pc + info.nSize - 4 <= usableSize ); in checkTreePage()
10580 assert( (u32)i<=usableSize-4 ); /* Enforced by btreeComputeFreeSpace() */ in checkTreePage()
10582 assert( (u32)(i+size)<=usableSize ); /* due to btreeComputeFreeSpace() */ in checkTreePage()
10591 assert( j==0 || j>i+size ); /* Enforced by btreeComputeFreeSpace() */ in checkTreePage()
10592 assert( (u32)j<=usableSize-4 ); /* Enforced by btreeComputeFreeSpace() */ in checkTreePage()
10682 assert( nRoot>0 ); in sqlite3BtreeIntegrityCheck()
10686 assert( nRoot>1 ); in sqlite3BtreeIntegrityCheck()
10692 assert( p->inTrans>TRANS_NONE && pBt->inTransaction>TRANS_NONE ); in sqlite3BtreeIntegrityCheck()
10694 assert( nRef>=0 ); in sqlite3BtreeIntegrityCheck()
10808 assert( nRef==sqlite3PagerRefcount(pBt->pPager) ); in sqlite3BtreeIntegrityCheck()
10822 assert( p->pBt->pPager!=0 ); in sqlite3BtreeGetFilename()
10835 assert( p->pBt->pPager!=0 ); in sqlite3BtreeGetJournalname()
10844 assert( p==0 || sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeTxnState()
10877 assert( p ); in sqlite3BtreeIsInBackup()
10878 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeIsInBackup()
10920 assert( sqlite3_mutex_held(p->db->mutex) ); in sqlite3BtreeSchemaLocked()
10923 assert( rc==SQLITE_OK || rc==SQLITE_LOCKED_SHAREDCACHE ); in sqlite3BtreeSchemaLocked()
10937 assert( p->inTrans!=TRANS_NONE ); in sqlite3BtreeLockTable()
10940 assert( READ_LOCK+1==WRITE_LOCK ); in sqlite3BtreeLockTable()
10941 assert( isWriteLock==0 || isWriteLock==1 ); in sqlite3BtreeLockTable()
10967 assert( cursorOwnsBtShared(pCsr) ); in sqlite3BtreePutData()
10968 assert( sqlite3_mutex_held(pCsr->pBtree->db->mutex) ); in sqlite3BtreePutData()
10969 assert( pCsr->curFlags & BTCF_Incrblob ); in sqlite3BtreePutData()
10975 assert( pCsr->eState!=CURSOR_REQUIRESEEK ); in sqlite3BtreePutData()
10989 assert( rc==SQLITE_OK ); in sqlite3BtreePutData()
11001 assert( (pCsr->pBt->btsFlags & BTS_READ_ONLY)==0 in sqlite3BtreePutData()
11003 assert( hasSharedCacheTableLock(pCsr->pBtree, pCsr->pgnoRoot, 0, 2) ); in sqlite3BtreePutData()
11004 assert( !hasReadConflicts(pCsr->pBtree, pCsr->pgnoRoot) ); in sqlite3BtreePutData()
11005 assert( pCsr->pPage->intKey ); in sqlite3BtreePutData()
11028 assert( iVersion==1 || iVersion==2 ); in sqlite3BtreeSetVersion()