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/sinfo.adb | |
| 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/sinfo.adb')
| -rw-r--r-- | gcc/ada/sinfo.adb | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index 5ea25db..9738101 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1752,6 +1752,14 @@ package body Sinfo is return Uint3 (N); end Intval; + function Is_Abort_Block + (N : Node_Id) return Boolean is + begin + pragma Assert (False + or else NT (N).Nkind = N_Block_Statement); + return Flag4 (N); + end Is_Abort_Block; + function Is_Accessibility_Actual (N : Node_Id) return Boolean is begin @@ -5015,6 +5023,14 @@ package body Sinfo is Set_Uint3 (N, Val); end Set_Intval; + procedure Set_Is_Abort_Block + (N : Node_Id; Val : Boolean := True) is + begin + pragma Assert (False + or else NT (N).Nkind = N_Block_Statement); + Set_Flag4 (N, Val); + end Set_Is_Abort_Block; + procedure Set_Is_Accessibility_Actual (N : Node_Id; Val : Boolean := True) is begin |