Home | History | Annotate | Download | only in gold
      1 // dwarf_reader.h -- parse dwarf2/3 debug information for gold  -*- C++ -*-
      2 
      3 // Copyright (C) 2007-2016 Free Software Foundation, Inc.
      4 // Written by Ian Lance Taylor <iant (at) google.com>.
      5 
      6 // This file is part of gold.
      7 
      8 // This program is free software; you can redistribute it and/or modify
      9 // it under the terms of the GNU General Public License as published by
     10 // the Free Software Foundation; either version 3 of the License, or
     11 // (at your option) any later version.
     12 
     13 // This program is distributed in the hope that it will be useful,
     14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
     15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
     16 // GNU General Public License for more details.
     17 
     18 // You should have received a copy of the GNU General Public License
     19 // along with this program; if not, write to the Free Software
     20 // Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
     21 // MA 02110-1301, USA.
     22 
     23 #ifndef GOLD_DWARF_READER_H
     24 #define GOLD_DWARF_READER_H
     25 
     26 #include <vector>
     27 #include <map>
     28 #include <limits.h>
     29 #include <sys/types.h>
     30 
     31 #include "elfcpp.h"
     32 #include "elfcpp_swap.h"
     33 #include "dwarf.h"
     34 #include "reloc.h"
     35 
     36 namespace gold
     37 {
     38 
     39 class Dwarf_info_reader;
     40 struct LineStateMachine;
     41 
     42 // This class is used to extract the section index and offset of
     43 // the target of a relocation for a given offset within the section.
     44 
     45 class Elf_reloc_mapper
     46 {
     47  public:
     48   Elf_reloc_mapper()
     49   { }
     50 
     51   virtual
     52   ~Elf_reloc_mapper()
     53   { }
     54 
     55   // Initialize the relocation tracker for section RELOC_SHNDX.
     56   bool
     57   initialize(unsigned int reloc_shndx, unsigned int reloc_type)
     58   { return this->do_initialize(reloc_shndx, reloc_type); }
     59 
     60   // Return the next reloc_offset.
     61   off_t
     62   next_offset()
     63   { return this->do_next_offset(); }
     64 
     65   // Advance to the next relocation past OFFSET.
     66   void
     67   advance(off_t offset)
     68   { this->do_advance(offset); }
     69 
     70   // Return the section index and offset within the section of the target
     71   // of the relocation for RELOC_OFFSET in the referring section.
     72   unsigned int
     73   get_reloc_target(off_t reloc_offset, off_t* target_offset)
     74   { return this->do_get_reloc_target(reloc_offset, target_offset); }
     75 
     76   // Checkpoint the current position in the reloc section.
     77   uint64_t
     78   checkpoint() const
     79   { return this->do_checkpoint(); }
     80 
     81   // Reset the current position to the CHECKPOINT.
     82   void
     83   reset(uint64_t checkpoint)
     84   { this->do_reset(checkpoint); }
     85 
     86  protected:
     87   virtual bool
     88   do_initialize(unsigned int, unsigned int) = 0;
     89 
     90   // Return the next reloc_offset.
     91   virtual off_t
     92   do_next_offset() = 0;
     93 
     94   // Advance to the next relocation past OFFSET.
     95   virtual void
     96   do_advance(off_t offset) = 0;
     97 
     98   virtual unsigned int
     99   do_get_reloc_target(off_t reloc_offset, off_t* target_offset) = 0;
    100 
    101   // Checkpoint the current position in the reloc section.
    102   virtual uint64_t
    103   do_checkpoint() const = 0;
    104 
    105   // Reset the current position to the CHECKPOINT.
    106   virtual void
    107   do_reset(uint64_t checkpoint) = 0;
    108 };
    109 
    110 template<int size, bool big_endian>
    111 class Sized_elf_reloc_mapper : public Elf_reloc_mapper
    112 {
    113  public:
    114   Sized_elf_reloc_mapper(Object* object, const unsigned char* symtab,
    115 			 off_t symtab_size)
    116     : object_(object), symtab_(symtab), symtab_size_(symtab_size),
    117       reloc_type_(0), track_relocs_()
    118   { }
    119 
    120  protected:
    121   bool
    122   do_initialize(unsigned int reloc_shndx, unsigned int reloc_type);
    123 
    124   // Return the next reloc_offset.
    125   virtual off_t
    126   do_next_offset()
    127   { return this->track_relocs_.next_offset(); }
    128 
    129   // Advance to the next relocation past OFFSET.
    130   virtual void
    131   do_advance(off_t offset)
    132   { this->track_relocs_.advance(offset); }
    133 
    134   unsigned int
    135   do_get_reloc_target(off_t reloc_offset, off_t* target_offset);
    136 
    137   // Checkpoint the current position in the reloc section.
    138   uint64_t
    139   do_checkpoint() const
    140   { return this->track_relocs_.checkpoint(); }
    141 
    142   // Reset the current position to the CHECKPOINT.
    143   void
    144   do_reset(uint64_t checkpoint)
    145   { this->track_relocs_.reset(checkpoint); }
    146 
    147  private:
    148   typedef typename elfcpp::Elf_types<size>::Elf_Addr Address;
    149 
    150   // Return the section index of symbol SYMNDX, and copy its value to *VALUE.
    151   // Set *IS_ORDINARY true if the section index is an ordinary section index.
    152   unsigned int
    153   symbol_section(unsigned int symndx, Address* value, bool* is_ordinary);
    154 
    155   // The object file.
    156   Object* object_;
    157   // The ELF symbol table.
    158   const unsigned char* symtab_;
    159   // The size of the ELF symbol table.
    160   off_t symtab_size_;
    161   // Type of the relocation section (SHT_REL or SHT_RELA).
    162   unsigned int reloc_type_;
    163   // Relocations for the referring section.
    164   Track_relocs<size, big_endian> track_relocs_;
    165 };
    166 
    167 // This class is used to read the abbreviations table from the
    168 // .debug_abbrev section of the object file.
    169 
    170 class Dwarf_abbrev_table
    171 {
    172  public:
    173   // An attribute list entry.
    174   struct Attribute
    175   {
    176     Attribute(unsigned int a, unsigned int f)
    177       : attr(a), form(f)
    178     { }
    179     unsigned int attr;
    180     unsigned int form;
    181   };
    182 
    183   // An abbrev code entry.
    184   struct Abbrev_code
    185   {
    186     Abbrev_code(unsigned int t, bool hc)
    187       : tag(t), has_children(hc), has_sibling_attribute(false), attributes()
    188     {
    189       this->attributes.reserve(10);
    190     }
    191 
    192     void
    193     add_attribute(unsigned int attr, unsigned int form)
    194     {
    195       this->attributes.push_back(Attribute(attr, form));
    196     }
    197 
    198     // The DWARF tag.
    199     unsigned int tag;
    200     // True if the DIE has children.
    201     bool has_children : 1;
    202     // True if the DIE has a sibling attribute.
    203     bool has_sibling_attribute : 1;
    204     // The list of attributes and forms.
    205     std::vector<Attribute> attributes;
    206   };
    207 
    208   Dwarf_abbrev_table()
    209     : abbrev_shndx_(0), abbrev_offset_(0), buffer_(NULL), buffer_end_(NULL),
    210       owns_buffer_(false), buffer_pos_(NULL), high_abbrev_codes_()
    211   {
    212     memset(this->low_abbrev_codes_, 0, sizeof(this->low_abbrev_codes_));
    213   }
    214 
    215   ~Dwarf_abbrev_table()
    216   {
    217     if (this->owns_buffer_ && this->buffer_ != NULL)
    218       delete[] this->buffer_;
    219     this->clear_abbrev_codes();
    220   }
    221 
    222   // Read the abbrev table from an object file.
    223   bool
    224   read_abbrevs(Relobj* object,
    225 	       unsigned int abbrev_shndx,
    226 	       off_t abbrev_offset)
    227   {
    228     // If we've already read this abbrev table, return immediately.
    229     if (this->abbrev_shndx_ > 0
    230 	&& this->abbrev_shndx_ == abbrev_shndx
    231 	&& this->abbrev_offset_ == abbrev_offset)
    232       return true;
    233     return this->do_read_abbrevs(object, abbrev_shndx, abbrev_offset);
    234   }
    235 
    236   // Return the abbrev code entry for CODE.  This is a fast path for
    237   // abbrev codes that are in the direct lookup table.  If not found
    238   // there, we call do_get_abbrev() to do the hard work.
    239   const Abbrev_code*
    240   get_abbrev(unsigned int code)
    241   {
    242     if (code < this->low_abbrev_code_max_
    243 	&& this->low_abbrev_codes_[code] != NULL)
    244       return this->low_abbrev_codes_[code];
    245     return this->do_get_abbrev(code);
    246   }
    247 
    248  private:
    249   // Read the abbrev table from an object file.
    250   bool
    251   do_read_abbrevs(Relobj* object,
    252 		  unsigned int abbrev_shndx,
    253 		  off_t abbrev_offset);
    254 
    255   // Lookup the abbrev code entry for CODE.
    256   const Abbrev_code*
    257   do_get_abbrev(unsigned int code);
    258 
    259   // Store an abbrev code entry for CODE.
    260   void
    261   store_abbrev(unsigned int code, const Abbrev_code* entry)
    262   {
    263     if (code < this->low_abbrev_code_max_)
    264       this->low_abbrev_codes_[code] = entry;
    265     else
    266       this->high_abbrev_codes_[code] = entry;
    267   }
    268 
    269   // Clear the abbrev code table and release the memory it uses.
    270   void
    271   clear_abbrev_codes();
    272 
    273   typedef Unordered_map<unsigned int, const Abbrev_code*> Abbrev_code_table;
    274 
    275   // The section index of the current abbrev table.
    276   unsigned int abbrev_shndx_;
    277   // The offset within the section of the current abbrev table.
    278   off_t abbrev_offset_;
    279   // The buffer containing the .debug_abbrev section.
    280   const unsigned char* buffer_;
    281   const unsigned char* buffer_end_;
    282   // True if this object owns the buffer and needs to delete it.
    283   bool owns_buffer_;
    284   // Pointer to the current position in the buffer.
    285   const unsigned char* buffer_pos_;
    286   // The table of abbrev codes.
    287   // We use a direct-lookup array for low abbrev codes,
    288   // and store the rest in a hash table.
    289   static const unsigned int low_abbrev_code_max_ = 256;
    290   const Abbrev_code* low_abbrev_codes_[low_abbrev_code_max_];
    291   Abbrev_code_table high_abbrev_codes_;
    292 };
    293 
    294 // A DWARF range list.  The start and end offsets are relative
    295 // to the input section SHNDX.  Each range must lie entirely
    296 // within a single section.
    297 
    298 class Dwarf_range_list
    299 {
    300  public:
    301   struct Range
    302   {
    303     Range(unsigned int a_shndx, off_t a_start, off_t a_end)
    304       : shndx(a_shndx), start(a_start), end(a_end)
    305     { }
    306 
    307     unsigned int shndx;
    308     off_t start;
    309     off_t end;
    310   };
    311 
    312   Dwarf_range_list()
    313     : range_list_()
    314   { }
    315 
    316   void
    317   add(unsigned int shndx, off_t start, off_t end)
    318   { this->range_list_.push_back(Range(shndx, start, end)); }
    319 
    320   size_t
    321   size() const
    322   { return this->range_list_.size(); }
    323 
    324   const Range&
    325   operator[](off_t i) const
    326   { return this->range_list_[i]; }
    327 
    328  private:
    329   std::vector<Range> range_list_;
    330 };
    331 
    332 // This class is used to read the ranges table from the
    333 // .debug_ranges section of the object file.
    334 
    335 class Dwarf_ranges_table
    336 {
    337  public:
    338   Dwarf_ranges_table(Dwarf_info_reader* dwinfo)
    339     : dwinfo_(dwinfo), ranges_shndx_(0), ranges_buffer_(NULL),
    340       ranges_buffer_end_(NULL), owns_ranges_buffer_(false),
    341       ranges_reloc_mapper_(NULL), reloc_type_(0), output_section_offset_(0)
    342   { }
    343 
    344   ~Dwarf_ranges_table()
    345   {
    346     if (this->owns_ranges_buffer_ && this->ranges_buffer_ != NULL)
    347       delete[] this->ranges_buffer_;
    348     if (this->ranges_reloc_mapper_ != NULL)
    349       delete this->ranges_reloc_mapper_;
    350   }
    351 
    352   // Read the ranges table from an object file.
    353   bool
    354   read_ranges_table(Relobj* object,
    355 		    const unsigned char* symtab,
    356 		    off_t symtab_size,
    357 		    unsigned int ranges_shndx);
    358 
    359   // Read the range table from an object file.
    360   Dwarf_range_list*
    361   read_range_list(Relobj* object,
    362 		  const unsigned char* symtab,
    363 		  off_t symtab_size,
    364 		  unsigned int address_size,
    365 		  unsigned int ranges_shndx,
    366 		  off_t ranges_offset);
    367 
    368   // Look for a relocation at offset OFF in the range table,
    369   // and return the section index and offset of the target.
    370   unsigned int
    371   lookup_reloc(off_t off, off_t* target_off);
    372 
    373  private:
    374   // The Dwarf_info_reader, for reading data.
    375   Dwarf_info_reader* dwinfo_;
    376   // The section index of the ranges table.
    377   unsigned int ranges_shndx_;
    378   // The buffer containing the .debug_ranges section.
    379   const unsigned char* ranges_buffer_;
    380   const unsigned char* ranges_buffer_end_;
    381   // True if this object owns the buffer and needs to delete it.
    382   bool owns_ranges_buffer_;
    383   // Relocation mapper for the .debug_ranges section.
    384   Elf_reloc_mapper* ranges_reloc_mapper_;
    385   // Type of the relocation section (SHT_REL or SHT_RELA).
    386   unsigned int reloc_type_;
    387   // For incremental update links, this will hold the offset of the
    388   // input section within the output section.  Offsets read from
    389   // relocated data will be relative to the output section, and need
    390   // to be corrected before reading data from the input section.
    391   uint64_t output_section_offset_;
    392 };
    393 
    394 // This class is used to read the pubnames and pubtypes tables from the
    395 // .debug_pubnames and .debug_pubtypes sections of the object file.
    396 
    397 class Dwarf_pubnames_table
    398 {
    399  public:
    400   Dwarf_pubnames_table(Dwarf_info_reader* dwinfo, bool is_pubtypes)
    401     : dwinfo_(dwinfo), buffer_(NULL), buffer_end_(NULL), owns_buffer_(false),
    402       offset_size_(0), pinfo_(NULL), end_of_table_(NULL),
    403       is_pubtypes_(is_pubtypes), is_gnu_style_(false),
    404       unit_length_(0), cu_offset_(0)
    405   { }
    406 
    407   ~Dwarf_pubnames_table()
    408   {
    409     if (this->owns_buffer_ && this->buffer_ != NULL)
    410       delete[] this->buffer_;
    411   }
    412 
    413   // Read the pubnames section from the object file, using the symbol
    414   // table for relocating it.
    415   bool
    416   read_section(Relobj* object, const unsigned char* symbol_table,
    417                off_t symtab_size);
    418 
    419   // Read the header for the set at OFFSET.
    420   bool
    421   read_header(off_t offset);
    422 
    423   // Return the offset to the cu within the info or types section.
    424   off_t
    425   cu_offset()
    426   { return this->cu_offset_; }
    427 
    428   // Return the size of this subsection of the table.  The unit length
    429   // doesn't include the size of its own field.
    430   off_t
    431   subsection_size()
    432   { return this->unit_length_; }
    433 
    434   // Read the next name from the set.  If the pubname table is gnu-style,
    435   // FLAG_BYTE is set to the high-byte of a gdb_index version 7 cu_index.
    436   const char*
    437   next_name(uint8_t* flag_byte);
    438 
    439  private:
    440   // The Dwarf_info_reader, for reading data.
    441   Dwarf_info_reader* dwinfo_;
    442   // The buffer containing the .debug_ranges section.
    443   const unsigned char* buffer_;
    444   const unsigned char* buffer_end_;
    445   // True if this object owns the buffer and needs to delete it.
    446   bool owns_buffer_;
    447   // The size of a DWARF offset for the current set.
    448   unsigned int offset_size_;
    449   // The current position within the buffer.
    450   const unsigned char* pinfo_;
    451   // The end of the current pubnames table.
    452   const unsigned char* end_of_table_;
    453   // TRUE if this is a .debug_pubtypes section.
    454   bool is_pubtypes_;
    455   // Gnu-style pubnames table. This style has an extra flag byte between the
    456   // offset and the name, and is used for generating version 7 of gdb-index.
    457   bool is_gnu_style_;
    458   // Fields read from the header.
    459   uint64_t unit_length_;
    460   off_t cu_offset_;
    461 
    462   // Track relocations for this table so we can find the CUs that
    463   // correspond to the subsections.
    464   Elf_reloc_mapper* reloc_mapper_;
    465   // Type of the relocation section (SHT_REL or SHT_RELA).
    466   unsigned int reloc_type_;
    467 };
    468 
    469 // This class represents a DWARF Debug Info Entry (DIE).
    470 
    471 class Dwarf_die
    472 {
    473  public:
    474   // An attribute value.
    475   struct Attribute_value
    476   {
    477     unsigned int attr;
    478     unsigned int form;
    479     union
    480     {
    481       int64_t intval;
    482       uint64_t uintval;
    483       const char* stringval;
    484       const unsigned char* blockval;
    485       off_t refval;
    486     } val;
    487     union
    488     {
    489       // Section index for reference forms.
    490       unsigned int shndx;
    491       // Block length for block forms.
    492       unsigned int blocklen;
    493       // Attribute offset for DW_FORM_strp.
    494       unsigned int attr_off;
    495     } aux;
    496   };
    497 
    498   // A list of attribute values.
    499   typedef std::vector<Attribute_value> Attributes;
    500 
    501   Dwarf_die(Dwarf_info_reader* dwinfo,
    502 	    off_t die_offset,
    503 	    Dwarf_die* parent);
    504 
    505   // Return the DWARF tag for this DIE.
    506   unsigned int
    507   tag() const
    508   {
    509     if (this->abbrev_code_ == NULL)
    510       return 0;
    511     return this->abbrev_code_->tag;
    512   }
    513 
    514   // Return true if this DIE has children.
    515   bool
    516   has_children() const
    517   {
    518     gold_assert(this->abbrev_code_ != NULL);
    519     return this->abbrev_code_->has_children;
    520   }
    521 
    522   // Return true if this DIE has a sibling attribute.
    523   bool
    524   has_sibling_attribute() const
    525   {
    526     gold_assert(this->abbrev_code_ != NULL);
    527     return this->abbrev_code_->has_sibling_attribute;
    528   }
    529 
    530   // Return the value of attribute ATTR.
    531   const Attribute_value*
    532   attribute(unsigned int attr);
    533 
    534   // Return the value of the DW_AT_name attribute.
    535   const char*
    536   name()
    537   {
    538     if (this->name_ == NULL)
    539       this->set_name();
    540     return this->name_;
    541   }
    542 
    543   // Return the value of the DW_AT_linkage_name
    544   // or DW_AT_MIPS_linkage_name attribute.
    545   const char*
    546   linkage_name()
    547   {
    548     if (this->linkage_name_ == NULL)
    549       this->set_linkage_name();
    550     return this->linkage_name_;
    551   }
    552 
    553   // Return the value of the DW_AT_specification attribute.
    554   off_t
    555   specification()
    556   {
    557     if (!this->attributes_read_)
    558       this->read_attributes();
    559     return this->specification_;
    560   }
    561 
    562   // Return the value of the DW_AT_abstract_origin attribute.
    563   off_t
    564   abstract_origin()
    565   {
    566     if (!this->attributes_read_)
    567       this->read_attributes();
    568     return this->abstract_origin_;
    569   }
    570 
    571   // Return the value of attribute ATTR as a string.
    572   const char*
    573   string_attribute(unsigned int attr);
    574 
    575   // Return the value of attribute ATTR as an integer.
    576   int64_t
    577   int_attribute(unsigned int attr);
    578 
    579   // Return the value of attribute ATTR as an unsigned integer.
    580   uint64_t
    581   uint_attribute(unsigned int attr);
    582 
    583   // Return the value of attribute ATTR as a reference.
    584   off_t
    585   ref_attribute(unsigned int attr, unsigned int* shndx);
    586 
    587   // Return the value of attribute ATTR as a address.
    588   off_t
    589   address_attribute(unsigned int attr, unsigned int* shndx);
    590 
    591   // Return the value of attribute ATTR as a flag.
    592   bool
    593   flag_attribute(unsigned int attr)
    594   { return this->int_attribute(attr) != 0; }
    595 
    596   // Return true if this DIE is a declaration.
    597   bool
    598   is_declaration()
    599   { return this->flag_attribute(elfcpp::DW_AT_declaration); }
    600 
    601   // Return the parent of this DIE.
    602   Dwarf_die*
    603   parent() const
    604   { return this->parent_; }
    605 
    606   // Return the offset of this DIE.
    607   off_t
    608   offset() const
    609   { return this->die_offset_; }
    610 
    611   // Return the offset of this DIE's first child.
    612   off_t
    613   child_offset();
    614 
    615   // Set the offset of this DIE's next sibling.
    616   void
    617   set_sibling_offset(off_t sibling_offset)
    618   { this->sibling_offset_ = sibling_offset; }
    619 
    620   // Return the offset of this DIE's next sibling.
    621   off_t
    622   sibling_offset();
    623 
    624  private:
    625   typedef Dwarf_abbrev_table::Abbrev_code Abbrev_code;
    626 
    627   // Read all the attributes of the DIE.
    628   bool
    629   read_attributes();
    630 
    631   // Set the name of the DIE if present.
    632   void
    633   set_name();
    634 
    635   // Set the linkage name if present.
    636   void
    637   set_linkage_name();
    638 
    639   // Skip all the attributes of the DIE and return the offset
    640   // of the next DIE.
    641   off_t
    642   skip_attributes();
    643 
    644   // The Dwarf_info_reader, for reading attributes.
    645   Dwarf_info_reader* dwinfo_;
    646   // The parent of this DIE.
    647   Dwarf_die* parent_;
    648   // Offset of this DIE within its compilation unit.
    649   off_t die_offset_;
    650   // Offset of the first attribute, relative to the beginning of the DIE.
    651   off_t attr_offset_;
    652   // Offset of the first child, relative to the compilation unit.
    653   off_t child_offset_;
    654   // Offset of the next sibling, relative to the compilation unit.
    655   off_t sibling_offset_;
    656   // The abbreviation table entry.
    657   const Abbrev_code* abbrev_code_;
    658   // The list of attributes.
    659   Attributes attributes_;
    660   // True if the attributes have been read.
    661   bool attributes_read_;
    662   // The following fields hold common attributes to avoid a linear
    663   // search through the attribute list.
    664   // The DIE name (DW_AT_name).
    665   const char* name_;
    666   // Offset of the name in the string table (for DW_FORM_strp).
    667   off_t name_off_;
    668   // The linkage name (DW_AT_linkage_name or DW_AT_MIPS_linkage_name).
    669   const char* linkage_name_;
    670   // Offset of the linkage name in the string table (for DW_FORM_strp).
    671   off_t linkage_name_off_;
    672   // Section index of the string table (for DW_FORM_strp).
    673   unsigned int string_shndx_;
    674   // The value of a DW_AT_specification attribute.
    675   off_t specification_;
    676   // The value of a DW_AT_abstract_origin attribute.
    677   off_t abstract_origin_;
    678 };
    679 
    680 // This class is used to read the debug info from the .debug_info
    681 // or .debug_types sections.  This is a base class that implements
    682 // the generic parsing of the compilation unit header and DIE
    683 // structure.  The parse() method parses the entire section, and
    684 // calls the various visit_xxx() methods for each header.  Clients
    685 // should derive a new class from this one and implement the
    686 // visit_compilation_unit() and visit_type_unit() functions.
    687 
    688 class Dwarf_info_reader
    689 {
    690  public:
    691   Dwarf_info_reader(bool is_type_unit,
    692 		    Relobj* object,
    693 		    const unsigned char* symtab,
    694 		    off_t symtab_size,
    695 		    unsigned int shndx,
    696 		    unsigned int reloc_shndx,
    697 		    unsigned int reloc_type)
    698     : is_type_unit_(is_type_unit), object_(object), symtab_(symtab),
    699       symtab_size_(symtab_size), shndx_(shndx), reloc_shndx_(reloc_shndx),
    700       reloc_type_(reloc_type), abbrev_shndx_(0), string_shndx_(0),
    701       buffer_(NULL), buffer_end_(NULL), cu_offset_(0), cu_length_(0),
    702       offset_size_(0), address_size_(0), cu_version_(0),
    703       abbrev_table_(), ranges_table_(this),
    704       reloc_mapper_(NULL), string_buffer_(NULL), string_buffer_end_(NULL),
    705       owns_string_buffer_(false), string_output_section_offset_(0)
    706   { }
    707 
    708   virtual
    709   ~Dwarf_info_reader()
    710   {
    711     if (this->reloc_mapper_ != NULL)
    712       delete this->reloc_mapper_;
    713     if (this->owns_string_buffer_ && this->string_buffer_ != NULL)
    714       delete[] this->string_buffer_;
    715   }
    716 
    717   // Begin parsing the debug info.  This calls visit_compilation_unit()
    718   // or visit_type_unit() for each compilation or type unit found in the
    719   // section, and visit_die() for each top-level DIE.
    720   void
    721   parse();
    722 
    723   // Return the abbrev code entry for a CODE.
    724   const Dwarf_abbrev_table::Abbrev_code*
    725   get_abbrev(unsigned int code)
    726   { return this->abbrev_table_.get_abbrev(code); }
    727 
    728   // Return a pointer to the DWARF info buffer at OFFSET.
    729   const unsigned char*
    730   buffer_at_offset(off_t offset) const
    731   {
    732     const unsigned char* p = this->buffer_ + this->cu_offset_ + offset;
    733     if (this->check_buffer(p + 1))
    734       return p;
    735     return NULL;
    736   }
    737 
    738   // Read a possibly unaligned integer of SIZE.
    739   template <int valsize>
    740   inline typename elfcpp::Valtype_base<valsize>::Valtype
    741   read_from_pointer(const unsigned char* source);
    742 
    743   // Read a possibly unaligned integer of SIZE.  Update SOURCE after read.
    744   template <int valsize>
    745   inline typename elfcpp::Valtype_base<valsize>::Valtype
    746   read_from_pointer(const unsigned char** source);
    747 
    748   // Look for a relocation at offset ATTR_OFF in the dwarf info,
    749   // and return the section index and offset of the target.
    750   unsigned int
    751   lookup_reloc(off_t attr_off, off_t* target_off);
    752 
    753   // Return a string from the DWARF string table.
    754   const char*
    755   get_string(off_t str_off, unsigned int string_shndx);
    756 
    757   // Return the size of a DWARF offset.
    758   unsigned int
    759   offset_size() const
    760   { return this->offset_size_; }
    761 
    762   // Return the size of an address.
    763   unsigned int
    764   address_size() const
    765   { return this->address_size_; }
    766 
    767   // Set the section index of the .debug_abbrev section.
    768   // We use this if there are no relocations for the .debug_info section.
    769   // If not set, the code parse() routine will search for the section by name.
    770   void
    771   set_abbrev_shndx(unsigned int abbrev_shndx)
    772   { this->abbrev_shndx_ = abbrev_shndx; }
    773 
    774   // Return a pointer to the object file's ELF symbol table.
    775   const unsigned char*
    776   symtab() const
    777   { return this->symtab_; }
    778 
    779   // Return the size of the object file's ELF symbol table.
    780   off_t
    781   symtab_size() const
    782   { return this->symtab_size_; }
    783 
    784   // Return the offset of the current compilation unit.
    785   off_t
    786   cu_offset() const
    787   { return this->cu_offset_; }
    788 
    789  protected:
    790   // Begin parsing the debug info.  This calls visit_compilation_unit()
    791   // or visit_type_unit() for each compilation or type unit found in the
    792   // section, and visit_die() for each top-level DIE.
    793   template<bool big_endian>
    794   void
    795   do_parse();
    796 
    797   // The following methods are hooks that are meant to be implemented
    798   // by a derived class.  A default, do-nothing, implementation of
    799   // each is provided for this base class.
    800 
    801   // Visit a compilation unit.
    802   virtual void
    803   visit_compilation_unit(off_t cu_offset, off_t cu_length, Dwarf_die* root_die);
    804 
    805   // Visit a type unit.
    806   virtual void
    807   visit_type_unit(off_t tu_offset, off_t tu_length, off_t type_offset,
    808 		  uint64_t signature, Dwarf_die* root_die);
    809 
    810   // Read the range table.
    811   Dwarf_range_list*
    812   read_range_list(unsigned int ranges_shndx, off_t ranges_offset)
    813   {
    814     return this->ranges_table_.read_range_list(this->object_,
    815 					       this->symtab_,
    816 					       this->symtab_size_,
    817 					       this->address_size_,
    818 					       ranges_shndx,
    819 					       ranges_offset);
    820   }
    821 
    822   // Return the object.
    823   Relobj*
    824   object() const
    825   { return this->object_; }
    826 
    827   // Checkpoint the relocation tracker.
    828   uint64_t
    829   get_reloc_checkpoint() const
    830   { return this->reloc_mapper_->checkpoint(); }
    831 
    832   // Reset the relocation tracker to the CHECKPOINT.
    833   void
    834   reset_relocs(uint64_t checkpoint)
    835   { this->reloc_mapper_->reset(checkpoint); }
    836 
    837  private:
    838   // Print a warning about a corrupt debug section.
    839   void
    840   warn_corrupt_debug_section() const;
    841 
    842   // Check that P is within the bounds of the current section.
    843   bool
    844   check_buffer(const unsigned char* p) const
    845   {
    846     if (p > this->buffer_ + this->cu_offset_ + this->cu_length_)
    847       {
    848 	this->warn_corrupt_debug_section();
    849 	return false;
    850       }
    851     return true;
    852   }
    853 
    854   // Read the DWARF string table.
    855   bool
    856   read_string_table(unsigned int string_shndx)
    857   {
    858     // If we've already read this string table, return immediately.
    859     if (this->string_shndx_ > 0 && this->string_shndx_ == string_shndx)
    860       return true;
    861     if (string_shndx == 0 && this->string_shndx_ > 0)
    862       return true;
    863     return this->do_read_string_table(string_shndx);
    864   }
    865 
    866   bool
    867   do_read_string_table(unsigned int string_shndx);
    868 
    869   // True if this is a type unit; false for a compilation unit.
    870   bool is_type_unit_;
    871   // The object containing the .debug_info or .debug_types input section.
    872   Relobj* object_;
    873   // The ELF symbol table.
    874   const unsigned char* symtab_;
    875   // The size of the ELF symbol table.
    876   off_t symtab_size_;
    877   // Index of the .debug_info or .debug_types section.
    878   unsigned int shndx_;
    879   // Index of the relocation section.
    880   unsigned int reloc_shndx_;
    881   // Type of the relocation section (SHT_REL or SHT_RELA).
    882   unsigned int reloc_type_;
    883   // Index of the .debug_abbrev section (0 if not known).
    884   unsigned int abbrev_shndx_;
    885   // Index of the .debug_str section.
    886   unsigned int string_shndx_;
    887   // The buffer for the debug info.
    888   const unsigned char* buffer_;
    889   const unsigned char* buffer_end_;
    890   // Offset of the current compilation unit.
    891   off_t cu_offset_;
    892   // Length of the current compilation unit.
    893   off_t cu_length_;
    894   // Size of a DWARF offset for the current compilation unit.
    895   unsigned int offset_size_;
    896   // Size of an address for the target architecture.
    897   unsigned int address_size_;
    898   // Compilation unit version number.
    899   unsigned int cu_version_;
    900   // Abbreviations table for current compilation unit.
    901   Dwarf_abbrev_table abbrev_table_;
    902   // Ranges table for the current compilation unit.
    903   Dwarf_ranges_table ranges_table_;
    904   // Relocation mapper for the section.
    905   Elf_reloc_mapper* reloc_mapper_;
    906   // The buffer for the debug string table.
    907   const char* string_buffer_;
    908   const char* string_buffer_end_;
    909   // True if this object owns the buffer and needs to delete it.
    910   bool owns_string_buffer_;
    911   // For incremental update links, this will hold the offset of the
    912   // input .debug_str section within the output section.  Offsets read
    913   // from relocated data will be relative to the output section, and need
    914   // to be corrected before reading data from the input section.
    915   uint64_t string_output_section_offset_;
    916 };
    917 
    918 // We can't do better than to keep the offsets in a sorted vector.
    919 // Here, offset is the key, and file_num/line_num is the value.
    920 struct Offset_to_lineno_entry
    921 {
    922   off_t offset;
    923   int header_num;  // which file-list to use (i.e. which .o file are we in)
    924   // A pointer into files_.
    925   unsigned int file_num : sizeof(int) * CHAR_BIT - 1;
    926   // True if this was the last entry for the current offset, meaning
    927   // it's the line that actually applies.
    928   unsigned int last_line_for_offset : 1;
    929   // The line number in the source file.  -1 to indicate end-of-function.
    930   int line_num;
    931 
    932   // This sorts by offsets first, and then puts the correct line to
    933   // report for a given offset at the beginning of the run of equal
    934   // offsets (so that asking for 1 line gives the best answer).  This
    935   // is not a total ordering.
    936   bool operator<(const Offset_to_lineno_entry& that) const
    937   {
    938     if (this->offset != that.offset)
    939       return this->offset < that.offset;
    940     // Note the '>' which makes this sort 'true' first.
    941     return this->last_line_for_offset > that.last_line_for_offset;
    942   }
    943 };
    944 
    945 // This class is used to read the line information from the debugging
    946 // section of an object file.
    947 
    948 class Dwarf_line_info
    949 {
    950  public:
    951   Dwarf_line_info()
    952   { }
    953 
    954   virtual
    955   ~Dwarf_line_info()
    956   { }
    957 
    958   // Given a section number and an offset, returns the associated
    959   // file and line-number, as a string: "file:lineno".  If unable
    960   // to do the mapping, returns the empty string.  You must call
    961   // read_line_mappings() before calling this function.  If
    962   // 'other_lines' is non-NULL, fills that in with other line
    963   // numbers assigned to the same offset.
    964   std::string
    965   addr2line(unsigned int shndx, off_t offset,
    966             std::vector<std::string>* other_lines)
    967   { return this->do_addr2line(shndx, offset, other_lines); }
    968 
    969   // A helper function for a single addr2line lookup.  It also keeps a
    970   // cache of the last CACHE_SIZE Dwarf_line_info objects it created;
    971   // set to 0 not to cache at all.  The larger CACHE_SIZE is, the more
    972   // chance this routine won't have to re-create a Dwarf_line_info
    973   // object for its addr2line computation; such creations are slow.
    974   // NOTE: Not thread-safe, so only call from one thread at a time.
    975   static std::string
    976   one_addr2line(Object* object, unsigned int shndx, off_t offset,
    977                 size_t cache_size, std::vector<std::string>* other_lines);
    978 
    979   // This reclaims all the memory that one_addr2line may have cached.
    980   // Use this when you know you will not be calling one_addr2line again.
    981   static void
    982   clear_addr2line_cache();
    983 
    984  private:
    985   virtual std::string
    986   do_addr2line(unsigned int shndx, off_t offset,
    987                std::vector<std::string>* other_lines) = 0;
    988 };
    989 
    990 template<int size, bool big_endian>
    991 class Sized_dwarf_line_info : public Dwarf_line_info
    992 {
    993  public:
    994   // Initializes a .debug_line reader for a given object file.
    995   // If SHNDX is specified and non-negative, only read the debug
    996   // information that pertains to the specified section.
    997   Sized_dwarf_line_info(Object* object, unsigned int read_shndx = -1U);
    998 
    999   virtual
   1000   ~Sized_dwarf_line_info()
   1001   {
   1002     if (this->buffer_start_ != NULL)
   1003       delete[] this->buffer_start_;
   1004     if (this->str_buffer_start_ != NULL)
   1005       delete[] this->str_buffer_start_;
   1006   }
   1007 
   1008  private:
   1009   const static int DWARF5_EXPERIMENTAL_LINE_TABLE = 0xf006;
   1010 
   1011   std::string
   1012   do_addr2line(unsigned int shndx, off_t offset,
   1013                std::vector<std::string>* other_lines);
   1014 
   1015   // Formats a file and line number to a string like "dirname/filename:lineno".
   1016   std::string
   1017   format_file_lineno(const Offset_to_lineno_entry& lineno) const;
   1018 
   1019   // Start processing line info, and populates the offset_map_.
   1020   // If SHNDX is non-negative, only store debug information that
   1021   // pertains to the specified section.
   1022   void
   1023   read_line_mappings(unsigned int shndx);
   1024 
   1025   // Reads the relocation section associated with .debug_line and
   1026   // stores relocation information in reloc_map_.
   1027   void
   1028   read_relocs();
   1029 
   1030   // Reads the DWARF2/3 header for this line info.  Each takes as input
   1031   // a starting buffer position, and returns the ending position.
   1032   const unsigned char*
   1033   read_header_prolog(const unsigned char* lineptr);
   1034 
   1035   const unsigned char*
   1036   read_header_tables(const unsigned char* lineptr);
   1037 
   1038   const unsigned char*
   1039   read_header_tables_v5(const unsigned char* lineptr);
   1040 
   1041   // Reads the DWARF2/3 line information.  If shndx is non-negative,
   1042   // discard all line information that doesn't pertain to the given
   1043   // section.
   1044   const unsigned char*
   1045   read_lines(const unsigned char* lineptr, const unsigned char* endptr,
   1046 	     std::vector<LineStateMachine>* logicals,
   1047 	     bool is_logicals_table, bool is_actuals_table,
   1048 	     unsigned int shndx);
   1049 
   1050   // Process a single line info opcode at START using the state
   1051   // machine at LSM.  Return true if we should define a line using the
   1052   // current state of the line state machine.  Place the length of the
   1053   // opcode in LEN.
   1054   bool
   1055   process_one_opcode(const unsigned char* start,
   1056                      struct LineStateMachine* lsm, size_t* len,
   1057                      std::vector<LineStateMachine>* logicals,
   1058 		     bool is_logicals_table, bool is_actuals_table);
   1059 
   1060   // Some parts of processing differ depending on whether the input
   1061   // was a .o file or not.
   1062   bool input_is_relobj();
   1063 
   1064   // If we saw anything amiss while parsing, we set this to false.
   1065   // Then addr2line will always fail (rather than return possibly-
   1066   // corrupt data).
   1067   bool data_valid_;
   1068 
   1069   // A DWARF2/3 line info header.  This is not the same size as in the
   1070   // actual file, as the one in the file may have a 32 bit or 64 bit
   1071   // lengths.
   1072 
   1073   struct Dwarf_line_infoHeader
   1074   {
   1075     off_t total_length;
   1076     int version;
   1077     off_t prologue_length;
   1078     int min_insn_length; // insn stands for instructin
   1079     int max_ops_per_insn;
   1080     bool default_is_stmt; // stmt stands for statement
   1081     signed char line_base;
   1082     int line_range;
   1083     unsigned char opcode_base;
   1084     std::vector<unsigned char> std_opcode_lengths;
   1085     int offset_size;
   1086   } header_;
   1087 
   1088   // buffer is the buffer for our line info, starting at exactly where
   1089   // the line info to read is.
   1090   const unsigned char* buffer_;
   1091   const unsigned char* buffer_end_;
   1092   // If the buffer was allocated temporarily, and therefore must be
   1093   // deallocated in the dtor, this contains a pointer to the start
   1094   // of the buffer.
   1095   const unsigned char* buffer_start_;
   1096 
   1097   // buffer is the buffer for our line info, starting at exactly where
   1098   // the line info to read is.
   1099   const unsigned char* str_buffer_;
   1100   const unsigned char* str_buffer_end_;
   1101   // If the buffer was allocated temporarily, and therefore must be
   1102   // deallocated in the dtor, this contains a pointer to the start
   1103   // of the buffer.
   1104   const unsigned char* str_buffer_start_;
   1105 
   1106   // Pointer to the end of the header_length field (aka prologue_length).
   1107   // The offsets to the line number programs are relative to this point.
   1108   const unsigned char* end_of_header_length_;
   1109 
   1110   // Pointers to the start of the line number programs.
   1111   const unsigned char* logicals_start_;
   1112   const unsigned char* actuals_start_;
   1113 
   1114   // Pointer to the end of the current compilation unit.
   1115   const unsigned char* end_of_unit_;
   1116 
   1117   // This has relocations that point into buffer.
   1118   Sized_elf_reloc_mapper<size, big_endian>* reloc_mapper_;
   1119   // The type of the reloc section in track_relocs_--SHT_REL or SHT_RELA.
   1120   unsigned int track_relocs_type_;
   1121 
   1122   // This is used to figure out what section to apply a relocation to.
   1123   const unsigned char* symtab_buffer_;
   1124   section_size_type symtab_buffer_size_;
   1125 
   1126   // Holds the directories and files as we see them.  We have an array
   1127   // of directory-lists, one for each .o file we're reading (usually
   1128   // there will just be one, but there may be more if input is a .so).
   1129   std::vector<std::vector<std::string> > directories_;
   1130   // The first part is an index into directories_, the second the filename.
   1131   std::vector<std::vector< std::pair<int, std::string> > > files_;
   1132 
   1133   // An index into the current directories_ and files_ vectors.
   1134   int current_header_index_;
   1135 
   1136   // A sorted map from offset of the relocation target to the shndx
   1137   // and addend for the relocation.
   1138   typedef std::map<off_t, std::pair<unsigned int, off_t> >
   1139   Reloc_map;
   1140   Reloc_map reloc_map_;
   1141 
   1142   // We have a vector of offset->lineno entries for every input section.
   1143   typedef Unordered_map<unsigned int, std::vector<Offset_to_lineno_entry> >
   1144   Lineno_map;
   1145 
   1146   Lineno_map line_number_map_;
   1147 };
   1148 
   1149 } // End namespace gold.
   1150 
   1151 #endif // !defined(GOLD_DWARF_READER_H)
   1152