aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/cp/ChangeLog3
-rw-r--r--gcc/cp/class.c3
-rw-r--r--gcc/testsuite/g++.dg/ext/array3.C19
3 files changed, 24 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index e5275f5..f4585a3 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
2016-07-23 Jason Merrill <jason@redhat.com>
+ PR c++/70709
+ * class.c (walk_subobject_offsets): Handle 0-length array.
+
PR c++/70778
* pt.c (tsubst): Also substitute into the template of a
BOUND_TEMPLATE_TEMPLATE_PARM.
diff --git a/gcc/cp/class.c b/gcc/cp/class.c
index b2db7f8..b537b7e 100644
--- a/gcc/cp/class.c
+++ b/gcc/cp/class.c
@@ -4175,7 +4175,8 @@ walk_subobject_offsets (tree type,
/* Avoid recursing into objects that are not interesting. */
if (!CLASS_TYPE_P (element_type)
|| !CLASSTYPE_CONTAINS_EMPTY_CLASS_P (element_type)
- || !domain)
+ || !domain
+ || integer_minus_onep (TYPE_MAX_VALUE (domain)))
return 0;
/* Step through each of the elements in the array. */
diff --git a/gcc/testsuite/g++.dg/ext/array3.C b/gcc/testsuite/g++.dg/ext/array3.C
new file mode 100644
index 0000000..e8940db
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/array3.C
@@ -0,0 +1,19 @@
+// PR c++/70709
+// { dg-options "" }
+
+struct A
+{
+ A (int);
+};
+
+struct B
+{
+ B () {}
+ A a[0];
+};
+
+struct C
+{
+ C () {}
+ B a[0];
+};