]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Add Evaluable_Kind and Global_Name_Kind
authorRichard Kenner <kenner@adacore.com>
Thu, 12 Aug 2021 01:28:35 +0000 (21:28 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 1 Oct 2021 06:13:37 +0000 (06:13 +0000)
gcc/ada/

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

gcc/ada/gen_il-gen-gen_entities.adb
gcc/ada/gen_il-types.ads

index bf0997e795d64f24019ee5b6097b3187bd9d9b57..a000d0e7004931e3c3709c3336e43c98f8c8e330 100644 (file)
@@ -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,
index 622bc1ffc73c87c9b28ed62cf0930e9cf2b6cd83..97b9dd22fc39604db0e985a51c3532ae5655606f 100644 (file)
@@ -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,