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)