Lines Matching refs:assert
654 assert( pWal->apWiData[iPage]==0 ); in walIndexPageRealloc()
662 assert( pWal->apWiData[iPage]!=0 in walIndexPageRealloc()
677 assert( iPage==0 || *ppPage || rc!=SQLITE_OK ); in walIndexPageRealloc()
695 assert( pWal->nWiData>0 && pWal->apWiData[0] ); in walCkptInfo()
703 assert( pWal->nWiData>0 && pWal->apWiData[0] ); in walIndexHdr()
746 assert( nByte>=8 ); in walChecksumBytes()
747 assert( (nByte&0x00000007)==0 ); in walChecksumBytes()
748 assert( nByte<=65536 ); in walChecksumBytes()
799 assert( pWal->writeLock ); in walIndexWriteHdr()
831 assert( WAL_FRAME_HDRSIZE==24 ); in walEncodeFrame()
863 assert( WAL_FRAME_HDRSIZE==24 ); in walDecodeFrame()
972 assert( iPage>0 ); in walHash()
973 assert( (HASHTABLE_NSLOT & (HASHTABLE_NSLOT-1))==0 ); in walHash()
1014 assert( rc==SQLITE_OK || iHash>0 ); in walHashGet()
1038 assert( (iHash==0 || iFrame>HASHTABLE_NPAGE_ONE) in walFramePage()
1044 assert( iHash>=0 ); in walFramePage()
1077 assert( pWal->writeLock ); in walCleanupHash()
1088 assert( pWal->nWiData>walFramePage(pWal->hdr.mxFrame) ); in walCleanupHash()
1089 assert( pWal->apWiData[walFramePage(pWal->hdr.mxFrame)] ); in walCleanupHash()
1097 assert( iLimit>0 ); in walCleanupHash()
1108 assert( nByte>=0 ); in walCleanupHash()
1122 assert( sLoc.aHash[iKey]==j+1 ); in walCleanupHash()
1148 assert( idx <= HASHTABLE_NSLOT/2 + 1 ); in walIndexAppend()
1155 assert( nByte>=0 ); in walIndexAppend()
1167 assert( !sLoc.aPgno[idx-1] ); in walIndexAppend()
1186 assert( nEntry==idx ); in walIndexAppend()
1202 assert( sLoc.aHash[iKey]==i+1 ); in walIndexAppend()
1234 assert( pWal->ckptLock==1 || pWal->ckptLock==0 ); in walIndexRecover()
1235 assert( WAL_ALL_BUT_WRITE==WAL_WRITE_LOCK+1 ); in walIndexRecover()
1236 assert( WAL_CKPT_LOCK==WAL_ALL_BUT_WRITE ); in walIndexRecover()
1237 assert( pWal->writeLock ); in walIndexRecover()
1328 assert( aShare!=0 || rc!=SQLITE_OK ); in walIndexRecover()
1485 assert( zWalName && zWalName[0] ); in sqlite3WalOpen()
1486 assert( pDbFd ); in sqlite3WalOpen()
1497 assert( 48 == sizeof(WalIndexHdr) ); in sqlite3WalOpen()
1498 assert( 40 == sizeof(WalCkptInfo) ); in sqlite3WalOpen()
1499 assert( 120 == WALINDEX_LOCK_OFFSET ); in sqlite3WalOpen()
1500 assert( 136 == WALINDEX_HDR_SIZE ); in sqlite3WalOpen()
1501 assert( 4096 == HASHTABLE_NPAGE ); in sqlite3WalOpen()
1502 assert( 4062 == HASHTABLE_NPAGE_ONE ); in sqlite3WalOpen()
1503 assert( 8192 == HASHTABLE_NSLOT ); in sqlite3WalOpen()
1504 assert( 383 == HASHTABLE_HASH_1 ); in sqlite3WalOpen()
1505 assert( 32768 == WALINDEX_PGSZ ); in sqlite3WalOpen()
1506 assert( 8 == SQLITE_SHM_NLOCK ); in sqlite3WalOpen()
1507 assert( 5 == WAL_NREADER ); in sqlite3WalOpen()
1508 assert( 24 == WAL_FRAME_HDRSIZE ); in sqlite3WalOpen()
1509 assert( 32 == WAL_HDRSIZE ); in sqlite3WalOpen()
1510 assert( 120 == WALINDEX_LOCK_OFFSET + WAL_WRITE_LOCK ); in sqlite3WalOpen()
1511 assert( 121 == WALINDEX_LOCK_OFFSET + WAL_CKPT_LOCK ); in sqlite3WalOpen()
1512 assert( 122 == WALINDEX_LOCK_OFFSET + WAL_RECOVER_LOCK ); in sqlite3WalOpen()
1513 assert( 123 == WALINDEX_LOCK_OFFSET + WAL_READ_LOCK(0) ); in sqlite3WalOpen()
1514 assert( 124 == WALINDEX_LOCK_OFFSET + WAL_READ_LOCK(1) ); in sqlite3WalOpen()
1515 assert( 125 == WALINDEX_LOCK_OFFSET + WAL_READ_LOCK(2) ); in sqlite3WalOpen()
1516 assert( 126 == WALINDEX_LOCK_OFFSET + WAL_READ_LOCK(3) ); in sqlite3WalOpen()
1517 assert( 127 == WALINDEX_LOCK_OFFSET + WAL_READ_LOCK(4) ); in sqlite3WalOpen()
1526 assert( WIN_SHM_BASE==WALINDEX_LOCK_OFFSET ); in sqlite3WalOpen()
1529 assert( UNIX_SHM_BASE==WALINDEX_LOCK_OFFSET ); in sqlite3WalOpen()
1600 assert( iMin<0xffffffff ); in walIteratorNext()
1657 assert( nLeft>0 && nRight>0 ); in walMerge()
1674 assert( iLeft>=nLeft || aContent[aLeft[iLeft]]>dbpage ); in walMerge()
1675 assert( iRight>=nRight || aContent[aRight[iRight]]>dbpage ); in walMerge()
1719 assert( nList<=HASHTABLE_NPAGE && nList>0 ); in walMergesort()
1720 assert( HASHTABLE_NPAGE==(1<<(ArraySize(aSub)-1)) ); in walMergesort()
1727 assert( iSub<ArraySize(aSub) ); in walMergesort()
1729 assert( p->aList && p->nList<=(1<<iSub) ); in walMergesort()
1730 assert( p->aList==&aList[iList&~((2<<iSub)-1)] ); in walMergesort()
1740 assert( iSub<ArraySize(aSub) ); in walMergesort()
1742 assert( p->nList<=(1<<iSub) ); in walMergesort()
1743 assert( p->aList==&aList[nList&~((2<<iSub)-1)] ); in walMergesort()
1747 assert( aMerge==aList ); in walMergesort()
1754 assert( aContent[aList[i]] > aContent[aList[i-1]] ); in walMergesort()
1792 assert( pWal->ckptLock && pWal->hdr.mxFrame>0 ); in walIteratorInit()
1895 assert( pWal->readLock<0 || bLock==0 ); in sqlite3WalWriteLock()
1897 assert( pWal->db ); in sqlite3WalWriteLock()
2001 assert( pInfo->aReadMark[0]==0 ); in walRestartHdr()
2062 assert( eMode!=SQLITE_CHECKPOINT_PASSIVE || xBusy==0 ); in walCheckpoint()
2074 assert( y<=pWal->hdr.mxFrame ); in walCheckpoint()
2092 assert( rc==SQLITE_OK || pIter==0 ); in walCheckpoint()
2130 assert( walFramePgno(pWal, iFrame)==iDbpage ); in walCheckpoint()
2181 assert( pWal->writeLock ); in walCheckpoint()
2187 assert( pInfo->nBackfill==pWal->hdr.mxFrame ); in walCheckpoint()
2325 assert( pWal->nWiData>0 && pWal->apWiData[0] ); in walIndexTryHdr()
2397 assert( pChanged ); in walIndexReadHdr()
2400 assert( rc!=SQLITE_READONLY ); /* READONLY changed to OK in walIndexPage */ in walIndexReadHdr()
2408 assert( page0==0 ); in walIndexReadHdr()
2409 assert( pWal->writeLock==0 ); in walIndexReadHdr()
2410 assert( pWal->readOnly & WAL_SHM_RDONLY ); in walIndexReadHdr()
2422 assert( page0!=0 || pWal->writeLock==0 ); in walIndexReadHdr()
2474 assert( pWal->nWiData>0 && pWal->apWiData[0]==0 ); in walIndexReadHdr()
2524 assert( pWal->bShmUnreliable ); in walBeginShmUnreliable()
2525 assert( pWal->readOnly & WAL_SHM_RDONLY ); in walBeginShmUnreliable()
2526 assert( pWal->nWiData>0 && pWal->apWiData[0] ); in walBeginShmUnreliable()
2561 assert( rc!=SQLITE_OK ); /* SQLITE_OK not possible for read-only connection */ in walBeginShmUnreliable()
2606 assert( (pWal->szPage & (pWal->szPage-1))==0 ); in walBeginShmUnreliable()
2607 assert( pWal->szPage>=512 && pWal->szPage<=65536 ); in walBeginShmUnreliable()
2718 assert( pWal->readLock<0 ); /* Not currently locked */ in walTryBeginRead()
2721 assert( (pWal->readOnly & WAL_SHM_RDONLY)==0 || useWal==0 ); in walTryBeginRead()
2751 assert( rc==SQLITE_OK ); in walTryBeginRead()
2788 assert( pWal->nWiData>0 ); in walTryBeginRead()
2789 assert( pWal->apWiData[0]!=0 ); in walTryBeginRead()
2842 assert( thisMark!=READMARK_NOT_USED ); in walTryBeginRead()
2864 assert( rc==SQLITE_BUSY || (pWal->readOnly & WAL_SHM_RDONLY)!=0 ); in walTryBeginRead()
2914 assert( mxReadMark<=pWal->hdr.mxFrame ); in walTryBeginRead()
2943 assert( pWal->readLock>=0 ); in sqlite3WalSnapshotRecover()
2966 assert( i - sLoc.iZero - 1 >=0 ); in sqlite3WalSnapshotRecover()
3019 assert( pWal->ckptLock==0 ); in sqlite3WalBeginReadTransaction()
3072 assert( pWal->readLock>0 || pWal->hdr.mxFrame==0 ); in sqlite3WalBeginReadTransaction()
3073 assert( pInfo->aReadMark[pWal->readLock]<=pSnapshot->mxFrame ); in sqlite3WalBeginReadTransaction()
3084 assert( pWal->readLock>0 ); in sqlite3WalBeginReadTransaction()
3107 assert( pSnapshot ); in sqlite3WalBeginReadTransaction()
3146 assert( pWal->readLock>=0 || pWal->lockError ); in sqlite3WalFindFrame()
3201 assert( iFrame>iRead || CORRUPT_DB ); in sqlite3WalFindFrame()
3219 assert( pWal->bShmUnreliable || pWal->minFrame>0 ); in sqlite3WalFindFrame()
3226 assert( iRead==iRead2 ); in sqlite3WalFindFrame()
3288 assert( !memcmp(&pWal->hdr,(void *)walIndexHdr(pWal),sizeof(WalIndexHdr)) ); in sqlite3WalBeginWriteTransaction()
3295 assert( pWal->readLock>=0 ); in sqlite3WalBeginWriteTransaction()
3296 assert( pWal->writeLock==0 && pWal->iReCksum==0 ); in sqlite3WalBeginWriteTransaction()
3376 assert( walFramePgno(pWal, iFrame)!=1 ); in sqlite3WalUndo()
3391 assert( pWal->writeLock ); in sqlite3WalSavepoint()
3407 assert( pWal->writeLock ); in sqlite3WalSavepointUndo()
3408 assert( aWalData[3]!=pWal->nCkpt || aWalData[0]<=pWal->hdr.mxFrame ); in sqlite3WalSavepointUndo()
3447 assert( pInfo->nBackfill==pWal->hdr.mxFrame ); in walRestartLog()
3475 assert( (rc&0xff)!=SQLITE_BUSY ); /* BUSY not possible when useWal==1 */ in walRestartLog()
3518 assert( WAL_SYNC_FLAGS(p->syncFlags)!=0 ); in walWriteToLog()
3571 assert( pWal->iReCksum>0 ); in walRewriteChecksums()
3623 assert( pList ); in sqlite3WalFrames()
3624 assert( pWal->writeLock ); in sqlite3WalFrames()
3628 assert( (isCommit!=0)==(nTruncate!=0) ); in sqlite3WalFrames()
3692 assert( (int)pWal->szPage==szPage ); in sqlite3WalFrames()
3714 assert( rc==SQLITE_OK || iWrite==0 ); in sqlite3WalFrames()
3730 assert( iOffset==walFrameOffset(iFrame, szPage) ); in sqlite3WalFrames()
3771 assert( pLast!=0 ); in sqlite3WalFrames()
3775 assert( rc==SQLITE_OK ); in sqlite3WalFrames()
3804 assert( pLast!=0 || nExtra==0 ); in sqlite3WalFrames()
3859 assert( pWal->ckptLock==0 ); in sqlite3WalCheckpoint()
3860 assert( pWal->writeLock==0 ); in sqlite3WalCheckpoint()
3864 assert( eMode!=SQLITE_CHECKPOINT_PASSIVE || xBusy==0 ); in sqlite3WalCheckpoint()
4002 assert( pWal->writeLock==0 ); in sqlite3WalExclusiveMode()
4003 assert( pWal->exclusiveMode!=WAL_HEAPMEMORY_MODE || op==-1 ); in sqlite3WalExclusiveMode()
4011 assert( pWal->readLock>=0 || pWal->lockError ); in sqlite3WalExclusiveMode()
4012 assert( pWal->readLock>=0 || (op<=0 && pWal->exclusiveMode==0) ); in sqlite3WalExclusiveMode()
4026 assert( pWal->exclusiveMode==WAL_NORMAL_MODE ); in sqlite3WalExclusiveMode()
4027 assert( pWal->readLock>=0 ); in sqlite3WalExclusiveMode()
4056 assert( pWal->readLock>=0 && pWal->writeLock==0 ); in sqlite3WalSnapshotGet()
4130 assert( pWal ); in sqlite3WalSnapshotUnlock()
4144 assert( pWal==0 || pWal->readLock>=0 ); in sqlite3WalFramesize()