From: Jason Merrill <jason@redhat.com>
Date: Sat, 13 Jul 2013 23:10:17 +0000 (-0400)
Subject: re PR c++/57793 (ICE with bitfields in get_bit_range)
X-Git-Tag: releases/gcc-4.9.0~5017
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=26d40c3d4bd444bcd3dc2d44d1a405dfb8db07ec;p=thirdparty%2Fgcc.git

re PR c++/57793 (ICE with bitfields in get_bit_range)

	PR c++/57793
c/
	* c-decl.c (finish_struct): Check for too-large class.
cp/
	* class.c (layout_class_type): Check for too-large class.

From-SVN: r200938
---

diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog
index 43cc83902efd..15bc1aa26fc6 100644
--- a/gcc/c/ChangeLog
+++ b/gcc/c/ChangeLog
@@ -1,3 +1,8 @@
+2013-07-13  Jason Merrill  <jason@redhat.com>
+
+	PR c++/57793
+	* c-decl.c (finish_struct): Check for too-large class.
+
 2013-07-04  Joern Rennecke <joern.rennecke@embecosm.com>
 
 	PR c/57821
diff --git a/gcc/c/c-decl.c b/gcc/c/c-decl.c
index 8170a80ac6d0..f7ae648f024f 100644
--- a/gcc/c/c-decl.c
+++ b/gcc/c/c-decl.c
@@ -7210,6 +7210,12 @@ finish_struct (location_t loc, tree t, tree fieldlist, tree attributes,
 
   layout_type (t);
 
+  if (TYPE_SIZE_UNIT (t)
+      && TREE_CODE (TYPE_SIZE_UNIT (t)) == INTEGER_CST
+      && !TREE_OVERFLOW (TYPE_SIZE_UNIT (t))
+      && !valid_constant_size_p (TYPE_SIZE_UNIT (t)))
+    error ("type %qT is too large", t);
+
   /* Give bit-fields their proper types.  */
   {
     tree *fieldlistp = &fieldlist;
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3b59f2146a6c..1bf287aecee6 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,8 @@
 2013-07-13  Jason Merrill  <jason@redhat.com>
 
+	PR c++/57793
+	* class.c (layout_class_type): Check for too-large class.
+
 	* call.c (can_convert): Allow user-defined conversions.
 	(can_convert_standard): New.
 	* cp-tree.h: Declare it.
diff --git a/gcc/cp/class.c b/gcc/cp/class.c
index e5166324e4c2..45652a68dbef 100644
--- a/gcc/cp/class.c
+++ b/gcc/cp/class.c
@@ -6237,6 +6237,12 @@ layout_class_type (tree t, tree *virtuals_p)
   /* Let the back end lay out the type.  */
   finish_record_layout (rli, /*free_p=*/true);
 
+  if (TYPE_SIZE_UNIT (t)
+      && TREE_CODE (TYPE_SIZE_UNIT (t)) == INTEGER_CST
+      && !TREE_OVERFLOW (TYPE_SIZE_UNIT (t))
+      && !valid_constant_size_p (TYPE_SIZE_UNIT (t)))
+    error ("type %qT is too large", t);
+
   /* Warn about bases that can't be talked about due to ambiguity.  */
   warn_about_ambiguous_bases (t);
 
diff --git a/gcc/testsuite/c-c++-common/pr57793.c b/gcc/testsuite/c-c++-common/pr57793.c
new file mode 100644
index 000000000000..d66fadaa1f75
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/pr57793.c
@@ -0,0 +1,23 @@
+/* PR c++/57793 */
+
+struct A { unsigned a : 1; unsigned b : 1; };
+struct B     /* { dg-error "type .B. is too large" "" { target { c++ && ilp32 } } } */
+{
+  unsigned char c[0x40000000];
+  unsigned char d[0x40000ff0];
+  struct A e;
+}; /* { dg-error "type .struct B. is too large" "" { target { c && ilp32 } } } */
+
+void *foo (struct B *p)
+{
+  if (p->e.a)
+    return (void *) 0;
+  p->e.b = 1;
+  return p->c;
+}
+
+void
+bar (struct B *p)
+{
+  foo (p);
+}