diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2014-07-29 13:40:27 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-29 15:40:27 +0200 |
| commit | ecad37f3e1fb99c151a8846e3c8a06fe3bf68b0b (patch) | |
| tree | 7ca435f6be6979c11a17e1283d6c27717621daae /lto-plugin | |
| parent | 1773d80bb69879c5460954c729b3c254cb002426 (diff) | |
| download | gcc-ecad37f3e1fb99c151a8846e3c8a06fe3bf68b0b.zip gcc-ecad37f3e1fb99c151a8846e3c8a06fe3bf68b0b.tar.gz gcc-ecad37f3e1fb99c151a8846e3c8a06fe3bf68b0b.tar.bz2 | |
sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build body to inline in GNATprove mode when subprogran is marked Inline_Always.
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.
From-SVN: r213182
Diffstat (limited to 'lto-plugin')
0 files changed, 0 insertions, 0 deletions