database/sqlite
1
0
Fork 0
mirror of https://github.com/sqlite/sqlite.git synced 2025-07-30 19:03:16 +03:00
Code Activity

Add a special case to the integrity-check code to check that the final integer in a doclist index is as expected.

Browse Source 
FossilOrigin-Name: c98934155cb48adfda57bd0fd1b950226d45f67a
This commit is contained in:
dan
2014-08-01 20:13:49 +00:00
parent d34742901d
commit ff31da03e5
3 changed files with 36 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
ext/fts5/fts5_index.c
View File

@ -3087,6 +3087,35 @@ static void fts5IndexIntegrityCheckSegment(
}
fts5DataRelease(pLeaf);
}
/* There may (or may not be) a final entry in the doclist. The entry
** is only present if the page following the nEmpty termless pages
** (a) exists and (b) contains at least one rowid that is part of
** the doclist. */
if( dliter.pDlidx ){
if( (iter.iLeaf + iter.nEmpty)==pSeg->pgnoLast ){
/* The next page does not exist. So the iterator should be at EOF. */
if( fts5IndexDoclistIterNext(&dliter)==0 ) p->rc = FTS5_CORRUPT;
}else{
Fts5Data *pLeaf = fts5DataRead(p, iRow+i);
if( pLeaf ){
int iRowidOff = fts5GetU16(&pLeaf->p[0]);
if( iRowidOff==0 ){
if( fts5IndexDoclistIterNext(&dliter)==0 ) p->rc = FTS5_CORRUPT;
}else{
if( fts5IndexDoclistIterNext(&dliter) ){
p->rc = FTS5_CORRUPT;
}else{
i64 iRowid;
getVarint(&pLeaf->p[iRowidOff], (u64*)&iRowid);
if( iRowid!=dliter.iRowid ) p->rc = FTS5_CORRUPT;
}
}
fts5DataRelease(pLeaf);
}
}
}
fts5DataRelease(dliter.pDlidx);
}