| commit | d39664b659f2442a456be865ee6adcfe1a4a5aed | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Wed, 31 May 2023 12:32:59 +0000 (31 14:32 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 20 Jun 2023 07:30:49 +0000 (20 09:30 +0200) | ||
| tree | c6ed65d18918a04db241d09be282d11680c0ed10 | treesnapshot (tar.gz zip) |
| parent | b9b1dcc841436964d344befe38ef66c5ee68913d | commitdiff |
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.
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 | diffblobblamehistory | |
| gcc/ada/sem_ch12.adb | diffblobblamehistory |