re PR c++/85254 (boost::is_final does not work for template types)

PR c++/85254

gcc/cp

PR c++/85254
* class.c (fixup_type_variants): Handle CLASSTYPE_FINAL.

testsuite/

PR c++/85254
* g++.dg/ext/is_final.C: Amend.

From-SVN: r271835

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index d05719b9bbebaed6a9c1d60d851a02e176bedafe..b88976bb8189eea1ea32d7570be1f6e3ed5385f6 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,15 @@
+2019-06-01  Ville Voutilainen  <ville.voutilainen@gmail.com>
+
+       gcc/cp
+
+       PR c++/85254
+       * class.c (fixup_type_variants): Handle CLASSTYPE_FINAL.
+
+       testsuite/
+
+       PR c++/85254
+       * g++.dg/ext/is_final.C: Amend.
+
 2019-05-31  Nathan Sidwell  <nathan@acm.org>
 
        * cp-tree.h (IDENTIFIER_LAMBDA_P): New.

diff --git a/gcc/cp/class.c b/gcc/cp/class.c
index a2585a61f96bfc32617ece38af8f02c176405c5f..d6ac6ce5c9a9055febcde3c4de97d1d366f8d1b3 100644 (file)
--- a/gcc/cp/class.c
+++ b/gcc/cp/class.c
@@ -1907,6 +1907,7 @@ fixup_type_variants (tree t)
        = TYPE_HAS_NONTRIVIAL_DESTRUCTOR (t);
 
       TYPE_POLYMORPHIC_P (variants) = TYPE_POLYMORPHIC_P (t);
+      CLASSTYPE_FINAL (variants) = CLASSTYPE_FINAL (t);
 
       TYPE_BINFO (variants) = TYPE_BINFO (t);
 

diff --git a/gcc/testsuite/g++.dg/ext/is_final.C b/gcc/testsuite/g++.dg/ext/is_final.C
index b3875ad04aec7d87b94cf779925caec76b6152c0..20e5d629ff5c3d21552b7b54bf1306efb62cbee6 100644 (file)
--- a/gcc/testsuite/g++.dg/ext/is_final.C
+++ b/gcc/testsuite/g++.dg/ext/is_final.C
@@ -43,3 +43,17 @@ static_assert( __is_final (Ff<int>), "Ff<int> is final" );
 static_assert( __is_final (Ff<A>),   "Ff<A> is final" );
 static_assert( __is_final (Ff<Af>),  "Ff<Af> is final" );
 
+// PR 85254
+
+template <class T> struct final_trait_wrap{ typedef T type; };
+
+template <class T> struct my_is_final
+{
+  static const bool value = __is_final(typename final_trait_wrap<T>::type);
+};
+
+struct final1 final {};
+template <typename T> struct final2 final {};
+
+static_assert( my_is_final<final1>::value, "final1 is final" );
+static_assert( my_is_final<final2<int>>::value, "final2<int> is final" );