Pacify GCC 11 -fanalyzer on x86-64

* src/buffer.c (fix_overlays_before):
Redo slightly to work around GCC bug 102692
<https://gcc.gnu.org/bugzilla//show_bug.cgi?id=102692>.

diff --git a/src/buffer.c b/src/buffer.c
index f405bcb58340aa67b2edaed1dcf1363fcf21a5cd..eca2843e2bc30d7950542efbfe5673d4de81888d 100644 (file)
--- a/src/buffer.c
+++ b/src/buffer.c
@@ -3843,7 +3843,9 @@ fix_overlays_before (struct buffer *bp, ptrdiff_t prev, ptrdiff_t pos)
      or the found one ends before PREV,
      or the found one is the last one in the list,
      we don't have to fix anything.  */
-  if (!tail || end < prev || !tail->next)
+  if (!tail)
+    return;
+  if (end < prev || !tail->next)
     return;
 
   right_pair = parent;