re PR c++/59633 (ICE with __attribute((vector_size(...))) for enum)

PR c++/59633
gcc/
	* tree.c (walk_type_fields): Handle VECTOR_TYPE.
gcc/cp/
	* decl2.c (attributes_naming_typedef_ok): New.
	* cp-tree.h: Declare it.
	* decl.c (grokdeclarator): Check it.
	* tree.c (no_linkage_check): Handle VECTOR_TYPE.

From-SVN: r207302
This commit is contained in:
Jason Merrill 2014-01-30 09:21:31 -05:00 committed by Jason Merrill
parent fc044323f4
commit 404c2aeaae
8 changed files with 39 additions and 0 deletions

View File

@ -1,5 +1,8 @@
2014-01-30 Jason Merrill <jason@redhat.com>
PR c++/59633
* tree.c (walk_type_fields): Handle VECTOR_TYPE.
PR c++/59645
* cgraphunit.c (expand_thunk): Copy volatile arg to a temporary.

View File

@ -1,3 +1,11 @@
2014-01-30 Jason Merrill <jason@redhat.com>
PR c++/59633
* decl2.c (attributes_naming_typedef_ok): New.
* cp-tree.h: Declare it.
* decl.c (grokdeclarator): Check it.
* tree.c (no_linkage_check): Handle VECTOR_TYPE.
2014-01-29 Jason Merrill <jason@redhat.com>
PR c++/59707

View File

@ -5296,6 +5296,7 @@ extern tree grokfield (const cp_declarator *, cp_decl_specifier_seq *,
extern tree grokbitfield (const cp_declarator *, cp_decl_specifier_seq *,
tree, tree);
extern tree cp_reconstruct_complex_type (tree, tree);
extern bool attributes_naming_typedef_ok (tree);
extern void cplus_decl_attributes (tree *, tree, int);
extern void finish_anon_union (tree);
extern void cp_write_global_declarations (void);

View File

@ -10216,6 +10216,7 @@ grokdeclarator (const cp_declarator *declarator,
&& TREE_CODE (TYPE_NAME (type)) == TYPE_DECL
&& TYPE_ANONYMOUS_P (type)
&& declspecs->type_definition_p
&& attributes_naming_typedef_ok (*attrlist)
&& cp_type_quals (type) == TYPE_UNQUALIFIED)
{
tree t;

View File

@ -1243,6 +1243,22 @@ save_template_attributes (tree *attr_p, tree *decl_p)
}
}
/* Return true iff ATTRS are acceptable attributes to be applied in-place
to a typedef which gives a previously anonymous class or enum a name for
linkage purposes. */
bool
attributes_naming_typedef_ok (tree attrs)
{
for (; attrs; attrs = TREE_CHAIN (attrs))
{
tree name = get_attribute_name (attrs);
if (is_attribute_p ("vector_size", name))
return false;
}
return true;
}
/* Like reconstruct_complex_type, but handle also template trees. */
tree

View File

@ -2170,6 +2170,7 @@ no_linkage_check (tree t, bool relaxed_p)
case ARRAY_TYPE:
case POINTER_TYPE:
case REFERENCE_TYPE:
case VECTOR_TYPE:
return no_linkage_check (TREE_TYPE (t), relaxed_p);
case OFFSET_TYPE:

View File

@ -0,0 +1,8 @@
// PR c++/59633
// In C++98, the definition of bar is an error. In C++11, bar implicitly
// gets internal linkage.
typedef enum { e } T __attribute__((vector_size(8)));
static void foo(T t) {}
void bar (T t) {} // { dg-error "no linkage" "" { target c++98 } }
// { dg-final { scan-assembler-not "globl\[ \t]*_Z3bar" } }

View File

@ -10817,6 +10817,7 @@ walk_type_fields (tree type, walk_tree_fn func, void *data,
{
case POINTER_TYPE:
case REFERENCE_TYPE:
case VECTOR_TYPE:
/* We have to worry about mutually recursive pointers. These can't
be written in C. They can in Ada. It's pathological, but
there's an ACATS test (c38102a) that checks it. Deal with this