diff options
| author | Adam Butcher <adam@jessamine.co.uk> | 2014-02-25 03:47:35 +0000 |
|---|---|---|
| committer | Adam Butcher <abutcher@gcc.gnu.org> | 2014-02-25 03:47:35 +0000 |
| commit | 1b859733ce1f05552a13d2ed705623f860848559 (patch) | |
| tree | c048938442833f3c3eb8ddfe28fd6789749b5a48 /gcc | |
| parent | 81493f78875ef6e1714d51cb2f3864689835e0e2 (diff) | |
| download | gcc-1b859733ce1f05552a13d2ed705623f860848559.zip gcc-1b859733ce1f05552a13d2ed705623f860848559.tar.gz gcc-1b859733ce1f05552a13d2ed705623f860848559.tar.bz2 | |
Fix out-of-line definition of class template generic member functions.
* parser.c (synthesize_implicit_template_parm): Inject new template
argument list appropriately when a generic member function
of a class template is declared out-of-line.
* g++.dg/cpp1y/fn-generic-member-ool.C: New testcase.
From-SVN: r208107
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/parser.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 2 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp1y/fn-generic-member-ool.C | 35 |
4 files changed, 43 insertions, 1 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index a5f2ec2..fa6b3cf 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2014-02-25 Adam Butcher <adam@jessamine.co.uk> + * parser.c (synthesize_implicit_template_parm): Inject new template + argument list appropriately when a generic member function + of a class template is declared out-of-line. + PR c++/60065 * parser.c (cp_parser_direct_declarator): Don't save and restore num_template_parameter_lists around call to diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 038e853..2d7918c 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -31942,7 +31942,8 @@ synthesize_implicit_template_parm (cp_parser *parser) current_binding_level = scope; - if (scope->kind != sk_template_parms) + if (scope->kind != sk_template_parms + || !function_being_declared_is_template_p (parser)) { /* Introduce a new template parameter list for implicit template parameters. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b05509f..d59f4ec 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,7 @@ 2014-02-25 Adam Butcher <adam@jessamine.co.uk> + * g++.dg/cpp1y/fn-generic-member-ool.C: New testcase. + PR c++/60065 * g++.dg/cpp1y/pr60065.C: New testcase. diff --git a/gcc/testsuite/g++.dg/cpp1y/fn-generic-member-ool.C b/gcc/testsuite/g++.dg/cpp1y/fn-generic-member-ool.C new file mode 100644 index 0000000..f9c814e --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1y/fn-generic-member-ool.C @@ -0,0 +1,35 @@ +// Out-of-line generic member function definitions. +// { dg-options "-std=c++1y" } + +struct A { + void f(auto x); +}; + +void A::f(auto x) {} // injects a new list + +template <typename T> +struct B { + void f(auto x); +}; + +template <typename T> +void B<T>::f(auto x) {} // injects a new list + +struct C { + template <int N> + void f(auto x); +}; + +template <int N> +void C::f(auto x) {} // extends existing inner list + +template <typename T> +struct D +{ + template <int N> + void f(auto x); +}; + +template <typename T> +template <int N> +void D<T>::f(auto x) {} // extends existing inner list |