diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-06-13 09:47:16 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-06-13 09:47:16 +0000 |
commit | 76645ea42ab978048bd61b680205643a170e3574 (patch) | |
tree | 5d7f12404b9b5f13ebd1113040453a897d8ba142 /gcc/ada/s-solita.ads | |
parent | 25a2acb3efcb3c468115e855e8bb2bbe59ac0809 (diff) | |
download | gcc-76645ea42ab978048bd61b680205643a170e3574.tar.gz |
2014-06-13 Robert Dewar <dewar@adacore.com>
* sem_cat.adb: Minor reformatting.
2014-06-13 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma/Post_Class): Fix typo.
2014-06-13 Arnaud Charlet <charlet@adacore.com>
* gnat_rm.texi: Add detail on SPARK_05 restriction.
2014-06-13 Bob Duff <duff@adacore.com>
* s-solita.adb (Get_Sec_Stack_Addr, Init_Tasking_Soft_Links):
Add assertions requiring the secondary stack to be initialized.
* s-solita.ads (Init_Tasking_Soft_Links): Comment.
* s-taprob.adb, s-tarest.adb, s-tasini.adb (elab code): Make sure the
secondary stack is initialized before calling Init_Tasking_Soft_Links,
by adding pragmas Elaborate_Body.
2014-06-13 Thomas Quinot <quinot@adacore.com>
* sem_ch13.adb (Analyze_Stream_TSS_Definition): Remove temporary
kludge disabling new legality check.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211614 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-solita.ads')
-rw-r--r-- | gcc/ada/s-solita.ads | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/s-solita.ads b/gcc/ada/s-solita.ads index d91568149a9..0e987ea0bab 100644 --- a/gcc/ada/s-solita.ads +++ b/gcc/ada/s-solita.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2009, Free Software Foundation, Inc. -- +-- Copyright (C) 2009-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -38,6 +38,7 @@ package System.Soft_Links.Tasking is procedure Init_Tasking_Soft_Links; -- Set the tasking soft links that are common to the full and the - -- restricted run times. + -- restricted run times. Clients need to make sure the body of + -- System.Secondary_Stack is elaborated before calling this. end System.Soft_Links.Tasking; |