diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-10-08 14:37:52 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-25 15:07:20 +0000 |
| commit | 6888031123ed16ccf01dd803207362b4500db624 (patch) | |
| tree | ae2c59dc554864c42c3a3352b2d0adb3db17b71e | |
| parent | 1be75e7451b00aca32ed96be43223ee67d163429 (diff) | |
| download | gcc-6888031123ed16ccf01dd803207362b4500db624.zip gcc-6888031123ed16ccf01dd803207362b4500db624.tar.gz gcc-6888031123ed16ccf01dd803207362b4500db624.tar.bz2 | |
[Ada] Remove redundant guard in expansion of dispatching calls
gcc/ada/
* exp_ch3.adb (Predefined_Primitive_Bodies): Remove redundant
conditions related to interface types.
| -rw-r--r-- | gcc/ada/exp_ch3.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index e7eed28..e8d4326 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -11102,7 +11102,6 @@ package body Exp_Ch3 is -- they may be ancestors of synchronized interface types). if Ada_Version >= Ada_2005 - and then not Is_Interface (Tag_Typ) and then ((Is_Interface (Etype (Tag_Typ)) and then Is_Limited_Record (Etype (Tag_Typ))) @@ -11123,7 +11122,7 @@ package body Exp_Ch3 is Append_To (Res, Make_Disp_Timed_Select_Body (Tag_Typ)); end if; - if not Is_Limited_Type (Tag_Typ) and then not Is_Interface (Tag_Typ) then + if not Is_Limited_Type (Tag_Typ) then -- Body for equality |