File fix-gcc9-build.patch of Package arm-elf-gcc
diff --git a/gcc/pretty-print.h b/gcc/pretty-print.h
index 3ba5035..f75693c 100644
--- a/gcc/pretty-print.h
+++ b/gcc/pretty-print.h
@@ -310,7 +310,7 @@ extern void pp_base_append_text (pretty_printer *, const char *, const char *);
/* This header may be included before toplev.h, hence the duplicate
definitions to allow for GCC-specific formats. */
-#if GCC_VERSION >= 3005
+#if (GCC_VERSION >= 3005) && (GCC_VERSION != 9002) /* 9.1.0 is buggy: https://gcc.gnu.org/PR90677 */
#define ATTRIBUTE_GCC_PPDIAG(m, n) __attribute__ ((__format__ (__gcc_diag__, m ,n))) ATTRIBUTE_NONNULL(m)
#else
#define ATTRIBUTE_GCC_PPDIAG(m, n) ATTRIBUTE_NONNULL(m)