From: Richard Kenner <kenner@adacore.com>
Date: Thu, 12 Aug 2021 01:28:35 +0000 (-0400)
Subject: [Ada] Add Evaluable_Kind and Global_Name_Kind
X-Git-Tag: basepoints/gcc-13~4294
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ddd1ab30e6cb24b574752e011e2b798525bf4ef5;p=thirdparty%2Fgcc.git

[Ada] Add Evaluable_Kind and Global_Name_Kind

gcc/ada/

	* gen_il-gen-gen_entities.adb (Evaluable_Kind,
	Global_Name_Kind): Add.
	* gen_il-types.ads (Evaluable_Kind, Global_Name_Kind): Likewise.
---

diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb
index bf0997e795d6..a000d0e70049 100644
--- a/gcc/ada/gen_il-gen-gen_entities.adb
+++ b/gcc/ada/gen_il-gen-gen_entities.adb
@@ -1391,6 +1391,23 @@ begin -- Gen_IL.Gen.Gen_Entities
             (E_Entry,
              E_Entry_Family));
 
+   Union (Evaluable_Kind,
+          Children =>
+            (Exception_Or_Object_Kind,
+             E_Enumeration_Literal,
+             E_Label,
+             Subprogram_Kind));
+   --  Kinds that represent values that can be evaluated
+
+   Union (Global_Name_Kind,
+          Children =>
+            (Constant_Or_Variable_Kind,
+             E_Exception,
+             E_Package,
+             Subprogram_Kind));
+   --  Kinds that can have an Interface_Name that corresponds to a global
+   --  (linker) name.
+
    Union (Named_Access_Kind,
           Children =>
             (E_Access_Type,
diff --git a/gcc/ada/gen_il-types.ads b/gcc/ada/gen_il-types.ads
index 622bc1ffc73c..97b9dd22fc39 100644
--- a/gcc/ada/gen_il-types.ads
+++ b/gcc/ada/gen_il-types.ads
@@ -152,6 +152,7 @@ package Gen_IL.Types is
       Elementary_Kind,
       Enumeration_Kind,
       Entry_Kind,
+      Evaluable_Kind,
       Exception_Or_Object_Kind,
       Fixed_Point_Kind,
       Float_Kind,
@@ -159,6 +160,7 @@ package Gen_IL.Types is
       Formal_Object_Kind,
       Generic_Subprogram_Kind,
       Generic_Unit_Kind,
+      Global_Name_Kind,
       Incomplete_Kind,
       Incomplete_Or_Private_Kind,
       Integer_Kind,