diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-01-23 15:48:42 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-01-23 15:48:42 +0100 |
commit | 81c3ea7496cbca2be12bf74a17575ff684343579 (patch) | |
tree | 9a588eafeea3b4fc2fad1c213cf78decd242bf77 | |
parent | 8bf716cdba0e48f56b8bfcbed0f4c702a705e095 (diff) |
patch 8.2.0143: Coverity warning for possible use of NULL pointerv8.2.0143
Problem: Coverity warning for possible use of NULL pointer.
Solution: Check argv is not NULL.
-rw-r--r-- | src/channel.c | 2 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/channel.c b/src/channel.c index cd791b59b0..3aec7c8008 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 e4600ce944..ab3df0c781 100644 --- a/src/version.c +++ b/src/version.c @@ -743,6 +743,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 143, +/**/ 142, /**/ 141, |