On Fri, 26 May 2017 20:14:08 +0200, Jan Kratochvil wrote: > If those new DW_IDX_* get allocated in a reasonable time GDB could already use > them, otherwise sending the patch below.
Preallocation of the numbers has been denied by DWARF committee. Therefore asking for approval of this patch in its DW_IDX_GNU_* posted form. http://lists.dwarfstd.org/pipermail/dwarf-discuss-dwarfstd.org/2017-June/004370.html Thanks, Jan