[Bug c++/79711] New: [concepts] ICE in instantiate_decl, at cp/pt.c:22474

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

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

            Bug ID: 79711
           Summary: [concepts] ICE in instantiate_decl, at cp/pt.c:22474
           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>
concept bool f() { return true; }

static_assert((&f<int>)());

### Compiler invocation:
g++ -std=c++1z -fconcepts -c -o /dev/null -x c++ -

### Compiler output:
<stdin>:4:24: internal compiler error: in instantiate_decl, at cp/pt.c:22474
0x5d463c instantiate_decl(tree_node*, bool, bool)
        ../../source/gcc/cp/pt.c:22474
0x6d05c5 cxx_eval_call_expression
        ../../source/gcc/cp/constexpr.c:1493
0x6d15f5 cxx_eval_constant_expression
        ../../source/gcc/cp/constexpr.c:3973
0x6d55c4 cxx_eval_outermost_constant_expr
        ../../source/gcc/cp/constexpr.c:4615
0x6d7296 maybe_constant_value(tree_node*, tree_node*)
        ../../source/gcc/cp/constexpr.c:4830
0x683231 finish_static_assert(tree_node*, tree_node*, unsigned int, bool)
        ../../source/gcc/cp/semantics.c:8806
0x6379b9 cp_parser_static_assert
        ../../source/gcc/cp/parser.c:13646
0x649d3e cp_parser_block_declaration
        ../../source/gcc/cp/parser.c:12617
0x628484 cp_parser_declaration
        ../../source/gcc/cp/parser.c:12518
0x64e00b cp_parser_declaration_seq_opt
        ../../source/gcc/cp/parser.c:12394
0x64e2f2 cp_parser_translation_unit
        ../../source/gcc/cp/parser.c:4366
0x64e2f2 c_parse_file()
        ../../source/gcc/cp/parser.c:38440
0x71c483 c_common_parse_file()
        ../../source/gcc/c-family/c-opts.c:1107
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 20170224 (experimental) (GCC)