diff options
| author | Yannick Moy <moy@adacore.com> | 2014-07-30 13:58:00 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 15:58:00 +0200 |
| commit | 1eb31e605ff6ffb4332e8681ee086f5a4ea1bea9 (patch) | |
| tree | 00fc53b06cfa7fc93c47a5b3e25a9031093199d4 /gcc/ada/s-pack35.ads | |
| parent | eb1ee7570adaec1bc439b3af932b5ffd88c9a6f7 (diff) | |
| download | gcc-1eb31e605ff6ffb4332e8681ee086f5a4ea1bea9.zip gcc-1eb31e605ff6ffb4332e8681ee086f5a4ea1bea9.tar.gz gcc-1eb31e605ff6ffb4332e8681ee086f5a4ea1bea9.tar.bz2 | |
inline.adb (Build_Body_To_Inline): Issue more precise messages for declarations that prevent inlining.
2014-07-30 Yannick Moy <moy@adacore.com>
* inline.adb (Build_Body_To_Inline): Issue more precise messages
for declarations that prevent inlining.
(Cannot_Inline): Change usual start of message to refer to contextual
analysis in GNATprove mode.
* sem_res.adb (Resolve_Call): Change usual start of message to
refer to contextual analysis in GNATprove mode, when inlining
not possible.
From-SVN: r213273
Diffstat (limited to 'gcc/ada/s-pack35.ads')
0 files changed, 0 insertions, 0 deletions