diff options
author | Arnaud Charlet <charlet@adacore.com> | 2018-06-11 09:16:59 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:16:59 +0000 |
commit | 75441c4a37291d5be6fb098d161a2c4a22f3741a (patch) | |
tree | e70e386a6224a168d056cd5ecd1479d7e5f99d55 /gcc | |
parent | 692918a9c1e601ecf81f99eb4926268964f62181 (diff) | |
download | gcc-75441c4a37291d5be6fb098d161a2c4a22f3741a.zip gcc-75441c4a37291d5be6fb098d161a2c4a22f3741a.tar.gz gcc-75441c4a37291d5be6fb098d161a2c4a22f3741a.tar.bz2 |
[Ada] Bindgen: protect reference to System.Parameters with Sec_Stack_Used
2018-06-11 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* bindgen.adb (Gen_Adainit): Protect reference to System.Parameters
with Sec_Stack_Used.
From-SVN: r261401
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/ada/bindgen.adb | 12 |
2 files changed, 13 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 0f51c43..a2624b8 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2018-06-11 Arnaud Charlet <charlet@adacore.com> + + * bindgen.adb (Gen_Adainit): Protect reference to System.Parameters + with Sec_Stack_Used. + 2018-06-11 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch8.adb (Find_Direct_Name): Mode the declaration of diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index 3950dc7..4b4e2bb 100644 --- a/gcc/ada/bindgen.adb +++ b/gcc/ada/bindgen.adb @@ -745,10 +745,14 @@ package body Bindgen is WBI (" Default_Stack_Size : Integer;"); WBI (" pragma Import (C, Default_Stack_Size, " & """__gl_default_stack_size"");"); - WBI (" Default_Secondary_Stack_Size : " & - "System.Parameters.Size_Type;"); - WBI (" pragma Import (C, Default_Secondary_Stack_Size, " & - """__gnat_default_ss_size"");"); + + if Sec_Stack_Used then + WBI (" Default_Secondary_Stack_Size : " & + "System.Parameters.Size_Type;"); + WBI (" pragma Import (C, Default_Secondary_Stack_Size, " & + """__gnat_default_ss_size"");"); + end if; + WBI (" Leap_Seconds_Support : Integer;"); WBI (" pragma Import (C, Leap_Seconds_Support, " & """__gl_leap_seconds_support"");"); |