diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-07-16 14:12:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:12:09 +0000 |
| commit | 4dd2ed1495378681b58c2e7ff5c1cc5511882a2d (patch) | |
| tree | b8d9e0899933266952d576232b7d084be12c8ad9 /gcc/ada/exp_unst.adb | |
| parent | fa42563af97ed3d3a77f580b8dccf9a61222ca4a (diff) | |
| download | gcc-4dd2ed1495378681b58c2e7ff5c1cc5511882a2d.tar.gz | |
[Ada] Unnesting: handle 'Address references that are calls
2018-07-16 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* exp_unst.adb (Visit_Node): Handle 'Address references that are
calls.
From-SVN: r262726
Diffstat (limited to 'gcc/ada/exp_unst.adb')
| -rw-r--r-- | gcc/ada/exp_unst.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/exp_unst.adb b/gcc/ada/exp_unst.adb index 464eaa036f8..ef5ab4a366d 100644 --- a/gcc/ada/exp_unst.adb +++ b/gcc/ada/exp_unst.adb @@ -859,7 +859,8 @@ package body Exp_Unst is end; end if; - -- A 'Access reference is a (potential) call. Other attributes + -- A 'Access reference is a (potential) call. So is 'Address, + -- in particular on imported subprograms. Other attributes -- require special handling. when N_Attribute_Reference => @@ -871,6 +872,7 @@ package body Exp_Unst is when Attribute_Access | Attribute_Unchecked_Access | Attribute_Unrestricted_Access + | Attribute_Address => if Nkind (Prefix (N)) in N_Has_Entity then Ent := Entity (Prefix (N)); |