r213565 - in /trunk/gcc/ada: ChangeLog einfo.ad...

Mon Aug 4 10:41:00 GMT 2014

Author: charlet
Date: Mon Aug  4 10:41:40 2014
New Revision: 213565

URL: https://gcc.gnu.org/viewcvs?rev=213565&root=gcc&view=rev
Log:
2014-08-04  Robert Dewar  <dewar@adacore.com>

	* sem_ch3.adb, einfo.ads: Minor reformatting.

2014-08-04  Yannick Moy  <moy@adacore.com>

	* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Fix
	detection of subprograms that cannot be inlined in GNATprove mode.

2014-08-04  Ed Schonberg  <schonberg@adacore.com>

	* einfo.adb: Add guard to Returns_Limited_View.

2014-08-04  Jose Ruiz  <ruiz@adacore.com>

	* s-tassta.adb, s-tarest.adb (Task_Wrapper): Force maximum alignment of
	the secondary stack to respect the alignments of the returned objects.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/s-tarest.adb
    trunk/gcc/ada/s-tassta.adb
    trunk/gcc/ada/sem_ch3.adb