From 29f1c1e67752be1f4bfc91d32443032699ba78ab Mon Sep 17 00:00:00 2001 From: Mark Andrews Date: Tue, 18 May 2021 15:51:51 +1000 Subject: [PATCH] Silence gcc-10-fanalyzer false positive If 'state == ft_ordinary' then 'label' can't be NULL. Add INSIST to reflect this. --- lib/dns/name.c | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/dns/name.c b/lib/dns/name.c index b6657f620a..f751b9a067 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);