| commit | e7062ef8d79d5188394f2a34eff17aff04e246af | |
| author | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:19:43 +0000 (26 09:19 +0000) | ||
| committer | pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 26 Sep 2018 09:19:43 +0000 (26 09:19 +0000) | ||
| tree | 430836757fea1da5dd22afdd6627af3b5ac41237 | treesnapshot (tar.gz zip) |
| parent | 7d97dbc989d1644163bb94dc222012d53d47d6fa | commitdiff |
[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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264633 138bc75d-0d04-0410-961f-82ee72b054a4
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264633 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/errout.ads | diffblobblamehistory | |
| gcc/ada/inline.adb | diffblobblamehistory | |
| gcc/ada/sem_res.adb | diffblobblamehistory |