diff options
author | Patrick Bernardi <bernardi@adacore.com> | 2023-08-17 16:24:13 -0400 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-15 15:01:30 +0200 |
commit | 62e170e586d0822e7b92ca2f92df29d4b7b8e38b (patch) | |
tree | 18389ff396d04ba8b9921644dded8c69d8b392e0 | |
parent | 140e20f69754bd04b7ee47518d065c1338780c36 (diff) | |
download | gcc-62e170e586d0822e7b92ca2f92df29d4b7b8e38b.zip gcc-62e170e586d0822e7b92ca2f92df29d4b7b8e38b.tar.gz gcc-62e170e586d0822e7b92ca2f92df29d4b7b8e38b.tar.bz2 |
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.
-rw-r--r-- | gcc/ada/bindgen.adb | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index ae20e5f..87f162e 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; |