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

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jul 30 12:50:43 2014
New Revision: 213257

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

	* s-tasuti.adb, s-tasuti.ads, einfo.ads, sem_prag.adb, s-taasde.adb,
	g-socthi-vms.adb, s-taprop-mingw.adb, s-interr.adb, s-interr-hwint.adb,
	g-decstr.adb, s-tasdeb-vms.adb, g-expect-vms.adb, makeutl.adb,
	s-interr-vms.adb, g-socthi.adb, exp_aggr.adb, s-tasdeb.adb,
	g-awk.adb, gnatls.adb, s-taspri-posix.ads, g-catiio.adb,
	s-interr-sigaction.adb, s-os_lib.adb, s-fileio.adb: Minor reformatting
	& code reorganization.

2014-07-30  Bob Duff  <duff@adacore.com>

	* s-tassta.adb, sem_util.ads: Minor reformatting.

2014-07-30  Yannick Moy  <moy@adacore.com>

	* inline.adb (Build_Body_To_Inline): Detect when
	subprogram has multiple returns, or not a single last return
	statement, in GNATprove mode.
	(Cannot_Inline): Simplify logic to handle case of GNATprove
	inlining first.

2014-07-30  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb: Stubs are not subject to inlining.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.ads
    trunk/gcc/ada/exp_aggr.adb
    trunk/gcc/ada/g-awk.adb
    trunk/gcc/ada/g-catiio.adb
    trunk/gcc/ada/g-decstr.adb
    trunk/gcc/ada/g-expect-vms.adb
    trunk/gcc/ada/g-socthi-vms.adb
    trunk/gcc/ada/g-socthi.adb
    trunk/gcc/ada/gnatls.adb
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/makeutl.adb
    trunk/gcc/ada/s-fileio.adb
    trunk/gcc/ada/s-interr-hwint.adb
    trunk/gcc/ada/s-interr-sigaction.adb
    trunk/gcc/ada/s-interr-vms.adb
    trunk/gcc/ada/s-interr.adb
    trunk/gcc/ada/s-os_lib.adb
    trunk/gcc/ada/s-taasde.adb
    trunk/gcc/ada/s-taprop-mingw.adb
    trunk/gcc/ada/s-tasdeb-vms.adb
    trunk/gcc/ada/s-tasdeb.adb
    trunk/gcc/ada/s-taspri-posix.ads
    trunk/gcc/ada/s-tassta.adb
    trunk/gcc/ada/s-tasuti.adb
    trunk/gcc/ada/s-tasuti.ads
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_util.ads