master c4da5db04b 08/11: Pacify GCC 12 in Fmove_overlay

[Paul Eggert]

branch: master
commit c4da5db04ba611b9a646c325e0e6eee165834f7a
Author: Paul Eggert <eggert@cs.ucla.edu>
Commit: Paul Eggert <eggert@cs.ucla.edu>

    Pacify GCC 12 in Fmove_overlay
    
    * src/buffer.c (Fmove_overlay): Use BASE_EQ, not EQ.
    This pacifies GCC 12 -Wanalyzer-null-dereference.
---
 src/buffer.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/buffer.c b/src/buffer.c
index 548d7b1c65..d2b2f25575 100644
--- 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)