aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/debug.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-07-31 15:02:24 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2014-07-31 15:02:24 +0200
commit16a569d2f4278bcb777d58bb0cdd0a20361c4518 (patch)
tree5ea7c470e0c11634e4120ab5117a63ed9926b296 /gcc/ada/debug.adb
parentc5670cb40aaf421f25d244c122c54dca127e4ccb (diff)
downloadgcc-16a569d2f4278bcb777d58bb0cdd0a20361c4518.zip
gcc-16a569d2f4278bcb777d58bb0cdd0a20361c4518.tar.gz
gcc-16a569d2f4278bcb777d58bb0cdd0a20361c4518.tar.bz2
[multiple changes]
2014-07-31 Javier Miranda <miranda@adacore.com> * debug.adb: Complete documentation of -gnatd.z. 2014-07-31 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Minor doc fixes. 2014-07-31 Robert Dewar <dewar@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Fix posting of missing index value. 2014-07-31 Tristan Gingold <gingold@adacore.com> * s-unstyp.ads (Packed_Byte): Make this type universal aliasing. (Packed_Bytes1): Make component aliased. 2014-07-31 Robert Dewar <dewar@adacore.com> * s-unstyp.ads, s-fileio.adb: Minor reformatting. From-SVN: r213360
Diffstat (limited to 'gcc/ada/debug.adb')
-rw-r--r--gcc/ada/debug.adb7
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index be1eff3..562a49c 100644
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -594,7 +594,12 @@ package body Debug is
-- fully compiled and analyzed, they just get eliminated from the
-- code generation step.
- -- d.z Need documentation of this flag ???
+ -- d.z Enable back end inlining on targets that have the GCC backend (ie.
+ -- all targets except AAMP, .NET and JVM). This switch has no effect
+ -- under GNATprove to avoid confusing the formal verification output,
+ -- and it has no effect if the sources are compiled with frontend
+ -- inlining (ie. -gnatN). This switch is currently used to evaluate
+ -- the impact of back end inlining.
-- 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