[gcc r11-3935] [Ada] Remove excessive defensive calls to Is_Type

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:fcbac1b3344c0e6376b11b0f555dcfb908bbf775

commit r11-3935-gfcbac1b3344c0e6376b11b0f555dcfb908bbf775
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Tue Jun 23 17:40:22 2020 +0200

    [Ada] Remove excessive defensive calls to Is_Type
    
    gcc/ada/
    
            * sem_ch3.adb (Access_Subprogram_Declaration): Remove extra
            parens.
            (Make_Index): Remove excessive calls to Is_Type.

Diff:
---
 gcc/ada/sem_ch3.adb | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index ca982ff0024..a5fb045171d 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -1185,7 +1185,7 @@ package body Sem_Ch3 is
             end;
          end if;
 
-         if not (Is_Type (Etype (Desig_Type))) then
+         if not Is_Type (Etype (Desig_Type)) then
             Error_Msg_N
               ("expect type in function specification",
                Result_Definition (T_Def));
@@ -19214,7 +19214,6 @@ package body Sem_Ch3 is
          if Nkind (Low_Bound (N)) = N_Attribute_Reference
            and then Attribute_Name (Low_Bound (N)) = Name_First
            and then Is_Entity_Name (Prefix (Low_Bound (N)))
-           and then Is_Type (Entity (Prefix (Low_Bound (N))))
            and then Is_Discrete_Type (Entity (Prefix (Low_Bound (N))))
          then
             --  The type of the index will be the type of the prefix, as long
@@ -19266,7 +19265,6 @@ package body Sem_Ch3 is
 
          if Is_Entity_Name (Prefix (N))
            and then Comes_From_Source (N)
-           and then Is_Type (Entity (Prefix (N)))
            and then Is_Discrete_Type (Entity (Prefix (N)))
          then
             Def_Id := Entity (Prefix (N));