]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/einfo.adb
einfo.adb (Write_Field19_Name): Body_Entity is also defined for a generic package.
authorEd Schonberg <schonber@gnat.com>
Wed, 10 Oct 2001 22:46:39 +0000 (22:46 +0000)
committerGeert Bosch <bosch@gcc.gnu.org>
Wed, 10 Oct 2001 22:46:39 +0000 (00:46 +0200)
commitc84700e7c77e92776dd951d8ce7e7e1efd0c0464
tree3da698f23b9d27cbcac4d67493ad5d4b6dcab477
parentd8d80dcd6ca6561c46d2724d0724f6ce5a74d6b6
einfo.adb (Write_Field19_Name): Body_Entity is also defined for a generic package.

* einfo.adb (Write_Field19_Name): Body_Entity is also defined for
a generic package.

* einfo.ads: Body_Entity is also defined for generic package.
Documentation change only

* exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
others_choice for a discriminated component initialization,
convert discriminant references into the corresponding discriminals.

* exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
only if original type is private and expression has to be wrapped
in a conversion.

* checks.adb:
(Apply_Constraint_Check): Do not perform length check
if expression is an aggregate with only an others_choice.
(Length_N_Cond): two references to the same in_parameter
(typically the discriminal in an init_proc) denote the same value.
Two useful optimization uncovered by bugfixes above.

From-SVN: r46165
gcc/ada/ChangeLog
gcc/ada/checks.adb
gcc/ada/einfo.adb
gcc/ada/einfo.ads
gcc/ada/exp_aggr.adb
gcc/ada/exp_ch3.adb