diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2015-10-26 15:40:10 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 16:40:10 +0100 |
| commit | 58996b09cafcb656b74a6df85b2c632f6500d2ab (patch) | |
| tree | 9e5112a192e9b07ac50732ae3a8af868df7dd3e7 /gcc/ada/expander.adb | |
| parent | c67e5194634c5c3dfd16580e862fb9d4a4552bc9 (diff) | |
| download | gcc-58996b09cafcb656b74a6df85b2c632f6500d2ab.zip gcc-58996b09cafcb656b74a6df85b2c632f6500d2ab.tar.gz gcc-58996b09cafcb656b74a6df85b2c632f6500d2ab.tar.bz2 | |
contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for both constants and objects.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* contracts.adb (Analyze_Object_Contract): Set and restore
the SPARK_Mode for both constants and objects. Factor out the
semantic checks concerning Ghost objects.
* freeze.adb (Freeze_Array_Type): A Ghost array type cannot have a
concurrent component type.
(Freeze_Entity): A Ghost type cannot also be concurrent.
(Freeze_Record_Type): A Ghost record type cannot have a concurrent
component.
* sem_prag.adb (Analyze_Abstract_State): A Ghost abstract
state cannot also be synchronized.
(Check_Ghost_Synchronous): New routine.
* sem_util.adb (Yields_Synchronized_Object): Correct the case
of record components to account for the case where the type has
no component list.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* expander.adb (Expand): Expand a single protected declaration.
* exp_ch9.ads, exp_ch9.adb (Expand_N_Single_Protected_Declaration): New
routine.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Is_OK_Volatile_Context): A volatile object may appear
in an object declaration as long as it denotes the name.
From-SVN: r229376
Diffstat (limited to 'gcc/ada/expander.adb')
| -rw-r--r-- | gcc/ada/expander.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/expander.adb b/gcc/ada/expander.adb index 2d9b6d9..4aa20d6 100644 --- a/gcc/ada/expander.adb +++ b/gcc/ada/expander.adb @@ -432,6 +432,9 @@ package body Expander is when N_Selective_Accept => Expand_N_Selective_Accept (N); + when N_Single_Protected_Declaration => + Expand_N_Single_Protected_Declaration (N); + when N_Single_Task_Declaration => Expand_N_Single_Task_Declaration (N); @@ -471,7 +474,7 @@ package body Expander is when N_Variant_Part => Expand_N_Variant_Part (N); - -- For all other node kinds, no expansion activity required + -- For all other node kinds, no expansion activity required when others => null; |