diff options
author | Ed Schonberg <schonberg@adacore.com> | 2018-05-22 13:25:22 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-22 13:25:22 +0000 |
commit | 801b4022e11b50c4124b489ccc621332b2d92946 (patch) | |
tree | 4f2c12ed748b28bddeeadaefb7cccf0baafd8660 /gcc/ada/sinfo.adb | |
parent | 208ebca928f079408cea3562a0006bc1bb8092fa (diff) | |
download | gcc-801b4022e11b50c4124b489ccc621332b2d92946.zip gcc-801b4022e11b50c4124b489ccc621332b2d92946.tar.gz gcc-801b4022e11b50c4124b489ccc621332b2d92946.tar.bz2 |
[Ada] Ada2020: Reduction expressions
This patch dismantles the prototype implementation of the first proposal
for Reduction expressions, one of the important potentially parallel
constructs for Ada2020. The ARG is going in a different direction with
a simpler syntax.
2018-05-22 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* exp_ch4.ads, exp_ch4.adb, exp_util.adb, expander.adb: Remove mention
of N_Reduction_Expression and N_Reduction_Expression_Parameter.
* par-ch4.adb: Remove parsing routines for reduction expressions.
* sem.adb, sinfo.ads, sinfo.adb, sem_ch4.ads, sem_ch4.adb, sem_res.adb,
sem_spark.adb, sprint.adb: Remove analysis routines for reduction
expressions.
From-SVN: r260524
Diffstat (limited to 'gcc/ada/sinfo.adb')
-rw-r--r-- | gcc/ada/sinfo.adb | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/gcc/ada/sinfo.adb b/gcc/ada/sinfo.adb index d27a905..4ab5614 100644 --- a/gcc/ada/sinfo.adb +++ b/gcc/ada/sinfo.adb @@ -1279,8 +1279,6 @@ package body Sinfo is or else NT (N).Nkind = N_Qualified_Expression or else NT (N).Nkind = N_Raise_Expression or else NT (N).Nkind = N_Raise_Statement - or else NT (N).Nkind = N_Reduction_Expression - or else NT (N).Nkind = N_Reduction_Expression_Parameter or else NT (N).Nkind = N_Simple_Return_Statement or else NT (N).Nkind = N_Type_Conversion or else NT (N).Nkind = N_Unchecked_Expression @@ -2217,8 +2215,7 @@ package body Sinfo is begin pragma Assert (False or else NT (N).Nkind = N_Iteration_Scheme - or else NT (N).Nkind = N_Quantified_Expression - or else NT (N).Nkind = N_Reduction_Expression); + or else NT (N).Nkind = N_Quantified_Expression); return Node2 (N); end Iterator_Specification; @@ -2348,8 +2345,7 @@ package body Sinfo is begin pragma Assert (False or else NT (N).Nkind = N_Iteration_Scheme - or else NT (N).Nkind = N_Quantified_Expression - or else NT (N).Nkind = N_Reduction_Expression); + or else NT (N).Nkind = N_Quantified_Expression); return Node4 (N); end Loop_Parameter_Specification; @@ -4746,8 +4742,6 @@ package body Sinfo is or else NT (N).Nkind = N_Qualified_Expression or else NT (N).Nkind = N_Raise_Expression or else NT (N).Nkind = N_Raise_Statement - or else NT (N).Nkind = N_Reduction_Expression - or else NT (N).Nkind = N_Reduction_Expression_Parameter or else NT (N).Nkind = N_Simple_Return_Statement or else NT (N).Nkind = N_Type_Conversion or else NT (N).Nkind = N_Unchecked_Expression @@ -5684,8 +5678,7 @@ package body Sinfo is begin pragma Assert (False or else NT (N).Nkind = N_Iteration_Scheme - or else NT (N).Nkind = N_Quantified_Expression - or else NT (N).Nkind = N_Reduction_Expression); + or else NT (N).Nkind = N_Quantified_Expression); Set_Node2_With_Parent (N, Val); end Set_Iterator_Specification; @@ -5815,8 +5808,7 @@ package body Sinfo is begin pragma Assert (False or else NT (N).Nkind = N_Iteration_Scheme - or else NT (N).Nkind = N_Quantified_Expression - or else NT (N).Nkind = N_Reduction_Expression); + or else NT (N).Nkind = N_Quantified_Expression); Set_Node4_With_Parent (N, Val); end Set_Loop_Parameter_Specification; |