silence scan-build false positive

(cherry picked from commit 3156d36495a646b6e50dfdf7a1aac3343732f27b)

diff --git a/bin/named/main.c b/bin/named/main.c
index 08eab7cb424f7a4a212c3150a36dd300b32e98e0..693c70e552cf1c4e311f11a2e029a6c45be5580d 100644 (file)
--- a/bin/named/main.c
+++ b/bin/named/main.c
@@ -1581,6 +1581,7 @@ main(int argc, char *argv[]) {
        isc_mem_setname(named_g_mctx, "main");
 
        setup();
+       INSIST(named_g_server != NULL);
 
        /*
         * Start things running and then wait for a shutdown request