CID 320481: Null pointer dereferences (REVERSE_INULL)

** CID 320481:  Null pointer dereferences  (REVERSE_INULL)
/bin/tests/wire_test.c: 261 in main()


________________________________________________________________________________________________________
*** CID 320481:  Null pointer dereferences  (REVERSE_INULL)
/bin/tests/wire_test.c: 261 in main()
255     			process_message(input);
256     		}
257     	} else {
258     		process_message(input);
259     	}
260     
   CID 320481:  Null pointer dereferences  (REVERSE_INULL)
   Null-checking "input" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.
261     	if (input != NULL) {
262     		isc_buffer_free(&input);
263     	}
264     
265     	if (printmemstats) {
266     		isc_mem_stats(mctx, stdout);