Comments
Patch
===================================================================
@@ -4137,7 +4137,13 @@ callback_mark_needed (struct cgraph_node
record_tm_clone_pair (node->decl, tm_alias);
if (info->old_node->needed)
- cgraph_mark_needed_node (cgraph_get_node (tm_alias));
+ {
+ struct cgraph_node *alias = cgraph_get_node (tm_alias);
+ cgraph_mark_needed_node (alias);
+ /* Needed so function_and_variable_visibility() won't reset
+ the needed bit. */
+ alias->analyzed = 1;
+ }
}
return false;
}
@@ -4592,6 +4598,7 @@ ipa_tm_execute (void)
/* For all local functions marked tm_callable, queue them. */
for (node = cgraph_nodes; node; node = node->next)
if (is_tm_callable (node->decl)
+ && !node->alias
&& cgraph_function_body_availability (node) >= AVAIL_OVERWRITABLE)
{
d = get_cg_data (node);
The merge broke base/complete dtor transactional clones that we originally implemented here: http://gcc.gnu.org/ml/gcc-patches/2010-06/msg00590.html First, ipa_tm_execute() was putting __comp_dtor's into tm_callees, which wasn't happening pre-merge. Handling this __comp_dtor caused an ICE tree_function_versioning() because ENTRY_BLOCK_PTR_FOR_FUNCTION is invalid, since the CFG field for the original decl's cfun has not been set. The patch below excludes such aliases from tm_callees since we can't handle them in ipa_tm_create_version. Second, ipa_tm_create_version() marks aliases of the original decl as needed in callback_mark_needed(). Unfortunately, this "needed" bit does not persist until the end of compilation because whole program IPA will remove the bit here: /* Frontends and alias code marks nodes as needed before parsing is finished. We may end up marking as node external nodes where this flag is meaningless strip it. */ if (node->needed && (DECL_EXTERNAL (node->decl) || !node->analyzed)) node->needed = 0; Consequently, the alias will not show up in the .tm_clone_table. The patch below sets the "analyzed" bit to keep this from happening. With it, g++.dg/tm/alias.C works again. No regressions elsewhere. OK? * trans-mem.c (ipa_tm_execute): Do not include aliases in tm_callees. (callback_mark_needed): Set analyzed bit.