diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-01-29 16:10:44 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-29 17:10:44 +0100 |
| commit | 98b5d2980d95d110ad4ba26e83fbcad4648b658d (patch) | |
| tree | af4a881761c68480af7fb1a8c49e5745554eaf6e /gcc/ada/sem_util.adb | |
| parent | a90bd866a9726aa68ea89f83e84376d7098b0b2d (diff) | |
| download | gcc-98b5d2980d95d110ad4ba26e83fbcad4648b658d.zip gcc-98b5d2980d95d110ad4ba26e83fbcad4648b658d.tar.gz gcc-98b5d2980d95d110ad4ba26e83fbcad4648b658d.tar.bz2 | |
sem_prag.adb (Check_Missing_Part_Of): List all values of State_Space_Kind for readability reasons.
2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>
* 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
Diffstat (limited to 'gcc/ada/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 8 |
1 files changed, 3 insertions, 5 deletions
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; |