diff options
| author | Javier Miranda <miranda@adacore.com> | 2024-09-16 11:40:06 +0000 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-25 11:09:00 +0200 |
| commit | d6f9774b780150c1cbb58d43a0f1f36c2da0e2c7 (patch) | |
| tree | 46e26daaa56446633aff7a1dbb56c46335592552 /gcc | |
| parent | a71c37a7241d8a73fe51712e5b4c7222afbaee8b (diff) | |
| download | gcc-d6f9774b780150c1cbb58d43a0f1f36c2da0e2c7.zip gcc-d6f9774b780150c1cbb58d43a0f1f36c2da0e2c7.tar.gz gcc-d6f9774b780150c1cbb58d43a0f1f36c2da0e2c7.tar.bz2 | |
ada: Spurious error compiling CC51011
Adjust the check of 13.14(10.2/3) to avoid reporting an error
on unfrozen incomplete types, as they are never frozen
(AI12-0155-1).
gcc/ada/ChangeLog:
* sem_ch8.adb (Freeze_Actual_Profile): Do not report error
on incomplete types, since they do not cause freezing.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 13c44c5..760d4be 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -2343,6 +2343,11 @@ package body Sem_Ch8 is elsif From_Limited_With (Etype (F)) then null; + -- Incomplete types are never frozen (AI12-0155-1) + + elsif Is_Incomplete_Type (Etype (F)) then + null; + else Error_Msg_NE ("type& must be frozen before this point", |