diff --git a/src/version.c b/src/version.c index 7dfbe6dd8..e2f74e926 100644 --- a/src/version.c +++ b/src/version.c @@ -755,6 +755,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 3115, /**/ 3114, /**/ diff --git a/src/window.c b/src/window.c index 09067b081..cc9c217b4 100644 --- a/src/window.c +++ b/src/window.c @@ -5057,8 +5057,9 @@ win_free( // If there already is an entry with "wi_win" set to NULL it // must be removed, it would never be used. + // Skip "wip" itself, otherwise Coverity complains. for (wip2 = buf->b_wininfo; wip2 != NULL; wip2 = wip2->wi_next) - if (wip2->wi_win == NULL) + if (wip2 != wip && wip2->wi_win == NULL) { if (wip2->wi_next != NULL) wip2->wi_next->wi_prev = wip2->wi_prev;