diff options
| author | Patrick Palka <ppalka@redhat.com> | 2021-07-12 16:35:18 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2021-07-12 16:35:18 -0400 |
| commit | 8d75b8830e9dafb4e0c400c723653512adf40295 (patch) | |
| tree | fcd8164e8bbbd2e9178ac9e7eae0035372eb2bfe /gcc/tree-vect-loop.c | |
| parent | 8d980e84240c82502661758fbecd5f456018ea89 (diff) | |
| download | gcc-8d75b8830e9dafb4e0c400c723653512adf40295.zip gcc-8d75b8830e9dafb4e0c400c723653512adf40295.tar.gz gcc-8d75b8830e9dafb4e0c400c723653512adf40295.tar.bz2 | |
c++: permit deduction guides at class scope [PR79501]
This adds support for declaring (class-scope) deduction guides for a
member class template. Fortunately it seems only a couple of changes
are needed in order for the existing CTAD machinery to handle them
properly: we need to make sure to give them a FUNCTION_TYPE instead of a
METHOD_TYPE, and we need to avoid using a BASELINK when looking them up.
PR c++/79501
PR c++/100983
gcc/cp/ChangeLog:
* decl.c (grokfndecl): Don't require that deduction guides are
declared at namespace scope. Check that class-scope deduction
guides have the same access as the member class template.
(grokdeclarator): Pretend class-scope deduction guides are static.
* search.c (lookup_member): Don't use a BASELINK for (class-scope)
deduction guides.
gcc/testsuite/ChangeLog:
* g++.dg/cpp1z/class-deduction92.C: New test.
* g++.dg/cpp1z/class-deduction93.C: New test.
* g++.dg/cpp1z/class-deduction94.C: New test.
* g++.dg/cpp1z/class-deduction95.C: New test.
Diffstat (limited to 'gcc/tree-vect-loop.c')
0 files changed, 0 insertions, 0 deletions