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 /src/channel.c | |
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.
Diffstat (limited to 'src/channel.c')
-rw-r--r-- | src/channel.c | 2 |
1 files changed, 1 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]); |