From: Patrick Bernardi <berna...@adacore.com> 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. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/bindgen.adb | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index ae20e5f40d3..87f162e6b43 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; -- 2.40.0