diff options
| author | Tom Tromey <tromey@adacore.com> | 2022-03-15 09:03:14 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2022-04-04 12:28:31 -0600 |
| commit | 81eaa5061095f972d48e8160a4f677bd3e6ace51 (patch) | |
| tree | 7e10646f2c2844fa23f4467d3bfa812db88bc6e5 /gdbsupport/version.h | |
| parent | 59dfe8ad84c6a9ef17a1ba4a8f443ac3cb9f6fd5 (diff) | |
| download | gdb-81eaa5061095f972d48e8160a4f677bd3e6ace51.zip gdb-81eaa5061095f972d48e8160a4f677bd3e6ace51.tar.gz gdb-81eaa5061095f972d48e8160a4f677bd3e6ace51.tar.bz2 | |
Handle ghost entities in symbol lookup
Normally, SPARK ghost entities are removed from the executable.
However, with -gnata, they will be preserved. In this situation, it's
handy to be able to inspect them. This patch allows this by removing
the "___ghost_" prefix in the appropriate places.
Diffstat (limited to 'gdbsupport/version.h')
0 files changed, 0 insertions, 0 deletions