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 /gcc/analyzer/infinite-recursion.cc | |
| 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.
Diffstat (limited to 'gcc/analyzer/infinite-recursion.cc')
0 files changed, 0 insertions, 0 deletions