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