From: Mark Andrews <marka@isc.org>
Date: Tue, 18 May 2021 05:51:51 +0000 (+1000)
Subject: Silence gcc-10-fanalyzer false positive
X-Git-Tag: v9.17.14~50^2
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=29f1c1e67752be1f4bfc91d32443032699ba78ab;p=thirdparty%2Fbind9.git

Silence gcc-10-fanalyzer false positive

If 'state == ft_ordinary' then 'label' can't be NULL. Add
INSIST to reflect this.
---

diff --git a/lib/dns/name.c b/lib/dns/name.c
index b6657f620af..f751b9a0676 100644
--- a/lib/dns/name.c
+++ b/lib/dns/name.c
@@ -1264,6 +1264,7 @@ dns_name_fromtext(dns_name_t *name, isc_buffer_t *source,
 		}
 		if (state == ft_ordinary) {
 			INSIST(count != 0);
+			INSIST(label != NULL);
 			*label = count;
 			labels++;
 			INSIST(labels <= 127);