[Ada] Replace low-level membership test with a high-level Is_Record_Type

gcc/ada/

	* einfo.adb (Write_Entity_Info): Simplify an Ekind membership
	test.
	* exp_aggr.adb (Is_CCG_Supported_Aggregate): Likewise.

diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb
index 9ea9373..2dd448c 100644 (file)
--- a/gcc/ada/einfo.adb
+++ b/gcc/ada/einfo.adb
@@ -10192,7 +10192,7 @@ package body Einfo is
             Write_Eol;
 
          when E_Component =>
-            if Ekind (Scope (Id)) in Record_Kind then
+            if Is_Record_Type (Scope (Id)) then
                Write_Attribute (
                   "   Original_Record_Component   ",
                   Original_Record_Component (Id));

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 800d5f5..00ca1e8 100644 (file)
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -8623,7 +8623,7 @@ package body Exp_Aggr is
       --  Aggregates are not supported for nonstandard rep clauses, since they
       --  may lead to extra padding fields in CCG.
 
-      if Ekind (Etype (N)) in Record_Kind
+      if Is_Record_Type (Etype (N))
         and then Has_Non_Standard_Rep (Etype (N))
       then
          return False;