Silence gcc-10-fanalyzer false positive

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

(cherry picked from commit 29f1c1e677)
This commit is contained in:
Mark Andrews
2021-05-18 16:46:07 +10:00
parent c78813338a
commit ff88e33cff
+1
View File
@@ -1280,6 +1280,7 @@ dns_name_fromtext(dns_name_t *name, isc_buffer_t *source,
return (ISC_R_UNEXPECTEDEND);
if (state == ft_ordinary) {
INSIST(count != 0);
INSIST(label != NULL);
*label = count;
labels++;
INSIST(labels <= 127);