[Ada] Replace low-level Ekind membership tests with high-level Is_Formal

gcc/ada/

	* einfo.adb, exp_attr.adb, sem_ch13.adb, sem_util.adb: Use
	Is_Formal where possible.

diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb
index 9ea261683c456acaa2cf0966c82749f441a70f2c..63878e4e1eda59f11be4ac24a64d2778318d5f89 100644 (file)
--- a/gcc/ada/einfo.adb
+++ b/gcc/ada/einfo.adb
@@ -2864,7 +2864,7 @@ package body Einfo is
 
    function Minimum_Accessibility (Id : E) return E is
    begin
-      pragma Assert (Ekind (Id) in Formal_Kind);
+      pragma Assert (Is_Formal (Id));
       return Node24 (Id);
    end Minimum_Accessibility;
 
@@ -6130,7 +6130,7 @@ package body Einfo is
 
    procedure Set_Minimum_Accessibility (Id : E; V : E) is
    begin
-      pragma Assert (Ekind (Id) in Formal_Kind);
+      pragma Assert (Is_Formal (Id));
       Set_Node24 (Id, V);
    end Set_Minimum_Accessibility;
 

diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb
index 0bc08aee03560433d7231654096235b3b8007a68..c596659e356aed17ae458c8241fd7ef022768755 100644 (file)
--- a/gcc/ada/exp_attr.adb
+++ b/gcc/ada/exp_attr.adb
@@ -2334,7 +2334,7 @@ package body Exp_Attr is
               and then Is_Entity_Name (Prefix (Enc_Object))
               and then (Ekind (Btyp) = E_General_Access_Type
                          or else Is_Local_Anonymous_Access (Btyp))
-              and then Ekind (Entity (Prefix (Enc_Object))) in Formal_Kind
+              and then Is_Formal (Entity (Prefix (Enc_Object)))
               and then Ekind (Etype (Entity (Prefix (Enc_Object))))
                          = E_Anonymous_Access_Type
               and then Present (Extra_Accessibility

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 63ca3211f4367fbe8c67f99ebc2a57a1fa28d410..ab00b59c7d8313396cc09246f931ae85087f3bb3 100644 (file)
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -7205,7 +7205,7 @@ package body Sem_Ch13 is
 
                   --  check (C)
 
-                  if Present (Obj) and then Ekind (Obj) in Formal_Kind then
+                  if Present (Obj) and then Is_Formal (Obj) then
                      Error_Msg_N
                        ("subpool cannot be part of a parameter", Ent);
                      return;

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 45a551f16d054eb0e1639902d0901cb12f0d7d25..b8bdc7bfa1793e8999bdb9a9596c232f6ef8e15f 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -9578,7 +9578,7 @@ package body Sem_Util is
       --  To avoid these situations where expansion may get complex we verify
       --  that the minimum accessibility object is within scope.
 
-      if Ekind (E) in Formal_Kind
+      if Is_Formal (E)
         and then Present (Minimum_Accessibility (E))
         and then In_Open_Scopes (Scope (Minimum_Accessibility (E)))
       then