| commit | 81eaa5061095f972d48e8160a4f677bd3e6ace51 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Tue Mar 15 09:03:14 2022 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Mon Apr 04 12:28:31 2022 -0600 |
| tree | 7e10646f2c2844fa23f4467d3bfa812db88bc6e5 | |
| parent | 59dfe8ad84c6a9ef17a1ba4a8f443ac3cb9f6fd5 [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.