diff --git a/gcc/cgraph.cc b/gcc/cgraph.cc index d3cc06bbaed00c2ab6d3697abac33f699e2d1f96..0159eaa768b5394e9d4fc2827a80d4f17777a8b6 100644 --- a/gcc/cgraph.cc +++ b/gcc/cgraph.cc @@ -3488,7 +3488,11 @@ cgraph_node::verify_node (void) "returns a pointer"); error_found = true; } - if (definition && externally_visible + if (definition + && externally_visible + /* For aliases in lto1 free_lang_data doesn't guarantee preservation + of opt_for_fn (decl, flag_semantic_interposition). See PR105399. */ + && (!alias || !in_lto_p) && semantic_interposition != opt_for_fn (decl, flag_semantic_interposition)) { diff --git a/gcc/testsuite/g++.dg/lto/pr105399_0.C b/gcc/testsuite/g++.dg/lto/pr105399_0.C new file mode 100644 index 0000000000000000000000000000000000000000..fc9149a7aa2d6110207bdb71e7bbbd42c13a04bf --- /dev/null +++ b/gcc/testsuite/g++.dg/lto/pr105399_0.C @@ -0,0 +1,9 @@ +// PR lto/105399 +// { dg-lto-do link } +// { dg-lto-options { { -fPIC -flto -Ofast } } } +// { dg-require-effective-target shared } +// { dg-require-effective-target fpic } +// { dg-extra-ld-options "-shared -O2" } + +struct S { S (); }; +S::S () {}