[Bug c++/79759] New: [concepts] ICE in tsubst, at cp/pt.c:13509

["hstong at ca dot ibm.com" <gcc-bugzilla at gcc dot gnu dot org>]

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)