This patch disallows the explicit specialization of concepts, as required by the specification. It also fixes an ICE when comparing overloads of non-template members.
2013-10-23 Andrew Sutton <andrew.n.sut...@gmail.com>
* gcc/cp/class.c (get_member_fntemplate): New.
(are_constrained_member_overloads): Only get a template declaration
if the member function is, in fact, a template or temploid.
* gcc/cp/pt.c (check_explicit_specialization): Do not allow
explicit specializations to be declared 'concept', and do not allow
an explicit specialization of a concept.
* gcc/cp/decl.c (grokfndecl): Propagate the concept flag to
check_explicit_specialization.
Committed in r203970.
Andrew
bugfix-3.patch
Description: Binary data
