diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-01 10:32:10 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-01 10:32:10 +0000 |
| commit | e5216fa4bc7163f9646aa72f1b25bb87120fad4f (patch) | |
| tree | a6395d4b8310bdda4c3ba8a43eefb8beef8f1df7 /gcc/ada/debug.adb | |
| parent | e173b8330f8732f3e25803e96c453891a593edfa (diff) | |
| download | gcc-e5216fa4bc7163f9646aa72f1b25bb87120fad4f.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213453 138bc75d-0d04-0410-961f-82ee72b054a4
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 3c36e5d8033..0896c85f7d6 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 |