https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79759
Bug ID: 79759
Summary: [concepts] ICE in tsubst, at cp/pt.c:13509
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: hstong at ca dot ibm.com
Target Milestone: ---
### Source (<stdin>):
template <typename T, T N>
concept bool C0() { return true; }
void f(C0<0>);
### Compiler invocation:
g++ -x c++ -std=c++1y -fconcepts -c -o /dev/null -
### Compiler output:
<stdin>:4:12: internal compiler error: in tsubst, at cp/pt.c:13509
0x5da2ec tsubst(tree_node*, tree_node*, int, tree_node*)
../../source/gcc/cp/pt.c:13509
0x5e4815 convert_template_argument
../../source/gcc/cp/pt.c:7636
0x5e5a6c coerce_template_parms
../../source/gcc/cp/pt.c:8125
0x6d9ee2 resolve_constraint_check
../../source/gcc/cp/constraint.cc:231
0x6d9ee2 resolve_constraint_check(tree_node*)
../../source/gcc/cp/constraint.cc:282
0x6da023 deduce_constrained_parameter(tree_node*, tree_node*&, tree_node*&)
../../source/gcc/cp/constraint.cc:331
0x61cd4e cp_parser_maybe_constrained_type_specifier
../../source/gcc/cp/parser.c:17079
0x630b5d cp_parser_maybe_partial_concept_id
../../source/gcc/cp/parser.c:17136
0x630b5d cp_parser_template_id
../../source/gcc/cp/parser.c:15495
0x630e0e cp_parser_class_name
../../source/gcc/cp/parser.c:21948
0x63b3a7 cp_parser_qualifying_entity
../../source/gcc/cp/parser.c:6285
0x63b3a7 cp_parser_nested_name_specifier_opt
../../source/gcc/cp/parser.c:5971
0x63e021 cp_parser_simple_type_specifier
../../source/gcc/cp/parser.c:16821
0x626fbd cp_parser_type_specifier
../../source/gcc/cp/parser.c:16494
0x627e7c cp_parser_decl_specifier_seq
../../source/gcc/cp/parser.c:13325
0x641e85 cp_parser_parameter_declaration
../../source/gcc/cp/parser.c:21178
0x6426c7 cp_parser_parameter_declaration_list
../../source/gcc/cp/parser.c:20994
0x642a2c cp_parser_parameter_declaration_clause
../../source/gcc/cp/parser.c:20917
0x633781 cp_parser_direct_declarator
../../source/gcc/cp/parser.c:19640
0x633781 cp_parser_declarator
../../source/gcc/cp/parser.c:19516
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
### Compiler version info (g++ -v):
Using built-in specs.
COLLECT_GCC=/opt/wandbox/gcc-head/bin/g++
COLLECT_LTO_WRAPPER=/opt/wandbox/gcc-head/libexec/gcc/x86_64-pc-linux-gnu/7.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../source/configure --prefix=/opt/wandbox/gcc-head
--enable-languages=c,c++ --disable-multilib --without-ppl --without-cloog-ppl
--enable-checking=release --disable-nls --enable-lto
LDFLAGS=-Wl,-rpath,/opt/wandbox/gcc-head/lib,-rpath,/opt/wandbox/gcc-head/lib64,-rpath,/opt/wandbox/gcc-head/lib32
Thread model: posix
gcc version 7.0.1 20170227 (experimental) (GCC)
