Attributes deprecated and unavailable are largely the same, except
that the former produces a warning whereas the latter produces an error.
So is_late_template_attribute should treat them the same. Confirmed by
Iain that this divergence is not intentional:
<https://gcc.gnu.org/pipermail/gcc-patches/2022-February/591007.html>.
gcc/cp/ChangeLog:
* decl2.cc (is_late_template_attribute): Do not defer attribute
unavailable.
* pt.cc (tsubst_enum): Set TREE_UNAVAILABLE.
gcc/testsuite/ChangeLog:
* g++.dg/ext/attr-unavailable-9.C: Add dg-error.
/* But some attributes specifically apply to templates. */
&& !is_attribute_p ("abi_tag", name)
&& !is_attribute_p ("deprecated", name)
+ && !is_attribute_p ("unavailable", name)
&& !is_attribute_p ("visibility", name))
return true;
else
DECL_SOURCE_LOCATION (TYPE_NAME (newtag))
= DECL_SOURCE_LOCATION (TYPE_NAME (tag));
TREE_DEPRECATED (newtag) = TREE_DEPRECATED (tag);
- /* We don't need to propagate TREE_UNAVAILABLE here, because it is, unlike
- deprecated, applied at instantiation time rather than template
- definition time. */
+ TREE_UNAVAILABLE (newtag) = TREE_UNAVAILABLE (tag);
}
/* DECL is a FUNCTION_DECL that is a template specialization. Return
/* { dg-options "" } */
template<typename T> struct __attribute__ ((unavailable)) S {};
-S<int> s;
+S<int> s; // { dg-error "unavailable" }
template <template <class> class T> struct A { };
-A<S> a;
+A<S> a; // { dg-error "unavailable" }
template <class T> void f() __attribute__ ((unavailable));