diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2022-07-15 03:40:11 -0400 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:20:59 +0200 |
| commit | bc435abbce8bda16717440c0c5df061466eeada0 (patch) | |
| tree | d0b7dab4613023ca6e2ef8cfbb14bc93197486d8 | |
| parent | 092763fd0c069f3a7c05a65238d3815e8daab76b (diff) | |
| download | gcc-bc435abbce8bda16717440c0c5df061466eeada0.zip gcc-bc435abbce8bda16717440c0c5df061466eeada0.tar.gz gcc-bc435abbce8bda16717440c0c5df061466eeada0.tar.bz2 | |
[Ada] Fix syntax in documentation
Leading to a poorly formatted example section.
gcc/ada/
* doc/gnat_ugn/gnat_and_program_execution.rst: Fix rest syntax
* gnat_ugn.texi: Regenerate.
| -rw-r--r-- | gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst | 7 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 23 |
2 files changed, 6 insertions, 24 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 3cc625e..0d78e43 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst @@ -844,9 +844,7 @@ assorted runtime routines and the output will vary from platform to platform. It is also possible to use ``GDB`` with these traceback addresses to debug the program. For example, we can break at a given code location, as reported -in the stack traceback: - - :: +in the stack traceback:: $ gdb -nw stb @@ -870,9 +868,8 @@ Executables on recent Windows versions, in other words without using the switch with :switch:`--load` instead of the ``addr2line`` tool. The main difference is that you need to copy the Load Address output in the traceback ahead of the sequence of addresses. And the default mode of ``gnatsymbolize`` is equivalent -to that of ``addr2line`` with the above switches, so none of them is needed: +to that of ``addr2line`` with the above switches, so none of them is needed:: - :: $ gnatmake stb -g -bargs -E $ stb diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi index 0f9f5eb..c6ce68a 100644 --- a/gcc/ada/gnat_ugn.texi +++ b/gcc/ada/gnat_ugn.texi @@ -19023,15 +19023,12 @@ It is also possible to use @code{GDB} with these traceback addresses to debug the program. For example, we can break at a given code location, as reported in the stack traceback: -@quotation - @example $ gdb -nw stb (gdb) break *0x401373 Breakpoint 1 at 0x401373: file stb.adb, line 5. @end example -@end quotation It is important to note that the stack traceback addresses do not change when debug information is included. This is particularly useful because it makes it @@ -19052,13 +19049,7 @@ is that you need to copy the Load Address output in the traceback ahead of the sequence of addresses. And the default mode of @code{gnatsymbolize} is equivalent to that of @code{addr2line} with the above switches, so none of them is needed: -@quotation - - -@table @asis - -@item :: - +@example $ gnatmake stb -g -bargs -E $ stb @@ -19068,13 +19059,8 @@ Load address: 0x400000 Call stack traceback locations: 0x401373 0x40138b 0x40139c 0x401335 0x4011c4 0x4011f1 0x77e892a4 - -@table @asis - -@item $ gnatsymbolize –load stb 0x400000 0x401373 0x40138b 0x40139c 0x401335 - -0x4011c4 0x4011f1 0x77e892a4 -@end table +$ gnatsymbolize --load stb 0x400000 0x401373 0x40138b 0x40139c 0x401335 + 0x4011c4 0x4011f1 0x77e892a4 0x00401373 Stb.P1 at stb.adb:5 0x0040138B Stb.P2 at stb.adb:10 @@ -19083,8 +19069,7 @@ Call stack traceback locations: 0x004011c4 __tmainCRTStartup at ??? 0x004011f1 mainCRTStartup at ??? 0x77e892a4 ??? at ??? -@end table -@end quotation +@end example @subsubheading Tracebacks From Exception Occurrences |