diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-05-26 09:35:07 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-05-26 09:35:07 +0000 |
| commit | c143b3d7cc54d25495743be458a76963f4590611 (patch) | |
| tree | 8066afafdb2ec4a6940ea9c2e31bc092ced59858 /gcc/ada/inline.adb | |
| parent | 2846c24e333860047aa6161289dced1d1f90c724 (diff) | |
| download | gcc-c143b3d7cc54d25495743be458a76963f4590611.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223674 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index cf53aae810a..b36ec52908e 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -3639,7 +3639,7 @@ package body Inline is -------------------------- function Has_Initialized_Type (E : Entity_Id) return Boolean is - E_Body : constant Node_Id := Get_Subprogram_Body (E); + E_Body : constant Node_Id := Subprogram_Body (E); Decl : Node_Id; begin |