From a37ffaa5e0a47e2db27bc0cc23f49e7094f47f3b Mon Sep 17 00:00:00 2001
From: Bram Moolenaar <Bram@vim.org>
Date: Tue, 21 Mar 2017 21:58:00 +0100
Subject: [PATCH] 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 | 2 ++
 src/window.c  | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/version.c b/src/version.c
index a1edd07d7b..4b2ff6f5d9 100644
--- a/src/version.c
+++ b/src/version.c
@@ -764,6 +764,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    502,
 /**/
     501,
 /**/
diff --git a/src/window.c b/src/window.c
index eed0ea9e7d..2ef319805e 100644
--- a/src/window.c
+++ b/src/window.c
@@ -3806,6 +3806,7 @@ close_tabpage(tabpage_T *tab)
 	for (ptp = first_tabpage; ptp != NULL && ptp->tp_next != tab;
 							    ptp = ptp->tp_next)
 	    ;
+	assert(ptp != NULL);
 	ptp->tp_next = tab->tp_next;
     }