diff options
| author | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2009-02-10 22:52:51 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2009-02-10 22:52:51 +0000 |
| commit | 794511d20a377c604fa6b0752ad9ba0e035ccfb0 (patch) | |
| tree | c6469e15d39deb72fd8e5bd7eaf74835dda07e18 /gcc/alias.c | |
| parent | 493e377c04278267043c9320532792e1ea40ae14 (diff) | |
| download | gcc-794511d20a377c604fa6b0752ad9ba0e035ccfb0.zip gcc-794511d20a377c604fa6b0752ad9ba0e035ccfb0.tar.gz gcc-794511d20a377c604fa6b0752ad9ba0e035ccfb0.tar.bz2 | |
alias.h (record_alias_subset): Declare.
* alias.h (record_alias_subset): Declare.
* alias.c (record_alias_subset): Make global.
ada/
* gcc-interface/decl.c (enum alias_set_op): New enumeration.
(copy_alias_set): Rename into...
(relate_alias_sets): ...this. Add third parameter OP. Retrieve the
underlying array of unconstrained arrays for the new type as well.
If the old and new alias sets don't conflict, make one a subset of
the other as per the OP parameter.
(gnat_to_gnu_entity): Adjust calls to copy_alias_set.
<E_Record_Type>: Do not copy the alias set for derived types.
For all types, make the alias set of derived types a superset of
that of their parent type.
(make_aligning_type): Adjust calls to copy_alias_set.
(make_packable_type): Likewise.
* gcc-interface/trans.c (gnat_to_gnu)<N_Validate_Unchecked_Conversion>:
Check for alias set conflict instead of strict equality to issue the
warning.
From-SVN: r144084
Diffstat (limited to 'gcc/alias.c')
| -rw-r--r-- | gcc/alias.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/alias.c b/gcc/alias.c index 13c94bc..d8d8e3f 100644 --- a/gcc/alias.c +++ b/gcc/alias.c @@ -167,7 +167,6 @@ static rtx adjust_offset_for_component_ref (tree, rtx); static int write_dependence_p (const_rtx, const_rtx, int); static void memory_modified_1 (rtx, const_rtx, void *); -static void record_alias_subset (alias_set_type, alias_set_type); /* Set up all info needed to perform alias analysis on memory references. */ @@ -735,7 +734,7 @@ new_alias_set (void) It is illegal for SUPERSET to be zero; everything is implicitly a subset of alias set zero. */ -static void +void record_alias_subset (alias_set_type superset, alias_set_type subset) { alias_set_entry superset_entry; |