Mark an unreachable branch with NEVER().

FossilOrigin-Name: df2259a32fd65986eafceb2c551e6e1661927f1f5b18dbb97c59d9627279eea0

diff --git a/manifest b/manifest
index e7b70cee773c5a58903c21ffc8acd8832b0ae908..5225c6f32a4bdcc2b73b265d1499de40849f593e 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Call\ssqlite3OomFault()\srather\sthan\ssetting\sdb->mallocFailed\sdirectly.
-D 2025-11-19T23:11:56.986
+C Mark\san\sunreachable\sbranch\swith\sNEVER().
+D 2025-11-20T00:56:28.994
 F .fossil-settings/binary-glob 61195414528fb3ea9693577e1980230d78a1f8b0a54c78cf1b9b24d0a409ed6a x
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
@@ -666,7 +666,7 @@ F mptest/multiwrite01.test dab5c5f8f9534971efce679152c5146da265222d
 F sqlite.pc.in 42b7bf0d02e08b9e77734a47798d1a55a9e0716b
 F sqlite3.1 1b9c24374a85dfc7eb8fa7c4266ee0db4f9609cceecfc5481cd8307e5af04366
 F sqlite3.pc.in e6dee284fba59ef500092fdc1843df3be8433323a3733c91da96690a50a5b398
-F src/alter.c aa3a5f88cd4445da99745437bd13af423c17d90c3287909281282381b282e5bd
+F src/alter.c 607ad2410e686d77cd1c899ad9fd626b4ad01ac36e55b7c3ca7abdad67e0d5c5
 F src/analyze.c 03bcfc083fc0cccaa9ded93604e1d4244ea245c17285d463ef6a60425fcb247d
 F src/attach.c 9af61b63b10ee702b1594ecd24fb8cea0839cfdb6addee52fba26fa879f5db9d
 F src/auth.c 54ab9c6c5803b47c0d45b76ce27eff22a03b4b1f767c5945a3a4eb13aa4c78dc
@@ -2177,8 +2177,8 @@ F tool/version-info.c 33d0390ef484b3b1cb685d59362be891ea162123cea181cb8e6d2cf6dd
 F tool/warnings-clang.sh bbf6a1e685e534c92ec2bfba5b1745f34fb6f0bc2a362850723a9ee87c1b31a7
 F tool/warnings.sh d924598cf2f55a4ecbc2aeb055c10bd5f48114793e7ba25f9585435da29e7e98
 F tool/win/sqlite.vsix deb315d026cc8400325c5863eef847784a219a2f
-P 3485c7c81bee8e98ea6b403438bcdb2b6fa058afeafea150ce1c859345e1529b
-R a65122f44b09b03671242b7da91c28c8
+P 4fd5dfa215f14b20ddfc55904acbcc9bc9fd2123bb06fff72ef76efa17304566
+R 3b2daa38d62c3252645cd817d8e6a2a3
 U drh
-Z dec229455c1c24e97b4876cdf35bcdd6
+Z cc535ab38365d06b32d133d1a194d52d
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index f17d0f851338eb7a4838850fef060f323d11d286..cb0629e928074c469f22dca373defa3a68a725ca 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-4fd5dfa215f14b20ddfc55904acbcc9bc9fd2123bb06fff72ef76efa17304566
+df2259a32fd65986eafceb2c551e6e1661927f1f5b18dbb97c59d9627279eea0

diff --git a/src/alter.c b/src/alter.c
index 1d096c0d32b90ca3612f95b4104a1e5db5db0e80..197119656ef023cb928d3e48dbffa03edbfdc8b5 100644 (file)
--- a/src/alter.c
+++ b/src/alter.c
@@ -491,7 +491,7 @@ void sqlite3AlterBeginAddColumn(Parse *pParse, SrcList *pSrc){
   /* Look up the table being altered. */
   assert( pParse->pNewTable==0 );
   assert( sqlite3BtreeHoldsAllMutexes(db) );
-  if( db->mallocFailed ) goto exit_begin_add_column;
+  if( NEVER(db->mallocFailed) ) goto exit_begin_add_column;
   pTab = sqlite3LocateTableItem(pParse, 0, &pSrc->a[0]);
   if( !pTab ) goto exit_begin_add_column;