1 files changed, 97 insertions, 0 deletions
diff --git a/dwarflint/dwarf_4.cc b/dwarflint/dwarf_4.cc
new file mode 100644
index 00000000..e398f769
--- /dev/null
+++ b/dwarflint/dwarf_4.cc
@@ -0,0 +1,97 @@
+/* Pedantic checking of DWARF files
+   Copyright (C) 2010, 2011 Red Hat, Inc.
+   This file is part of elfutils.
+
+   This file is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
+
+   elfutils is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
+
+#include "dwarf_version-imp.hh"
+#include "dwarf_3.hh"
+#include "dwarf_4.hh"
+#include "../libdw/dwarf.h"
+
+namespace
+{
+  struct dwarf_4_attributes
+    : public attribute_table
+  {
+    dwarf_4_attributes ()
+    {
+      add (attribute (DW_AT_high_pc, dw_class_set (cl_address, cl_constant)));
+      add (ref_attribute (DW_AT_namelist_item));
+      add (ref_attribute (DW_AT_signature));
+      add (flag_attribute (DW_AT_main_subprogram));
+      add (const_attribute (DW_AT_data_bit_offset));
+      add (flag_attribute (DW_AT_const_expr));
+      add (flag_attribute (DW_AT_enum_class));
+      add (string_attribute (DW_AT_linkage_name));
+    }
+  };
+
+  struct exprloc_form
+    : public preset_form<sc_block, cl_exprloc>
+  {
+    exprloc_form (int a_name)
+      : preset_form<sc_block, cl_exprloc> (a_name, fw_uleb)
+    {}
+  };
+
+  struct dwarf_4_forms
+    : public form_table
+  {
+    dwarf_4_forms ()
+    {
+      add (const_form (DW_FORM_data4, fw_4));
+      add (const_form (DW_FORM_data8, fw_8));
+      add (offset_form (DW_FORM_sec_offset,
+			dw_class_set (cl_lineptr, cl_loclistptr,
+				      cl_macptr, cl_rangelistptr)));
+      add (exprloc_form (DW_FORM_exprloc));
+      add (flag_form (DW_FORM_flag_present, fw_0));
+
+      // http://wiki.dwarfstd.org/index.php?title=COMDAT_Type_Sections
+      add (ref_form (DW_FORM_ref_sig8, fw_8));
+
+      // In DWARF 2 we claim that blocks are exprloc forms (see
+      // comment there).  Revert back to pure blocks now that we have
+      // proper support for cl_exprloc.
+      add (block_form (DW_FORM_block, fw_uleb));
+      add (block_form (DW_FORM_block1, fw_1));
+      add (block_form (DW_FORM_block2, fw_2));
+      add (block_form (DW_FORM_block4, fw_4));
+    }
+  };
+
+  struct dwarf_4_ext_t
+    : public std_dwarf
+  {
+    dwarf_4_ext_t ()
+      : std_dwarf (dwarf_4_attributes (), dwarf_4_forms ())
+    {}
+  };
+}
+
+dwarf_version const *
+dwarf_4_ext ()
+{
+  static dwarf_4_ext_t dw;
+  return &dw;
+}
+
+dwarf_version const *
+dwarf_4 ()
+{
+  static dwarf_version const *dw =
+    dwarf_version::extend (dwarf_3 (), dwarf_4_ext ());
+  return dw;
+}