| commit | 125a2260ce07e384238f8569c77d07c56762d39c | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Mon, 12 Jun 2023 10:36:56 +0000 (12 12:36 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 27 Jun 2023 12:05:50 +0000 (27 14:05 +0200) | ||
| tree | 4b468aa442c7c317532859c539c3bb4b54278dfd | treesnapshot (tar.gz zip) |
| parent | f404dd44078fdecf83b142831d6cc6f52f3a76b6 | commitdiff |
ada: Plug another loophole in the handling of private views in instances
This deals with discriminants of types declared in package bodies.
gcc/ada/
* sem_ch12.adb (Check_Private_View): Also check the type of
visible discriminants in record and concurrent types.
This deals with discriminants of types declared in package bodies.
gcc/ada/
* sem_ch12.adb (Check_Private_View): Also check the type of
visible discriminants in record and concurrent types.
| gcc/ada/sem_ch12.adb | diffblobblamehistory |