diff options
| author | Javier Miranda <miranda@adacore.com> | 2009-07-20 13:31:05 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-20 15:31:05 +0200 |
| commit | 4755cce9e215a2b6298563bc74c024406aa47df0 (patch) | |
| tree | becdb2012401fbc7c32405f7f7396a93934dd38b /gcc/ada/sem_ch8.adb | |
| parent | 46fe0142e1f8287fc12ffc4f50f2b2017536a396 (diff) | |
| download | gcc-4755cce9e215a2b6298563bc74c024406aa47df0.tar.gz | |
sem_util.ads, [...] (Check_Dynamically_Tagged_Expression): New subprogram.
2009-07-20 Javier Miranda <miranda@adacore.com>
* sem_util.ads, sem_util.adb (Check_Dynamically_Tagged_Expression): New
subprogram.
* sem_aggr.adb (Resolve_Array_Aggregate): Check incorrect use of
dynamically tagged expression.
* sem_ch3.adb (Analyze_Object_Declaration): Call new routine that
factorizes code.
* sem_ch6.adb (Analyze_Function_Return, Process_Formals): Ditto.
* sem_ch8.adb (Analyze_Object_Renaming): Ditto.
From-SVN: r149817
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index afb0d4233ec..005dedfbc25 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -754,12 +754,11 @@ package body Sem_Ch8 is -- cases where the renamed object is a dynamically tagged access -- result, such as occurs in certain expansions. - if (Is_Class_Wide_Type (Etype (Nam)) - or else (Is_Dynamically_Tagged (Nam) - and then not Is_Access_Type (T))) - and then not Is_Class_Wide_Type (T) - then - Error_Msg_N ("dynamically tagged expression not allowed!", Nam); + if Is_Tagged_Type (T) then + Check_Dynamically_Tagged_Expression + (Expr => Nam, + Typ => T, + Related_Nod => N); end if; -- Ada 2005 (AI-230/AI-254): Access renaming |