'dctx' must be non NULL, remove test.

11030 cleanup:

	CID 1452705 (#1 of 1): Dereference before null check
	(REVERSE_INULL) check_after_deref: Null-checking dctx
	suggests that it may be null, but it has already been
	dereferenced on all paths leading to the check.

11031        if (dctx != NULL)
11032                dumpcontext_destroy(dctx);
11033        return (result);

diff --git a/bin/named/server.c b/bin/named/server.c
index 0af78773b8e88149d626c184ea78a801687a364c..3acd9ad0e64f153b037e354b80433c442bf9adb5 100644 (file)
--- a/bin/named/server.c
+++ b/bin/named/server.c
@@ -11028,8 +11028,7 @@ named_server_dumpdb(named_server_t *server, isc_lex_t *lex,
        return (ISC_R_SUCCESS);
 
  cleanup:
-       if (dctx != NULL)
-               dumpcontext_destroy(dctx);
+       dumpcontext_destroy(dctx);
        return (result);
 }