From: Patrick Bernardi Date: Thu, 17 Aug 2023 20:24:13 +0000 (-0400) Subject: ada: Generate runtime restrictions list when the standard library is suppressed X-Git-Tag: basepoints/gcc-15~6110 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=62e170e586d0822e7b92ca2f92df29d4b7b8e38b;p=thirdparty%2Fgcc.git ada: Generate runtime restrictions list when the standard library is suppressed With the introduction of Jorvik support into the light-tasking runtime comes the requirement to detect voliations of runtime restrictions (for example Max_Entry_Queue_Length) where previously they could be hard coded in the runtime. This means we now need the binder to populate System.System.Restrictions.Run_Time_Restrictions when the standard library is suppressed. gcc/ada/ * bindgen.adb (Gen_Adainit): Generate restrictions when standard library is suppressed. (Gen_Output_File_Ada): Ditto. (Gen_Restrictions): Ditto. --- diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index ae20e5f40d38..87f162e6b430 100644 --- a/gcc/ada/bindgen.adb +++ b/gcc/ada/bindgen.adb @@ -691,6 +691,8 @@ package body Bindgen is WBI (" null;"); end if; + Gen_Restrictions; + -- Generate the default-sized secondary stack pool if the secondary -- stack is used by the program. @@ -2804,9 +2806,7 @@ package body Bindgen is -- Generate with of System.Restrictions to initialize -- Run_Time_Restrictions. - if System_Restrictions_Used - and not Suppress_Standard_Library_On_Target - then + if System_Restrictions_Used then WBI (""); WBI ("with System.Restrictions;"); end if; @@ -2946,9 +2946,7 @@ package body Bindgen is Count : Integer; begin - if Suppress_Standard_Library_On_Target - or not System_Restrictions_Used - then + if not System_Restrictions_Used then return; end if;