From: James Jones <jejones3141@gmail.com>
Date: Tue, 16 Aug 2022 20:10:39 +0000 (-0500)
Subject: Annotate false positive on NUL termination (CID #1504058) (#4669)
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eced37282c34d09c1059ef49a5ed387bdaea5b01;p=thirdparty%2Ffreeradius-server.git

Annotate false positive on NUL termination (CID #1504058) (#4669)

Coverity is faked out by check_library_exists(), which either
returns NULL (which the caller checks for) or returns a pointer
to a NUL-terminated string.
---

diff --git a/scripts/jlibtool.c b/scripts/jlibtool.c
index 21b4ba59e06..5a706ae5d72 100644
--- a/scripts/jlibtool.c
+++ b/scripts/jlibtool.c
@@ -1980,6 +1980,7 @@ static int parse_input_file_name(char const *arg, command_t *cmd)
 			 */
 			if (target->add_minus_l) {
 				if (libtype == TYPE_DYNAMIC_LIB) {
+					/* coverity[string_null] */
 					add_minus_l(cmd->shared_opts.dependencies, newarg);
 				} else if ((cmd->output == OUT_LIB) && (libtype == TYPE_STATIC_LIB)) {
 					explode_static_lib(cmd, newarg);