diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-06 14:40:07 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-06 14:40:07 +0200 |
| commit | bb072d1c1716ecb6cd99f43a5dbc4855931302d3 (patch) | |
| tree | 620ce7d743d7bff057b8ab91942a5638a830c51b /gcc/ada/exp_util.ads | |
| parent | 937e96763e42c48c29e3a5edf2eea3fb2c59fb27 (diff) | |
| download | gcc-bb072d1c1716ecb6cd99f43a5dbc4855931302d3.zip gcc-bb072d1c1716ecb6cd99f43a5dbc4855931302d3.tar.gz gcc-bb072d1c1716ecb6cd99f43a5dbc4855931302d3.tar.bz2 | |
[multiple changes]
2016-07-06 Hristian Kirtchev <kirtchev@adacore.com>
* exp_aggr.adb Remove with and use clauses for Exp_Ch11 and Inline.
(Initialize_Array_Component): Protect the initialization
statements in an abort defer / undefer block when the associated
component is controlled.
(Initialize_Record_Component): Protect the initialization statements
in an abort defer / undefer block when the associated component is
controlled.
(Process_Transient_Component_Completion): Use Build_Abort_Undefer_Block
to create an abort defer / undefer block.
* exp_ch3.adb Remove with and use clauses for Exp_ch11 and Inline.
(Default_Initialize_Object): Use Build_Abort_Undefer_Block to
create an abort defer / undefer block.
* exp_ch5.adb (Expand_N_Assignment_Statement): Mark an abort
defer / undefer block as such.
* exp_ch9.adb (Find_Enclosing_Context): Do not consider an abort
defer / undefer block as a suitable context for an activation
chain or a master.
* exp_util.adb Add with and use clauses for Exp_Ch11.
(Build_Abort_Undefer_Block): New routine.
* exp_util.ads (Build_Abort_Undefer_Block): New routine.
* sinfo.adb (Is_Abort_Block): New routine.
(Set_Is_Abort_Block): New routine.
* sinfo.ads New attribute Is_Abort_Block along with occurrences
in nodes.
(Is_Abort_Block): New routine along with pragma Inline.
(Set_Is_Abort_Block): New routine along with pragma Inline.
2016-07-06 Justin Squirek <squirek@adacore.com>
* sem_ch4.adb (Analyze_One_Call): Add a conditional to handle
disambiguation.
From-SVN: r238045
Diffstat (limited to 'gcc/ada/exp_util.ads')
| -rw-r--r-- | gcc/ada/exp_util.ads | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ada/exp_util.ads b/gcc/ada/exp_util.ads index e5b9916..b82d408 100644 --- a/gcc/ada/exp_util.ads +++ b/gcc/ada/exp_util.ads @@ -238,6 +238,15 @@ package Exp_Util is -- must be a free statement. If flag Is_Allocate is set, the generated -- routine is allocate, deallocate otherwise. + function Build_Abort_Undefer_Block + (Loc : Source_Ptr; + Stmts : List_Id; + Context : Node_Id) return Node_Id; + -- Wrap statements Stmts in a block where the AT END handler contains a + -- call to Abort_Undefer_Direct. Context is the node which prompted the + -- inlining of the abort undefer routine. Note that this routine does + -- not install a call to Abort_Defer. + procedure Build_Procedure_Form (N : Node_Id); -- Create a procedure declaration which emulates the behavior of a function -- that returns an array type, for C-compatible generation. |