mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 15:41:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

sem_ch3.adb (Build_Derived_Concurrent_Type): Set the Is_Constrained flag of derived concurrent types...

Browse Source 
2007-10-15  Gary Dismukes  <dismukes@adacore.com>

	* sem_ch3.adb (Build_Derived_Concurrent_Type): Set the Is_Constrained
	flag of derived concurrent types, taking into account the flag setting
	on the parent subtype and any new set of discriminants.

From-SVN: r129333
This commit is contained in:
Gary Dismukes 2007-10-15 15:56:36 +02:00 committed by Arnaud Charlet
parent 5404d9df9b
commit 0501956d00
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
gcc/ada/sem_ch3.adb
View File

@ -3855,6 +3855,12 @@ package body Sem_Ch3 is
Dont_Care : Boolean;
Others_Present : Boolean := False;
pragma Warnings (Off, Case_Table);
pragma Warnings (Off, Last_Choice);
pragma Warnings (Off, Dont_Care);
pragma Warnings (Off, Others_Present);
-- We don't care about the assigned values of any of these
-- Start of processing for Analyze_Variant_Part
begin
@ -4573,6 +4579,14 @@ package body Sem_Ch3 is
Set_Corresponding_Record_Type
(Derived_Type, Corresponding_Record_Type (Parent_Type));
-- Is_Constrained is set according the parent subtype, but is set to
-- False if the derived type is declared with new discriminants.
Set_Is_Constrained
(Derived_Type,
(Is_Constrained (Parent_Type) or else Constraint_Present)
and then not Present (Discriminant_Specifications (N)));
if Constraint_Present then
if not Has_Discriminants (Parent_Type) then
Error_Msg_N ("untagged parent must have discriminants", N);