Pacify GCC 12 in Fmove_overlay

* src/buffer.c (Fmove_overlay): Use BASE_EQ, not EQ.
This pacifies GCC 12 -Wanalyzer-null-dereference.

diff --git a/src/buffer.c b/src/buffer.c
index 548d7b1c65c6d59c5857f76dd0ddbe1d00f7a635..d2b2f2557569eac092f6b785b30ef610d80f625c 100644 (file)
--- a/src/buffer.c
+++ b/src/buffer.c
@@ -4107,7 +4107,7 @@ buffer.  */)
   n_end = marker_position (OVERLAY_END (overlay));
 
   /* If the overlay has changed buffers, do a thorough redisplay.  */
-  if (!EQ (buffer, obuffer))
+  if (!BASE_EQ (buffer, obuffer))
     {
       /* Redisplay where the overlay was.  */
       if (ob)