diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 12:32:10 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-08-01 12:32:10 +0200 |
| commit | a21d245c1b963298b531bf6e8fa85a61e6a42490 (patch) | |
| tree | a6395d4b8310bdda4c3ba8a43eefb8beef8f1df7 /gcc/ada/debug.adb | |
| parent | 0f345950ec4144742c56a93aea07ada593e03788 (diff) | |
| download | gcc-a21d245c1b963298b531bf6e8fa85a61e6a42490.zip gcc-a21d245c1b963298b531bf6e8fa85a61e6a42490.tar.gz gcc-a21d245c1b963298b531bf6e8fa85a61e6a42490.tar.bz2 | |
[multiple changes]
2014-08-01 Robert Dewar <dewar@adacore.com>
* make.adb, makeutl.ads: Minor reformatting.
* debug.adb, opt.ads: Clarify documentation of Front_End_Inlining and
Back_End_Inlining.
2014-08-01 Tristan Gingold <gingold@adacore.com>
* gnatcmd.adb (GNATCmd): Set AAMP_On_Target using command name.
From-SVN: r213453
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 3c36e5d..0896c85 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -116,7 +116,7 @@ package body Debug is -- d.w Do not check for infinite loops -- d.x No exception handlers -- d.y - -- d.z Disable support for back end inlining + -- d.z Restore previous support for frontend handling of Inline_Always -- d.A Read/write Aspect_Specifications hash table to tree -- d.B @@ -582,14 +582,12 @@ package body Debug is -- fully compiled and analyzed, they just get eliminated from the -- code generation step. - -- d.z Disable back end inlining. Back end inlining is enabled by default - -- on targets that have the GCC backend (ie. all targets except AAMP, - -- .NET and JVM). Back end inlining has no effect under GNATprove to - -- avoid confusing the formal verification output, and it is disabled - -- if the sources are compiled with frontend inlining (ie. -gnatN) to - -- minimize the output differences to customers still using this - -- deprecated switch. The flag .z facilitates disabling the back end - -- inlining in case of unexpected problems. + -- d.z Restore previous front-end support for Inline_Always. In default + -- mode, for targets that use the GCC back end (i.e. currently all + -- targets except AAMP, .NET, JVM, and GNATprove), Inline_Always is + -- handled by the back end. Use of this switch restores the previous + -- handling of Inline_Always by the front end on such targets. For the + -- targets that do not use the GCC back end, this switch is ignored. -- d.A There seems to be a problem with ASIS if we activate the circuit -- for reading and writing the aspect specification hash table, so |