This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r223674 - in /trunk/gcc/ada: ChangeLog inline.a...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 26 May 2015 09:35:08 -0000
- Subject: r223674 - in /trunk/gcc/ada: ChangeLog inline.a...
Author: charlet
Date: Tue May 26 09:35:07 2015
New Revision: 223674
URL: https://gcc.gnu.org/viewcvs?rev=223674&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem_aux.adb
trunk/gcc/ada/sem_aux.ads
trunk/gcc/ada/sem_disp.adb
trunk/gcc/ada/sem_disp.ads
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sem_util.ads