https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82474
Bug ID: 82474
Summary: [8 Regression] ICE: trying to capture ‘list’ in
instantiation of generic lambda
Product: gcc
Version: 8.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: trippels at gcc dot gnu.org
CC: jason at gcc dot gnu.org
Target Milestone: ---
% cat laws.functor.ii
struct A;
struct B {
template <typename X> void operator()(X) const;
};
template <typename> B make;
template <typename, typename = A> struct TestMonad {
template <typename Xs, typename XXs> TestMonad(Xs, XXs);
};
template <typename S> struct TestMonad<S> : TestMonad<S, int> {
template <typename Xs, typename XXs>
TestMonad(Xs, XXs) : TestMonad<S, int>{0, 0} {
constexpr auto list = make<S>;
[=](auto x) { list(x); }(0);
}
};
int main() { TestMonad<int>{0, 0}; }
% g++ -c laws.functor.ii
laws.functor.ii: In instantiation of ‘TestMonad<S>::TestMonad(Xs, XXs) [with Xs
= int; XXs = int; S = int]::<lambda(auto:1)> [with auto:1 = int]’:
laws.functor.ii:13:29: required from ‘TestMonad<S>::TestMonad(Xs, XXs) [with
Xs = int; XXs = int; S = int]’
laws.functor.ii:16:33: required from here
laws.functor.ii:13:23: internal compiler error: trying to capture ‘list’ in
instantiation of generic lambda
[=](auto x) { list(x); }(0);
~~~~^~~
0x10354b8b add_capture(tree_node*, tree_node*, tree_node*, bool, bool)
../../gcc/gcc/cp/lambda.c:624
0x103550c7 add_default_capture(tree_node*, tree_node*, tree_node*)
../../gcc/gcc/cp/lambda.c:695
0x104a4957 process_outer_var_ref(tree_node*, int, bool)
../../gcc/gcc/cp/semantics.c:3371
0x1033bb93 mark_use
../../gcc/gcc/cp/expr.c:121
0x104fcf3b cp_build_addr_expr_1
../../gcc/gcc/cp/typeck.c:5655
0x10211787 build_this
../../gcc/gcc/cp/call.c:3368
0x102290b7 add_function_candidate
../../gcc/gcc/cp/call.c:2163
0x1022a547 add_template_candidate_real
../../gcc/gcc/cp/call.c:3211
0x1022af97 add_template_candidate
../../gcc/gcc/cp/call.c:3253
0x1022af97 add_candidates
../../gcc/gcc/cp/call.c:5517
0x10232137 build_op_call_1
../../gcc/gcc/cp/call.c:4496
0x10232137 build_op_call(tree_node*, vec<tree_node*, va_gc, vl_embed>**, int)
../../gcc/gcc/cp/call.c:4585
0x104a414b finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**,
bool, bool, int)
../../gcc/gcc/cp/semantics.c:2502
0x1042cf53 tsubst_copy_and_build(tree_node*, tree_node*, int, tree_node*, bool,
bool)
../../gcc/gcc/cp/pt.c:17764
0x1043294b tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
../../gcc/gcc/cp/pt.c:16728
0x1043096b tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
../../gcc/gcc/cp/pt.c:15974
0x104328ff tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
../../gcc/gcc/cp/pt.c:16203
0x104328ff tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
../../gcc/gcc/cp/pt.c:16203
0x104328ff tsubst_expr(tree_node*, tree_node*, int, tree_node*, bool)
../../gcc/gcc/cp/pt.c:16203
0x10477b93 instantiate_decl(tree_node*, bool, bool)
../../gcc/gcc/cp/pt.c:23262
