diff options
| author | sam <sam@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-04-16 12:37:38 +0000 |
|---|---|---|
| committer | sam <sam@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-04-16 12:37:38 +0000 |
| commit | 81012a4c7a37cd678d233e409cde1c760f9911e3 (patch) | |
| tree | 7129d76c3d30754954850039ec1009c661d0f75a /gcc/ada/sem_ch12.adb | |
| parent | 5a239a5999b9e55fc56771edaa8413c61f63f2e1 (diff) | |
| download | gcc-81012a4c7a37cd678d233e409cde1c760f9911e3.tar.gz | |
gcc/ada/
PR ada/29015
* sem_ch12.adb (Instantiate_Type): Check whether the full view of
the type is known instead of the underlying type.
gcc/testsuite/
PR ada/29015
* gnat.dg/incomplete1.ads, gnat.dg/incomplete2.ads,
gnat.dg/incomplete2.adb: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134345 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_ch12.adb')
| -rw-r--r-- | gcc/ada/sem_ch12.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index c44f3929d50..60833fc2bdb 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -9990,7 +9990,7 @@ package body Sem_Ch12 is Ekind (Root_Type (Act_T)) = E_Incomplete_Type) then if Is_Class_Wide_Type (Act_T) - or else No (Underlying_Type (Act_T)) + or else No (Full_View (Act_T)) then Error_Msg_N ("premature use of incomplete type", Actual); Abandon_Instantiation (Actual); |