This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r213182 - in /trunk/gcc/ada: ChangeLog sem_ch10...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 29 Jul 2014 13:40:28 -0000
- Subject: r213182 - in /trunk/gcc/ada: ChangeLog sem_ch10...
Author: charlet
Date: Tue Jul 29 13:40:27 2014
New Revision: 213182
URL: https://gcc.gnu.org/viewcvs?rev=213182&root=gcc&view=rev
Log:
2014-07-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build body to
inline in GNATprove mode when subprogran is marked Inline_Always.
* sem_res.adb (Resolve_Call): Expand call in place in GNATProve
mode if body to inline is available.
* sem_prag.adb (Analyze_Pragma, case Inline_Always): Make pragma
effective in GNATprove mode.
* sem_ch10.adb (Analyze_Compilation_Unit): Call
Check_Package_Body_For_Inlining in GNATprove mode, so that body
containing subprograms with Inline_Always can be available before
calls to them.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch10.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_res.adb