OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

c++: dependent local extern decl ICE [PR97171]

Browse Source 
I'd missed the piece of substutution for the uses of a local extern
decl.  Just grab the local specialization.  We need to do this
regardless of dependentness because we always cloned the local extern.

	PR c++/97171
	gcc/cp/
	* pt.c (tsubst_copy) [FUNCTION_DECL,VAR_DECL]: Retrieve local
	specialization for DECL_LOCAL_P decls.
	gcc/testsuite/
	* g++.dg/template/local10.C: New.
This commit is contained in:
Nathan Sidwell 2020-09-23 07:01:10 -07:00
parent c48ffe21f8
commit 13f7c5d504
2 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/cp/pt.c
View File

@ -16531,6 +16531,14 @@ tsubst_copy (tree t, tree args, tsubst_flags_t complain, tree in_decl)
case FUNCTION_DECL: case FUNCTION_DECL:
if (DECL_LANG_SPECIFIC (t) && DECL_TEMPLATE_INFO (t)) if (DECL_LANG_SPECIFIC (t) && DECL_TEMPLATE_INFO (t))
r = tsubst (t, args, complain, 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. */
r = retrieve_local_specialization (t);
if (!r)
r = error_mark_node;
}
else if (local_variable_p (t) else if (local_variable_p (t)
&& uses_template_parms (DECL_CONTEXT (t))) && uses_template_parms (DECL_CONTEXT (t)))
{ {

15
gcc/testsuite/g++.dg/template/local10.C Normal file
View File

@ -0,0 +1,15 @@
// PR c++/97171
// { dg-additional-options -flto }
template <typename _UnaryOperation>
void transform(_UnaryOperation);
template <typename T>
void Apply ()
{
extern T Maker (void); // block-scope extern with dependent type
transform (Maker);
}
template void Apply<int> ();