853   assert( p->eState==PAGER_OPEN  in assert_pager_state()
866   assert( p->tempFile==0 || p->eLock==EXCLUSIVE_LOCK );  in assert_pager_state()
867   assert( p->tempFile==0 || pPager->changeCountDone );  in assert_pager_state()
872   assert( p->journalMode==PAGER_JOURNALMODE_OFF || p->useJournal );  in assert_pager_state()
873   assert( p->journalMode!=PAGER_JOURNALMODE_OFF || !isOpen(p->jfd) );  in assert_pager_state()
884     assert( !isOpen(p->fd) );  in assert_pager_state()
885     assert( p->noSync );  in assert_pager_state()
886     assert( p->journalMode==PAGER_JOURNALMODE_OFF   in assert_pager_state()
889     assert( p->eState!=PAGER_ERROR && p->eState!=PAGER_OPEN );  in assert_pager_state()
890     assert( pagerUseWal(p)==0 );  in assert_pager_state()
896   assert( pPager->changeCountDone==0 || pPager->eLock>=RESERVED_LOCK );  in assert_pager_state()
897   assert( p->eLock!=PENDING_LOCK );  in assert_pager_state()
901       assert( !MEMDB );  in assert_pager_state()
902       assert( pPager->errCode==SQLITE_OK );  in assert_pager_state()
903       assert( sqlite3PcacheRefCount(pPager->pPCache)==0 || pPager->tempFile );  in assert_pager_state()
907       assert( pPager->errCode==SQLITE_OK );  in assert_pager_state()
908       assert( p->eLock!=UNKNOWN_LOCK );  in assert_pager_state()
909       assert( p->eLock>=SHARED_LOCK );  in assert_pager_state()
913       assert( p->eLock!=UNKNOWN_LOCK );  in assert_pager_state()
914       assert( pPager->errCode==SQLITE_OK );  in assert_pager_state()
916         assert( p->eLock>=RESERVED_LOCK );  in assert_pager_state()
918       assert( pPager->dbSize==pPager->dbOrigSize );  in assert_pager_state()
919       assert( pPager->dbOrigSize==pPager->dbFileSize );  in assert_pager_state()
920       assert( pPager->dbOrigSize==pPager->dbHintSize );  in assert_pager_state()
921       assert( pPager->setSuper==0 );  in assert_pager_state()
925       assert( p->eLock!=UNKNOWN_LOCK );  in assert_pager_state()
926       assert( pPager->errCode==SQLITE_OK );  in assert_pager_state()
933         assert( p->eLock>=RESERVED_LOCK );  in assert_pager_state()
934         assert( isOpen(p->jfd)   in assert_pager_state()
939       assert( pPager->dbOrigSize==pPager->dbFileSize );  in assert_pager_state()
940       assert( pPager->dbOrigSize==pPager->dbHintSize );  in assert_pager_state()
944       assert( p->eLock==EXCLUSIVE_LOCK );  in assert_pager_state()
945       assert( pPager->errCode==SQLITE_OK );  in assert_pager_state()
946       assert( !pagerUseWal(pPager) );  in assert_pager_state()
947       assert( p->eLock>=EXCLUSIVE_LOCK );  in assert_pager_state()
948       assert( isOpen(p->jfd)   in assert_pager_state()
953       assert( pPager->dbOrigSize<=pPager->dbHintSize );  in assert_pager_state()
957       assert( p->eLock==EXCLUSIVE_LOCK );  in assert_pager_state()
958       assert( pPager->errCode==SQLITE_OK );  in assert_pager_state()
959       assert( !pagerUseWal(pPager) );  in assert_pager_state()
960       assert( isOpen(p->jfd)   in assert_pager_state()
972       assert( pPager->errCode!=SQLITE_OK );  in assert_pager_state()
973       assert( sqlite3PcacheRefCount(pPager->pPCache)>0 || pPager->tempFile );  in assert_pager_state()
1138   assert( !pPager->exclusiveMode || pPager->eLock==eLock );  in pagerUnlockDb()
1139   assert( eLock==NO_LOCK || eLock==SHARED_LOCK );  in pagerUnlockDb()
1140   assert( eLock!=NO_LOCK || pagerUseWal(pPager)==0 );  in pagerUnlockDb()
1142     assert( pPager->eLock>=eLock );  in pagerUnlockDb()
1166   assert( eLock==SHARED_LOCK || eLock==RESERVED_LOCK || eLock==EXCLUSIVE_LOCK );  in pagerLockDb()
1197   assert( !MEMDB );  in jrnlBufferSize()
1203   assert( isOpen(pPager->fd) );  in jrnlBufferSize()
1220     assert(SQLITE_IOCAP_ATOMIC512==(512>>8));  in jrnlBufferSize()
1221     assert(SQLITE_IOCAP_ATOMIC64K==(65536>>8));  in jrnlBufferSize()
1265   assert( pPager->eState!=PAGER_ERROR );  in checkPage()
1266   assert( (pPg->flags&PGHDR_DIRTY) || pPg->pageHash==pager_pagehash(pPg) );  in checkPage()
1363   assert( offset%JOURNAL_HDR_SZ(pPager)==0 );  in journalHdrOffset()
1364   assert( offset>=c );  in journalHdrOffset()
1365   assert( (offset-c)<JOURNAL_HDR_SZ(pPager) );  in journalHdrOffset()
1392   assert( isOpen(pPager->jfd) );  in zeroJournalHdr()
1393   assert( !sqlite3JournalIsInMemory(pPager->jfd) );  in zeroJournalHdr()
1447   assert( isOpen(pPager->jfd) );      /* Journal file must be open. */  in writeJournalHdr()
1485   assert( isOpen(pPager->fd) || pPager->noSync );  in writeJournalHdr()
1534     assert( pPager->journalHdr <= pPager->journalOff );  in writeJournalHdr()
1569   assert( isOpen(pPager->jfd) );      /* Journal file must be open. */  in readJournalHdr()
1690   assert( pPager->setSuper==0 );  in writeSuperJournal()
1691   assert( !pagerUseWal(pPager) );  in writeSuperJournal()
1700   assert( pPager->journalHdr <= pPager->journalOff );  in writeSuperJournal()
1797       assert( rc==SQLITE_OK || rc==SQLITE_NOMEM );  in addToSavepointBitvecs()
1822   assert( pPager->eState==PAGER_READER   in pager_unlock()
1832     assert( !isOpen(pPager->jfd) );  in pager_unlock()
1844     assert( (PAGER_JOURNALMODE_MEMORY   & 5)!=1 );  in pager_unlock()
1845     assert( (PAGER_JOURNALMODE_OFF      & 5)!=1 );  in pager_unlock()
1846     assert( (PAGER_JOURNALMODE_WAL      & 5)!=1 );  in pager_unlock()
1847     assert( (PAGER_JOURNALMODE_DELETE   & 5)!=1 );  in pager_unlock()
1848     assert( (PAGER_JOURNALMODE_TRUNCATE & 5)==1 );  in pager_unlock()
1849     assert( (PAGER_JOURNALMODE_PERSIST  & 5)==1 );  in pager_unlock()
1870     assert( pPager->errCode || pPager->eState!=PAGER_ERROR );  in pager_unlock()
1879   assert( pPager->errCode==SQLITE_OK || !MEMDB );  in pager_unlock()
1919   assert( rc==SQLITE_OK || !MEMDB );  in pager_error()
1920   assert(  in pager_error()
2028   assert( assert_pager_state(pPager) );  in pager_end_transaction()
2029   assert( pPager->eState!=PAGER_ERROR );  in pager_end_transaction()
2035   assert( isOpen(pPager->jfd) || pPager->pInJournal==0   in pager_end_transaction()
2039     assert( !pagerUseWal(pPager) );  in pager_end_transaction()
2072       assert( sqlite3JournalIsInMemory(pPager->jfd)==0 );  in pager_end_transaction()
2073       assert( pPager->journalMode==PAGER_JOURNALMODE_DELETE   in pager_end_transaction()
2113     assert( rc2==SQLITE_OK );  in pager_end_transaction()
2121     assert( pPager->eLock==EXCLUSIVE_LOCK );  in pager_end_transaction()
2160     assert( assert_pager_state(pPager) );  in pagerUnlockAndRollback()
2166       assert( pPager->eState==PAGER_READER );  in pagerUnlockAndRollback()
2254   assert( (isMainJrnl&~1)==0 );      /* isMainJrnl is 0 or 1 */  in pager_playback_one_page()
2255   assert( (isSavepnt&~1)==0 );       /* isSavepnt is 0 or 1 */  in pager_playback_one_page()
2256   assert( isMainJrnl || pDone );     /* pDone always used on sub-journals */  in pager_playback_one_page()
2257   assert( isSavepnt || pDone==0 );   /* pDone never used on non-savepoint */  in pager_playback_one_page()
2260   assert( aData );         /* Temp storage must have already been allocated */  in pager_playback_one_page()
2261   assert( pagerUseWal(pPager)==0 || (!isMainJrnl && isSavepnt) );  in pager_playback_one_page()
2269   assert( pPager->eState>=PAGER_WRITER_CACHEMOD  in pager_playback_one_page()
2272   assert( pPager->eState>=PAGER_WRITER_CACHEMOD || isMainJrnl );  in pager_playback_one_page()
2290     assert( !isSavepnt );  in pager_playback_one_page()
2357   assert( pPg || !MEMDB );  in pager_playback_one_page()
2358   assert( pPager->eState!=PAGER_OPEN || pPg==0 || pPager->tempFile );  in pager_playback_one_page()
2374     assert( !pagerUseWal(pPager) );  in pager_playback_one_page()
2407     assert( isSavepnt );  in pager_playback_one_page()
2408     assert( (pPager->doNotSpill & SPILLFLAG_ROLLBACK)==0 );  in pager_playback_one_page()
2411     assert( (pPager->doNotSpill & SPILLFLAG_ROLLBACK)!=0 );  in pager_playback_one_page()
2577     assert( !isOpen(pJournal) );  in pager_delsuper()
2606   assert( pPager->eState!=PAGER_ERROR );  in pager_truncate()
2607   assert( pPager->eState!=PAGER_READER );  in pager_truncate()
2614     assert( pPager->eLock==EXCLUSIVE_LOCK );  in pager_truncate()
2646     assert( MAX_SECTOR_SIZE>=512 );  in sqlite3SectorSize()
2676   assert( isOpen(pPager->fd) || pPager->tempFile );  in setSectorSize()
2764   assert( isOpen(pPager->jfd) );  in pager_playback()
2817       assert( pPager->journalOff==JOURNAL_HDR_SZ(pPager) );  in pager_playback()
2889   assert( 0 );  in pager_playback()
2937     assert( zSuper==&pPager->pTmpSpace[4] );  in pager_playback()
2975   assert( pPager->eState>=PAGER_READER && !MEMDB );  in readDbPage()
2976   assert( isOpen(pPager->fd) );  in readDbPage()
3064   assert( pagerUseWal(pPager) );  in pagerUndoCallback()
3136   assert( pPager->pWal );  in pagerWalFrames()
3137   assert( pList );  in pagerWalFrames()
3141     assert( p->pgno < p->pDirty->pgno );  in pagerWalFrames()
3145   assert( pList->pDirty==0 || isCommit );  in pagerWalFrames()
3159     assert( pList );  in pagerWalFrames()
3197   assert( pagerUseWal(pPager) );  in pagerBeginReadTransaction()
3198   assert( pPager->eState==PAGER_OPEN || pPager->eState==PAGER_READER );  in pagerBeginReadTransaction()
3235   assert( pPager->eState==PAGER_OPEN );  in pagerPagecount()
3236   assert( pPager->eLock>=SHARED_LOCK );  in pagerPagecount()
3237   assert( isOpen(pPager->fd) );  in pagerPagecount()
3238   assert( pPager->tempFile==0 );  in pagerPagecount()
3288   assert( pPager->eState==PAGER_OPEN );  in pagerOpenWalIfPresent()
3289   assert( pPager->eLock>=SHARED_LOCK );  in pagerOpenWalIfPresent()
3359   assert( pPager->eState!=PAGER_ERROR );  in pagerPlaybackSavepoint()
3360   assert( pPager->eState>=PAGER_WRITER_LOCKED );  in pagerPlaybackSavepoint()
3386   assert( pagerUseWal(pPager)==0 || szJ==0 );  in pagerPlaybackSavepoint()
3401     assert( rc!=SQLITE_DONE );  in pagerPlaybackSavepoint()
3416     assert( rc!=SQLITE_DONE );  in pagerPlaybackSavepoint()
3431     assert( rc!=SQLITE_DONE );  in pagerPlaybackSavepoint()
3433   assert( rc!=SQLITE_OK || pPager->journalOff>=szJ );  in pagerPlaybackSavepoint()
3447       assert( offset==(i64)ii*(4+pPager->pageSize) );  in pagerPlaybackSavepoint()
3450     assert( rc!=SQLITE_DONE );  in pagerPlaybackSavepoint()
3634   assert( rc!=SQLITE_OK || isOpen(pFile) );  in pagerOpentemp()
3668   assert( ((int(*)(void *))(ap[0]))==xBusyHandler );  in sqlite3PagerSetBusyHandler()
3669   assert( ap[1]==pBusyHandlerArg );  in sqlite3PagerSetBusyHandler()
3717   assert( pageSize==0 || (pageSize>=512 && pageSize<=SQLITE_MAX_PAGE_SIZE) );  in sqlite3PagerSetPagesize()
3757     assert( nReserve>=0 && nReserve<1000 );  in sqlite3PagerSetPagesize()
3787   assert( pPager->eState!=PAGER_OPEN );      /* Called only by OP_MaxPgcnt */  in sqlite3PagerMaxPageCount()
3836   assert( isOpen(pPager->fd) || pPager->tempFile );  in sqlite3PagerReadFileheader()
3842   assert( !pagerUseWal(pPager) );  in sqlite3PagerReadFileheader()
3862   assert( pPager->eState>=PAGER_READER );  in sqlite3PagerPagecount()
3863   assert( pPager->eState!=PAGER_WRITER_FINISHED );  in sqlite3PagerPagecount()
3890   assert( (pPager->eLock>=locktype)  in pager_wait_on_lock()
3925   assert( pPg->flags&PGHDR_DIRTY );  in assertTruncateConstraintCb()
3931       assert( p->nOrig<pgno || sqlite3BitvecTestNotNull(p->pInSavepoint,pgno) );  in assertTruncateConstraintCb()
3954   assert( pPager->dbSize>=nPage || CORRUPT_DB );  in sqlite3PagerTruncateImage()
3955   assert( pPager->eState>=PAGER_WRITER_CACHEMOD );  in sqlite3PagerTruncateImage()
4018     assert( pPager->nExtra>=8 );  in pagerAcquireMapPage()
4032   assert( p->pExtra==(void *)&p[1] );  in pagerAcquireMapPage()
4033   assert( p->pPage==0 );  in pagerAcquireMapPage()
4034   assert( p->flags==PGHDR_MMAP );  in pagerAcquireMapPage()
4035   assert( p->pPager==pPager );  in pagerAcquireMapPage()
4036   assert( p->nRef==1 );  in pagerAcquireMapPage()
4056   assert( pPager->fd->pMethods->iVersion>=3 );  in pagerReleaseMapPage()
4083   assert( pPager->zFilename && pPager->zFilename[0] );  in databaseIsUnmoved()
4113   assert( db || pagerUseWal(pPager)==0 );  in sqlite3PagerClose()
4114   assert( assert_pager_state(pPager) );  in sqlite3PagerClose()
4123     assert( db || pPager->pWal==0 );  in sqlite3PagerClose()
4161   assert( !pPager->aSavepoint && !pPager->pInJournal );  in sqlite3PagerClose()
4162   assert( !isOpen(pPager->jfd) && !isOpen(pPager->sjfd) );  in sqlite3PagerClose()
4222   assert( pPager->eState==PAGER_WRITER_CACHEMOD  in syncJournal()
4225   assert( assert_pager_state(pPager) );  in syncJournal()
4226   assert( !pagerUseWal(pPager) );  in syncJournal()
4232     assert( !pPager->tempFile );  in syncJournal()
4235       assert( isOpen(pPager->jfd) );  in syncJournal()
4326   assert( assert_pager_state(pPager) );  in syncJournal()
4366   assert( !pagerUseWal(pPager) );  in pager_write_pagelist()
4367   assert( pPager->tempFile || pPager->eState==PAGER_WRITER_DBMOD );  in pager_write_pagelist()
4368   assert( pPager->eLock==EXCLUSIVE_LOCK );  in pager_write_pagelist()
4369   assert( isOpen(pPager->fd) || pList->pDirty==0 );  in pager_write_pagelist()
4376     assert( pPager->tempFile && rc==SQLITE_OK );  in pager_write_pagelist()
4383   assert( rc!=SQLITE_OK || isOpen(pPager->fd) );  in pager_write_pagelist()
4408       assert( (pList->flags&PGHDR_NEED_SYNC)==0 );  in pager_write_pagelist()
4485     assert( pPager->useJournal );  in subjournalPage()
4486     assert( isOpen(pPager->jfd) || pagerUseWal(pPager) );  in subjournalPage()
4487     assert( isOpen(pPager->sjfd) || pPager->nSubRec==0 );  in subjournalPage()
4488     assert( pagerUseWal(pPager)   in subjournalPage()
4510     assert( pPager->nSavepoint>0 );  in subjournalPage()
4546   assert( pPg->pPager==pPager );  in pagerStress()
4547   assert( pPg->flags&PGHDR_DIRTY );  in pagerStress()
4602       assert( (pPg->flags&PGHDR_NEED_SYNC)==0 );  in pagerStress()
4623     assert( assert_pager_state(pPager) );  in sqlite3PagerFlush()
4747     assert( nUriByte>=1 );  in sqlite3PagerOpen()
4822   assert( EIGHT_BYTE_ALIGNMENT(SQLITE_INT_TO_PTR(journalFileSize)) );  in sqlite3PagerOpen()
4832   assert( EIGHT_BYTE_ALIGNMENT(pPager->jfd) );  in sqlite3PagerOpen()
4886     assert( !memDb );  in sqlite3PagerOpen()
4904         assert(SQLITE_DEFAULT_PAGE_SIZE<=SQLITE_MAX_DEFAULT_PAGE_SIZE);  in sqlite3PagerOpen()
4915           assert(SQLITE_IOCAP_ATOMIC512==(512>>8));  in sqlite3PagerOpen()
4916           assert(SQLITE_IOCAP_ATOMIC64K==(65536>>8));  in sqlite3PagerOpen()
4917           assert(SQLITE_MAX_DEFAULT_PAGE_SIZE<=65536);  in sqlite3PagerOpen()
4956     assert( pPager->memDb==0 );  in sqlite3PagerOpen()
4964     assert( nExtra>=8 && nExtra<1000 );  in sqlite3PagerOpen()
4992   assert( tempFile==PAGER_LOCKINGMODE_NORMAL   in sqlite3PagerOpen()
4994   assert( PAGER_LOCKINGMODE_EXCLUSIVE==1 );  in sqlite3PagerOpen()
4999   assert( useJournal || pPager->tempFile );  in sqlite3PagerOpen()
5002     assert( pPager->fullSync==0 );  in sqlite3PagerOpen()
5003     assert( pPager->extraSync==0 );  in sqlite3PagerOpen()
5004     assert( pPager->syncFlags==0 );  in sqlite3PagerOpen()
5005     assert( pPager->walSyncFlags==0 );  in sqlite3PagerOpen()
5017   assert( isOpen(pPager->fd) || tempFile );  in sqlite3PagerOpen()
5087   assert( pPager->useJournal );  in hasHotJournal()
5088   assert( isOpen(pPager->fd) );  in hasHotJournal()
5089   assert( pPager->eState==PAGER_OPEN );  in hasHotJournal()
5091   assert( jrnlOpen==0 || ( sqlite3OsDeviceCharacteristics(pPager->jfd) &  in hasHotJournal()
5114       assert( pPager->tempFile==0 );  in hasHotJournal()
5208   assert( sqlite3PcacheRefCount(pPager->pPCache)==0 );  in sqlite3PagerSharedLock()
5209   assert( assert_pager_state(pPager) );  in sqlite3PagerSharedLock()
5210   assert( pPager->eState==PAGER_OPEN || pPager->eState==PAGER_READER );  in sqlite3PagerSharedLock()
5211   assert( pPager->errCode==SQLITE_OK );  in sqlite3PagerSharedLock()
5216     assert( !MEMDB );  in sqlite3PagerSharedLock()
5217     assert( pPager->tempFile==0 || pPager->eLock==EXCLUSIVE_LOCK );  in sqlite3PagerSharedLock()
5221       assert( pPager->eLock==NO_LOCK || pPager->eLock==UNKNOWN_LOCK );  in sqlite3PagerSharedLock()
5281           assert( !pPager->tempFile );  in sqlite3PagerSharedLock()
5283           assert( rc!=SQLITE_OK || isOpen(pPager->jfd) );  in sqlite3PagerSharedLock()
5300         assert( rc==SQLITE_OK );  in sqlite3PagerSharedLock()
5331       assert( pPager->eState==PAGER_OPEN );  in sqlite3PagerSharedLock()
5332       assert( (pPager->eLock==SHARED_LOCK)  in sqlite3PagerSharedLock()
5385     assert( pPager->pWal==0 || rc==SQLITE_OK );  in sqlite3PagerSharedLock()
5390     assert( rc==SQLITE_OK );  in sqlite3PagerSharedLock()
5400     assert( !MEMDB );  in sqlite3PagerSharedLock()
5402     assert( pPager->eState==PAGER_OPEN );  in sqlite3PagerSharedLock()
5420     assert( pPager->nMmapOut==0 ); /* because page1 is never memory mapped */  in pagerUnlockIfUnused()
5493   assert( pPager->errCode==SQLITE_OK );  in getPageNormal()
5494   assert( pPager->eState>=PAGER_READER );  in getPageNormal()
5495   assert( assert_pager_state(pPager) );  in getPageNormal()
5496   assert( pPager->hasHeldSharedLock==1 );  in getPageNormal()
5510   assert( pPg==(*ppPage) );  in getPageNormal()
5511   assert( pPg->pgno==pgno );  in getPageNormal()
5512   assert( pPg->pPager==pPager || pPg->pPager==0 );  in getPageNormal()
5518     assert( pgno!=PAGER_SJ_PGNO(pPager) );  in getPageNormal()
5536     assert( !isOpen(pPager->fd) || !MEMDB );  in getPageNormal()
5561       assert( pPg->pPager==pPager );  in getPageNormal()
5573   assert( rc!=SQLITE_OK );  in getPageNormal()
5602   assert( USEFETCH(pPager) );  in getPageMMap()
5611   assert( pPager->eState>=PAGER_READER );  in getPageMMap()
5612   assert( assert_pager_state(pPager) );  in getPageMMap()
5613   assert( pPager->hasHeldSharedLock==1 );  in getPageMMap()
5614   assert( pPager->errCode==SQLITE_OK );  in getPageMMap()
5638         assert( rc==SQLITE_OK );  in getPageMMap()
5661   assert( pPager->errCode!=SQLITE_OK );  in getPageError()
5692   assert( pPager!=0 );  in sqlite3PagerLookup()
5693   assert( pgno!=0 );  in sqlite3PagerLookup()
5694   assert( pPager->pPCache!=0 );  in sqlite3PagerLookup()
5696   assert( pPage==0 || pPager->hasHeldSharedLock );  in sqlite3PagerLookup()
5715   assert( pPg!=0 );  in sqlite3PagerUnrefNotNull()
5717     assert( pPg->pgno!=1 );  /* Page1 is never memory mapped */  in sqlite3PagerUnrefNotNull()
5723   assert( sqlite3PcacheRefCount(pPager->pPCache)>0 );  in sqlite3PagerUnrefNotNull()
5730   assert( pPg!=0 );  in sqlite3PagerUnrefPageOne()
5731   assert( pPg->pgno==1 );  in sqlite3PagerUnrefPageOne()
5732   assert( (pPg->flags & PGHDR_MMAP)==0 ); /* Page1 is never memory mapped */  in sqlite3PagerUnrefPageOne()
5764   assert( pPager->eState==PAGER_WRITER_LOCKED );  in pager_open_journal()
5765   assert( assert_pager_state(pPager) );  in pager_open_journal()
5766   assert( pPager->pInJournal==0 );  in pager_open_journal()
5805       assert( rc!=SQLITE_OK || isOpen(pPager->jfd) );  in pager_open_journal()
5827     assert( pPager->eState==PAGER_WRITER_LOCKED );  in pager_open_journal()
5855   assert( pPager->eState>=PAGER_READER && pPager->eState<PAGER_ERROR );  in sqlite3PagerBegin()
5859     assert( pPager->pInJournal==0 );  in sqlite3PagerBegin()
5908     assert( rc==SQLITE_OK || pPager->eState==PAGER_READER );  in sqlite3PagerBegin()
5909     assert( rc!=SQLITE_OK || pPager->eState==PAGER_WRITER_LOCKED );  in sqlite3PagerBegin()
5910     assert( assert_pager_state(pPager) );  in sqlite3PagerBegin()
5930   assert( pPg->pgno!=PAGER_SJ_PGNO(pPager) );  in pagerAddPageToRollbackJournal()
5932   assert( pPager->journalHdr<=pPager->journalOff );  in pagerAddPageToRollbackJournal()
5961   assert( pPager->pInJournal!=0 );  in pagerAddPageToRollbackJournal()
5964   assert( rc==SQLITE_OK || rc==SQLITE_NOMEM );  in pagerAddPageToRollbackJournal()
5966   assert( rc==SQLITE_OK || rc==SQLITE_NOMEM );  in pagerAddPageToRollbackJournal()
5985   assert( pPager->eState==PAGER_WRITER_LOCKED  in pager_write()
5989   assert( assert_pager_state(pPager) );  in pager_write()
5990   assert( pPager->errCode==0 );  in pager_write()
5991   assert( pPager->readOnly==0 );  in pager_write()
6007   assert( pPager->eState>=PAGER_WRITER_CACHEMOD );  in pager_write()
6008   assert( assert_pager_state(pPager) );  in pager_write()
6017   assert( (pPager->pInJournal!=0) == isOpen(pPager->jfd) );  in pager_write()
6021     assert( pagerUseWal(pPager)==0 );  in pager_write()
6083   assert( !MEMDB );  in pagerWriteLargeSector()
6084   assert( (pPager->doNotSpill & SPILLFLAG_NOSYNC)==0 );  in pagerWriteLargeSector()
6101   assert(nPage>0);  in pagerWriteLargeSector()
6102   assert(pg1<=pPg->pgno);  in pagerWriteLargeSector()
6103   assert((pg1+nPage)>pPg->pgno);  in pagerWriteLargeSector()
6134     assert( !MEMDB );  in pagerWriteLargeSector()
6144   assert( (pPager->doNotSpill & SPILLFLAG_NOSYNC)!=0 );  in pagerWriteLargeSector()
6165   assert( (pPg->flags & PGHDR_MMAP)==0 );  in sqlite3PagerWrite()
6166   assert( pPager->eState>=PAGER_WRITER_LOCKED );  in sqlite3PagerWrite()
6167   assert( assert_pager_state(pPager) );  in sqlite3PagerWrite()
6174     assert( pPager->tempFile==0 );  in sqlite3PagerWrite()
6249   assert( pPager->eState==PAGER_WRITER_CACHEMOD  in pager_incr_changecounter()
6252   assert( assert_pager_state(pPager) );  in pager_incr_changecounter()
6266   assert( isDirectMode==0 );  in pager_incr_changecounter()
6275     assert( !pPager->tempFile && isOpen(pPager->fd) );  in pager_incr_changecounter()
6279     assert( pPgHdr==0 || rc==SQLITE_OK );  in pager_incr_changecounter()
6297         assert( pPager->dbFileSize>0 );  in pager_incr_changecounter()
6335     assert( !MEMDB );  in sqlite3PagerSync()
6354   assert( assert_pager_state(pPager) );  in sqlite3PagerExclusiveLock()
6356     assert( pPager->eState==PAGER_WRITER_CACHEMOD   in sqlite3PagerExclusiveLock()
6360     assert( assert_pager_state(pPager) );  in sqlite3PagerExclusiveLock()
6401   assert( pPager->eState==PAGER_WRITER_LOCKED  in sqlite3PagerCommitPhaseOne()
6406   assert( assert_pager_state(pPager) );  in sqlite3PagerCommitPhaseOne()
6420   assert( MEMDB==0 || pPager->tempFile );  in sqlite3PagerCommitPhaseOne()
6421   assert( isOpen(pPager->fd) || pPager->tempFile );  in sqlite3PagerCommitPhaseOne()
6439       assert( rc==SQLITE_OK );  in sqlite3PagerCommitPhaseOne()
6488         assert( isOpen(pPager->jfd)   in sqlite3PagerCommitPhaseOne()
6516         assert( bBatch==0 );  in sqlite3PagerCommitPhaseOne()
6575         assert( rc!=SQLITE_IOERR_BLOCKED );  in sqlite3PagerCommitPhaseOne()
6588         assert( pPager->eState==PAGER_WRITER_DBMOD );  in sqlite3PagerCommitPhaseOne()
6633   assert( pPager->eState==PAGER_WRITER_LOCKED  in sqlite3PagerCommitPhaseTwo()
6637   assert( assert_pager_state(pPager) );  in sqlite3PagerCommitPhaseTwo()
6654     assert( pPager->journalOff==JOURNAL_HDR_SZ(pPager) || !pPager->journalOff );  in sqlite3PagerCommitPhaseTwo()
6698   assert( assert_pager_state(pPager) );  in sqlite3PagerRollback()
6724   assert( pPager->eState==PAGER_READER || rc!=SQLITE_OK );  in sqlite3PagerRollback()
6725   assert( rc==SQLITE_OK || rc==SQLITE_FULL || rc==SQLITE_CORRUPT  in sqlite3PagerRollback()
6806   assert( eStat==SQLITE_DBSTATUS_CACHE_HIT  in sqlite3PagerCacheStat()
6812   assert( SQLITE_DBSTATUS_CACHE_HIT+1==SQLITE_DBSTATUS_CACHE_MISS );  in sqlite3PagerCacheStat()
6813   assert( SQLITE_DBSTATUS_CACHE_HIT+2==SQLITE_DBSTATUS_CACHE_WRITE );  in sqlite3PagerCacheStat()
6814   assert( PAGER_STAT_HIT==0 && PAGER_STAT_MISS==1  in sqlite3PagerCacheStat()
6847   assert( pPager->eState>=PAGER_WRITER_LOCKED );  in pagerOpenSavepoint()
6848   assert( assert_pager_state(pPager) );  in pagerOpenSavepoint()
6849   assert( nSavepoint>nCurrent && pPager->useJournal );  in pagerOpenSavepoint()
6883   assert( pPager->nSavepoint==nSavepoint );  in pagerOpenSavepoint()
6888   assert( pPager->eState>=PAGER_WRITER_LOCKED );  in sqlite3PagerOpenSavepoint()
6889   assert( assert_pager_state(pPager) );  in sqlite3PagerOpenSavepoint()
6936   assert( op==SAVEPOINT_RELEASE || op==SAVEPOINT_ROLLBACK );  in sqlite3PagerSavepoint()
6937   assert( iSavepoint>=0 || op==SAVEPOINT_ROLLBACK );  in sqlite3PagerSavepoint()
6962           assert( rc==SQLITE_OK );  in sqlite3PagerSavepoint()
6975       assert(rc!=SQLITE_DONE);  in sqlite3PagerSavepoint()
7082   assert( pPg->nRef>0 );  in sqlite3PagerMovepage()
7083   assert( pPager->eState==PAGER_WRITER_CACHEMOD  in sqlite3PagerMovepage()
7086   assert( assert_pager_state(pPager) );  in sqlite3PagerMovepage()
7091   assert( pPager->tempFile || !MEMDB );  in sqlite3PagerMovepage()
7134     assert( pPager->journalMode==PAGER_JOURNALMODE_OFF ||  in sqlite3PagerMovepage()
7136     assert( pPg->flags&PGHDR_DIRTY );  in sqlite3PagerMovepage()
7146   assert( !pPgOld || pPgOld->nRef==1 || CORRUPT_DB );  in sqlite3PagerMovepage()
7194         assert( pPager->pTmpSpace!=0 );  in sqlite3PagerMovepage()
7215   assert( pPg->pgno!=iNew );  in sqlite3PagerRekey()
7224   assert( pPg->nRef>0 || pPg->pPager->memDb );  in sqlite3PagerGetData()
7247   assert( eMode==PAGER_LOCKINGMODE_QUERY  in sqlite3PagerLockingMode()
7250   assert( PAGER_LOCKINGMODE_QUERY<0 );  in sqlite3PagerLockingMode()
7251   assert( PAGER_LOCKINGMODE_NORMAL>=0 && PAGER_LOCKINGMODE_EXCLUSIVE>=0 );  in sqlite3PagerLockingMode()
7252   assert( pPager->exclusiveMode || 0==sqlite3WalHeapMemory(pPager->pWal) );  in sqlite3PagerLockingMode()
7283   assert(      eMode==PAGER_JOURNALMODE_DELETE    /* 0 */  in sqlite3PagerSetJournalMode()
7294   assert( pPager->tempFile==0 || eMode!=PAGER_JOURNALMODE_WAL );  in sqlite3PagerSetJournalMode()
7300     assert( eOld==PAGER_JOURNALMODE_MEMORY || eOld==PAGER_JOURNALMODE_OFF );  in sqlite3PagerSetJournalMode()
7309     assert( pPager->eState!=PAGER_ERROR );  in sqlite3PagerSetJournalMode()
7316     assert( (PAGER_JOURNALMODE_TRUNCATE & 5)==1 );  in sqlite3PagerSetJournalMode()
7317     assert( (PAGER_JOURNALMODE_PERSIST & 5)==1 );  in sqlite3PagerSetJournalMode()
7318     assert( (PAGER_JOURNALMODE_DELETE & 5)==0 );  in sqlite3PagerSetJournalMode()
7319     assert( (PAGER_JOURNALMODE_MEMORY & 5)==4 );  in sqlite3PagerSetJournalMode()
7320     assert( (PAGER_JOURNALMODE_OFF & 5)==0 );  in sqlite3PagerSetJournalMode()
7321     assert( (PAGER_JOURNALMODE_WAL & 5)==5 );  in sqlite3PagerSetJournalMode()
7323     assert( isOpen(pPager->fd) || pPager->exclusiveMode );  in sqlite3PagerSetJournalMode()
7339         assert( state==PAGER_OPEN || state==PAGER_READER );  in sqlite3PagerSetJournalMode()
7344           assert( rc==SQLITE_OK );  in sqlite3PagerSetJournalMode()
7355         assert( state==pPager->eState );  in sqlite3PagerSetJournalMode()
7379   assert( assert_pager_state(pPager) );  in sqlite3PagerOkToChangeJournalMode()
7414   assert( MEMDB==0 || pPager->tempFile );  in sqlite3PagerClearCache()
7480   assert( pPager->eLock==SHARED_LOCK || pPager->eLock==EXCLUSIVE_LOCK );  in pagerExclusiveLock()
7500   assert( pPager->pWal==0 && pPager->tempFile==0 );  in pagerOpenWal()
7501   assert( pPager->eLock==SHARED_LOCK || pPager->eLock==EXCLUSIVE_LOCK );  in pagerOpenWal()
7548   assert( assert_pager_state(pPager) );  in sqlite3PagerOpenWal()
7549   assert( pPager->eState==PAGER_OPEN   || pbOpen );  in sqlite3PagerOpenWal()
7550   assert( pPager->eState==PAGER_READER || !pbOpen );  in sqlite3PagerOpenWal()
7551   assert( pbOpen==0 || *pbOpen==0 );  in sqlite3PagerOpenWal()
7552   assert( pbOpen!=0 || (!pPager->tempFile && !pPager->pWal) );  in sqlite3PagerOpenWal()
7584   assert( pPager->journalMode==PAGER_JOURNALMODE_WAL );  in sqlite3PagerCloseWal()
7717   assert( pPager->pWal );  in sqlite3PagerSnapshotUnlock()
7733   assert( pPager->eState>=PAGER_READER );  in sqlite3PagerWalFramesize()