From 58996b09cafcb656b74a6df85b2c632f6500d2ab Mon Sep 17 00:00:00 2001 From: Hristian Kirtchev Date: Mon, 26 Oct 2015 15:40:10 +0000 Subject: contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for both constants and objects. 2015-10-26 Hristian Kirtchev * 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 * 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 * 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 --- gcc/ada/expander.adb | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'gcc/ada/expander.adb') 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; -- cgit v1.1