[Ada] Unnesting: improve handling of private and incomplete types
authorEd Schonberg <schonberg@adacore.com>
Mon, 1 Jul 2019 13:35:58 +0000 (13:35 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 1 Jul 2019 13:35:58 +0000 (13:35 +0000)
commit97c0b990ca1be17bf6211fefe219f9210fa06b6b
tree718fc8da9021515d980c685912da439fb9c81d73
parent76fd94165a00ca6371c557e855cdd47a3b823da8
[Ada] Unnesting: improve handling of private and incomplete types

2019-07-01  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_unst.adb (Visit_Node, Check_Static_Type): Improve the
handling of private and incomplete types whose full view is an
access type, to detect additional uplevel references in dynamic
bounds. This is relevant to N_Free_Statement among others that
manipulate types whose full viww may be an access type.

From-SVN: r272870
gcc/ada/ChangeLog
gcc/ada/exp_unst.adb