commit | 81c3ea7496cbca2be12bf74a17575ff684343579 | [log] [tgz] |
---|---|---|
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 [diff] [blame] |
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.
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,