From: Javier Miranda <miranda@adacore.com>
Date: Mon, 5 Aug 2024 20:03:01 +0000 (+0000)
Subject: ada: First controlling parameter aspect
X-Git-Tag: basepoints/gcc-16~6449
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4522f1f6e31a606d1c9784eb5790b51e5e194bc7;p=thirdparty%2Fgcc.git

ada: First controlling parameter aspect

gcc/ada/

	* sem_ch13.adb (Analyze_One_Aspect): Temporarily remove reporting
	an error when the new aspect is set to True and the extensions are
	not enabled.
---

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index f4ff3a28273..3487931bf4d 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -4524,9 +4524,6 @@ package body Sem_Ch13 is
                         if (No (Expr) or else Entity (Expr) = Standard_True)
                           and then not Core_Extensions_Allowed
                         then
-                           Error_Msg_GNAT_Extension
-                             ("'First_'Controlling_'Parameter", Sloc (Aspect),
-                              Is_Core_Extension => True);
                            goto Continue;
                         end if;