From 780ad7cd84f4fde1f7e2a8b93160dd61831ecb52 Mon Sep 17 00:00:00 2001 From: charlet Date: Wed, 15 Feb 2006 09:47:23 +0000 Subject: 2006-02-13 Arnaud Charlet Ben Brosgol Robert Dewar * 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 --- gcc/ada/g-trasym.ads | 21 +++++++++++++++++---- 1 file changed, 17 insertions(+), 4 deletions(-) (limited to 'gcc/ada/g-trasym.ads') 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 *) 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 -- cgit v1.2.1