From d6f9774b780150c1cbb58d43a0f1f36c2da0e2c7 Mon Sep 17 00:00:00 2001 From: Javier Miranda Date: Mon, 16 Sep 2024 11:40:06 +0000 Subject: [PATCH] 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. --- gcc/ada/sem_ch8.adb | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 13c44c5e302c..760d4bebc78e 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", -- 2.47.2