| commit | a30a69c1229cbf5270d2048299da5b9ae171e226 | |
| author | Yannick Moy <moy@adacore.com> | |
| Wed, 26 Sep 2018 09:19:12 +0000 (26 09:19 +0000) | ||
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | |
| Wed, 26 Sep 2018 09:19:12 +0000 (26 09:19 +0000) | ||
| tree | 07304bcaecb98507dd548408fb8789a6426b2d0f | treesnapshot (tar.gz zip) |
| parent | 2d9c4206c9d18b39f4d1c87ddbbda75238b7bf19 | commitdiff |
[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
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
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/debug.adb | diffblobblamehistory | |
| gcc/ada/inline.adb | diffblobblamehistory |