From 23ac7d7e6cf498682f10f41ca85ea2981ec53c26 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Wed, 22 Aug 2001 10:53:20 -0400 Subject: [PATCH] explow.c (set_mem_attributes): Avoid returning a bogus alias set from a new MEM. * explow.c (set_mem_attributes): Avoid returning a bogus alias set from a new MEM. From-SVN: r45108 --- gcc/ChangeLog | 3 +++ gcc/explow.c | 9 +++++++++ 2 files changed, 12 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4948e50d4d7..b180df7533f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ 2001-08-22 Jason Merrill + * explow.c (set_mem_attributes): Avoid returning a bogus alias set + from a new MEM. + * jump.c (squeeze_notes): Take parms by reference. Handle END being a squeezable note. * rtl.h: Adjust. diff --git a/gcc/explow.c b/gcc/explow.c index 3a7716fd265..d01067de7ff 100644 --- a/gcc/explow.c +++ b/gcc/explow.c @@ -670,7 +670,16 @@ set_mem_attributes (ref, t, objectp) here, because, in C and C++, the fact that a location is accessed through a const expression does not mean that the value there can never change. */ + + /* If we have already set DECL_RTL = ref, get_alias_set will get the + wrong answer, as it assumes that DECL_RTL already has the right alias + info. Callers should not set DECL_RTL until after the call to + set_mem_attributes. */ + if (DECL_P (t) && ref == DECL_RTL_IF_SET (t)) + abort (); + set_mem_alias_set (ref, get_alias_set (t)); + MEM_VOLATILE_P (ref) = TYPE_VOLATILE (type); MEM_IN_STRUCT_P (ref) = AGGREGATE_TYPE_P (type); -- 2.30.2