diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 16:35:49 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 16:35:49 +0100 |
| commit | 335dde2981e5680619d25bf934527c9549959569 (patch) | |
| tree | 18e4936eb4e3db3f0c7f204fc1c3366021022f98 /gcc/ada/sem_ch9.adb | |
| parent | 378dc6ca34677edf03df66aee0581fe92eb1fb06 (diff) | |
| download | gcc-335dde2981e5680619d25bf934527c9549959569.zip gcc-335dde2981e5680619d25bf934527c9549959569.tar.gz gcc-335dde2981e5680619d25bf934527c9549959569.tar.bz2 | |
[multiple changes]
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch9.adb (Analyze_Single_Protected_Declaration): The anonymous
object no longer comes from source.
(Analyze_Single_Task_Declaration): The anonymous object no longer
comes from source.
* sem_prag.adb (Analyze_Pragma): The analysis of pragma SPARK_Mode
now recognizes the internal anonymous object created for a single
concurren type as a valid context.
(Find_Related_Context): The internal anonymous object created for a
single concurrent type is now a valid context.
(Find_Related_Declaration_Or_Body): The internal anonymous object
created for a single concurrent type is now a valid context.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Inherit_Rep_Item_Chain): Another another guard
to prevent circularities in the rep_item_chain of the full view
of a type extension in a child unit that extends a private type
from the parent.
From-SVN: r229374
Diffstat (limited to 'gcc/ada/sem_ch9.adb')
| -rw-r--r-- | gcc/ada/sem_ch9.adb | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb index 2b3e42b..47cd3c6 100644 --- a/gcc/ada/sem_ch9.adb +++ b/gcc/ada/sem_ch9.adb @@ -2665,11 +2665,6 @@ package body Sem_Ch9 is Defining_Identifier => Obj_Id, Object_Definition => New_Occurrence_Of (Typ, Loc)); - -- Relocate the aspects that appear on the original single protected - -- declaration to the object as the object is the visible name. - - Set_Comes_From_Source (Obj_Decl, True); - Insert_After (N, Obj_Decl); Mark_Rewrite_Insertion (Obj_Decl); @@ -2756,11 +2751,6 @@ package body Sem_Ch9 is Defining_Identifier => Obj_Id, Object_Definition => New_Occurrence_Of (Typ, Loc)); - -- Relocate the aspects that appear on the original single protected - -- declaration to the object as the object is the visible name. - - Set_Comes_From_Source (Obj_Decl, True); - Insert_After (N, Obj_Decl); Mark_Rewrite_Insertion (Obj_Decl); |