[Bug c++/71128] [concepts] ICE on ill-formed explicit instantiation of a function concept

[paolo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71128

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Mon Oct  8 09:02:55 2018
New Revision: 264914

URL: https://gcc.gnu.org/viewcvs?rev=264914&root=gcc&view=rev
Log:
/cp
2018-10-08  Paolo Carlini  <paolo.carl...@oracle.com>

        PR c++/71128
        * pt.c (do_decl_instantiation): Per 12.6.8/5, a concept cannot be
        explicitly instantiated.

/testsuite
2018-10-08  Paolo Carlini  <paolo.carl...@oracle.com>

        PR c++/71128
        * g++.dg/concepts/pr71128.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/concepts/pr71128.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog