diff options
| -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 bc16c08cb27..18538c878be 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 f6acc6c6ca1..c52f5ad7dcb 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; |
