diff options
| author | Andrew Pinski <pinskia@gcc.gnu.org> | 2006-08-25 00:13:48 -0700 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2006-08-25 00:13:48 -0700 |
| commit | aa666e00632d6f6433ad549eb061e9c568708edd (patch) | |
| tree | f40e0754fe57cf6ccebf878a32456f5dde203129 /gcc/tree-ssa-operands.c | |
| parent | a073516d43b79060b506f67083d291832c706a93 (diff) | |
| download | gcc-aa666e00632d6f6433ad549eb061e9c568708edd.tar.gz | |
re PR tree-optimization/28807 (wrong code with may_alias and structs)
2006-08-24 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/28807
* tree-ssa-operands.c (access_can_touch_variable): Don't say
the access through a base which has an alias set of 0 cannot
touch the variable.
2006-08-24 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/28807
* gcc.c-torture/execute/mayalias-2.c: New test.
* gcc.dg/tree-ssa/alias-13.c: New test.
From-SVN: r116393
Diffstat (limited to 'gcc/tree-ssa-operands.c')
| -rw-r--r-- | gcc/tree-ssa-operands.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c index 05637814f13..0e931ca74a9 100644 --- a/gcc/tree-ssa-operands.c +++ b/gcc/tree-ssa-operands.c @@ -1150,7 +1150,10 @@ access_can_touch_variable (tree ref, tree alias, HOST_WIDE_INT offset, || TREE_CODE (TREE_TYPE (base)) != UNION_TYPE) && !AGGREGATE_TYPE_P (TREE_TYPE (alias)) && TREE_CODE (TREE_TYPE (alias)) != COMPLEX_TYPE - && !POINTER_TYPE_P (TREE_TYPE (alias))) + && !POINTER_TYPE_P (TREE_TYPE (alias)) + /* When the struct has may_alias attached to it, we need not to + return true. */ + && get_alias_set (base)) { #ifdef ACCESS_DEBUGGING fprintf (stderr, "Access to "); |