diff options
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/tree-tailcall.c | 3 |
2 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e55536d35fd..ffea0a14b07 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,10 @@ -2007-09-09 Segher Boessenkool <segher@kernel.crashing.org> +2007-09-08 Richard Guenther <rguenther@suse.de> + + * tree-tailcall.c (find_tail_calls): If we don't have aliases + computed check stmt_ann->references_memory instead of counting + virtual operands. + +2007-09-08 Segher Boessenkool <segher@kernel.crashing.org> * cse.c (fold_rtx): Use validate_unshare_change() instead of validate_change() in one more case. diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index 8651b60fc0d..bd3da886668 100644 --- a/gcc/tree-tailcall.c +++ b/gcc/tree-tailcall.c @@ -414,7 +414,8 @@ find_tail_calls (basic_block bb, struct tailcall **ret) /* If the statement has virtual or volatile operands, fail. */ ann = stmt_ann (stmt); if (!ZERO_SSA_OPERANDS (stmt, (SSA_OP_VUSE | SSA_OP_VIRTUAL_DEFS)) - || ann->has_volatile_ops) + || ann->has_volatile_ops + || (!gimple_aliases_computed_p (cfun) && ann->references_memory)) return; } |