diff options
| author | Yannick Moy <moy@adacore.com> | 2018-09-26 09:19:43 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:19:43 +0000 |
| commit | 940cf4955f1dbe6ff07677967bfd7f6d00cba6db (patch) | |
| tree | 430836757fea1da5dd22afdd6627af3b5ac41237 /gcc/collect-utils.h | |
| parent | 241848fd7ac69fd1ff0a17203d824c305a384137 (diff) | |
| download | gcc-940cf4955f1dbe6ff07677967bfd7f6d00cba6db.zip gcc-940cf4955f1dbe6ff07677967bfd7f6d00cba6db.tar.gz gcc-940cf4955f1dbe6ff07677967bfd7f6d00cba6db.tar.bz2 | |
[Ada] Issue info message on inlined subprograms in GNATprove mode
Issue a positive message that inlining was performed in GNATprove mode,
when corresponding debug switch -gnatd_f is set.
2018-09-26 Yannick Moy <moy@adacore.com>
gcc/ada/
* errout.ads: Update comment for insertion character '?'.
* inline.adb: Use simple insertion character '?' for GNATprove
info messages.
* sem_res.adb (Resolve_Call): Issue an info message on inlining
in GNATprove mode.
From-SVN: r264633
Diffstat (limited to 'gcc/collect-utils.h')
0 files changed, 0 insertions, 0 deletions