Use sect_offset_str in cooked_index::dump

Mark Wielaard pointed out that cooked_index::dump uses PRIx64, and
Andreas Schwab pointed out that gdb already has sect_offset_str.  This
patch applies both these observations.

diff --git a/gdb/dwarf2/cooked-index.c b/gdb/dwarf2/cooked-index.c
index 351f0016402611d6a0fc149f34a7e7ae89a75765..d6531260c865910d2a68d9b5c8e84f8c6dfb9f08 100644 (file)
--- a/gdb/dwarf2/cooked-index.c
+++ b/gdb/dwarf2/cooked-index.c
@@ -584,8 +584,7 @@ cooked_index::dump (gdbarch *arch) const
       gdb_printf ("    qualified:  %s\n", entry->full_name (&temp_storage, false));
       gdb_printf ("    DWARF tag:  %s\n", dwarf_tag_name (entry->tag));
       gdb_printf ("    flags:      %s\n", to_string (entry->flags).c_str ());
-      gdb_printf ("    DIE offset: 0x%" PRIx64 "\n",
-                 to_underlying (entry->die_offset));
+      gdb_printf ("    DIE offset: %s\n", sect_offset_str (entry->die_offset));
 
       if (entry->parent_entry != nullptr)
        gdb_printf ("    parent:     ((cooked_index_entry *) %p) [%s]\n",