Silence REVERSE_INULL warning (CID 306652)

(cherry picked from commit 584dbffab1fb855f3b41df32cc258cc5c7969369)

diff --git a/lib/isc/unix/socket.c b/lib/isc/unix/socket.c
index 692f3d83f9b1fac4af984adae01464c0b8327a38..e52ff540f536478a033216d6c7baa07b7a40db5a 100644 (file)
--- a/lib/isc/unix/socket.c
+++ b/lib/isc/unix/socket.c
@@ -4972,12 +4972,10 @@ isc__socketmgr_destroy(isc_socketmgr_t **managerp) {
        if (manager->stats != NULL)
                isc_stats_detach(&manager->stats);
 
-       if (manager->fdlock != NULL) {
-               for (i = 0; i < FDLOCK_COUNT; i++)
-                       DESTROYLOCK(&manager->fdlock[i]);
-               isc_mem_put(manager->mctx, manager->fdlock,
-                           FDLOCK_COUNT * sizeof(isc_mutex_t));
-       }
+       for (i = 0; i < FDLOCK_COUNT; i++)
+               DESTROYLOCK(&manager->fdlock[i]);
+       isc_mem_put(manager->mctx, manager->fdlock,
+                   FDLOCK_COUNT * sizeof(isc_mutex_t));
        DESTROYLOCK(&manager->lock);
        manager->common.magic = 0;
        manager->common.impmagic = 0;