diff options
| author | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-12-15 11:20:34 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2017-12-15 11:20:34 +0000 |
| commit | 25ea36594733d8f13be3f0982c9bfe58f51c6319 (patch) | |
| tree | 6442a6f42d0f823149c2f5146c68556d76156ee3 | |
| parent | b3801819f495f925bc7c26f03e4e98f448423839 (diff) | |
| download | gcc-25ea36594733d8f13be3f0982c9bfe58f51c6319.zip gcc-25ea36594733d8f13be3f0982c9bfe58f51c6319.tar.gz gcc-25ea36594733d8f13be3f0982c9bfe58f51c6319.tar.bz2 | |
[multiple changes]
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
| -rw-r--r-- | gcc/ada/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 18 | ||||
| -rw-r--r-- | gcc/ada/gnatvsn.ads | 2 |
3 files changed, 24 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c86b361..a25f0ae 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -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. diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 24222dc..026bec3 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -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} diff --git a/gcc/ada/gnatvsn.ads b/gcc/ada/gnatvsn.ads index 61b0bc4..72a4f23 100644 --- a/gcc/ada/gnatvsn.ads +++ b/gcc/ada/gnatvsn.ads @@ -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. |