From 81c3ea7496cbca2be12bf74a17575ff684343579 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Thu, 23 Jan 2020 15:48:42 +0100 Subject: [PATCH] patch 8.2.0143: Coverity warning for possible use of NULL pointer Problem: Coverity warning for possible use of NULL pointer. Solution: Check argv is not NULL. --- src/channel.c | 2 +- src/version.c | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/channel.c b/src/channel.c index cd791b59b..3aec7c800 100644 --- a/src/channel.c +++ b/src/channel.c @@ -5993,7 +5993,7 @@ theend: #ifndef USE_ARGV vim_free(ga.ga_data); #endif - if (argv != job->jv_argv) + if (argv != NULL && argv != job->jv_argv) { for (i = 0; argv[i] != NULL; i++) vim_free(argv[i]); diff --git a/src/version.c b/src/version.c index e4600ce94..ab3df0c78 100644 --- a/src/version.c +++ b/src/version.c @@ -742,6 +742,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 143, /**/ 142, /**/ -- 2.40.0