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/errout.ads | |
| 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/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index f7807a1..e052504 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -305,7 +305,9 @@ package Errout is -- Note: this usage is obsolete, use ?? ?*? ?$? ?x? ?X? to specify -- the string to be added when Warn_Doc_Switch is set to True. If this -- switch is True, then for simple ? messages it has no effect. This - -- simple form is to ease transition and will be removed later. + -- simple form is to ease transition and may be removed later except + -- for GNATprove-specific messages (info and warnings) which are not + -- subject to the same GNAT warning switches. -- Insertion character ?? (Two question marks: default warning) -- Like ?, but if the flag Warn_Doc_Switch is True, adds the string |