diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-12 09:09:30 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-09-12 09:09:30 +0000 |
commit | dacc5d00bb3965904bac3b725c0caa701674cb48 (patch) | |
tree | 16fc648ca8701a41f896159dee007f0dc42f6436 /gcc/ada/sem_util.adb | |
parent | 73b43bd55e655a64fa872fdc2eedf70f524e99a3 (diff) | |
download | gcc-dacc5d00bb3965904bac3b725c0caa701674cb48.tar.gz |
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))".
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@251999 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.adb')
-rw-r--r-- | gcc/ada/sem_util.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 97c83a26bfc..bbf60a65bb0 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); |