aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Kenner <kenner@adacore.com>2021-08-11 21:28:35 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2021-10-01 06:13:37 +0000
commitddd1ab30e6cb24b574752e011e2b798525bf4ef5 (patch)
tree400e856c16d9667b9eaccbf73e3c1ad38ead5304
parent8279a1125f51b1184289bd406b37f6c31c1b17f5 (diff)
downloadgcc-ddd1ab30e6cb24b574752e011e2b798525bf4ef5.zip
gcc-ddd1ab30e6cb24b574752e011e2b798525bf4ef5.tar.gz
gcc-ddd1ab30e6cb24b574752e011e2b798525bf4ef5.tar.bz2
[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.
-rw-r--r--gcc/ada/gen_il-gen-gen_entities.adb17
-rw-r--r--gcc/ada/gen_il-types.ads2
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb
index bf0997e..a000d0e 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 622bc1f..97b9dd2 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,