https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97994
Bug ID: 97994
Summary: [11 Regression] ICE in nothrow_spec_p, at
cp/except.c:1183
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: gs...@t-online.de
Target Milestone: ---
Changed between 20200621 and 20200628 :
$ cat z1.cc
struct S;
template <class T> void foo () noexcept (T::v);
template <class ...A>
void bar (void (A...) noexcept)
{ bar (foo<S>); }
$ g++-11-20200621 -c z1.cc
$
$ g++-11-20201122 -c z1.cc
z1.cc: In substitution of 'template<class ... A> void bar(void (*)(A ...)
noexcept) [with A = <missing>]':
z1.cc:5:14: required from here
z1.cc:5:14: internal compiler error: in nothrow_spec_p, at cp/except.c:1183
5 | { bar (foo<S>); }
| ^
0x6de2d7 nothrow_spec_p(tree_node const*)
../../gcc/cp/except.c:1183
0x770333 unify
../../gcc/cp/pt.c:23799
0x76f313 unify
../../gcc/cp/pt.c:23888
0x7707cc try_one_overload
../../gcc/cp/pt.c:22522
0x76e5f5 resolve_overloaded_unification
../../gcc/cp/pt.c:22286
0x76e5f5 unify_one_argument
../../gcc/cp/pt.c:21832
0x77b3b6 type_unification_real
../../gcc/cp/pt.c:21976
0x7840eb fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, conversion**, bool,
bool)
../../gcc/cp/pt.c:21345
0x65315c add_template_candidate_real
../../gcc/cp/call.c:3431
0x6537ec add_template_candidate
../../gcc/cp/call.c:3519
0x6537ec add_candidates
../../gcc/cp/call.c:5929
0x657881 add_candidates
../../gcc/cp/call.c:4561
0x657881 perform_overload_resolution
../../gcc/cp/call.c:4561
0x65c372 build_new_function_call(tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
../../gcc/cp/call.c:4635
0x796810 finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
../../gcc/cp/semantics.c:2703
0x73f005 cp_parser_postfix_expression
../../gcc/cp/parser.c:7556
0x7471b5 cp_parser_unary_expression
../../gcc/cp/parser.c:8659
0x7211ff cp_parser_cast_expression
../../gcc/cp/parser.c:9562
0x721a32 cp_parser_binary_expression
../../gcc/cp/parser.c:9664
0x7231c0 cp_parser_assignment_expression
../../gcc/cp/parser.c:9968
