projects / binutils-gdb.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59dfe8a) | patch
Handle ghost entities in symbol lookup
authorTom Tromey <tromey@adacore.com>
Tue, 15 Mar 2022 15:03:14 +0000 (09:03 -0600)
committerTom Tromey <tromey@adacore.com>
Mon, 4 Apr 2022 18:28:31 +0000 (12:28 -0600)
commit81eaa5061095f972d48e8160a4f677bd3e6ace51
tree7e10646f2c2844fa23f4467d3bfa812db88bc6e5tree
parent59dfe8ad84c6a9ef17a1ba4a8f443ac3cb9f6fd5commit | diff
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.
gdb/ada-lang.c diff | blob | history
gdb/testsuite/gdb.ada/ghost.exp [new file with mode: 0644] blob
gdb/testsuite/gdb.ada/ghost/gpck.ads [new file with mode: 0644] blob
gdb/testsuite/gdb.ada/ghost/main.adb [new file with mode: 0644] blob
gdb/testsuite/gdb.ada/ghost/pck.ads [new file with mode: 0644] blob