[c++-concepts] Specialization of concepts

[Andrew Sutton]

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.sutton@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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bugfix-3.patch
Type: application/octet-stream
Size: 3554 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20131023/43f66e6e/attachment.obj>