[gcc r12-4019] [Ada] Add Evaluable_Kind and Global_Name_Kind

[gcc r12-4019] [Ada] Add Evaluable_Kind and Global_Name_Kind

[Pierre-Marie de Rodat]

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

commit r12-4019-gddd1ab30e6cb24b574752e011e2b798525bf4ef5
Author: Richard Kenner <kenner@adacore.com>
Date:   Wed Aug 11 21:28:35 2021 -0400

    [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:
---
 gcc/ada/gen_il-gen-gen_entities.adb | 17 +++++++++++++++++
 gcc/ada/gen_il-types.ads            |  2 ++
 2 files changed, 19 insertions(+)

diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb
index bf0997e795d..a000d0e7004 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 622bc1ffc73..97b9dd22fc3 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,