diff options
author | Yannick Moy <moy@adacore.com> | 2015-05-26 09:35:07 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 11:35:07 +0200 |
commit | 90a4b3367997dd7327bb1668c0a89c2318e8ef9c (patch) | |
tree | 8066afafdb2ec4a6940ea9c2e31bc092ced59858 /gcc/ada/sem_disp.adb | |
parent | 35fd12d80463c7e5fcc05c2128311f2f0c5b37cc (diff) | |
download | gcc-90a4b3367997dd7327bb1668c0a89c2318e8ef9c.zip gcc-90a4b3367997dd7327bb1668c0a89c2318e8ef9c.tar.gz gcc-90a4b3367997dd7327bb1668c0a89c2318e8ef9c.tar.bz2 |
inline.adb (Has_Initialized_Type): Adapt to new names.
2015-05-26 Yannick Moy <moy@adacore.com>
* inline.adb (Has_Initialized_Type): Adapt to new names.
* sem_aux.adb, sem_aux.ads (Get_Low_Bound, Number_Components,
Subprogram_Body, Subprogram_Body_Entity, Subprogram_Spec,
Subprogram_Specification): New query functions used in GNATprove.
* sem_disp.adb, sem_disp.ads (Is_Overriding_Subprogram): New
query functions used in GNATprove.
* sem_util.adb, sem_util.adso (Enclosing_Lib_Unit_Node,
Get_Cursor_Type, Get_Return_Object, Get_User_Defined_Eq,
Is_Double_Precision_Floating_Point_Type,
Is_Single_Precision_Floating_Point_Type): New query functions
used in GNATprove.
From-SVN: r223674
Diffstat (limited to 'gcc/ada/sem_disp.adb')
-rw-r--r-- | gcc/ada/sem_disp.adb | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/sem_disp.adb b/gcc/ada/sem_disp.adb index 55e5dcd..52eda74 100644 --- a/gcc/ada/sem_disp.adb +++ b/gcc/ada/sem_disp.adb @@ -2239,6 +2239,16 @@ package body Sem_Disp is end if; end Is_Inherited_Public_Operation; + ------------------------------ + -- Is_Overriding_Subprogram -- + ------------------------------ + + function Is_Overriding_Subprogram (E : Entity_Id) return Boolean is + Inherited : constant Subprogram_List := Inherited_Subprograms (E); + begin + return Inherited'Length > 0; + end Is_Overriding_Subprogram; + -------------------------- -- Is_Tag_Indeterminate -- -------------------------- |