commit | 1b862c466ba4242857eec581f67982d265005ef4 | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Fri Jul 23 19:30:19 2021 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Fri Jul 23 19:30:19 2021 +0200 |
tree | 4b916da1ab0dc43d8c6c1cb68f11c606d7e68996 | |
parent | c9e7e344ed390d2a22afb88001b6aa80832d2541 [diff] [blame] |
patch 8.2.3205: Coverity reports a null pointer dereference Problem: Coverity reports a null pointer dereference. Solution: Change the logic to avoid Coverity gets confused.
diff --git a/src/version.c b/src/version.c index bd36437..95c9971 100644 --- a/src/version.c +++ b/src/version.c
@@ -756,6 +756,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3205, +/**/ 3204, /**/ 3203,