commit a37ffaa5e0a47e2db27bc0cc23f49e7094f47f3b
author Bram Moolenaar <Bram@vim.org> Tue Mar 21 21:58:00 2017 +0100
committer Bram Moolenaar <Bram@vim.org> Tue Mar 21 21:58:00 2017 +0100
tree 44266e6dca65e36d0e2c7e8112bd1d96c882b354
parent b2964f2570574b4c66f3645d69956fec99f2af3e

patch 8.0.0502: Coverity complains about possible NULL pointer

Problem:    Coverity complains about possible NULL pointer.
Solution:   Add an assert(), let's see if this works on all systems.

src/version.c

diff --git a/src/version.c b/src/version.c
index a1edd07..4b2ff6f 100644
--- a/src/version.c
+++ b/src/version.c
@@ -765,6 +765,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    502,
+/**/
     501,
 /**/
     500,

src/window.c

diff --git a/src/window.c b/src/window.c
index eed0ea9..2ef3198 100644
--- a/src/window.c
+++ b/src/window.c
@@ -3806,6 +3806,7 @@
 	for (ptp = first_tabpage; ptp != NULL && ptp->tp_next != tab;
 							    ptp = ptp->tp_next)
 	    ;
+	assert(ptp != NULL);
 	ptp->tp_next = tab->tp_next;
     }