From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sat, 6 Jan 2024 21:38:13 +0000 (-0800)
Subject: Pacify Ubuntu GCC 13.2 in set_marker_internal
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=0b312e310db2b06113f2b09d90951f82e8edf02f;p=emacs.git

Pacify Ubuntu GCC 13.2 in set_marker_internal

* src/marker.c (set_marker_internal): Ignore
-Wanalyzer-deref-before-check, to work around GCC bug 113253.
---

diff --git a/src/marker.c b/src/marker.c
index 377f6fbe8db..0101e144b4d 100644
--- a/src/marker.c
+++ b/src/marker.c
@@ -20,6 +20,11 @@ along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>.  */
 
 #include <config.h>
 
+/* Work around GCC bug 113253.  */
+#if 13 <= __GNUC__
+# pragma GCC diagnostic ignored "-Wanalyzer-deref-before-check"
+#endif
+
 #include "lisp.h"
 #include "character.h"
 #include "buffer.h"