PR middle-end/85602 - -Warray-bounds fails to detect the out of bound array access

gcc/testsuite/ChangeLog:
 	* c-c++-common/attr-nonstring-8.c: Adjust text of expected warning
 	to also match C++.

From-SVN: r261774

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 04da05d23e12a2509b24b0b30bfaec39e156a987..5ce5b61c927b21617ceb44b0a3929c052aa4da31 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-06-19  Martin Sebor  <msebor@redhat.com>
+
+       PR tree-optimization/48560
+       * gcc.dg/Warray-bounds-28.c: New test.
+
 2018-06-19  Martin Sebor  <msebor@redhat.com>
 
        PR middle-end/85602

diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-28.c b/gcc/testsuite/gcc.dg/Warray-bounds-28.c
new file mode 100644 (file)
index 0000000..c63c70a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/Warray-bounds-28.c
@@ -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];
+}