From: Javier Miranda <miranda@adacore.com>
Date: Mon, 16 Sep 2024 11:40:06 +0000 (+0000)
Subject: ada: Spurious error compiling CC51011
X-Git-Tag: basepoints/gcc-16~4921
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d6f9774b780150c1cbb58d43a0f1f36c2da0e2c7;p=thirdparty%2Fgcc.git

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.
---

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",