diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2008-08-06 12:03:21 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-06 12:03:21 +0200 |
| commit | 3c829e3c37712de210300f03fe32c8fb8ff547ba (patch) | |
| tree | 96c5fcb8e6db82bb4d5426f17a684a057387a004 | |
| parent | 65aa315eeaa188f0da06fbb10b32f9b3436c1cb9 (diff) | |
| download | gcc-3c829e3c37712de210300f03fe32c8fb8ff547ba.zip gcc-3c829e3c37712de210300f03fe32c8fb8ff547ba.tar.gz gcc-3c829e3c37712de210300f03fe32c8fb8ff547ba.tar.bz2 | |
sem_ch3.adb (Analyze_Component_Declaration): Protect against misuse of incomplete type.
2008-08-06 Ed Schonberg <schonberg@adacore.com>
* 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
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 1 | ||||
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index bc16c08..18538c8 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 f6acc6c..c52f5ad 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; |