[multiple changes]
authorPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 15 Dec 2017 11:20:34 +0000 (11:20 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Fri, 15 Dec 2017 11:20:34 +0000 (11:20 +0000)
2017-12-15  Patrick Bernardi  <bernardi@adacore.com>

* gnat_ugn.texi: Regenerate.

2017-12-15  Bob Duff  <duff@adacore.com>

* gnatvsn.ads: Minor comment fixes.

From-SVN: r255686

gcc/ada/ChangeLog
gcc/ada/gnat_ugn.texi
gcc/ada/gnatvsn.ads

index c86b361..a25f0ae 100644 (file)
@@ -1,5 +1,13 @@
 2017-12-15  Patrick Bernardi  <bernardi@adacore.com>
 
+       * gnat_ugn.texi: Regenerate.
+
+2017-12-15  Bob Duff  <duff@adacore.com>
+
+       * gnatvsn.ads: Minor comment fixes.
+
+2017-12-15  Patrick Bernardi  <bernardi@adacore.com>
+
        * doc/gnat_ugn/gnat_and_program_execution.rst: Update section "Dynamic
        Stack Usage Analysis" to include more details about GNAT_STACK_LIMIT.
 
index 24222dc..026bec3 100644 (file)
@@ -23180,11 +23180,23 @@ is not entirely analyzed, and it's not possible to know exactly how
 much has actually been used.
 @end itemize
 
-The environment task stack, e.g., the stack that contains the main unit, is
-only processed when the environment variable GNAT_STACK_LIMIT is set.
+By default the environment task stack, the stack that contains the main unit,
+is not processed. To enable processing of the environment task stack, the
+environment variable GNAT_STACK_LIMIT needs to be set to the maximum size of
+the environment task stack. This amount is given in kilobytes. For example:
+
+@quotation
+
+@example
+$ set GNAT_STACK_LIMIT 1600
+@end example
+@end quotation
+
+would specify to the analyzer that the environment task stack has a limit
+of 1.6 megabytes. Any stack usage beyond this will be ignored by the analysis.
 
 The package @code{GNAT.Task_Stack_Usage} provides facilities to get
-stack usage reports at run-time. See its body for the details.
+stack-usage reports at run time. See its body for the details.
 
 @node Memory Management Issues,,Stack Related Facilities,GNAT and Program Execution
 @anchor{gnat_ugn/gnat_and_program_execution id66}@anchor{16d}@anchor{gnat_ugn/gnat_and_program_execution memory-management-issues}@anchor{2a}
index 61b0bc4..72a4f23 100644 (file)
@@ -70,7 +70,7 @@ package Gnatvsn is
    --
    --    GPL
    --       GNAT GPL Edition. This is a special version of GNAT, released by
-   --       Ada Core Technologies and intended for academic users, and free
+   --       Ada Core Technologies and intended for academic users and free
    --       software developers. The bug box generated by the package Comperr
    --       gives appropriate bug submission instructions that do not reference
    --       customer number etc.