diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2008-07-31 13:04:10 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 13:04:10 +0200 |
| commit | 01aef5ad76b8314af7406d515aa36e9e1eefa1b6 (patch) | |
| tree | a7da433816d4b3f46e8dfc4ed89205d226a52326 /gcc/ada/sinput.adb | |
| parent | 1d06f67ee225537cf9984b384dbe116830730705 (diff) | |
| download | gcc-01aef5ad76b8314af7406d515aa36e9e1eefa1b6.zip gcc-01aef5ad76b8314af7406d515aa36e9e1eefa1b6.tar.gz gcc-01aef5ad76b8314af7406d515aa36e9e1eefa1b6.tar.bz2 | |
exp_attr.adb (Enclosing_Object): New function local to handling of access attributes...
2008-07-31 Gary Dismukes <dismukes@adacore.com>
* exp_attr.adb (Enclosing_Object): New function local to handling of
access attributes,
for retrieving the innermost enclosing object prefix of a compound name.
(Expand_N_Attribute_Reference, N_Attribute_Access): In the case where an
Access attribute has a prefix that is a dereference of an access
parameter (or the prefix is a subcomponent selected from such a
dereference), apply an accessibility check to the access parameter.
Replaces code that rewrote the prefix as a type conversion (and that
didn't handle subcomponent cases).
Also, this is now only applied in the case of 'Access.
* exp_ch6.adb (Expand_Call): Add handling for the case of an access
discriminant passed as an actual to an access formal, passing the
Object_Access_Level of the object containing the access discriminant.
From-SVN: r138388
Diffstat (limited to 'gcc/ada/sinput.adb')
0 files changed, 0 insertions, 0 deletions