[Ada] Unnesting: refactor handling of uplevel refs. for unconstrained arrays

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 11 June 2018 09:19 EDT

2018-06-11 Ed Schonberg

gcc/ada/

- exp_unst.ads, exp_unst.adb (Needs_Fat_Pointer, Build_Access_Type_Decl): New subprograms to handle uplevel references to formals of an unconstrained array type. The activation record component for these is an access type, and the reference is rewritten as an explicit derefenrence of that component.

48f91b08763 [Ada] Unnesting: refactor handling of uplevel refs. for unconstrained arrays
gcc/ada/ChangeLog | 8 +++
gcc/ada/exp_unst.adb | 170 ++++++++++++++++++++++++++++++++++++++++++---------
gcc/ada/exp_unst.ads | 36 +++++++++++
3 files changed, 186 insertions(+), 28 deletions(-)

Upstream: gcc.gnu.org


  • Share