diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce680f0c817..f8570fd24d5 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2012-05-25 Aldy Hernandez + + PR middle-end/53008 + * trans-mem.c (ipa_tm_create_version_alias): Output new_node if + accessed indirectly. + (ipa_tm_create_version): Same. + 2012-05-25 Uros Bizjak PR target/53474 diff --git a/gcc/testsuite/gcc.dg/tm/pr53008.c b/gcc/testsuite/gcc.dg/tm/pr53008.c new file mode 100644 index 00000000000..1374d76faff --- /dev/null +++ b/gcc/testsuite/gcc.dg/tm/pr53008.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-fgnu-tm -O" } */ + +void __attribute__((transaction_safe)) (*fn)(void); + +static void __attribute__((transaction_safe)) +foo(void) +{ +} + +void set_fn(void) +{ + fn = foo; +} diff --git a/gcc/trans-mem.c b/gcc/trans-mem.c index 8887b9afee6..aa4d7c0a06d 100644 --- a/gcc/trans-mem.c +++ b/gcc/trans-mem.c @@ -4328,7 +4328,8 @@ ipa_tm_create_version_alias (struct cgraph_node *node, void *data) record_tm_clone_pair (old_decl, new_decl); - if (info->old_node->symbol.force_output) + if (info->old_node->symbol.force_output + || ipa_ref_list_first_referring (&info->old_node->symbol.ref_list)) ipa_tm_mark_force_output_node (new_node); return false; } @@ -4381,7 +4382,8 @@ ipa_tm_create_version (struct cgraph_node *old_node) record_tm_clone_pair (old_decl, new_decl); cgraph_call_function_insertion_hooks (new_node); - if (old_node->symbol.force_output) + if (old_node->symbol.force_output + || ipa_ref_list_first_referring (&old_node->symbol.ref_list)) ipa_tm_mark_force_output_node (new_node); /* Do the same thing, but for any aliases of the original node. */