commit 81c3ea7496cbca2be12bf74a17575ff684343579
author Bram Moolenaar <Bram@vim.org> Thu Jan 23 15:48:42 2020 +0100
committer Bram Moolenaar <Bram@vim.org> Thu Jan 23 15:48:42 2020 +0100
tree 9a588eafeea3b4fc2fad1c213cf78decd242bf77
parent 8bf716cdba0e48f56b8bfcbed0f4c702a705e095

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

diff --git a/src/channel.c b/src/channel.c
index cd791b5..3aec7c8 100644
--- a/src/channel.c
+++ b/src/channel.c
@@ -5993,7 +5993,7 @@
 #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]);

src/version.c

diff --git a/src/version.c b/src/version.c
index e4600ce..ab3df0c 100644
--- a/src/version.c
+++ b/src/version.c
@@ -743,6 +743,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    143,
+/**/
     142,
 /**/
     141,