This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213273 - 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: Wed, 30 Jul 2014 13:58:00 -0000
- Subject: r213273 - in /trunk/gcc/ada: ChangeLog inline.a...
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