Debugging with GDB (September 2007)
264 Debugging with GDB
20.11 Displaying source
The following annotation is used instead of displaying source code:
^Z^Zsource filename :line:character :middle :addr
where filename is an absolute file name indicating which source file, line is the line
numb e r within that file (where 1 is the first line in the file), character is the character
position within the file (where 0 is the first character in the file) (for most debug formats
this will necess arily point to the beginning of a line), middle is ‘middle’ if addr is in the
middle of the line, or ‘beg’ if addr is at the beginning of the line, and addr is the address
in the target program associated with the source which is being displayed. addr is in the
form ‘0x’ followed by one or more lowercase hex digits (note that this does not depend on
the language).
20.12 Annotations We Might Want in the Future
- target-invalid
the target might have changed (registers, heap contents, or
execution status). For performance, we might eventually want
to hit ‘registers-invalid’ and ‘all-registers-invalid’ with
greater precision
- systematic annotation for set/show parameters (including
invalidation notices).
- similarly, ‘info’ returns a list of candidates for invalidation
notices.