Index: kernel/test/fault/fault1.c
===================================================================
--- kernel/test/fault/fault1.c	(revision 40eab9fdcc5233a31ae07d23360a0b5fc2e5c701)
+++ kernel/test/fault/fault1.c	(revision 0e2eee137d82dec8a6d820ded01ee25d3bb60b81)
@@ -30,4 +30,6 @@
 #include <test.h>
 
+#pragma GCC diagnostic ignored "-Warray-bounds"
+
 const char *test_fault1(void)
 {