diff --git a/gcc/ipa-icf.cc b/gcc/ipa-icf.cc index e84922c3ef87cee61c370c78fd38d57ba18cb272..6f9941522c8fa1a73b4ae0603a9ff1b529ee6e57 100644 --- a/gcc/ipa-icf.cc +++ b/gcc/ipa-icf.cc @@ -304,6 +304,7 @@ sem_function::get_hash (void) (TREE_OPTIMIZATION (DECL_FUNCTION_SPECIFIC_OPTIMIZATION (decl)))); hstate.add_flag (DECL_CXX_CONSTRUCTOR_P (decl)); hstate.add_flag (DECL_CXX_DESTRUCTOR_P (decl)); + hstate.add_flag (DECL_STATIC_CHAIN (decl)); set_hash (hstate.end ()); } @@ -655,7 +656,10 @@ sem_function::equals_wpa (sem_item *item, } if (list1 || list2) - return return_false_with_msg ("Mismatched number of parameters"); + return return_false_with_msg ("mismatched number of parameters"); + + if (DECL_STATIC_CHAIN (decl) != DECL_STATIC_CHAIN (item->decl)) + return return_false_with_msg ("static chain mismatch"); if (node->num_references () != item->node->num_references ()) return return_false_with_msg ("different number of references"); @@ -876,7 +880,10 @@ sem_function::equals_private (sem_item *item) return return_false (); } if (arg1 || arg2) - return return_false_with_msg ("Mismatched number of arguments"); + return return_false_with_msg ("mismatched number of arguments"); + + if (DECL_STATIC_CHAIN (decl) != DECL_STATIC_CHAIN (m_compared_func->decl)) + return return_false_with_msg ("static chain mismatch"); if (!dyn_cast <cgraph_node *> (node)->has_gimple_body_p ()) return true; diff --git a/gcc/testsuite/gnat.dg/lto27.adb b/gcc/testsuite/gnat.dg/lto27.adb new file mode 100644 index 0000000000000000000000000000000000000000..41049f7daf1dd0fba1cf4ad77752da1a43e15bf6 --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto27.adb @@ -0,0 +1,18 @@ +-- { dg-do link } +-- { dg-options "-O2 -gnatp -flto" { target lto } } + +with Ada.Containers.Hashed_Maps; +with Ada.Strings.Hash; + +procedure Lto27 is + subtype Node_Name is String (1 .. 4); + + package Node_Maps is new Ada.Containers.Hashed_Maps + (Key_Type => Node_Name, + Element_Type => Integer, + Hash => Ada.Strings.Hash, + Equivalent_Keys => "="); + +begin + null; +end;