This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213242 - in /trunk/gcc/ada: ChangeLog exp_ch4....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 30 Jul 2014 10:37:41 -0000
- Subject: r213242 - in /trunk/gcc/ada: ChangeLog exp_ch4....
Author: charlet
Date: Wed Jul 30 10:37:41 2014
New Revision: 213242
URL: https://gcc.gnu.org/viewcvs?rev=213242&root=gcc&view=rev
Log:
2014-07-30 Robert Dewar <dewar@adacore.com>
* g-forstr.adb: Minor code reorganization (use J rather than I
as a variable name).
* gnat_rm.texi, sem_prag.adb, sem_util.adb, sem_ch13.adb,
g-forstr.ads: Minor reformatting.
2014-07-30 Eric Botcazou <ebotcazou@adacore.com>
* sprint.adb (Set_Debug_Sloc): Also reset the end location if
we are debugging the generated code.
2014-07-30 Yannick Moy <moy@adacore.com>
* sinput.ads, sinput.adb (Comes_From_Inlined_Body): New function that
returns True for source pointer for an inlined body.
2014-07-30 Javier Miranda <miranda@adacore.com>
* exp_ch4.adb (Apply_Accessibility_Check): Add
missing calls to Base_Address().
2014-07-30 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Hanalyze_Subprogram_Body_Helper): In GNATprove
mode, subprogram bodies without a previous declaration are also
candidates for front-end inlining.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/exp_ch4.adb
trunk/gcc/ada/g-forstr.adb
trunk/gcc/ada/g-forstr.ads
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_util.adb
trunk/gcc/ada/sinput.adb
trunk/gcc/ada/sinput.ads
trunk/gcc/ada/sprint.adb