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/ada/inline.adb | |
| 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/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index 72991fa..9dbc8ab 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1615,7 +1615,7 @@ package body Inline is Set_Is_Inlined_Always (Subp, False); if Debug_Flag_Underscore_F then - Error_Msg_NE (Msg & "p?", N, Subp); + Error_Msg_NE (Msg, N, Subp); end if; elsif Has_Pragma_Inline_Always (Subp) then @@ -1645,7 +1645,7 @@ package body Inline is Set_Is_Inlined_Always (Subp, False); if Debug_Flag_Underscore_F then - Error_Msg_NE (Msg & "p?", N, Subp); + Error_Msg_NE (Msg, N, Subp); end if; else |