diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/expr.c | 11 |
2 files changed, 15 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 971b753876d..f3fff9f4ba0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2001-06-12 Mark Mitchell <mark@codesourcery.com> + + * expr.c (store_field): Don't set MEM_ALIAS_SET for a field + in a structure at a variable address. + 2001-06-12 Joseph S. Myers <jsm28@cam.ac.uk> * doc/gcov.texi: Use more logical markup. diff --git a/gcc/expr.c b/gcc/expr.c index a7b0ff4ff12..96665688643 100644 --- a/gcc/expr.c +++ b/gcc/expr.c @@ -5327,7 +5327,16 @@ store_field (target, bitsize, bitpos, mode, exp, value_mode, (bitpos / BITS_PER_UNIT)))); MEM_SET_IN_STRUCT_P (to_rtx, 1); - MEM_ALIAS_SET (to_rtx) = alias_set; + /* If the address of the structure varies, then it might be on + the stack. And, stack slots may be shared across scopes. + So, two different structures, of different types, can end up + at the same location. We will give the structures alias set + zero; here we must be careful not to give non-zero alias sets + to their fields. */ + if (!rtx_varies_p (addr, /*for_alias=*/0)) + MEM_ALIAS_SET (to_rtx) = alias_set; + else + MEM_ALIAS_SET (to_rtx) = 0; return store_expr (exp, to_rtx, value_mode != VOIDmode); } |
