diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/c/c-decl.c | 6 | ||||
| -rw-r--r-- | gcc/cp/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/cp/class.c | 6 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/pr57793.c | 23 |
5 files changed, 43 insertions, 0 deletions
diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 43cc83902ef..15bc1aa26fc 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 8170a80ac6d..f7ae648f024 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 3b59f2146a6..1bf287aecee 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 e5166324e4c..45652a68dbe 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 00000000000..d66fadaa1f7 --- /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); +} |