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 | |
| 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
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/errout.ads | 4 | ||||
| -rw-r--r-- | gcc/ada/inline.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/sem_res.adb | 8 |
4 files changed, 20 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 8a9d9e1..f8281bd 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2018-09-26 Yannick Moy <moy@adacore.com> + + * 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. + 2018-09-26 Ed Schonberg <schonberg@adacore.com> * checks.adb (Apply_Type_Conversion_Checks): Do not generate a 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 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 diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 6a3dfb7..800bf69 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -6842,9 +6842,15 @@ package body Sem_Res is ("cannot inline & (possible check on input parameters)?", N, Nam_UA); - -- Otherwise, inline the call + -- Otherwise, inline the call, issuing an info message when + -- -gnatd_f is set. else + if Debug_Flag_Underscore_F then + Error_Msg_NE + ("info: analyzing call to & in context?", N, Nam_UA); + end if; + Expand_Inlined_Call (N, Nam_UA, Nam); end if; end if; |