Add a NEVER() macro and an explanation comment around an unreachable branch

in the STAT3 logic.

FossilOrigin-Name: 604c3c5de6fd8f8a569aa9ed981055a5b0123ba1
This commit is contained in:
drh
2013-06-20 17:32:28 +00:00
parent 3a41df11bc
commit 472eae8a4d
3 changed files with 11 additions and 10 deletions
+4 -3
View File
@@ -2409,9 +2409,10 @@ static int whereKeyStats(
assert( pColl->enc==SQLITE_UTF8 );
}else{
pColl = sqlite3GetCollSeq(pParse, SQLITE_UTF8, 0, *pIdx->azColl);
if( pColl==0 ){
return SQLITE_ERROR;
}
/* If the collating sequence was unavailable, we should have failed
** long ago and never reached this point. But we'll check just to
** be doubly sure. */
if( NEVER(pColl==0) ) return SQLITE_ERROR;
z = (const u8 *)sqlite3ValueText(pVal, pColl->enc);
if( !z ){
return SQLITE_NOMEM;