commit | cfdbc5adde49cbab939e8164555ed0b8d9ce000b | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Wed Jul 17 21:27:52 2019 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Wed Jul 17 21:27:52 2019 +0200 |
tree | 9e7ef1a1d37047c93589689a32a0b55f42ff95cb | |
parent | 99a764bccd995a6cfe3206909f0076ef84d77506 [diff] [blame] |
patch 8.1.1707: Coverity warns for possibly using a NULL pointer Problem: Coverity warns for possibly using a NULL pointer. Solution: Change the logic to make sure no NULL pointer is used.
diff --git a/src/version.c b/src/version.c index 573f741..b1187db 100644 --- a/src/version.c +++ b/src/version.c
@@ -778,6 +778,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1707, +/**/ 1706, /**/ 1705,