From 3c829e3c37712de210300f03fe32c8fb8ff547ba Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Wed, 6 Aug 2008 12:03:21 +0200 Subject: [PATCH] sem_ch3.adb (Analyze_Component_Declaration): Protect against misuse of incomplete type. 2008-08-06 Ed Schonberg * sem_ch3.adb (Analyze_Component_Declaration): Protect against misuse of incomplete type. * sem_ch8.adb (Analyze_Object_Renaming): Diagnose properly a renaming of a formal parameter of an incomplete type. Improve error message for other improper uses of incomplete types. From-SVN: r138790 --- gcc/ada/sem_ch3.adb | 1 + gcc/ada/sem_ch8.adb | 5 ++++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index bc16c08cb27b..18538c878be4 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -1667,6 +1667,7 @@ package body Sem_Ch3 is if Ada_Version >= Ada_05 and then Ekind (T) = E_Anonymous_Access_Type + and then Etype (E) /= Any_Type then -- Check RM 3.9.2(9): "if the expected type for an expression is -- an anonymous access-to-specific tagged type, then the object diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index f6acc6c6ca18..c52f5ad7dcbc 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -832,7 +832,10 @@ package body Sem_Ch8 is if Nkind (Nam) = N_Explicit_Dereference and then Ekind (Etype (T2)) = E_Incomplete_Type then - Error_Msg_N ("invalid use of incomplete type", Id); + Error_Msg_NE ("invalid use of incomplete type&", Id, T2); + return; + elsif Ekind (Etype (T)) = E_Incomplete_Type then + Error_Msg_NE ("invalid use of incomplete type&", Id, T); return; end if; -- 2.47.2