diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-02-15 09:47:23 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-02-15 09:47:23 +0000 |
| commit | 780ad7cd84f4fde1f7e2a8b93160dd61831ecb52 (patch) | |
| tree | ba1bbe8c3b40dca210bfd8788064d9c9efcdd3ad /gcc/ada/g-trasym.ads | |
| parent | f197f18801d23aa8fce85b5338ce253b09e91a90 (diff) | |
| download | gcc-780ad7cd84f4fde1f7e2a8b93160dd61831ecb52.tar.gz | |
2006-02-13 Arnaud Charlet <charlet@adacore.com>
Ben Brosgol <brosgol@adacore.com>
Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Remove limitations with sparc m64 support.
Document that gnatbind -M option is for cross environments only.
Added description of using gnatmem to trace gnat rtl allocs and deallocs
Add note on use of $ to label implicit run time calls
Add documentation for -gnatyI (check mode IN)
Updated chapter on compatibility with HP Ada
VMS-oriented edits.
Ran spell and corrected errors
Add documentation for gnatbind -d and rework documentation of -D
at the same time.
Add subprogram/data elimination section.
Minor editing of annex A.
Add section for gnatcheck.
Add documentation for restriction No_Dispatching_Calls
Add documentation for pragma Ada_2005
Remove mention of obsolete pragma Propagate_Exceptions
Document that pragma Unreferenced can appear after DO in ACCEPT
Clarify Pure_Function for library level units
Mention Max/Min in connection with No_Implicit_Conditionals
No_Wide_Characters restriction is no longer partition-wide
Add a nice example for Universal_Literal_String attribute
Document that pragma No_Return can take multiple arguments
* ug_words: Added entry for gnatcheck
* g-ctrl_c.ads (Install_Handler): Enhance comments
* g-os_lib.ads: Add comments to OS_Exit that it is abrupt termination
* g-trasym.ads: Add documentation on how to do off line symbolic
traceback computation.
* s-fatgen.adb: Add comments for Unaligned_Valid
* stand.ads: Fix typo in comment
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111104 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/g-trasym.ads')
| -rw-r--r-- | gcc/ada/g-trasym.ads | 21 |
1 files changed, 17 insertions, 4 deletions
diff --git a/gcc/ada/g-trasym.ads b/gcc/ada/g-trasym.ads index 626d8567269..56426332bb5 100644 --- a/gcc/ada/g-trasym.ads +++ b/gcc/ada/g-trasym.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1999-2005, AdaCore -- +-- Copyright (C) 1999-2006, AdaCore -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -40,9 +40,22 @@ -- been compiled with debugging information turned on, since this information -- is used to build a symbolic traceback. --- It is also in some cases necessary to invoke the binder --- with -E switch (store the backtrace with exception occurence). Please --- refer to gnatbind documentation for more information. +-- If you want to retrieve tracebacks from exception occurrences, it is also +-- necessary to invoke the binder with -E switch. Please refer to the gnatbind +-- documentation for more information. + +-- Note that it is also possible (and often recommended) to compute symbolic +-- traceback outside the program execution, which in addition allows you +-- to distribute the executable with no debug info: +-- +-- - build your executable with debug info +-- - archive this executable +-- - strip a copy of the executable and distribute/deploy this version +-- - at run time, compute absolute traceback (-bargs -E) from your +-- executable and log it using Ada.Exceptions.Exception_Occurrence +-- - off line, compute the symbolic traceback using the executable archived +-- with debug info and addr2line or gdb (using info line *<addr>) on the +-- absolute addresses logged by your application. -- In order to retrieve symbolic information, functions in this package will -- read on disk all the debug information of the executable file (found via |