From 2a58dbde30bf17497aaf77711496bf01cf72b90e Mon Sep 17 00:00:00 2001
From: drh <drh@noemail.net>
Date: Fri, 11 Jan 2019 16:44:16 +0000
Subject: [PATCH] Improved detection of cell corruption in
 sqlite3VdbeRecordCompareWithSkip().

FossilOrigin-Name: fa47f4c6589c431cf678560ac33dea6b695052012bea2096b2c92869ed51c688
---
 manifest          |  14 +++++++-------
 manifest.uuid     |   2 +-
 src/vdbeaux.c     |   8 ++++----
 test/fuzzdata7.db | Bin 16412672 -> 16412672 bytes
 4 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/manifest b/manifest
index 277e116957..8b7906c380 100644
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Fix\sPRAGMA\sintegrity_check\sso\sthat\sit\sdoes\snot\scancel\sthe\sPRAGMA\svdbe_debug\nsetting.
-D 2019-01-11T14:46:44.854
+C Improved\sdetection\sof\scell\scorruption\sin\ssqlite3VdbeRecordCompareWithSkip().
+D 2019-01-11T16:44:16.395
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F Makefile.in 45a3fef4d325ac0220c2172aeec4e4321da351f073f3b8e8ddea655f49ef6f2b
@@ -587,7 +587,7 @@ F src/vdbe.c 1919d490e97bfc59eab4d43444a53a6717d06137295ed684a25e5df7430d9974
 F src/vdbe.h 712bca562eaed1c25506b9faf9680bdc75fc42e2f4a1cd518d883fa79c7a4237
 F src/vdbeInt.h a76d5eed62c76bcd8de7afd3147fac1bc40c5a870582664bcd7d071ef437c37f
 F src/vdbeapi.c 57a2d794a8833f269b878dbc24e955369bdb379af6c4e93ebc5ce1a20fa3daf4
-F src/vdbeaux.c b230f12642040c5ede19f092d9ad7510f75add84888e66a00108948dec574fd2
+F src/vdbeaux.c eb444562f0adbfb7e07b5a2a7ce4b21231c4c9d6d5b32411fcf806223b2bf6c5
 F src/vdbeblob.c f5c70f973ea3a9e915d1693278a5f890dc78594300cf4d54e64f2b0917c94191
 F src/vdbemem.c 7b3305bc4a5139f4536ac9b5f61da0f915e49d2e3fdfa87dfdfa9d7aba8bc1e9
 F src/vdbesort.c 90aad5a92608f2dd771c96749beabdb562c9d881131a860a7a5bccf66dc3be7f
@@ -987,7 +987,7 @@ F test/fuzzdata3.db c6586d3e3cef0fbc18108f9bb649aa77bfc38aba
 F test/fuzzdata4.db b502c7d5498261715812dd8b3c2005bad08b3a26e6489414bd13926cd3e42ed2
 F test/fuzzdata5.db e35f64af17ec48926481cfaf3b3855e436bd40d1cfe2d59a9474cb4b748a52a5
 F test/fuzzdata6.db 92a80e4afc172c24f662a10a612d188fb272de4a9bd19e017927c95f737de6d7
-F test/fuzzdata7.db c8c5ef745ce43eb24d6903bff63ddc336464b6b4f9dfae817e7ec2ea0e541dbd
+F test/fuzzdata7.db 8b478751a84cf559f6167eaee0210d5e9b93387c31437e71b46500d976c87e18
 F test/fuzzer1.test 3d4c4b7e547aba5e5511a2991e3e3d07166cfbb8
 F test/fuzzer2.test a85ef814ce071293bce1ad8dffa217cbbaad4c14
 F test/fuzzerfault.test 8792cd77fd5bce765b05d0c8e01b9edcf8af8536
@@ -1797,7 +1797,7 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P 599b4df43c64ce295517c804b6bb4c3ab77d77e0ba585dc0657274f55489a3b1
-R 45f241f3ac79b1a38c0ec8dd550770ca
+P aaa3a19f8cf5ba7003634e4610abc7832354af91d7c7f65469218678f66bcd46
+R c1b2c21631b6036f54a7027eb0d2a822
 U drh
-Z 879b7cd1fe883a82b97b58fcaeacbfc6
+Z 43ceb2c15935294e45a456ae6f63de4d
diff --git a/manifest.uuid b/manifest.uuid
index 3b2436e323..3a05c60a06 100644
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-aaa3a19f8cf5ba7003634e4610abc7832354af91d7c7f65469218678f66bcd46
\ No newline at end of file
+fa47f4c6589c431cf678560ac33dea6b695052012bea2096b2c92869ed51c688
\ No newline at end of file
diff --git a/src/vdbeaux.c b/src/vdbeaux.c
index bd67b88589..1125cfd1a3 100644
--- a/src/vdbeaux.c
+++ b/src/vdbeaux.c
@@ -4251,12 +4251,12 @@ int sqlite3VdbeRecordCompareWithSkip(
   }else{
     idx1 = getVarint32(aKey1, szHdr1);
     d1 = szHdr1;
-    if( d1>(unsigned)nKey1 ){ 
-      pPKey2->errCode = (u8)SQLITE_CORRUPT_BKPT;
-      return 0;  /* Corruption */
-    }
     i = 0;
   }
+  if( d1>(unsigned)nKey1 ){ 
+    pPKey2->errCode = (u8)SQLITE_CORRUPT_BKPT;
+    return 0;  /* Corruption */
+  }
 
   VVA_ONLY( mem1.szMalloc = 0; ) /* Only needed by assert() statements */
   assert( pPKey2->pKeyInfo->nAllField>=pPKey2->nField 
diff --git a/test/fuzzdata7.db b/test/fuzzdata7.db
index 01c825ce4f32b89bcac2e1788086a88785b01550..df356df47ca39b47521afe96322038bbc14e05d6 100644
GIT binary patch
delta 789
zcmYMw)0Pkb007a=w%csmwrw}rws)(^wr$(CZQFJ|)mwAU{ecO3^g3M7Ka&Du1O@~Y
znHTWCh%>v@jg>P*U@#IwLP{tJEny_Agp=?RK_W^di7Zhhszj6M5<_B2EQu{~B(B7h
z_>w>pN}wc?#F9jkN-{|<DI}$&lGKt$(n>l>FBv4GWRlF1MY2jZ$u2o0r{t2{l1K7N
zKFKcyq@Wa%!cs(vN--%eC8VU3lG0K}%1SvYFBPPsRFcY4MXE|QsV+67rqq(!Qb+1a
zJ*h7Zq@gsD#?nNZ%D+F&q`9<^meNXEOB-n`?WDbQkdD$xI!hPnD&3^J^pKv?OL|Km
z=_~!DzYLIpGDrr?5DAiC87jkMxF{oJq>Pf$GDgPAI2kV!WTH%x$udQz$~2iSGi0XB
zlG!px=E^*oFAHR$ERw~tM3%}jSuQJNrL2<GvPRa*I$19pWTR}7&9X(d$~M_9J7lNq
zlHIaL_R2olF9+nH9FoIwM2^ZaIW8yUq@0q|az@U|IXN#E<f2@X%W_4o$~CzzH{_<=
zlG}1e?#ey6FAwCQJd(%qM4rksc`h&HrM!~Y@<!guJ9#f3<fD9&&+<jS$~XBgKjf$U
LlHc3;v#85oO3Y+^

delta 777
zcmWO2(_#<+06@`fbJ@1tvTb*>Z7<wxW7V>4+qP|+PxWwq-~>H>6EWz&sY${IgbGzW
zc+TdIrvgI<3`ass7zr!kB)mkBh!RO6OB9JJ(ImRWkeCunVoMx}EAb@0B#?v>Ac-Wg
zB$1?&Op;3qNhzr$wWN`>l1|b~2FWOyB(r3ZtddQ#OAg5?xg@vbk-U;m@=F0JD21f3
z6p^A*Oo~gOl#r5AN=i!^DJ$iqyi|~iQb{UH6{#xKq`K6Qno>(@OC6~z^`yQukcQGo
z8cP#tD$S(1{QqeoEv1#TmNwE>+DUuqARVQXbe1mCRk}%c=^;I(m-LoC(pUOPe;FVH
zWsnS(Au?2kNstVe5i(Lni85No$XFRC<7I+Olu0sKrpQ#8Cevkx%#>L&Tjt1InJ4pQ
zfdtD!StN@kM3%@>StiS6g{+iSvRc;2T3ILSWrJ*#O|n_G$X3}V+hvFBlwGo0_Q+n@
zC;R1q9F#+HSdPe1IVQ*Dgq)O9a$3&FSve=?<$_$4OLAGR$W^%}*X4%Xlv{FJ?#Nxa
zC->!nJd{WBSf0pJc_z>0g}jtk@><@=TX`q%<%4{bPx4v5$XEF$-{pt=lwa~&{_Nmy
GNVk92SY>kn