diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/timefns.c | 5 | ||||
| -rw-r--r-- | src/window.c | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/src/timefns.c b/src/timefns.c index f0e2e97f555..a9921cdc108 100644 --- a/src/timefns.c +++ b/src/timefns.c | |||
| @@ -19,6 +19,11 @@ along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>. */ | |||
| 19 | 19 | ||
| 20 | #include <config.h> | 20 | #include <config.h> |
| 21 | 21 | ||
| 22 | /* Work around GCC bug 102671. */ | ||
| 23 | #if 10 <= __GNUC__ | ||
| 24 | # pragma GCC diagnostic ignored "-Wanalyzer-null-dereference" | ||
| 25 | #endif | ||
| 26 | |||
| 22 | #include "systime.h" | 27 | #include "systime.h" |
| 23 | 28 | ||
| 24 | #include "blockinput.h" | 29 | #include "blockinput.h" |
diff --git a/src/window.c b/src/window.c index a6e8ee0d534..ec3c941c3bf 100644 --- a/src/window.c +++ b/src/window.c | |||
| @@ -20,6 +20,11 @@ along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>. */ | |||
| 20 | 20 | ||
| 21 | #include <config.h> | 21 | #include <config.h> |
| 22 | 22 | ||
| 23 | /* Work around GCC bug 102671. */ | ||
| 24 | #if 10 <= __GNUC__ | ||
| 25 | # pragma GCC diagnostic ignored "-Wanalyzer-null-dereference" | ||
| 26 | #endif | ||
| 27 | |||
| 23 | #include "lisp.h" | 28 | #include "lisp.h" |
| 24 | #include "buffer.h" | 29 | #include "buffer.h" |
| 25 | #include "keyboard.h" | 30 | #include "keyboard.h" |