]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[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 c86b361a264183eacac40678c9f0994bc950b3a3..a25f0aed1a09b197445c18705d7301c228fb56c4 100644 (file)
@@ -1,3 +1,11 @@
+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
index 24222dc3cc082225e62f1cefdf0ac7d292502644..026bec380cde73017f419bee01767071293aec11 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 61b0bc47e0c481e69f69c7acaeb252e27980add5..72a4f232a21de773d546a23be7a355a139cd3863 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.