diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 7125444f331..6d3eda2651f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,7 @@ +2014-08-08 Jason Merrill + + * pt.c (lookup_template_class_1): Copy abi_tag. + 2014-08-08 Kai Tietz * semantics.c (expand_or_defer_fn_1): Check for keep-inline-dllexport diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 30d8950e204..25921722f38 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -7813,6 +7813,12 @@ lookup_template_class_1 (tree d1, tree arglist, tree in_decl, tree context, } } + if (OVERLOAD_TYPE_P (t) + && !DECL_ALIAS_TEMPLATE_P (gen_tmpl)) + if (tree attributes + = lookup_attribute ("abi_tag", TYPE_ATTRIBUTES (template_type))) + TYPE_ATTRIBUTES (t) = attributes; + /* Let's consider the explicit specialization of a member of a class template specialization that is implicitly instantiated, e.g.: diff --git a/gcc/testsuite/g++.dg/abi/abi-tag8.C b/gcc/testsuite/g++.dg/abi/abi-tag8.C new file mode 100644 index 00000000000..0a6eb5802af --- /dev/null +++ b/gcc/testsuite/g++.dg/abi/abi-tag8.C @@ -0,0 +1,9 @@ +// { dg-options "-Wabi-tag" } + +template +struct __attribute ((__abi_tag__("cxx11"))) list // { dg-message "list" } +{ }; + +struct X { // { dg-warning "abi tag" } + list l; // { dg-message "X::l" } +};