From b468ce1256d19e903d39435b5a74c33e4f87d26f Mon Sep 17 00:00:00 2001
From: drh <drh@noemail.net>
Date: Wed, 24 Jun 2015 01:07:30 +0000
Subject: [PATCH] Remove an invalid NEVER() and add a test case to cover it.

FossilOrigin-Name: 14b73d201509d3c04f760a08d21f3c499f2870a8
---
 manifest          |  15 +++++++--------
 manifest.uuid     |   2 +-
 src/btree.c       |   2 +-
 test/fuzzdata3.db | Bin 11777024 -> 11784192 bytes
 4 files changed, 9 insertions(+), 10 deletions(-)

diff --git a/manifest b/manifest
index 5cd22e21a6..2f1cba7171 100644
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Performance\soptimization\son\sbalance_nonroot()\sand\srelated\sroutines.\n2.6%\sfaster\soverall\swith\sa\ssize\sincrease\sof\sless\sthan\s750\sbytes.
-D 2015-06-24T00:05:45.705
+C Remove\san\sinvalid\sNEVER()\sand\sadd\sa\stest\scase\sto\scover\sit.
+D 2015-06-24T01:07:30.298
 F Makefile.arm-wince-mingw32ce-gcc d6df77f1f48d690bd73162294bbba7f59507c72f
 F Makefile.in 1063c58075b7400d93326b0eb332b48a54f53025
 F Makefile.linux-gcc 91d710bdc4998cb015f39edf3cb314ec4f4d7e23
@@ -192,7 +192,7 @@ F src/auth.c b56c78ebe40a2110fd361379f7e8162d23f92240
 F src/backup.c ff743689c4d6c5cb55ad42ed9d174b2b3e71f1e3
 F src/bitvec.c 5eb7958c3bf65210211cbcfc44eff86d0ded7c9d
 F src/btmutex.c 45a968cc85afed9b5e6cf55bf1f42f8d18107f79
-F src/btree.c 587dd00c675e99d61614c9537feb73bfc2e9683d
+F src/btree.c 9980353a770fa660b74d9c9deabb3e07a218dfb7
 F src/btree.h 969adc948e89e449220ff0ff724c94bb2a52e9f1
 F src/btreeInt.h 6ece2dd9c8e2eac05f0a8ded8772a44e96486c65
 F src/build.c b3f15255d5b16e42dafeaa638fd4f8a47c94ed70
@@ -660,7 +660,7 @@ F test/fuzz_malloc.test 328f70aaca63adf29b4c6f06505ed0cf57ca7c26
 F test/fuzzcheck.c 5805b2236292f8643d56e727a3a6e4d88e0856a5
 F test/fuzzdata1.db 7ee3227bad0e7ccdeb08a9e6822916777073c664
 F test/fuzzdata2.db f03a420d3b822cc82e4f894ca957618fbe9c4973
-F test/fuzzdata3.db 77bed4fc8c4945124ed5616daf2dc4f4c3bf762a
+F test/fuzzdata3.db ab36b87c73d97e046edc931d07210caba0eee3ce
 F test/fuzzer1.test d4c52aaf3ef923da293a2653cfab33d02f718a36
 F test/fuzzerfault.test 8792cd77fd5bce765b05d0c8e01b9edcf8af8536
 F test/genesis.tcl 1e2e2e8e5cc4058549a154ff1892fe5c9de19f98
@@ -1286,8 +1286,7 @@ F tool/vdbe_profile.tcl 67746953071a9f8f2f668b73fe899074e2c6d8c1
 F tool/warnings-clang.sh f6aa929dc20ef1f856af04a730772f59283631d4
 F tool/warnings.sh 48bd54594752d5be3337f12c72f28d2080cb630b
 F tool/win/sqlite.vsix deb315d026cc8400325c5863eef847784a219a2f
-P c8d1f305b6e9dfc36b8e3f4ab92de4457884d903 eed6a3314518cdab809264284d7680385f0d5d2a
-R 89850ed2148a00ac2d9831c087418020
-T +closed eed6a3314518cdab809264284d7680385f0d5d2a
+P 25131e7062125e91c2d60ed2cadf134dd7609124
+R 5c4312cbcd81ccb56f8221ea245a8213
 U drh
-Z 115864ffd982466ffd849126735907ac
+Z 55c9b3204d112336d9f9453401a86861
diff --git a/manifest.uuid b/manifest.uuid
index 4c4df142b2..1e062a3c29 100644
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-25131e7062125e91c2d60ed2cadf134dd7609124
\ No newline at end of file
+14b73d201509d3c04f760a08d21f3c499f2870a8
\ No newline at end of file
diff --git a/src/btree.c b/src/btree.c
index 77d9833f91..37093ddd59 100644
--- a/src/btree.c
+++ b/src/btree.c
@@ -8041,7 +8041,7 @@ int sqlite3BtreeDelete(BtCursor *pCur){
     unsigned char *pTmp;
 
     pCell = findCell(pLeaf, pLeaf->nCell-1);
-    if( NEVER(pCell<&pLeaf->aData[4]) ) return SQLITE_CORRUPT_BKPT;
+    if( pCell<&pLeaf->aData[4] ) return SQLITE_CORRUPT_BKPT;
     nCell = pLeaf->xCellSize(pLeaf, pCell);
     assert( MX_CELL_SIZE(pBt) >= nCell );
     pTmp = pBt->pTmpSpace;
diff --git a/test/fuzzdata3.db b/test/fuzzdata3.db
index 34ff5f97549d3b3d0eeb4a174fd1f0e411b94fdc..9377f96088e94cb4da12a5a57484e999815782ab 100644
GIT binary patch
delta 795
zcmW-fNpn<X07d(Cziyw3Cc#-y8x;|06%|ndh2VrnOd>df0v;2IBZ|u4K!_eu9H0Z_
zGYOIgXS9{1O5cV>+&h&&K*)|21aM_RX~)H>x{F(9aqD&-`YqpC`8~gNLO#i4N`IG&
zbHg9KL-9r=lC0z;mb?_?6iMV%IZaNNadL*7DRojW4KiNNlC$L;Iakh;^W_4$P$tMk
zxkxUSOQa~1<WjjzE|<x2g-nqvWvW~y)1)L<%QbSXOqc8AdbvSn$c-{nZjzhj7MUfp
zWsck`x5-?YCyg>+ZkIdcPPt3&mIZQ;+$&9TpDdL7rCC~}RUVK<vREFJhvZ>-L>`sL
zWQi=5$K?rGCd*}oJSnxIo{~0cm#1Z=bjUOEtUM>r%M0?Ntdf`HWmzq+$gA?2tdX^{
zPS(ro@`k)AZ^;Jfl#S9QZ_7KPyepgJJ$YX?%LnqId?X*s7TGFg>6UG>U3N&11o=dI
zrBC{0r+g~AWI!siTlUCj^0|B=U&>eVwR|Ic<y-mgN2<FIB&(w3nXzw#aR;k^MNwEW
zqis!G8tJav)IL(J@qLXSYV4~qn6{4$_5B&w`bW}}D>n~CVPGVw3&V>lbJFGoJ-ebX
z+*~PyBOS?-vC?R0-IE*(^ZL7n!-3=5C#A)m$uChjSZ-RDEgel8_U9U-uw|fYb=q7U
zJQ{`3U-NMx%ACk#vte{c)50;wvC!C;{1YmZtB2C*Ej<&n+0ya!=W?MMZL6Ojr-%ES
yPW+$3zw45QP`5Xk^;65VxTeXKGr4j)*tWDan-=%yW=8S8xVt_?y@if!>F|F?+)AGS

delta 589
zcmWO4*K&*j06^hgv33zHx+qZ+EqWJ(s0k6hm!rk1(M5|5PNGY+jUGg|h#BK8nDGGE
zJ1)F~|KfXrGbhpbJ(BqIEmD^qiH1V?|LSuJ!_jIaEG;BMT1rG(NmOFeTG~ik$&_}|
zUOGre=_FawS-MD9=_cK!hxC+Qk}bWZkMxy(k|X_PfDDvDk}G*KScb?@879LeUq;AC
z86~4-jEt3WGF~RgM42R$Wr|Fd0+}Y$Wrh^WOqnG`GF#@zT$v~HWq}k+i7b>wQYwq3
zOqR$}StiS6g{+iSvRc;2T3ILSWrJ*#O|n^nK3im~Y?JM>L&{~R#ATQ4mOZjp_Q`&!
zkOOj14#{CTB1h$z9G6NtAt&XOoR%|EC1)ie)pAbG%LP$tq*gA<CAlnD<f>eg>vBWt
zq+V{yEx9ds<gO&8LGH<Yc_0tvkvx_s(kM^mnLL*!c_A<5mAsZW@>br-`!A%Le#I)n
l<)L7VbTadI>Swa~Z>*{|o=ycm1U?2n1)9Ic)1MoD{0Dc8_g?@2