diff options
| author | Andreas Politz | 2017-10-09 08:22:43 +0200 |
|---|---|---|
| committer | Andreas Politz | 2017-10-09 08:22:43 +0200 |
| commit | 8869332684c2302b5ba1ead4568bbc7ba1c0183e (patch) | |
| tree | a28ca47b5064e0c12b1d9f636ef04948989cf301 /src/alloc.c | |
| parent | a38c38c0526894ff05e2317994703c1157d5f909 (diff) | |
| download | emacs-8869332684c2302b5ba1ead4568bbc7ba1c0183e.tar.gz emacs-8869332684c2302b5ba1ead4568bbc7ba1c0183e.zip | |
Remove redundant checks for the empty overlay tree
* src/alloc.c (mark_buffer): Remove b->overlays check.
* src/buffer.c (copy_overlays): Also.
* src/buffer.c (swap_buffer_overlays, overlays_in): Also.
(next_overlay_change, previous_overlay_change): Also.
(overlay_touches_p, Foverlay_lists): Also.
(evaporate_overlays): Also.
* src/xdisp.c (load_overlay_strings): Also.
Diffstat (limited to 'src/alloc.c')
| -rw-r--r-- | src/alloc.c | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/src/alloc.c b/src/alloc.c index 15a6fc43b72..9f72f914e00 100644 --- a/src/alloc.c +++ b/src/alloc.c | |||
| @@ -6306,15 +6306,11 @@ mark_buffer (struct buffer *buffer) | |||
| 6306 | a special way just before the sweep phase, and after stripping | 6306 | a special way just before the sweep phase, and after stripping |
| 6307 | some of its elements that are not needed any more. */ | 6307 | some of its elements that are not needed any more. */ |
| 6308 | 6308 | ||
| 6309 | if (buffer->overlays) | 6309 | struct interval_node *node; |
| 6310 | { | 6310 | buffer_overlay_iter_start (buffer, PTRDIFF_MIN, PTRDIFF_MAX, ITREE_ASCENDING); |
| 6311 | struct interval_node *node; | 6311 | while ((node = buffer_overlay_iter_next (buffer))) |
| 6312 | buffer_overlay_iter_start (buffer, PTRDIFF_MIN, PTRDIFF_MAX, ITREE_ASCENDING); | 6312 | mark_overlay (XOVERLAY (node->data)); |
| 6313 | 6313 | buffer_overlay_iter_finish (buffer); | |
| 6314 | while ((node = buffer_overlay_iter_next (buffer))) | ||
| 6315 | mark_overlay (XOVERLAY (node->data)); | ||
| 6316 | buffer_overlay_iter_finish (buffer); | ||
| 6317 | } | ||
| 6318 | 6314 | ||
| 6319 | /* If this is an indirect buffer, mark its base buffer. */ | 6315 | /* If this is an indirect buffer, mark its base buffer. */ |
| 6320 | if (buffer->base_buffer && !VECTOR_MARKED_P (buffer->base_buffer)) | 6316 | if (buffer->base_buffer && !VECTOR_MARKED_P (buffer->base_buffer)) |