diff options
author | Richard Kenner <kenner@adacore.com> | 2021-08-11 21:28:35 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-01 06:13:37 +0000 |
commit | ddd1ab30e6cb24b574752e011e2b798525bf4ef5 (patch) | |
tree | 400e856c16d9667b9eaccbf73e3c1ad38ead5304 | |
parent | 8279a1125f51b1184289bd406b37f6c31c1b17f5 (diff) | |
download | gcc-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.adb | 17 | ||||
-rw-r--r-- | gcc/ada/gen_il-types.ads | 2 |
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, |