diff options
| author | Bob Duff <duff@adacore.com> | 2023-12-13 14:36:27 -0500 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-01-09 14:13:32 +0100 |
| commit | 1e2a2daa773e9d9e7638849af4c03f2636f1f07b (patch) | |
| tree | b018c9c77b013c08b11c748514875d8112f7fb12 /gcc/ada/gcc-interface/utils.cc | |
| parent | 8ca25eacaa326022bd2f3e2ffc8a690a9d7363d0 (diff) | |
| download | gcc-1e2a2daa773e9d9e7638849af4c03f2636f1f07b.zip gcc-1e2a2daa773e9d9e7638849af4c03f2636f1f07b.tar.gz gcc-1e2a2daa773e9d9e7638849af4c03f2636f1f07b.tar.bz2 | |
ada: Allow passing private types to generic formal incomplete types
It is legal to pass a private type, or a type with a component whose
type is private, as a generic actual type if the formal is a generic
formal incomplete type. This patch fixes a bug in which the compiler
would give an error in some such cases.
Also misc cleanup.
gcc/ada/
* sem_ch12.adb (Instantiate_Type): Make the relevant error message
conditional upon "Ekind (A_Gen_T) /= E_Incomplete_Type". Misc
cleanup.
Diffstat (limited to 'gcc/ada/gcc-interface/utils.cc')
0 files changed, 0 insertions, 0 deletions