diff options
| author | Bob Duff <duff@adacore.com> | 2017-09-12 09:09:30 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-12 11:09:30 +0200 |
| commit | 7f9fcce8343219550bb754890c178f34ccdddce7 (patch) | |
| tree | 16fc648ca8701a41f896159dee007f0dc42f6436 /gcc | |
| parent | cff44c10ae1f4d3dc73abed85dfa785b70a553e1 (diff) | |
| download | gcc-7f9fcce8343219550bb754890c178f34ccdddce7.zip gcc-7f9fcce8343219550bb754890c178f34ccdddce7.tar.gz gcc-7f9fcce8343219550bb754890c178f34ccdddce7.tar.bz2 | |
sem_ch6.adb (Analyze_Expression_Function): Call Check_Dynamically_Tagged_Expression.
2017-09-12 Bob Duff <duff@adacore.com>
* sem_ch6.adb (Analyze_Expression_Function): Call
Check_Dynamically_Tagged_Expression.
* sem_util.adb (Check_Dynamically_Tagged_Expression): Remove
"and then Is_Tagged_Type (Typ)" because there is an earlier
"Assert (Is_Tagged_Type (Typ))".
From-SVN: r251999
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/sem_ch6.adb | 15 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 1 |
3 files changed, 23 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index dbf5210..4882093 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2017-09-12 Bob Duff <duff@adacore.com> + + * sem_ch6.adb (Analyze_Expression_Function): Call + Check_Dynamically_Tagged_Expression. + * sem_util.adb (Check_Dynamically_Tagged_Expression): Remove + "and then Is_Tagged_Type (Typ)" because there is an earlier + "Assert (Is_Tagged_Type (Typ))". + 2017-09-12 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/Makefile.in (SPARC/Solaris): Remove obsolete stuff. diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index b016193..b4232a5 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -741,6 +741,21 @@ package body Sem_Ch6 is end; end if; + -- Check incorrect use of dynamically tagged expression. This doesn't + -- fall out automatically when analyzing the generated function body, + -- because Check_Dynamically_Tagged_Expression deliberately ignores + -- nodes that don't come from source. + + if Present (Def_Id) + and then Nkind (Def_Id) in N_Has_Etype + and then Is_Tagged_Type (Etype (Def_Id)) + then + Check_Dynamically_Tagged_Expression + (Expr => Expr, + Typ => Etype (Def_Id), + Related_Nod => Original_Node (N)); + end if; + -- If the return expression is a static constant, we suppress warning -- messages on unused formals, which in most cases will be noise. diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 97c83a2..bbf60a6 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -2022,7 +2022,6 @@ package body Sem_Util is or else In_Generic_Actual (Expr)) and then (Is_Class_Wide_Type (Etype (Expr)) or else Is_Dynamically_Tagged (Expr)) - and then Is_Tagged_Type (Typ) and then not Is_Class_Wide_Type (Typ) then Error_Msg_N ("dynamically tagged expression not allowed!", Expr); |