From 51c16e2998aa74045dffe63e3c561b08d2e7c477 Mon Sep 17 00:00:00 2001 From: Samuel Tardieu Date: Mon, 18 Aug 2008 08:58:58 +0000 Subject: re PR ada/15808 (Illegal program not detected, RM 3.9.3(10)) gcc/ada/ PR ada/15808 * sem_ch6.adb (Check_Private_Overriding): Check for generic packages as well. gcc/testsuite/ PR ada/15808 * gnat.dg/specs/abstract_private.ads: New. From-SVN: r139190 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/sem_ch6.adb | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) (limited to 'gcc/ada') diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8aa238f..3ffa651 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2008-08-18 Samuel Tardieu + + PR ada/15808 + * sem_ch6.adb (Check_Private_Overriding): Check for generic packages + as well. + 2008-08-17 Aaron W. LaFramboise * adaint.c (_gnat_set_close_on_exec) [_WIN32]: Implement. diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 1e84b26..d3faa0e 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -6481,7 +6481,7 @@ package body Sem_Ch6 is procedure Check_Private_Overriding (T : Entity_Id) is begin - if Ekind (Current_Scope) = E_Package + if Is_Package_Or_Generic_Package (Current_Scope) and then In_Private_Part (Current_Scope) and then Visible_Part_Type (T) and then not In_Instance -- cgit v1.1