r213273 - in /trunk/gcc/ada: ChangeLog inline.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jul 30 13:58:00 2014
New Revision: 213273

URL: https://gcc.gnu.org/viewcvs?rev=213273&root=gcc&view=rev
Log:
2014-07-30  Yannick Moy  <moy@adacore.com>

	* inline.adb (Build_Body_To_Inline): Issue more precise messages
	for declarations that prevent inlining.
	(Cannot_Inline): Change usual start of message to refer to contextual
	analysis in GNATprove mode.
	* sem_res.adb (Resolve_Call): Change usual start of message to
	refer to contextual analysis in GNATprove mode, when inlining
	not possible.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/sem_res.adb