]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix fallout of fix to handling of private views in instances
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 31 May 2023 12:32:59 +0000 (14:32 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 20 Jun 2023 07:30:49 +0000 (09:30 +0200)
commitd39664b659f2442a456be865ee6adcfe1a4a5aed
treec6ed65d18918a04db241d09be282d11680c0ed10
parentb9b1dcc841436964d344befe38ef66c5ee68913d
ada: Fix fallout of fix to handling of private views in instances

Check_Actual_Type incorrectly switches the view of a private type declared
in the enclosing scope of a generic unit but that has a private ancestor.

gcc/ada/

* einfo.ads (Has_Private_Ancestor): Fix inaccuracy in description.
* sem_ch12.adb (Check_Actual_Type): Do not switch the view of the
type if it has a private ancestor.
gcc/ada/einfo.ads
gcc/ada/sem_ch12.adb