diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2007-09-11 19:43:02 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2007-09-11 19:43:02 +0000 |
| commit | fa89b6ecba4ce9448b82a21f91b360eacf57bc72 (patch) | |
| tree | 6794bfdde0fa3a761d0a915bf86007b0ca87d7e2 /gcc/ada/ChangeLog | |
| parent | 868eaa1f422576b092cc1bdcf576d4cfa3d18fb3 (diff) | |
| download | gcc-fa89b6ecba4ce9448b82a21f91b360eacf57bc72.zip gcc-fa89b6ecba4ce9448b82a21f91b360eacf57bc72.tar.gz gcc-fa89b6ecba4ce9448b82a21f91b360eacf57bc72.tar.bz2 | |
tree-ssa-structalias.c (push_fields_onto_fieldstack): Deal with TYPE_NONALIASED_COMPONENT like with DECL_NONADDRESSABLE_P.
* tree-ssa-structalias.c (push_fields_onto_fieldstack): Deal with
TYPE_NONALIASED_COMPONENT like with DECL_NONADDRESSABLE_P.
ada/
* decl.c (array_type_has_nonaliased_component): New predicate.
(gnat_to_gnu_field) <E_Array_Type>: Invoke the above predicate to
set the TYPE_NONALIASED_COMPONENT flag on the type.
<E_Array_Subtype>: Likewise.
* gigi.h (type_for_nonaliased_component_p): Declare.
* utils.c (type_for_nonaliased_component_p): New predicate.
(create_field_decl): Invoke the above predicate to set the
DECL_NONADDRESSABLE_P flag on the field.
From-SVN: r128391
Diffstat (limited to 'gcc/ada/ChangeLog')
| -rw-r--r-- | gcc/ada/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1ad4a40..6951351 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,14 @@ +2007-09-11 Eric Botcazou <ebotcazou@adacore.com> + + * decl.c (array_type_has_nonaliased_component): New predicate. + (gnat_to_gnu_field) <E_Array_Type>: Invoke the above predicate to + set the TYPE_NONALIASED_COMPONENT flag on the type. + <E_Array_Subtype>: Likewise. + * gigi.h (type_for_nonaliased_component_p): Declare. + * utils.c (type_for_nonaliased_component_p): New predicate. + (create_field_decl): Invoke the above predicate to set the + DECL_NONADDRESSABLE_P flag on the field. + 2007-09-11 Javier Miranda <miranda@adacore.com> * einfo.ads, einfo.adb (Dispatch_Table_Wrapper): New attribute. Present |