aboutsummaryrefslogtreecommitdiff
path: root/src/memdb.c
diff options
context:
space:
mode:
authordrh <drh@noemail.net>2018-03-07 01:37:05 +0000
committerdrh <drh@noemail.net>2018-03-07 01:37:05 +0000
commit4811a710af213de51e1ca93d293878d87fe69ef6 (patch)
treed04912af31ea86dad1394495d95a19b6792637a0 /src/memdb.c
parent9c6396ecc788531b166dcbba833ab65a39abf501 (diff)
downloadsqlite-4811a710af213de51e1ca93d293878d87fe69ef6.tar.gz
sqlite-4811a710af213de51e1ca93d293878d87fe69ef6.zip
Mark an unreachable branch using NEVER().
FossilOrigin-Name: fadbc5e23f93bedd705bdc83cd3781b3821a231034bae5b942c94da77227721c
Diffstat (limited to 'src/memdb.c')
-rw-r--r--src/memdb.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/memdb.c b/src/memdb.c
index 646f788fe..320c70865 100644
--- a/src/memdb.c
+++ b/src/memdb.c
@@ -564,7 +564,10 @@ int sqlite3MemdbInit(void){
sqlite3_vfs *pLower = sqlite3_vfs_find(0);
int sz = pLower->szOsFile;
memdb_vfs.pAppData = pLower;
- if( sz<sizeof(MemFile) ) sz = sizeof(MemFile);
+ /* In all known configurations of SQLite, the size of a default
+ ** sqlite3_file is greater than the size of a memdb sqlite3_file.
+ ** Should that ever change, remove the following NEVER() */
+ if( NEVER(sz<sizeof(MemFile)) ) sz = sizeof(MemFile);
memdb_vfs.szOsFile = sz;
return sqlite3_vfs_register(&memdb_vfs, 0);
}