public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-6677] c++: redeclaring member of constrained class template [PR96830]
@ 2023-03-14 23:18 Patrick Palka
0 siblings, 0 replies; only message in thread
From: Patrick Palka @ 2023-03-14 23:18 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:cd5baeb4489b6a953abbc7f02fea457fd9ed2f83
commit r13-6677-gcd5baeb4489b6a953abbc7f02fea457fd9ed2f83
Author: Patrick Palka <ppalka@redhat.com>
Date: Tue Mar 14 19:14:29 2023 -0400
c++: redeclaring member of constrained class template [PR96830]
An out-of-line definition of a member of a constrained class template
needs to repeat the template's constraints, but it turns out we don't
verify anywhere that the two sets of constraints match. This patch
adds such a check to push_template_decl, nearby a similar consistency
check for the template parameter list lengths.
PR c++/96830
gcc/cp/ChangeLog:
* pt.cc (push_inline_template_parms_recursive): Set
TEMPLATE_PARMS_CONSTRAINTS.
(push_template_decl): For an out-of-line declaration, verify
constraints for each enclosing template scope match those of the
original template declaratation.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-class5.C: New test.
* g++.dg/cpp2a/concepts-class5a.C: New test.
Diff:
---
gcc/cp/pt.cc | 26 ++++++++++++++++++
gcc/testsuite/g++.dg/cpp2a/concepts-class5.C | 37 ++++++++++++++++++++++++++
gcc/testsuite/g++.dg/cpp2a/concepts-class5a.C | 38 +++++++++++++++++++++++++++
3 files changed, 101 insertions(+)
diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc
index eb153adf383..84021c21467 100644
--- a/gcc/cp/pt.cc
+++ b/gcc/cp/pt.cc
@@ -471,6 +471,8 @@ push_inline_template_parms_recursive (tree parmlist, int levels)
current_template_parms
= tree_cons (size_int (current_template_depth + 1),
parms, current_template_parms);
+ TEMPLATE_PARMS_CONSTRAINTS (current_template_parms)
+ = TEMPLATE_PARMS_CONSTRAINTS (parmlist);
TEMPLATE_PARMS_FOR_INLINE (current_template_parms) = 1;
begin_scope (TREE_VEC_LENGTH (parms) ? sk_template_parms : sk_template_spec,
@@ -6134,6 +6136,30 @@ push_template_decl (tree decl, bool is_friend)
DECL_INTERFACE_KNOWN (decl) = 1;
return error_mark_node;
}
+
+ /* Check that the constraints for each enclosing template scope are
+ consistent with the original declarations. */
+ if (flag_concepts)
+ {
+ tree decl_parms = DECL_TEMPLATE_PARMS (tmpl);
+ tree scope_parms = current_template_parms;
+ if (PRIMARY_TEMPLATE_P (tmpl))
+ {
+ decl_parms = TREE_CHAIN (decl_parms);
+ scope_parms = TREE_CHAIN (scope_parms);
+ }
+ while (decl_parms)
+ {
+ if (!template_requirements_equivalent_p (decl_parms, scope_parms))
+ {
+ error ("redeclaration of %qD with different constraints",
+ TPARMS_PRIMARY_TEMPLATE (TREE_VALUE (decl_parms)));
+ break;
+ }
+ decl_parms = TREE_CHAIN (decl_parms);
+ scope_parms = TREE_CHAIN (scope_parms);
+ }
+ }
}
gcc_checking_assert (!tmpl || DECL_TEMPLATE_RESULT (tmpl) == decl);
diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-class5.C b/gcc/testsuite/g++.dg/cpp2a/concepts-class5.C
new file mode 100644
index 00000000000..5d893d9f6a7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-class5.C
@@ -0,0 +1,37 @@
+// PR c++/96830
+// { dg-do compile { target c++20 } }
+
+template<class T> concept C = true;
+
+template<C T> requires true
+struct A {
+ void f();
+ template<class U> void g();
+
+ struct B;
+ template<class U> struct C;
+
+ static int D;
+ template<class U> static int E;
+};
+
+template<C T>
+void A<T>::f() { } // { dg-error "different constraints" }
+
+template<class T> requires true
+template<class U>
+void A<T>::g() { } // { dg-error "different constraints" }
+
+template<C T> requires (!!true)
+struct A<T>::B { }; // { dg-error "different constraints" }
+
+template<class T> requires true
+template<class U>
+struct A<T>::C { }; // { dg-error "different constraints" }
+
+template<C T>
+int A<T>::D = 0; // { dg-error "different constraints" }
+
+template<class T> requires true
+template<class U>
+int A<T>::E = 0; // { dg-error "different constraints" }
diff --git a/gcc/testsuite/g++.dg/cpp2a/concepts-class5a.C b/gcc/testsuite/g++.dg/cpp2a/concepts-class5a.C
new file mode 100644
index 00000000000..a6a3684c258
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/concepts-class5a.C
@@ -0,0 +1,38 @@
+// PR c++/96830
+// A valid version of concepts-class5.C.
+// { dg-do compile { target c++20 } }
+
+template<class T> concept C = true;
+
+template<C T> requires true
+struct A {
+ void f();
+ template<class U> void g();
+
+ struct B;
+ template<class U> struct C;
+
+ static int D;
+ template<class U> static int E;
+};
+
+template<C T> requires true
+void A<T>::f() { }
+
+template<C T> requires true
+template<class U>
+void A<T>::g() { }
+
+template<C T> requires true
+struct A<T>::B { };
+
+template<C T> requires true
+template<class U>
+struct A<T>::C { };
+
+template<C T> requires true
+int A<T>::D = 0;
+
+template<C T> requires true
+template<class U>
+int A<T>::E = 0;
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-03-14 23:18 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-14 23:18 [gcc r13-6677] c++: redeclaring member of constrained class template [PR96830] Patrick Palka
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).