silence scan-build false positive

(cherry picked from commit 3156d36495a646b6e50dfdf7a1aac3343732f27b)

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