diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 89bae06cd6b..d90e9840f40 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -2452,6 +2452,20 @@ duplicate_decls (tree newdecl, tree olddecl, bool hiding, bool was_hidden) if (! DECL_COMDAT (olddecl)) DECL_COMDAT (newdecl) = 0; + if (VAR_OR_FUNCTION_DECL_P (newdecl) && DECL_LOCAL_DECL_P (newdecl)) + { + if (!DECL_LOCAL_DECL_P (olddecl)) + /* This can happen if olddecl was brought in from the + enclosing namespace via a using-decl. The new decl is + then not a block-scope extern at all. */ + DECL_LOCAL_DECL_P (newdecl) = false; + else + { + retrofit_lang_decl (newdecl); + DECL_LOCAL_DECL_ALIAS (newdecl) = DECL_LOCAL_DECL_ALIAS (olddecl); + } + } + new_template_info = NULL_TREE; if (DECL_LANG_SPECIFIC (newdecl) && DECL_LANG_SPECIFIC (olddecl)) { @@ -2735,8 +2749,9 @@ duplicate_decls (tree newdecl, tree olddecl, bool hiding, bool was_hidden) with that from NEWDECL below. */ if (DECL_LANG_SPECIFIC (olddecl)) { - gcc_assert (DECL_LANG_SPECIFIC (olddecl) - != DECL_LANG_SPECIFIC (newdecl)); + gcc_checking_assert (DECL_LANG_SPECIFIC (newdecl) + && (DECL_LANG_SPECIFIC (olddecl) + != DECL_LANG_SPECIFIC (newdecl))); ggc_free (DECL_LANG_SPECIFIC (olddecl)); } diff --git a/gcc/testsuite/g++.dg/lookup/pr97877.C b/gcc/testsuite/g++.dg/lookup/pr97877.C new file mode 100644 index 00000000000..294edd2f552 --- /dev/null +++ b/gcc/testsuite/g++.dg/lookup/pr97877.C @@ -0,0 +1,8 @@ +// PR 97877, duplicate decls smashed decl_lang_specific + +void f () +{ + extern int a; + extern int a; + a = 2; +}