[Ada] Constraint is ignored on constrained access record component
authorEd Schonberg <schonberg@adacore.com>
Thu, 12 Dec 2019 10:02:00 +0000 (10:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 12 Dec 2019 10:02:00 +0000 (10:02 +0000)
commit605d816615bf239b9ca6627b18b861b0ff12eac0
tree32b09539240211db1c79af5ed916215b6101e26a
parent87b66149a315e0e0bc80a1075ce6da615fe55199
[Ada] Constraint is ignored on constrained access record component

2019-12-12  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_ch3.adb (Constrain_Access): Remove obsolete comments and
warning concerning component types of an access type whose
designated type is a constrained record type. (Such constraints
were previously ignored). Set scope of itype for component to
the scope of the enclosing record.
* sem_ch4.adb: Remove call to Set_Ekind.
* sem_util.adb (Build_Actual_Subtype_Of_Component): Handle
components whose type is an access to a constrained
discriminant, where the constraints may be given by the
discriminants of the enclosing type. New subprogram
Build_Access_Record_Constraint.

gcc/testsuite/

* gnat.dg/warn24.adb: Remove expected warning.

From-SVN: r279281
gcc/ada/ChangeLog
gcc/ada/sem_ch3.adb
gcc/ada/sem_ch4.adb
gcc/ada/sem_util.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/warn24.adb