https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83935
--- Comment #8 from Pierre-Marie de Rodat <derodat at adacore dot com> --- Understood, thank you for the notice! As we have to tweak the spec one way or another for Ada, I suggest indeed we keep the way things are implemented in GCC today, waiting for the DWARF committee to state on this. This will probably take a while, so I’m not sure what to do with this PR. ;-) Can you please tell me when you managed to update GDB to work with variant? It could be interesting to see how it deals with GCC’s, and if it does not, how much work will be needed. Thank you in advance!