diff options
| author | Bob Duff <duff@adacore.com> | 2019-09-17 08:02:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-17 08:02:09 +0000 |
| commit | 86ae194fdb343487d37899f4f51fdf3e626822e0 (patch) | |
| tree | 6544614d1ed683bab676f12a07546a5965ca2a2c /gcc/ada/doc | |
| parent | 0a39f241944cfb7090d73e076913ff068a1cc32f (diff) | |
| download | gcc-86ae194fdb343487d37899f4f51fdf3e626822e0.zip gcc-86ae194fdb343487d37899f4f51fdf3e626822e0.tar.gz gcc-86ae194fdb343487d37899f4f51fdf3e626822e0.tar.bz2 | |
[Ada] Clarify documentation for Stack_Usage
Clarify the documentation for Stack_Usage (both comments in the code,
and user documentation) to note that tools like Valgrind won't work.
2019-09-17 Bob Duff <duff@adacore.com>
gcc/ada/
* doc/gnat_ugn/gnat_and_program_execution.rst: Clarify
documentation.
* gnat_ugn.texi: Regenerate.
* libgnat/s-stausa.ads: Clarify comments.
From-SVN: r275787
Diffstat (limited to 'gcc/ada/doc')
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst index d2675c7..56ee103 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst @@ -3396,8 +3396,11 @@ adding a switch to ``gnatbind``, as: $ gnatbind -u0 file -With this option, at each task termination, its stack usage is output on +With this option, at each task termination, its stack usage is output on :file:`stderr`. +Note that this switch is not compatible with tools like +Valgrind and DrMemory; they will report errors. + It is not always convenient to output the stack usage when the program is still running. Hence, it is possible to delay this output until program termination. for a given number of tasks specified as the argument of the |