diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index f73deb3aee3..d8574f649b2 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -16650,11 +16650,16 @@ tsubst_copy (tree t, tree args, tsubst_flags_t complain, tree in_decl) r = tsubst (t, args, complain, in_decl); else if (DECL_LOCAL_DECL_P (t)) { - /* Local specialization will have been created when we - instantiated the DECL_EXPR_DECL. */ + /* Local specialization will usually have been created when + we instantiated the DECL_EXPR_DECL. */ r = retrieve_local_specialization (t); if (!r) - r = error_mark_node; + { + /* We're in a generic lambda referencing a local extern + from an outer block-scope of a non-template. */ + gcc_checking_assert (LAMBDA_FUNCTION_P (current_function_decl)); + r = t; + } } else if (local_variable_p (t) && uses_template_parms (DECL_CONTEXT (t))) diff --git a/gcc/testsuite/g++.dg/lookup/pr99030.C b/gcc/testsuite/g++.dg/lookup/pr99030.C new file mode 100644 index 00000000000..080847ca11c --- /dev/null +++ b/gcc/testsuite/g++.dg/lookup/pr99030.C @@ -0,0 +1,16 @@ +// PR 99030 ICE with generic lambda accessing local extern +// { dg-do compile { target c++14 } } + +void foo () +{ + extern int a; + [] (auto b) { a; } (1); +} + +template void bar () +{ + extern T a; + [] (auto b) { a; } (1); +} + +template void bar ();