diff options
author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-11-12 11:35:30 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-12 12:35:30 +0100 |
commit | e9ea8f9e56c95c1a36ca24b365de5c2bbb1dfe2a (patch) | |
tree | ed13011c5cbac7b87777b7a2d7abcf64c0efd4f6 /gcc/ada/atree.adb | |
parent | 8a0183fdf2e1282bcbe6a7a035def0330e599b71 (diff) | |
download | gcc-e9ea8f9e56c95c1a36ca24b365de5c2bbb1dfe2a.tar.gz |
sem_ch10.adb, atree.adb: Minor reformatting.
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch10.adb, atree.adb: Minor reformatting.
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_elab.adb (Check_A_Call): Add new variable
Is_DIC_Proc. Report elaboration issue in SPARK concerning calls
to source subprograms or nontrivial Default_Initial_Condition
procedures. Add specialized error message to avoid outputting
the internal name of the Default_Initial_Condition procedure.
* sem_util.ads, sem_util.adb
(Is_Non_Trivial_Default_Init_Cond_Procedure): New routine.
From-SVN: r230237
Diffstat (limited to 'gcc/ada/atree.adb')
-rw-r--r-- | gcc/ada/atree.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/atree.adb b/gcc/ada/atree.adb index b03da914165..1afaca6908d 100644 --- a/gcc/ada/atree.adb +++ b/gcc/ada/atree.adb @@ -794,7 +794,7 @@ package body Atree is ------------------------ function Copy_Separate_Tree (Source : Node_Id) return Node_Id is - New_Id : Node_Id; + New_Id : Node_Id; function Copy_Entity (E : Entity_Id) return Entity_Id; -- Copy Entity, copying only the Ekind and Chars fields @@ -803,8 +803,8 @@ package body Atree is -- Copy list function Possible_Copy (Field : Union_Id) return Union_Id; - -- Given a field, returns a copy of the node or list if its parent - -- is the current source node, and otherwise returns the input + -- Given a field, returns a copy of the node or list if its parent is + -- the current source node, and otherwise returns the input. ----------------- -- Copy_Entity -- @@ -871,8 +871,7 @@ package body Atree is begin if Field in Node_Range then - New_N := - Union_Id (Copy_Separate_Tree (Node_Id (Field))); + New_N := Union_Id (Copy_Separate_Tree (Node_Id (Field))); if Parent (Node_Id (Field)) = Source then Set_Parent (Node_Id (New_N), New_Id); |