diff options
| author | Yannick Moy <moy@adacore.com> | 2018-09-26 09:19:12 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:19:12 +0000 |
| commit | a30a69c1229cbf5270d2048299da5b9ae171e226 (patch) | |
| tree | 07304bcaecb98507dd548408fb8789a6426b2d0f /gcc/ada/debug.adb | |
| parent | 2d9c4206c9d18b39f4d1c87ddbbda75238b7bf19 (diff) | |
| download | gcc-a30a69c1229cbf5270d2048299da5b9ae171e226.zip gcc-a30a69c1229cbf5270d2048299da5b9ae171e226.tar.gz gcc-a30a69c1229cbf5270d2048299da5b9ae171e226.tar.bz2 | |
[Ada] Do not issue by default info messages for inlining in GNATprove
Info messages about lack of inlining for analysis in GNATprove may be
confusing to users. They are now only issued when GNATprove is called
with switch --info, which it passes on to gnat2why with switch -gnatd_f.
There is no effect on compilation.
2018-09-26 Yannick Moy <moy@adacore.com>
gcc/ada/
* debug.adb: Add use for -gnatd_f switch.
* inline.adb (Cannot_Inline): Only issue info message for
failure to inline in GNATprove mode when switch -gnatd_f is
used.
From-SVN: r264629
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 95efede..65451a2 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -150,7 +150,7 @@ package body Debug is -- d_c -- d_d -- d_e Ignore entry calls and requeue statements for elaboration - -- d_f + -- d_f Issue info messages related to GNATprove usage -- d_g -- d_h -- d_i Ignore activations and calls to instances for elaboration @@ -831,6 +831,11 @@ package body Debug is -- control, conditional entry calls, timed entry calls, and requeue -- statements in both the static and dynamic elaboration models. + -- d_f Issue info messages related to GNATprove usage to help users + -- understand analysis results. By default these are not issued as + -- beginners find them confusing. Set automatically by GNATprove when + -- switch --info is used. + -- d_i The compiler ignores calls and task activations when they target a -- subprogram or task type defined in an external instance for both -- the static and dynamic elaboration models. |