2010-12-06 Jerry DeLisle <jvdelisle@gcc.gnu.org>

[pf3gnuchains/gcc-fork.git] / gcc / ada / debug.adb

diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index c6fa834..5bfe7c4 100644 (file)
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -105,8 +105,8 @@ package body Debug is
    --  d.l  Use Ada 95 semantics for limited function returns
    --  d.m  For -gnatl, print full source only for main unit
    --  d.n  Print source file names
-   --  d.o
-   --  d.p
+   --  d.o  Generate .NET listing of CIL code
+   --  d.p  Enable the .NET CIL verifier
    --  d.q
    --  d.r  Enable OK_To_Reorder_Components in non-variant records
    --  d.s  Disable expansion of slice move, use memmove
@@ -118,7 +118,7 @@ package body Debug is
    --  d.y
    --  d.z
 
-   --  d.A
+   --  d.A  Read/write Aspect_Specifications hash table to tree
    --  d.B
    --  d.C  Generate concatenation call, do not generate inline code
    --  d.D
@@ -127,7 +127,7 @@ package body Debug is
    --  d.G
    --  d.H
    --  d.I  SCIL generation mode
-   --  d.J  Parallel SCIL generation mode
+   --  d.J  Disable parallel SCIL generation mode
    --  d.K
    --  d.L  Depend on back end for limited types in conditional expressions
    --  d.M
@@ -198,7 +198,7 @@ package body Debug is
    --  dj
    --  dk
    --  dl
-   --  dm
+   --  dm  Display the number of maximum simultaneous compilations
    --  dn  Do not delete temp files created by gnatmake
    --  do
    --  dp  Prints the contents of the Q used by Make.Compile_Sources
@@ -531,6 +531,13 @@ package body Debug is
    --       compiler has a bug -- these are the files that need to be included
    --       in a bug report.
 
+   --  d.o  Generate listing showing the IL instructions generated by the .NET
+   --       compiler for each subprogram.
+
+   --  d.p  Enable the .NET CIL verifier. During development the verifier is
+   --       disabled by default and this flag is used to enable it. In the
+   --       future we will reverse this functionality.
+
    --  d.r  Forces the flag OK_To_Reorder_Components to be set in all record
    --       base types that have no discriminants.
 
@@ -551,6 +558,11 @@ package body Debug is
    --  d.w  This flag turns off the scanning of loops to detect possible
    --       infinite loops.
 
+   --  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
+   --       for now, this is controlled by the debug flag d.A. The hash table
+   --       is only written and read if this flag is set.
+
    --  d.x  No exception handlers in generated code. This causes exception
    --       handlers to be eliminated from the generated code. They are still
    --       fully compiled and analyzed, they just get eliminated from the
@@ -563,9 +575,9 @@ package body Debug is
    --       of static analysis tools, and ensure additional tree consistency
    --       between different compilations of specs.
 
-   --  d.J  Ensure the SCIL generated is compatible with parallel builds.
-   --       This means in particular not writing the same files under the
-   --       same directory.
+   --  d.J  Disable parallel SCIL generation. Normally SCIL file generation is
+   --       done in parallel to speed processing. This switch disables this
+   --       behavior.
 
    --  d.L  Normally the front end generates special expansion for conditional
    --       expressions of a limited type. This debug flag removes this special
@@ -686,6 +698,9 @@ package body Debug is
 
    --  df  Only output file names, not path names, in log
 
+   --  dm  Issue a message indicating the maximum number of simultaneous
+   --      compilations.
+
    --  dn  Do not delete temporary files created by gnatmake at the end
    --      of execution, such as temporary config pragma files, mapping
    --      files or project path files.