From 98b5d2980d95d110ad4ba26e83fbcad4648b658d Mon Sep 17 00:00:00 2001 From: Hristian Kirtchev Date: Wed, 29 Jan 2014 16:10:44 +0000 Subject: sem_prag.adb (Check_Missing_Part_Of): List all values of State_Space_Kind for readability reasons. 2014-01-29 Hristian Kirtchev * sem_prag.adb (Check_Missing_Part_Of): List all values of State_Space_Kind for readability reasons. Do not emit an error on a private item when the enclosing package lacks aspect/pragma Abstract_State. Do not emit an error on a private package instantiation when the corresponding generic template lacks visible state. (Has_Visible_State): New routine. * sem_util.adb (Find_Placement_In_State_Space): The visible declarations of any kind of child units in general act as proper placement location. From-SVN: r207261 --- gcc/ada/sem_util.adb | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'gcc/ada/sem_util.adb') diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index f5a13cd..e6b3233 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -5884,12 +5884,10 @@ package body Sem_Util is else Placement := Visible_State_Space; - -- The visible state space of a private child unit acts as the - -- proper placement of an item. + -- The visible state space of a child unit acts as the proper + -- placement of an item. - if Is_Child_Unit (Context) - and then Is_Private_Descendant (Context) - then + if Is_Child_Unit (Context) then return; end if; end if; -- cgit v1.1