From 25ea36594733d8f13be3f0982c9bfe58f51c6319 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Fri, 15 Dec 2017 11:20:34 +0000 Subject: [PATCH] [multiple changes] 2017-12-15 Patrick Bernardi * gnat_ugn.texi: Regenerate. 2017-12-15 Bob Duff * gnatvsn.ads: Minor comment fixes. From-SVN: r255686 --- gcc/ada/ChangeLog | 8 ++++++++ gcc/ada/gnat_ugn.texi | 18 +++++++++++++++--- gcc/ada/gnatvsn.ads | 2 +- 3 files changed, 24 insertions(+), 4 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index c86b361a264..a25f0aed1a0 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,11 @@ +2017-12-15 Patrick Bernardi + + * gnat_ugn.texi: Regenerate. + +2017-12-15 Bob Duff + + * gnatvsn.ads: Minor comment fixes. + 2017-12-15 Patrick Bernardi * doc/gnat_ugn/gnat_and_program_execution.rst: Update section "Dynamic diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 24222dc3cc0..026bec380cd 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 61b0bc47e0c..72a4f232a21 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. -- 2.30.2