diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:20:28 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:20:28 +0100 |
commit | 3a2b145788192c62c629bc7d7c3d14c2b2b21b36 (patch) | |
tree | 9b774440b677583acdd554e6a31b348b4f914d28 | |
parent | 5a99fda7cc9576f48f3eafbc00ed349bbb2d178d (diff) | |
download | gcc-3a2b145788192c62c629bc7d7c3d14c2b2b21b36.zip gcc-3a2b145788192c62c629bc7d7c3d14c2b2b21b36.tar.gz gcc-3a2b145788192c62c629bc7d7c3d14c2b2b21b36.tar.bz2 |
[multiple changes]
2015-11-18 Ed Falis <falis@adacore.com>
* s-soflin.adb, s-stchop-vxworks.adb: Code clean ups.
2015-11-18 Gary Dismukes <dismukes@adacore.com>
* bcheck.adb: Minor editorial changes.
From-SVN: r230528
-rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/ada/bcheck.adb | 2 | ||||
-rw-r--r-- | gcc/ada/s-soflin.adb | 6 | ||||
-rw-r--r-- | gcc/ada/s-stchop-vxworks.adb | 11 |
4 files changed, 20 insertions, 7 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d462f2f..19cefb2 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2015-11-18 Ed Falis <falis@adacore.com> + + * s-soflin.adb, s-stchop-vxworks.adb: Code clean ups. + +2015-11-18 Gary Dismukes <dismukes@adacore.com> + + * bcheck.adb: Minor editorial changes. + 2015-11-18 Arnaud Charlet <charlet@adacore.com> * interfac.ads (Unsigned_24): New type. diff --git a/gcc/ada/bcheck.adb b/gcc/ada/bcheck.adb index 72a2cbd..8f00ea2 100644 --- a/gcc/ada/bcheck.adb +++ b/gcc/ada/bcheck.adb @@ -453,7 +453,7 @@ package body Bcheck is -- 2. The with'ed unit was compiled with dynamic elaboration checks -- 3. The with'ed unit has pragma Preelaborate or Pure -- 4. It is an internal GNAT unit (including children of GNAT) - -- 5. It is an interface of a Stand-Aline Library + -- 5. It is an interface of a Stand-Alone Library procedure Check_Consistent_Dynamic_Elaboration_Checking is begin diff --git a/gcc/ada/s-soflin.adb b/gcc/ada/s-soflin.adb index b3efac8..9158a92 100644 --- a/gcc/ada/s-soflin.adb +++ b/gcc/ada/s-soflin.adb @@ -49,6 +49,12 @@ package body System.Soft_Links is NT_TSD : TSD; -- Note: we rely on the default initialization of NT_TSD + -- Needed for Vx6Cert (Vx653mc) GOS cert and ravenscar-cert runtimes, + -- VxMILS cert, ravenscar-cert and full runtimes, Vx 5 default runtime + Stack_Limit : aliased System.Address; + + pragma Export (C, Stack_Limit, "__gnat_stack_limit"); + -------------------- -- Abort_Defer_NT -- -------------------- diff --git a/gcc/ada/s-stchop-vxworks.adb b/gcc/ada/s-stchop-vxworks.adb index 24de94d..53f6c45 100644 --- a/gcc/ada/s-stchop-vxworks.adb +++ b/gcc/ada/s-stchop-vxworks.adb @@ -60,10 +60,9 @@ package body System.Stack_Checking.Operations is -- VxWorks MILS includes the necessary routine in taskLib, so nothing -- special needs to be done there. - Stack_Limit : Address := - Boolean'Pos (Stack_Grows_Down) * Address'First - + Boolean'Pos (not Stack_Grows_Down) * Address'Last; - pragma Export (C, Stack_Limit, "__gnat_stack_limit"); + Stack_Limit : Address; + + pragma Import (C, Stack_Limit, "__gnat_stack_limit"); -- Stack_Limit contains the limit of the stack. This variable is later made -- a task variable (by calling taskVarAdd) and then correctly set to the @@ -91,7 +90,6 @@ package body System.Stack_Checking.Operations is procedure Initialize_Stack_Limit is begin - -- For the environment task Set_Stack_Limit_For_Current_Task; @@ -126,6 +124,7 @@ package body System.Stack_Checking.Operations is Limit : System.Address; begin + -- Get stack bounds from VxWorks Get_Stack_Info (Stack_Info'Access); @@ -141,6 +140,6 @@ package body System.Stack_Checking.Operations is end if; Stack_Limit := Limit; - end Set_Stack_Limit_For_Current_Task; + end Set_Stack_Limit_For_Current_Task; end System.Stack_Checking.Operations; |