mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-19 03:40:26 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR ada/17985 (GNAT accepts extension aggregate where expexted type is not extension)

Browse Source 
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

	* sem_aggr.adb: Update comments.
	Improve previous change for PR ada/17985

From-SVN: r135636
This commit is contained in:
Ed Schonberg 2008-05-20 14:49:21 +02:00 committed by Arnaud Charlet
parent 73c25d9b9d
commit 1543e3abae
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/sem_aggr.adb
View File

@ -2113,7 +2113,7 @@ package body Sem_Aggr is
function Valid_Ancestor_Type return Boolean;
-- Verify that the type of the ancestor part is a non-private ancestor
-- of the expected type.
-- of the expected type, which must be a type extension.
----------------------------
-- Valid_Limited_Ancestor --
@ -2159,8 +2159,8 @@ package body Sem_Aggr is
Imm_Type := Etype (Base_Type (Imm_Type));
end loop;
if Etype (Imm_Type) /= Base_Type (A_Type)
or else Base_Type (Typ) = Base_Type (A_Type)
if not Is_Derived_Type (Base_Type (Typ))
or else Etype (Imm_Type) /= Base_Type (A_Type)
then
Error_Msg_NE ("expect ancestor type of &", A, Typ);
return False;