From 5afd67b3c38d9af1fe7ad4a04567e5a8aaf5746f Mon Sep 17 00:00:00 2001
From: drh <>
Date: Tue, 5 Dec 2023 19:24:07 +0000
Subject: Use extra assert() statement to silence harmless static analyzer
 warnings.

FossilOrigin-Name: 174c2b2eef5fecd96a5fc89b81032fe81f7801f12097cea10e7e7f0a02114813
---
 src/json.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/json.c')

diff --git a/src/json.c b/src/json.c
index 15f99d49b..8165eb4f3 100644
--- a/src/json.c
+++ b/src/json.c
@@ -1119,6 +1119,7 @@ static void jsonBlobAppendNode(
     jsonBlobExpandAndAppendNode(pParse,eType,szPayload,aPayload);
     return;
   }
+  assert( pParse->aBlob!=0 );
   a = &pParse->aBlob[pParse->nBlob];
   if( szPayload<=11 ){
     a[0] = eType | (szPayload<<4);
@@ -2288,6 +2289,8 @@ static u32 jsonLookupStep(
         nIns = ix.nBlob + nKey + v.nBlob;
         jsonBlobEdit(pParse, j, 0, 0, nIns);
         if( !pParse->oom ){
+          assert( pParse->aBlob!=0 ); /* Because pParse->oom!=0 */
+          assert( ix.aBlob!=0 );      /* Because pPasre->oom!=0 */
           memcpy(&pParse->aBlob[j], ix.aBlob, ix.nBlob);
           k = j + ix.nBlob;
           memcpy(&pParse->aBlob[k], zKey, nKey);
@@ -4406,7 +4409,7 @@ static int jsonEachColumn(
     }
     case JEACH_TYPE: {
       u32 i = jsonSkipLabel(p);
-      u8 eType = eType = p->sParse.aBlob[i] & 0x0f;
+      u8 eType = p->sParse.aBlob[i] & 0x0f;
       sqlite3_result_text(ctx, jsonbType[eType], -1, SQLITE_STATIC);
       break;
     }
-- 
cgit v1.2.3