[Bug c++/95181] [10/11 Regression] ICE in push_access_scope, at cp/pt.c:241 since r10-3735-gcb57504a55015891
cvs-commit at gcc dot gnu.org
gcc-bugzilla@gcc.gnu.org
Sat May 30 02:11:33 GMT 2020
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95181
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jason Merrill
<jason@gcc.gnu.org>:
https://gcc.gnu.org/g:9e81c820a3e48ead478dabbd6988482747f7a521
commit r10-8212-g9e81c820a3e48ead478dabbd6988482747f7a521
Author: Patrick Palka <ppalka@redhat.com>
Date: Fri May 22 10:28:19 2020 -0400
c++: P0848R3 and member function templates [PR95181]
When comparing two special member function templates to see if one hides
the other (as per P0848R3), we need to check satisfaction which we can't
do on templates. So this patch makes add_method skip the eligibility
test on member function templates and just lets them coexist.
gcc/cp/ChangeLog:
PR c++/95181
* class.c (add_method): Let special member function templates
coexist if they are not equivalently constrained, or in a class
template.
gcc/testsuite/ChangeLog:
PR c++/95181
* g++.dg/concepts/pr95181.C: New test.
* g++.dg/concepts/pr95181-2.C: New test.
Co-authored-by: Jason Merrill <jason@redhat.com>
(cherry picked from commit 6b449b74c590f5a6f66c73aed894e5b5b36aa59d)
More information about the Gcc-bugs
mailing list