1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c
new file mode 100644
index 0000000..f63206e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/Warray-bounds-flex-arrays-2.c
@@ -0,0 +1,39 @@
+/* Test -fstrict-flex-arrays + -Warray-bounds.  */
+/* { dg-do compile } */
+/* { dg-options "-O2 -fstrict-flex-arrays=2 -Warray-bounds" } */
+
+struct trailing_array_1 {
+    int a;
+    int b;
+    int c[4]; 
+};
+
+struct trailing_array_2 {
+    int a;
+    int b;
+    int c[1]; 
+};
+
+struct trailing_array_3 {
+    int a;
+    int b;
+    int c[0];
+};
+struct trailing_array_4 {
+    int a;
+    int b;
+    int c[];
+};
+
+void __attribute__((__noinline__)) stuff(
+    struct trailing_array_1 *normal,
+    struct trailing_array_2 *trailing_1,
+    struct trailing_array_3 *trailing_0,
+    struct trailing_array_4 *trailing_flex)
+{
+    normal->c[5] = 5; 	/*{ dg-warning "array subscript 5 is above array bounds of" } */
+    trailing_1->c[2] = 2; /* { dg-warning "array subscript 2 is above array bounds of"  } */
+    trailing_0->c[1] = 1; /* { dg-bogus "array subscript " } */
+    trailing_flex->c[10] = 10; /* { dg-bogus "array subscript " } */
+
+}