patch 8.0.1214: accessing freed memory when EXITFREE is set
Problem: Accessing freed memory when EXITFREE is set and there is more than
one tab and window. (Dominique Pelle)
Solution: Free options later. Skip redraw when exiting.
diff --git a/src/misc2.c b/src/misc2.c
index fac44c7..52ce097 100644
--- a/src/misc2.c
+++ b/src/misc2.c
@@ -1135,7 +1135,6 @@
free_all_autocmds();
# endif
clear_termcodes();
- free_all_options();
free_all_marks();
alist_clear(&global_alist);
free_homedir();
@@ -1196,6 +1195,9 @@
/* Destroy all windows. Must come before freeing buffers. */
win_free_all();
+ /* Free all option values. Must come after closing windows. */
+ free_all_options();
+
/* Free all buffers. Reset 'autochdir' to avoid accessing things that
* were freed already. */
#ifdef FEAT_AUTOCHDIR
diff --git a/src/screen.c b/src/screen.c
index 3e08b60..c92b17e 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -203,7 +203,7 @@
win_T *wp,
int type)
{
- if (wp->w_redr_type < type)
+ if (!exiting && wp->w_redr_type < type)
{
wp->w_redr_type = type;
if (type >= NOT_VALID)
diff --git a/src/version.c b/src/version.c
index 160edbe..c8bab5d 100644
--- a/src/version.c
+++ b/src/version.c
@@ -762,6 +762,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 1214,
+/**/
1213,
/**/
1212,