* objdump.c (disassemble_section): If the computed next offset is
[binutils-gdb.git] / binutils / objdump.c
index c86903308b2dc2f25d446aa9dcd4921362721f2b..265a8ead44f7467211a1b893fd2fb6faefd235a7 100644 (file)
@@ -1,6 +1,6 @@
 /* objdump.c -- dump information about an object file.
    Copyright 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
-   2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008
+   2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009
    Free Software Foundation, Inc.
 
    This file is part of GNU Binutils.
@@ -61,6 +61,7 @@
 #include "dis-asm.h"
 #include "libiberty.h"
 #include "demangle.h"
+#include "filenames.h"
 #include "debug.h"
 #include "budbg.h"
 
@@ -111,6 +112,9 @@ static int dump_special_syms = 0;   /* --special-syms */
 static bfd_vma adjust_section_vma = 0; /* --adjust-vma */
 static int file_start_context = 0;      /* --file-start-context */
 static bfd_boolean display_file_offsets;/* -F */
+static const char *prefix;             /* --prefix */
+static int prefix_strip;               /* --prefix-strip */
+static size_t prefix_length;
 
 /* Pointer to an array of section names provided by
    one or more "-j secname" command line options.  */
@@ -195,7 +199,9 @@ usage (FILE *stream, int status)
   -g, --debugging          Display debug information in object file\n\
   -e, --debugging-tags     Display debug information using ctags style\n\
   -G, --stabs              Display (in raw form) any STABS info in the file\n\
-  -W, --dwarf              Display DWARF info in the file\n\
+  -W[lLiaprmfFsoR] or\n\
+  --dwarf[=rawline,=decodedline,=info,=abbrev,=pubnames,=aranges,=macro,=frames,=str,=loc,=Ranges]\n\
+                           Display DWARF info in the file\n\
   -t, --syms               Display the contents of the symbol table(s)\n\
   -T, --dynamic-syms       Display the contents of the dynamic symbol table\n\
   -r, --reloc              Display the relocation entries in the file\n\
@@ -231,6 +237,8 @@ usage (FILE *stream, int status)
       --[no-]show-raw-insn       Display hex alongside symbolic disassembly\n\
       --adjust-vma=OFFSET        Add OFFSET to all displayed section addresses\n\
       --special-syms             Include special symbols in symbol dumps\n\
+      --prefix=PREFIX            Add PREFIX to absolute paths for -S\n\
+      --prefix-strip=LEVEL       Strip initial directory names for -S\n\
 \n"));
       list_supported_targets (program_name, stream);
       list_supported_architectures (program_name, stream);
@@ -248,6 +256,9 @@ enum option_values
     OPTION_ENDIAN=150,
     OPTION_START_ADDRESS,
     OPTION_STOP_ADDRESS,
+    OPTION_DWARF,
+    OPTION_PREFIX,
+    OPTION_PREFIX_STRIP,
     OPTION_ADJUST_VMA
   };
 
@@ -285,7 +296,7 @@ static struct option long_options[]=
   {"source", no_argument, NULL, 'S'},
   {"special-syms", no_argument, &dump_special_syms, 1},
   {"include", required_argument, NULL, 'I'},
-  {"dwarf", no_argument, NULL, 'W'},
+  {"dwarf", optional_argument, NULL, OPTION_DWARF},
   {"stabs", no_argument, NULL, 'G'},
   {"start-address", required_argument, NULL, OPTION_START_ADDRESS},
   {"stop-address", required_argument, NULL, OPTION_STOP_ADDRESS},
@@ -293,6 +304,8 @@ static struct option long_options[]=
   {"target", required_argument, NULL, 'b'},
   {"version", no_argument, NULL, 'V'},
   {"wide", no_argument, NULL, 'w'},
+  {"prefix", required_argument, NULL, OPTION_PREFIX},
+  {"prefix-strip", required_argument, NULL, OPTION_PREFIX_STRIP},
   {0, no_argument, 0, 0}
 };
 \f
@@ -1190,6 +1203,7 @@ show_line (bfd *abfd, asection *section, bfd_vma addr_offset)
   const char *filename;
   const char *functionname;
   unsigned int line;
+  bfd_boolean reloc;
 
   if (! with_line_numbers && ! with_source_code)
     return;
@@ -1203,6 +1217,44 @@ show_line (bfd *abfd, asection *section, bfd_vma addr_offset)
   if (functionname != NULL && *functionname == '\0')
     functionname = NULL;
 
+  if (filename
+      && IS_ABSOLUTE_PATH (filename)
+      && prefix)
+    {
+      char *path_up;
+      const char *fname = filename;
+      char *path = (char *) alloca (prefix_length + PATH_MAX + 1);
+
+      if (prefix_length)
+       memcpy (path, prefix, prefix_length);
+      path_up = path + prefix_length;
+
+      /* Build relocated filename, stripping off leading directories
+        from the initial filename if requested. */
+      if (prefix_strip > 0)
+       {
+         int level = 0;
+         const char *s;
+
+         /* Skip selected directory levels. */
+         for (s = fname + 1; *s != '\0' && level < prefix_strip; s++)
+           if (IS_DIR_SEPARATOR(*s))
+             {
+               fname = s;
+               level++;
+             }
+       }
+
+      /* Update complete filename. */
+      strncpy (path_up, fname, PATH_MAX);
+      path_up[PATH_MAX] = '\0';
+
+      filename = path;
+      reloc = TRUE;
+    }
+  else
+    reloc = FALSE;
+
   if (with_line_numbers)
     {
       if (functionname != NULL
@@ -1226,7 +1278,11 @@ show_line (bfd *abfd, asection *section, bfd_vma addr_offset)
       p = *pp;
 
       if (p == NULL)
+       {
+         if (reloc)
+           filename = xstrdup (filename);
          p = update_source_path (filename);
+       }
 
       if (p != NULL && line != p->last_line)
        {
@@ -1372,19 +1428,18 @@ disassemble_bytes (struct disassemble_info * info,
   if (! prefix_addresses)
     {
       char buf[30];
-      char *s;
-
-      bfd_sprintf_vma
-       (aux->abfd, buf,
-        (section->vma
-         + bfd_section_size (section->owner, section) / opb));
-      s = buf;
-      while (s[0] == '0' && s[1] == '0' && s[2] == '0' && s[3] == '0'
-            && s[4] == '0')
-       {
-         skip_addr_chars += 4;
-         s += 4;
-       }
+
+      bfd_sprintf_vma (aux->abfd, buf, section->vma + section->size / opb);
+
+      while (buf[skip_addr_chars] == '0')
+       ++skip_addr_chars;
+
+      /* Don't discard zeros on overflow.  */
+      if (buf[skip_addr_chars] == '\0' && section->vma != 0)
+       skip_addr_chars = 0;
+
+      if (skip_addr_chars != 0)
+       skip_addr_chars = (skip_addr_chars - 1) & -4;
     }
 
   info->insn_info_valid = 0;
@@ -1428,7 +1483,8 @@ disassemble_bytes (struct disassemble_info * info,
          if (display_file_offsets && ((addr_offset + (octets / opb)) < stop_offset))
            printf ("\t... (skipping %d zeroes, resuming at file offset: 0x%lx)\n",
                    octets / opb,
-                   (long int)(section->filepos + (addr_offset + (octets / opb))));
+                   (unsigned long) (section->filepos
+                                    + (addr_offset + (octets / opb))));
          else
            printf ("\t...\n");
        }
@@ -1708,6 +1764,8 @@ disassemble_bytes (struct disassemble_info * info,
 static void
 disassemble_section (bfd *abfd, asection *section, void *info)
 {
+  const struct elf_backend_data * bed;
+  bfd_vma                      sign_adjust = 0;
   struct disassemble_info *    pinfo = (struct disassemble_info *) info;
   struct objdump_disasm_info * paux;
   unsigned int                 opb = pinfo->octets_per_byte;
@@ -1775,7 +1833,6 @@ disassemble_section (bfd *abfd, asection *section, void *info)
              qsort (rel_pp, rel_count, sizeof (arelent *), compare_relocs);
            }
        }
-
     }
   rel_ppend = rel_pp + rel_count;
 
@@ -1821,6 +1878,14 @@ disassemble_section (bfd *abfd, asection *section, void *info)
   sym = find_symbol_for_address (section->vma + addr_offset, info, &place);
   paux->require_sec = FALSE;
 
+  /* PR 9774: If the target used signed 32-bit addresses then we must make
+     sure that we sign extend the value that we calculate for 'addr' in the
+     loop below.  */
+  if (bfd_get_flavour (abfd) == bfd_target_elf_flavour
+      && (bed = get_elf_backend_data (abfd)) != NULL
+      && bed->sign_extend_vma)
+    sign_adjust = 0x80000000;
+
   /* Disassemble a block of instructions up to the address associated with
      the symbol we have just found.  Then print the symbol and find the
      next symbol on.  Repeat until we have disassembled the entire section
@@ -1833,6 +1898,7 @@ disassemble_section (bfd *abfd, asection *section, void *info)
       bfd_boolean insns;
 
       addr = section->vma + addr_offset;
+      addr = ((addr & ((sign_adjust << 1) - 1)) ^ sign_adjust) - sign_adjust;
 
       if (sym != NULL && bfd_asymbol_value (sym) <= addr)
        {
@@ -1895,7 +1961,8 @@ disassemble_section (bfd *abfd, asection *section, void *info)
       else
        nextstop_offset = bfd_asymbol_value (nextsym) - section->vma;
 
-      if (nextstop_offset > stop_offset)
+      if (nextstop_offset > stop_offset
+         || nextstop_offset <= addr_offset)
        nextstop_offset = stop_offset;
 
       /* If a symbol is explicitly marked as being an object
@@ -1903,6 +1970,7 @@ disassemble_section (bfd *abfd, asection *section, void *info)
         disassembling them.  */
       if (disassemble_all
          || sym == NULL
+         || sym->section != section
          || bfd_asymbol_value (sym) > addr
          || ((sym->flags & BSF_OBJECT) == 0
              && (strstr (bfd_asymbol_name (sym), "gnu_compiled")
@@ -1917,7 +1985,7 @@ disassemble_section (bfd *abfd, asection *section, void *info)
       disassemble_bytes (pinfo, paux->disassemble_fn, insns, data,
                         addr_offset, nextstop_offset,
                         rel_offset, &rel_pp, rel_ppend);
-
+      
       addr_offset = nextstop_offset;
       sym = nextsym;
     }
@@ -2055,12 +2123,12 @@ disassemble_data (bfd *abfd)
   free (sorted_syms);
 }
 \f
-int
-load_debug_section (enum dwarf_section_display_enum debug, void *file)
+static int
+load_specific_debug_section (enum dwarf_section_display_enum debug,
+                            asection *sec, void *file)
 {
   struct dwarf_section *section = &debug_displays [debug].section;
   bfd *abfd = file;
-  asection *sec;
   bfd_boolean ret;
   int section_is_compressed;
 
@@ -2068,38 +2136,9 @@ load_debug_section (enum dwarf_section_display_enum debug, void *file)
   if (section->start != NULL)
     return 1;
 
-  /* Locate the debug section.  */
-  sec = bfd_get_section_by_name (abfd, section->uncompressed_name);
-  if (sec != NULL)
-    {
-      section->name = section->uncompressed_name;
-      section_is_compressed = 0;
-    }
-  else
-    {
-      sec = bfd_get_section_by_name (abfd, section->compressed_name);
-      if (sec != NULL)
-        {
-          section->name = section->compressed_name;
-          section_is_compressed = 1;
-        }
-    }
-  if (sec == NULL)
-    return 0;
+  section_is_compressed = section->name == section->compressed_name;
 
-  /* Compute a bias to be added to offsets found within the DWARF debug
-     information.  These offsets are meant to be relative to the start of
-     the dwarf section, and hence the bias should be 0.  For MACH-O however
-     a dwarf section is really just a region of a much larger section and so
-     the bias is the address of the start of that area within the larger
-     section.  This test is important for PE and COFF based targets which
-     use DWARF debug information, since unlike ELF, they do not allow the
-     dwarf sections to be placed at address 0.  */
-  if (bfd_get_flavour (abfd) == bfd_target_mach_o_flavour)
-    section->address = bfd_get_section_vma (abfd, sec);
-  else
-    section->address = 0;
-    
+  section->address = 0;
   section->size = bfd_get_section_size (sec);
   section->start = xmalloc (section->size);
 
@@ -2132,7 +2171,34 @@ load_debug_section (enum dwarf_section_display_enum debug, void *file)
       section->size = size;
     }
 
-  return ret;
+  return 1;
+}
+
+int
+load_debug_section (enum dwarf_section_display_enum debug, void *file)
+{
+  struct dwarf_section *section = &debug_displays [debug].section;
+  bfd *abfd = file;
+  asection *sec;
+
+  /* If it is already loaded, do nothing.  */
+  if (section->start != NULL)
+    return 1;
+
+  /* Locate the debug section.  */
+  sec = bfd_get_section_by_name (abfd, section->uncompressed_name);
+  if (sec != NULL)
+    section->name = section->uncompressed_name;
+  else
+    {
+      sec = bfd_get_section_by_name (abfd, section->compressed_name);
+      if (sec != NULL)
+        section->name = section->compressed_name;
+    }
+  if (sec == NULL)
+    return 0;
+
+  return load_specific_debug_section (debug, sec, file);
 }
 
 void
@@ -2163,14 +2229,20 @@ dump_dwarf_section (bfd *abfd, asection *section,
     match = name;
 
   for (i = 0; i < max; i++)
-    if (strcmp (debug_displays [i].section.uncompressed_name, match) == 0
-        || strcmp (debug_displays [i].section.compressed_name, match) == 0)
+    if ((strcmp (debug_displays [i].section.uncompressed_name, match) == 0
+        || strcmp (debug_displays [i].section.compressed_name, match) == 0)
+       && debug_displays [i].enabled != NULL
+       && *debug_displays [i].enabled)
       {
        if (!debug_displays [i].eh_frame)
          {
            struct dwarf_section *sec = &debug_displays [i].section;
 
-           if (load_debug_section (i, abfd))
+           if (strcmp (sec->uncompressed_name, match) == 0)
+             sec->name = sec->uncompressed_name;
+           else
+             sec->name = sec->compressed_name;
+           if (load_specific_debug_section (i, section, abfd))
              {
                debug_displays [i].display (sec, abfd);
 
@@ -2182,86 +2254,6 @@ dump_dwarf_section (bfd *abfd, asection *section,
       }
 }
 
-static const char *mach_o_uncompressed_dwarf_sections [] = {
-  "LC_SEGMENT.__DWARFA.__debug_abbrev",                /* .debug_abbrev */
-  "LC_SEGMENT.__DWARFA.__debug_aranges",       /* .debug_aranges */
-  "LC_SEGMENT.__DWARFA.__debug_frame",         /* .debug_frame */
-  "LC_SEGMENT.__DWARFA.__debug_info",          /* .debug_info */
-  "LC_SEGMENT.__DWARFA.__debug_line",          /* .debug_line */
-  "LC_SEGMENT.__DWARFA.__debug_pubnames",      /* .debug_pubnames */
-  ".eh_frame",                                 /* .eh_frame */
-  "LC_SEGMENT.__DWARFA.__debug_macinfo",       /* .debug_macinfo */
-  "LC_SEGMENT.__DWARFA.__debug_str",           /* .debug_str */
-  "LC_SEGMENT.__DWARFA.__debug_loc",           /* .debug_loc */
-  "LC_SEGMENT.__DWARFA.__debug_pubtypes",      /* .debug_pubtypes */
-  "LC_SEGMENT.__DWARFA.__debug_ranges",                /* .debug_ranges */
-  "LC_SEGMENT.__DWARFA.__debug_static_func",   /* .debug_static_func */
-  "LC_SEGMENT.__DWARFA.__debug_static_vars",   /* .debug_static_vars */
-  "LC_SEGMENT.__DWARFA.__debug_types",         /* .debug_types */
-  "LC_SEGMENT.__DWARFA.__debug_weaknames"      /* .debug_weaknames */
-};
-
-static const char *mach_o_compressed_dwarf_sections [] = {
-  "LC_SEGMENT.__DWARFA.__zdebug_abbrev",       /* .zdebug_abbrev */
-  "LC_SEGMENT.__DWARFA.__zdebug_aranges",      /* .zdebug_aranges */
-  "LC_SEGMENT.__DWARFA.__zdebug_frame",                /* .zdebug_frame */
-  "LC_SEGMENT.__DWARFA.__zdebug_info",         /* .zdebug_info */
-  "LC_SEGMENT.__DWARFA.__zdebug_line",         /* .zdebug_line */
-  "LC_SEGMENT.__DWARFA.__zdebug_pubnames",     /* .zdebug_pubnames */
-  ".eh_frame",                                 /* .eh_frame */
-  "LC_SEGMENT.__DWARFA.__zdebug_macinfo",      /* .zdebug_macinfo */
-  "LC_SEGMENT.__DWARFA.__zdebug_str",          /* .zdebug_str */
-  "LC_SEGMENT.__DWARFA.__zdebug_loc",          /* .zdebug_loc */
-  "LC_SEGMENT.__DWARFA.__zdebug_pubtypes",     /* .zdebug_pubtypes */
-  "LC_SEGMENT.__DWARFA.__zdebug_ranges",       /* .zdebug_ranges */
-  "LC_SEGMENT.__DWARFA.__zdebug_static_func",  /* .zdebug_static_func */
-  "LC_SEGMENT.__DWARFA.__zdebug_static_vars",  /* .zdebug_static_vars */
-  "LC_SEGMENT.__DWARFA.__zdebug_types",                /* .zdebug_types */
-  "LC_SEGMENT.__DWARFA.__zdebug_weaknames"     /* .zdebug_weaknames */
-};
-
-static const char *generic_uncompressed_dwarf_sections [max];
-static const char *generic_compressed_dwarf_sections [max];
-
-static void
-check_mach_o_dwarf (bfd *abfd)
-{
-  static enum bfd_flavour old_flavour = bfd_target_unknown_flavour;
-  enum bfd_flavour current_flavour = bfd_get_flavour (abfd);
-  enum dwarf_section_display_enum i;
-
-  if (generic_uncompressed_dwarf_sections [0] == NULL)
-    for (i = 0; i < max; i++)
-      {
-        generic_uncompressed_dwarf_sections [i]
-            = debug_displays[i].section.uncompressed_name;
-        generic_compressed_dwarf_sections [i]
-            = debug_displays[i].section.compressed_name;
-      }
-
-  if (old_flavour != current_flavour)
-    {
-      if (current_flavour == bfd_target_mach_o_flavour)
-       for (i = 0; i < max; i++)
-          {
-            debug_displays[i].section.uncompressed_name
-                = mach_o_uncompressed_dwarf_sections [i];
-            debug_displays[i].section.compressed_name
-                = mach_o_compressed_dwarf_sections [i];
-          }
-      else if (old_flavour == bfd_target_mach_o_flavour)
-       for (i = 0; i < max; i++)
-          {
-            debug_displays[i].section.uncompressed_name
-                = generic_uncompressed_dwarf_sections [i];
-            debug_displays[i].section.compressed_name
-                = generic_compressed_dwarf_sections [i];
-          }
-
-      old_flavour = current_flavour;
-    }
-}
-
 /* Dump the dwarf debugging information.  */
 
 static void
@@ -2280,8 +2272,6 @@ dump_dwarf (bfd *abfd)
   else
     abort ();
 
-  check_mach_o_dwarf (abfd);
-
   if (bfd_get_flavour (abfd) == bfd_target_elf_flavour)
     {
       const struct elf_backend_data *bed = get_elf_backend_data (abfd);
@@ -2478,6 +2468,10 @@ dump_stabs (bfd *abfd)
   dump_stabs_section (abfd, ".stab", ".stabstr");
   dump_stabs_section (abfd, ".stab.excl", ".stab.exclstr");
   dump_stabs_section (abfd, ".stab.index", ".stab.indexstr");
+
+  /* For Darwin.  */
+  dump_stabs_section (abfd, "LC_SYMTAB.stabs", "LC_SYMTAB.stabstr");
+
   dump_stabs_section (abfd, "$GDB_SYMBOLS$", "$GDB_STRINGS$");
 }
 \f
@@ -2568,7 +2562,8 @@ dump_section (bfd *abfd, asection *section, void *dummy ATTRIBUTE_UNUSED)
   
   printf (_("Contents of section %s:"), section->name);
   if (display_file_offsets)
-    printf (_("  (Starting at file offset: 0x%lx)"), (long int)(section->filepos + start_offset));
+    printf (_("  (Starting at file offset: 0x%lx)"),
+           (unsigned long) (section->filepos + start_offset));
   printf ("\n");
 
   data = xmalloc (datasize);
@@ -2812,8 +2807,11 @@ dump_reloc_set (bfd *abfd, asection *sec, arelent **relpp, long relcount)
        printf (" %-16s  ", q->howto->name);
       else
        printf (" %-16d  ", q->howto->type);
+
       if (sym_name)
-       objdump_print_symname (abfd, NULL, *q->sym_ptr_ptr);
+       {
+         objdump_print_symname (abfd, NULL, *q->sym_ptr_ptr);
+       }
       else
        {
          if (section_name == NULL)
@@ -3175,7 +3173,8 @@ main (int argc, char **argv)
   bfd_init ();
   set_default_bfd_target ();
 
-  while ((c = getopt_long (argc, argv, "pib:m:M:VvCdDlfFaHhrRtTxsSI:j:wE:zgeGW",
+  while ((c = getopt_long (argc, argv,
+                          "pib:m:M:VvCdDlfFaHhrRtTxsSI:j:wE:zgeGW::",
                           long_options, (int *) 0))
         != EOF)
     {
@@ -3241,6 +3240,18 @@ main (int argc, char **argv)
          if ((start_address != (bfd_vma) -1) && stop_address <= start_address)
            fatal (_("error: the stop address should be after the start address"));
          break;
+       case OPTION_PREFIX:
+         prefix = optarg;
+         prefix_length = strlen (prefix);
+         /* Remove an unnecessary trailing '/' */
+         while (IS_DIR_SEPARATOR (prefix[prefix_length - 1]))
+           prefix_length--;
+         break;
+       case OPTION_PREFIX_STRIP:
+         prefix_strip = atoi (optarg);
+         if (prefix_strip < 0)
+           fatal (_("error: prefix strip must be non-negative"));
+         break;
        case 'E':
          if (strcmp (optarg, "B") == 0)
            endian = BFD_ENDIAN_BIG;
@@ -3326,16 +3337,18 @@ main (int argc, char **argv)
        case 'W':
          dump_dwarf_section_info = TRUE;
          seenflag = TRUE;
-         do_debug_info = 1;
-         do_debug_abbrevs = 1;
-         do_debug_lines = 1;
-         do_debug_pubnames = 1;
-         do_debug_aranges = 1;
-         do_debug_ranges = 1;
-         do_debug_frames = 1;
-         do_debug_macinfo = 1;
-         do_debug_str = 1;
-         do_debug_loc = 1;
+         if (optarg)
+           dwarf_select_sections_by_letters (optarg);
+         else
+           dwarf_select_sections_all ();
+         break;
+       case OPTION_DWARF:
+         dump_dwarf_section_info = TRUE;
+         seenflag = TRUE;
+         if (optarg)
+           dwarf_select_sections_by_names (optarg);
+         else
+           dwarf_select_sections_all ();
          break;
        case 'G':
          dump_stab_section_info = TRUE;