[Bug c++/101098] [11/12 Regression] ICE with explicit specialization of constrained function template

2022-12-07 Thread ppalka at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101098

Patrick Palka  changed:

   What|Removed |Added

 CC||StevenSun2021 at hotmail dot 
com

--- Comment #6 from Patrick Palka  ---
*** Bug 99686 has been marked as a duplicate of this bug. ***

[Bug c++/101098] [11/12 Regression] ICE with explicit specialization of constrained function template

2021-07-09 Thread jason at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101098

Jason Merrill  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Jason Merrill  ---
Fixed for 11.2/12.

[Bug c++/101098] [11/12 Regression] ICE with explicit specialization of constrained function template

2021-07-09 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101098

--- Comment #4 from CVS Commits  ---
The releases/gcc-11 branch has been updated by Jason Merrill
:

https://gcc.gnu.org/g:8b273a8566e7806e9498c78b16c30c9d81d6e81b

commit r11-8716-g8b273a8566e7806e9498c78b16c30c9d81d6e81b
Author: Jason Merrill 
Date:   Fri Jul 9 13:50:01 2021 -0400

c++: concepts TS and explicit specialization [PR101098]

duplicate_decls was not recognizing the explicit specialization as matching
the implicit specialization of g because
function_requirements_equivalent_p was seeing the C constraint on the
implicit one and not on the explicit.

PR c++/101098

gcc/cp/ChangeLog:

* decl.c (function_requirements_equivalent_p): Only compare
trailing requirements on a specialization.

gcc/testsuite/ChangeLog:

* g++.dg/concepts/explicit-spec1.C: New test.

[Bug c++/101098] [11/12 Regression] ICE with explicit specialization of constrained function template

2021-07-09 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101098

--- Comment #3 from CVS Commits  ---
The master branch has been updated by Jason Merrill :

https://gcc.gnu.org/g:ddd25bd1a7c8f456bc914e34b77d43f39a1062d4

commit r12-2230-gddd25bd1a7c8f456bc914e34b77d43f39a1062d4
Author: Jason Merrill 
Date:   Fri Jul 9 13:50:01 2021 -0400

c++: concepts TS and explicit specialization [PR101098]

duplicate_decls was not recognizing the explicit specialization as matching
the implicit specialization of g because
function_requirements_equivalent_p was seeing the C constraint on the
implicit one and not on the explicit.

PR c++/101098

gcc/cp/ChangeLog:

* decl.c (function_requirements_equivalent_p): Only compare
trailing requirements on a specialization.

gcc/testsuite/ChangeLog:

* g++.dg/concepts/explicit-spec1.C: New test.

[Bug c++/101098] [11/12 Regression] ICE with explicit specialization of constrained function template

2021-07-09 Thread jason at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101098

Jason Merrill  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org