patch 8.0.0828: Coverity: may dereference NULL pointer

Problem: Coverity: may dereference NULL pointer. Solution: Bail out if calloc_state() returns NULL.
2017-08-01 15:14:26 +02:00
parent 979e8c5346
commit 983b3a5bc4
2 changed files with 6 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    828,
 /**/
    827,
 /**/