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 21b4ba59e06afe0a81146dee6f8c64c329e4bf9d..5a706ae5d7245bc3600cf7075b593852bfcc2075 100644 (file)
--- 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);