diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 14:57:28 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 14:57:28 +0000 |
| commit | 97c15ab05ffdb09b2feccf392dce2729c49a7670 (patch) | |
| tree | 3a9f0a9cf2cbc3f681d537a7013b511b331160b0 /gcc/ada/exp_util.ads | |
| parent | 5afe31e04b81aaaeec8d2febdcdda95202d3a03e (diff) | |
| download | gcc-97c15ab05ffdb09b2feccf392dce2729c49a7670.tar.gz | |
2014-07-30 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Make_Bignum_Block): Use the new secondary stack
build routines to manage the mark.
* exp_ch7.adb (Create_Finalizer, Expand_Cleanup_Actions):
Use the new secodary stack build routines to manage the mark.
(Insert_Actions_In_Scope_Around): Add new formal parameter
Manage_SS along with comment on its usage. Code and comment
reformatting. Mark and release the secondary stack when the
context warrants it.
(Make_Transient_Block): Update the call
to Insert_Actions_In_Scope_Around to account for parameter Manage_SS.
(Wrap_Transient_Declaration): Remove local variable
Uses_SS. Ensure that the secondary stack is marked and released
when the related object declaration appears in a library level
package or package body. Code and comment reformatting.
* exp_util.ads, exp_util.adb (Build_SS_Mark_Call): New routine.
(Build_SS_Release_Call): New routine.
2014-07-30 Steve Baird <baird@adacore.com>
* exp_attr.adb: Revert previous change, not needed after all.
2014-07-30 Vincent Celier <celier@adacore.com>
* makeutl.adb (Queue.Insert_Project_Sources): Insert with
Closure => True for interfaces of Stand-Alone Libraries.
* makeutl.ads (Source_Info (Format => Gprbuild)): Add new
Boolean component Closure, defaulted to False.
2014-07-30 Yannick Moy <moy@adacore.com>
* sem_res.adb: Fix typo in error message.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213291 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index 2f316ddb8d1..a47c7873237 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -244,6 +244,18 @@ package Exp_Util is -- information for the tree and for error messages. The call node is not -- analyzed on return, the caller is responsible for analyzing it. + function Build_SS_Mark_Call + (Loc : Source_Ptr; + Mark : Entity_Id) return Node_Id; + -- Build a call to routine System.Secondary_Stack.Mark. Mark denotes the + -- entity of the secondary stack mark. + + function Build_SS_Release_Call + (Loc : Source_Ptr; + Mark : Entity_Id) return Node_Id; + -- Build a call to routine System.Secondary_Stack.Release. Mark denotes the + -- entity of the secondary stack mark. + function Build_Task_Image_Decls (Loc : Source_Ptr; Id_Ref : Node_Id; |