--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/gcc.dg/Warray-bounds-28.c	Thu Oct 25 07:37:49 2018 +0900
@@ -0,0 +1,15 @@
+/* PR tree-optimization/48560 - -Warray-bounds fails to detect the out of
+   bound array access
+   { dg-do compile }
+   { dg-options "-O2 -Warray-bounds" } */
+
+char foo1 (int i)
+{
+  static char s[] = "foo";
+  switch (i)
+    {
+    case 30:
+      return s[30];   /* { dg-warning "array subscript 30 is above array bounds" } */
+    }
+  return s[i];
+}