Fix some issues in the new code on this branch related to the handling of corrupt...

FossilOrigin-Name: 19736dd9fbbb7e252c4f8715e2277d48ac41f5bc

diff --git a/manifest b/manifest
index b52c190c1392ce45e4729f77afbe0b6da4ac1659..10be86a2cc88969728e920aa79d67e12b9efc99c 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Fix\ssome\sminor\sformatting\sand\scode\sorganization\sissues.
-D 2014-10-24T16:40:49.448
+C Fix\ssome\sissues\sin\sthe\snew\scode\son\sthis\sbranch\srelated\sto\sthe\shandling\sof\scorrupt\sdatabases.
+D 2014-10-24T18:43:57.313
 F Makefile.arm-wince-mingw32ce-gcc d6df77f1f48d690bd73162294bbba7f59507c72f
 F Makefile.in cf57f673d77606ab0f2d9627ca52a9ba1464146a
 F Makefile.linux-gcc 91d710bdc4998cb015f39edf3cb314ec4f4d7e23
@@ -172,7 +172,7 @@ F src/auth.c d8abcde53426275dab6243b441256fcd8ccbebb2
 F src/backup.c a31809c65623cc41849b94d368917f8bb66e6a7e
 F src/bitvec.c 19a4ba637bd85f8f63fc8c9bae5ade9fb05ec1cb
 F src/btmutex.c 49ca66250c7dfa844a4d4cb8272b87420d27d3a5
-F src/btree.c 56381ce7614853ec0e32bb187e85db4da774c7c5
+F src/btree.c df15daf116e9ef1a7ff88257f6fb678ba385b5ea
 F src/btree.h a79aa6a71e7f1055f01052b7f821bd1c2dce95c8
 F src/btreeInt.h 026d0129724e8f265fdc60d44ec240cf5a4e6179
 F src/build.c 9dc2bd94347b878c89627000c92b0c8d97ec2919
@@ -1205,7 +1205,7 @@ F tool/vdbe_profile.tcl 67746953071a9f8f2f668b73fe899074e2c6d8c1
 F tool/warnings-clang.sh f6aa929dc20ef1f856af04a730772f59283631d4
 F tool/warnings.sh 0abfd78ceb09b7f7c27c688c8e3fe93268a13b32
 F tool/win/sqlite.vsix deb315d026cc8400325c5863eef847784a219a2f
-P 854a54c6c21e800b0cd999023014813f7c50b23f
-R b3aec92126a25950ff876c6cdf2fb4df
+P eab8706dc47aa0a44caf73619de858397c3e0b4e
+R 8a34c36d0ed8bbbc0bb7360d0dc30d47
 U dan
-Z 9e7a15bc5953228881d999c99d9f0682
+Z 610a2814ec6cdf214c41e43dd2355678

diff --git a/manifest.uuid b/manifest.uuid
index 5987e57b6799696e023e08f43275fe0d4d499307..11462e357c167d76fc4235d549142727216135c3 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-eab8706dc47aa0a44caf73619de858397c3e0b4e
\ No newline at end of file
+19736dd9fbbb7e252c4f8715e2277d48ac41f5bc
\ No newline at end of file

diff --git a/src/btree.c b/src/btree.c
index b5e8cb2e0c4695d019c862099fec5cd0a7652049..f326f713fb67c5481235dc03fab74e7e3a0f4b56 100644 (file)
--- a/src/btree.c
+++ b/src/btree.c
@@ -1386,7 +1386,7 @@ static int freeSpace(MemPage *pPage, u16 iStart, u16 iSize){
   assert( pPage->pBt!=0 );
   assert( sqlite3PagerIswriteable(pPage->pDbPage) );
   assert( iStart>=pPage->hdrOffset+6+pPage->childPtrSize );
-  assert( iEnd <= pPage->pBt->usableSize );
+  assert( CORRUPT_DB || iEnd <= pPage->pBt->usableSize );
   assert( sqlite3_mutex_held(pPage->pBt->mutex) );
   assert( iSize>=4 );   /* Minimum cell size is 4 */
   assert( iStart<=iLast );
@@ -6065,7 +6065,7 @@ static int pageInsertArray(
   u8 *aData = pPg->aData;
   u8 *pData = *ppData;
   const int bFreelist = aData[1] || aData[2];
-  assert( pPg->hdrOffset==0 );    /* Never called on page 1 */
+  assert( CORRUPT_DB || pPg->hdrOffset==0 );    /* Never called on page 1 */
   for(i=0; i<nCell; i++){
     int sz = szCell[i];
     u8 *pSlot;
@@ -6207,7 +6207,7 @@ static void editPage(
   put2byte(&aData[hdr+5], pData - aData);
 
 #ifdef SQLITE_DEBUG
-  for(i=0; i<nNew; i++){
+  for(i=0; i<nNew && !CORRUPT_DB; i++){
     u8 *pCell = apCell[i+iNew];
     int iOff = get2byte(&pPg->aCellIdx[i*2]);
     if( pCell>=aData && pCell<&aData[pPg->pBt->usableSize] ){
@@ -6866,7 +6866,13 @@ static int balance_nonroot(
         flags = aPgFlags[j];
       }
     }
-    if( apNew[i]->pgno!=iMin ){
+    if( iMin==0 ){
+      /* This case can only occur if aPgno[] contains duplicate page 
+      ** numbers. Which can only happen if the database is corrupt. */
+      assert( CORRUPT_DB );
+      rc = SQLITE_CORRUPT_BKPT;
+      goto balance_cleanup;
+    }else if( apNew[i]->pgno!=iMin ){
       sqlite3PagerRekey(apNew[i]->pDbPage, iMin, flags);
       apNew[i]->pgno = iMin;
     }