This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/67147] [concepts] ICE on checking concept with default template arguments
- From: "antoshkka at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 11 Jul 2018 14:01:26 +0000
- Subject: [Bug c++/67147] [concepts] ICE on checking concept with default template arguments
- Auto-submitted: auto-generated
- References: <bug-67147-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67147
--- Comment #4 from Antony Polukhin <antoshkka at gmail dot com> ---
Shorter reproducer:
template<typename T, int = sizeof(T)> concept bool fn = true;
template <fn T> int test();
Above sample produces the following output:
<source>:1:28: internal compiler error: in tsubst, at cp/pt.c:14368
template<typename T, int = sizeof(T)> concept bool fn = true;
^~~~~~~~~