coverage.cc coverage.hh \
cu_coverage.cc cu_coverage.hh cu_coverage.ii \
dwarflint.cc dwarflint.hh dwarflint.ii \
- dwarf_version.cc dwarf_version.hh \
+ dwarf_version.cc dwarf_version.hh dwarf_version.ii \
+ dwarf_version-imp.cc dwarf_version-imp.hh \
+ dwarf_2.cc dwarf_2.hh \
+ dwarf_3.cc dwarf_3.hh \
+ dwarf_4.cc dwarf_4.hh \
elf_file.hh elf_file.ii \
expected-at.cc expected.hh \
highlevel_check.cc highlevel_check.hh \
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#include "dwarf_version-imp.hh"
+#include "dwarf_2.hh"
+#include "../libdw/dwarf.h"
+
+namespace
+{
+ struct dwarf_2_attributes
+ : public attribute_table
+ {
+ dwarf_2_attributes ()
+ {
+ add (new ref_attribute (DW_AT_sibling));
+ add (new const_or_block_attribute (DW_AT_location));
+ add (new string_attribute (DW_AT_name));
+ add (new const_attribute (DW_AT_ordering));
+ add (new const_attribute (DW_AT_byte_size));
+ add (new const_attribute (DW_AT_bit_offset));
+ add (new const_attribute (DW_AT_bit_size));
+ add (new const_attribute (DW_AT_stmt_list));
+ add (new addr_attribute (DW_AT_low_pc));
+ add (new addr_attribute (DW_AT_high_pc));
+ add (new const_attribute (DW_AT_language));
+ add (new ref_attribute (DW_AT_discr));
+ add (new const_attribute (DW_AT_discr_value));
+ add (new const_attribute (DW_AT_visibility));
+ add (new ref_attribute (DW_AT_import));
+ add (new const_or_block_attribute (DW_AT_string_length));
+ add (new ref_attribute (DW_AT_common_reference));
+ add (new string_attribute (DW_AT_comp_dir));
+ add (new basic_attribute (DW_AT_const_value,
+ dw_class_set (cl_string, cl_constant,
+ cl_block)));
+ add (new ref_attribute (DW_AT_containing_type));
+ add (new ref_attribute (DW_AT_default_value));
+ add (new const_attribute (DW_AT_inline));
+ add (new flag_attribute (DW_AT_is_optional));
+ add (new const_or_ref_attribute (DW_AT_lower_bound));
+ add (new string_attribute (DW_AT_producer));
+ add (new flag_attribute (DW_AT_prototyped));
+ add (new const_or_block_attribute (DW_AT_return_addr));
+ add (new const_attribute (DW_AT_start_scope));
+ add (new const_attribute (DW_AT_bit_stride));
+ add (new const_or_ref_attribute (DW_AT_upper_bound));
+ add (new const_attribute (DW_AT_abstract_origin));
+ add (new ref_attribute (DW_AT_accessibility));
+ add (new const_attribute (DW_AT_address_class));
+ add (new flag_attribute (DW_AT_artificial));
+ add (new ref_attribute (DW_AT_base_types));
+ add (new const_attribute (DW_AT_calling_convention));
+ add (new const_or_ref_attribute (DW_AT_count));
+ add (new ref_or_block_attribute (DW_AT_data_member_location));
+ add (new const_attribute (DW_AT_decl_column));
+ add (new const_attribute (DW_AT_decl_file));
+ add (new const_attribute (DW_AT_decl_line));
+ add (new flag_attribute (DW_AT_declaration));
+ add (new block_attribute (DW_AT_discr_list));
+ add (new const_attribute (DW_AT_encoding));
+ add (new flag_attribute (DW_AT_external));
+ add (new const_or_block_attribute (DW_AT_frame_base));
+ add (new ref_attribute (DW_AT_friend));
+ add (new const_attribute (DW_AT_identifier_case));
+ add (new const_attribute (DW_AT_macro_info));
+ add (new block_attribute (DW_AT_namelist_item));
+ add (new ref_attribute (DW_AT_priority));
+ add (new const_or_block_attribute (DW_AT_segment));
+ add (new ref_attribute (DW_AT_specification));
+ add (new const_or_block_attribute (DW_AT_static_link));
+ add (new ref_attribute (DW_AT_type));
+ add (new const_or_block_attribute (DW_AT_use_location));
+ add (new flag_attribute (DW_AT_variable_parameter));
+ add (new const_attribute (DW_AT_virtuality));
+ add (new ref_or_block_attribute (DW_AT_vtable_elem_location));
+ }
+ };
+
+ struct dwarf_2_forms
+ : public form_table
+ {
+ dwarf_2_forms ()
+ {
+ add (new block_form (DW_FORM_block, fw_uleb));
+ add (new block_form (DW_FORM_block1, fw_1));
+ add (new block_form (DW_FORM_block2, fw_2));
+ add (new block_form (DW_FORM_block4, fw_4));
+
+ add (new const_form (DW_FORM_data1, fw_1));
+ add (new const_form (DW_FORM_data2, fw_2));
+ add (new const_form (DW_FORM_data4, fw_4));
+ add (new const_form (DW_FORM_data8, fw_8));
+ add (new const_form (DW_FORM_sdata, fw_sleb));
+ add (new const_form (DW_FORM_udata, fw_uleb));
+
+ add (new flag_form (DW_FORM_flag, fw_1));
+
+ add (new ref_form (DW_FORM_ref1, fw_1));
+ add (new ref_form (DW_FORM_ref2, fw_2));
+ add (new ref_form (DW_FORM_ref4, fw_4));
+ add (new ref_form (DW_FORM_ref8, fw_8));
+ add (new ref_form (DW_FORM_ref_udata, fw_uleb));
+
+ add (new string_form (DW_FORM_string));
+ add (new offset_form (DW_FORM_strp, cl_string));
+ add (new address_form (DW_FORM_addr, cl_address));
+ add (new address_form (DW_FORM_ref_addr, cl_reference));
+ }
+ };
+
+ struct dwarf_2_t
+ : public std_dwarf
+ {
+ dwarf_2_t ()
+ : std_dwarf (dwarf_2_attributes (), dwarf_2_forms ())
+ {}
+ };
+}
+
+dwarf_version const *
+dwarf_2 ()
+{
+ static dwarf_2_t dw;
+ return &dw;
+}
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#ifndef DWARFLINT_DWARF_2_HH
+#define DWARFLINT_DWARF_2_HH
+
+#include "dwarf_version.ii"
+
+dwarf_version const *dwarf_2 ();
+
+#endif//DWARFLINT_DWARF_2_HH
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#include "dwarf_version-imp.hh"
+#include "dwarf_2.hh"
+#include "dwarf_3.hh"
+#include "../libdw/dwarf.h"
+
+namespace
+{
+ typedef preset_attribute<cl_block, cl_loclistptr> block_or_loc_attribute;
+ typedef preset_attribute<cl_block, cl_constant, cl_reference>
+ block_const_ref_attribute;
+
+ struct dwarf_3_attributes
+ : public attribute_table
+ {
+ dwarf_3_attributes ()
+ {
+ add (new block_or_loc_attribute (DW_AT_location));
+ add (new block_const_ref_attribute (DW_AT_byte_size));
+ add (new block_const_ref_attribute (DW_AT_bit_offset));
+ add (new block_const_ref_attribute (DW_AT_bit_size));
+ add (new basic_attribute (DW_AT_stmt_list, cl_lineptr));
+ add (new block_or_loc_attribute (DW_AT_string_length));
+ add (new basic_attribute (DW_AT_const_value,
+ dw_class_set (cl_block, cl_constant,
+ cl_string)));
+ add (new block_const_ref_attribute (DW_AT_lower_bound));
+ add (new block_or_loc_attribute (DW_AT_return_addr));
+ add (new const_attribute (DW_AT_bit_stride));
+ add (new block_const_ref_attribute (DW_AT_upper_bound));
+ add (new block_const_ref_attribute (DW_AT_count));
+ add (new basic_attribute (DW_AT_data_member_location,
+ dw_class_set (cl_block, cl_constant,
+ cl_loclistptr)));
+ add (new block_or_loc_attribute (DW_AT_frame_base));
+ add (new basic_attribute (DW_AT_macro_info, cl_macptr));
+ add (new block_or_loc_attribute (DW_AT_segment));
+ add (new block_or_loc_attribute (DW_AT_static_link));
+ add (new block_or_loc_attribute (DW_AT_use_location));
+ add (new block_or_loc_attribute (DW_AT_vtable_elem_location));
+ add (new block_const_ref_attribute (DW_AT_associated));
+ add (new block_attribute (DW_AT_data_location));
+ add (new block_const_ref_attribute (DW_AT_byte_stride));
+ add (new addr_attribute (DW_AT_entry_pc));
+ add (new flag_attribute (DW_AT_use_UTF8));
+ add (new ref_attribute (DW_AT_extension));
+ add (new basic_attribute (DW_AT_ranges, cl_rangelistptr));
+ add (new basic_attribute (DW_AT_trampoline,
+ dw_class_set (cl_address, cl_flag,
+ cl_reference, cl_string)));
+ add (new const_attribute (DW_AT_call_column));
+ add (new const_attribute (DW_AT_call_file));
+ add (new const_attribute (DW_AT_call_line));
+ add (new string_attribute (DW_AT_description));
+ add (new const_attribute (DW_AT_binary_scale));
+ add (new const_attribute (DW_AT_decimal_scale));
+ add (new ref_attribute (DW_AT_small));
+ add (new const_attribute (DW_AT_decimal_sign));
+ add (new const_attribute (DW_AT_digit_count));
+ add (new string_attribute (DW_AT_picture_string));
+ add (new flag_attribute (DW_AT_mutable));
+ add (new flag_attribute (DW_AT_threads_scaled));
+ add (new flag_attribute (DW_AT_explicit));
+ add (new ref_attribute (DW_AT_object_pointer));
+ add (new const_attribute (DW_AT_endianity));
+ add (new flag_attribute (DW_AT_elemental));
+ add (new flag_attribute (DW_AT_pure));
+ add (new flag_attribute (DW_AT_recursive));
+ }
+ };
+
+ typedef preset_form<sc_value,
+ cl_constant, cl_lineptr, cl_loclistptr,
+ cl_macptr, cl_rangelistptr> dw3_data_form;
+
+ struct dwarf_3_forms
+ : public form_table
+ {
+ dwarf_3_forms ()
+ {
+ add (new dw3_data_form (DW_FORM_data4, fw_4));
+ add (new dw3_data_form (DW_FORM_data8, fw_8));
+ add (new offset_form (DW_FORM_ref_addr, cl_reference));
+ }
+ };
+
+ struct dwarf_3_ext_t
+ : public std_dwarf
+ {
+ dwarf_3_ext_t ()
+ : std_dwarf (dwarf_3_attributes (), dwarf_3_forms ())
+ {}
+ };
+}
+
+dwarf_version const *
+dwarf_3_ext ()
+{
+ static dwarf_3_ext_t dw;
+ return &dw;
+}
+
+dwarf_version const *
+dwarf_3 ()
+{
+ static dwarf_version const *dw =
+ dwarf_version::extend (dwarf_2 (), dwarf_3_ext ());
+ return dw;
+}
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#ifndef DWARFLINT_DWARF_3_HH
+#define DWARFLINT_DWARF_3_HH
+
+#include "dwarf_version.ii"
+
+/// Pure DWARF 3 extension.
+dwarf_version const *dwarf_3_ext ();
+
+/// DWARF 3 and below.
+dwarf_version const *dwarf_3 ();
+
+#endif//DWARFLINT_DWARF_3_HH
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#include "dwarf_version-imp.hh"
+#include "dwarf_3.hh"
+#include "dwarf_4.hh"
+#include "../libdw/dwarf.h"
+
+namespace
+{
+ typedef preset_attribute<cl_exprloc, cl_loclistptr> exprloc_loclist_attribute;
+ typedef preset_attribute<cl_constant, cl_exprloc, cl_reference>
+ const_exprloc_ref_attribute;
+
+ struct dwarf_4_attributes
+ : public attribute_table
+ {
+ dwarf_4_attributes ()
+ {
+ add (new exprloc_loclist_attribute (DW_AT_location));
+ add (new const_exprloc_ref_attribute (DW_AT_bit_offset));
+ add (new const_exprloc_ref_attribute (DW_AT_bit_size));
+ add (new basic_attribute (DW_AT_high_pc,
+ dw_class_set (cl_address, cl_constant)));
+ add (new exprloc_loclist_attribute (DW_AT_string_length));
+ add (new basic_attribute (DW_AT_const_value,
+ dw_class_set (cl_block, cl_constant,
+ cl_string)));
+ add (new const_exprloc_ref_attribute (DW_AT_lower_bound));
+ add (new exprloc_loclist_attribute (DW_AT_return_addr));
+ add (new const_exprloc_ref_attribute (DW_AT_bit_stride));
+ add (new const_exprloc_ref_attribute (DW_AT_upper_bound));
+ add (new const_exprloc_ref_attribute (DW_AT_count));
+ add (new basic_attribute (DW_AT_data_member_location,
+ dw_class_set (cl_constant, cl_exprloc,
+ cl_loclistptr)));
+ add (new exprloc_loclist_attribute (DW_AT_frame_base));
+ add (new ref_attribute (DW_AT_namelist_item));
+ add (new exprloc_loclist_attribute (DW_AT_segment));
+ add (new exprloc_loclist_attribute (DW_AT_static_link));
+ add (new exprloc_loclist_attribute (DW_AT_use_location));
+ add (new exprloc_loclist_attribute (DW_AT_vtable_elem_location));
+ add (new const_exprloc_ref_attribute (DW_AT_allocated));
+ add (new const_exprloc_ref_attribute (DW_AT_associated));
+ add (new basic_attribute (DW_AT_data_location, cl_exprloc));
+ add (new const_exprloc_ref_attribute (DW_AT_byte_stride));
+ add (new ref_attribute (DW_AT_signature));
+ add (new flag_attribute (DW_AT_main_subprogram));
+ add (new const_attribute (DW_AT_data_bit_offset));
+ add (new flag_attribute (DW_AT_const_expr));
+ }
+ };
+
+ 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 (new const_form (DW_FORM_data4, fw_4));
+ add (new const_form (DW_FORM_data8, fw_8));
+ add (new offset_form
+ (DW_FORM_sec_offset,
+ cl_lineptr, cl_loclistptr, cl_macptr, cl_rangelistptr));
+ add (new exprloc_form (DW_FORM_exprloc));
+ add (new flag_form (DW_FORM_flag_present, fw_0));
+ add (new ref_form (DW_FORM_ref_sig8, fw_8));
+ }
+ };
+
+ 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;
+}
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+
+#ifndef DWARFLINT_DWARF_4_HH
+#define DWARFLINT_DWARF_4_HH
+
+#include "dwarf_version.ii"
+
+/// Pure DWARF 4 extension.
+dwarf_version const *dwarf_4_ext ();
+
+/// DWARF 4 and below.
+dwarf_version const *dwarf_4 ();
+
+#endif//DWARFLINT_DWARF_4_HH
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#include "dwarf_version-imp.hh"
+#include "check_debug_info.hh"
+
+full_form::full_form (int a_name, dw_class_set a_classes,
+ form_width_t a_width, storage_class_t a_storclass)
+ : basic_form (a_name, a_classes)
+ , _m_width (a_width)
+ , _m_storclass (a_storclass)
+{}
+
+form_width_t
+full_form::width (__attribute__ ((unused)) struct cu const *cu) const
+{
+ return _m_width;
+}
+
+storage_class_t
+full_form::storage_class () const
+{
+ return _m_storclass;
+}
+
+form_width_t
+width_off::width (cu const *cu)
+{
+ return static_cast<form_width_t> (cu->head->offset_size);
+}
+
+form_width_t
+width_addr::width (struct cu const *cu)
+{
+ return static_cast<form_width_t> (cu->head->address_size);
+}
+
+string_form::string_form (int a_name)
+ : preset_form<sc_string, cl_string> (a_name, fw_unknown)
+{}
+
+std_dwarf::std_dwarf (attribute_table const &attrtab,
+ form_table const &formtab)
+ : _m_attrtab (attrtab)
+ , _m_formtab (formtab)
+{}
+
+form const *
+std_dwarf::get_form (int form_name) const
+{
+ return _m_formtab.get (form_name);
+}
+
+attribute const *
+std_dwarf::get_attribute (int attribute_name) const
+{
+ return _m_attrtab.get (attribute_name);
+}
--- /dev/null
+/* Pedantic checking of DWARF files
+ Copyright (C) 2010 Red Hat, Inc.
+ This file is part of Red Hat elfutils.
+
+ Red Hat elfutils 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; version 2 of the License.
+
+ Red Hat 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 Red Hat elfutils; if not, write to the Free Software Foundation,
+ Inc., 51 Franklin Street, Fifth Floor, Boston MA 02110-1301 USA.
+
+ Red Hat elfutils is an included package of the Open Invention Network.
+ An included package of the Open Invention Network is a package for which
+ Open Invention Network licensees cross-license their patents. No patent
+ license is granted, either expressly or impliedly, by designation as an
+ included package. Should you wish to participate in the Open Invention
+ Network licensing program, please visit www.openinventionnetwork.com
+ <http://www.openinventionnetwork.com>. */
+
+#include "dwarf_version.hh"
+#include <map>
+
+template <class T>
+class dwver_index_table
+{
+ typedef std::map<int, T const *> _map_t;
+ _map_t _m_data;
+
+protected:
+ void add (T const *f)
+ {
+ _m_data[f->name ()] = f;
+ }
+
+public:
+ T const *
+ get (int f) const
+ {
+ typename _map_t::const_iterator it = _m_data.find (f);
+ if (it != _m_data.end ())
+ return it->second;
+ else
+ return NULL;
+ }
+};
+
+typedef dwver_index_table<form> form_table;
+typedef dwver_index_table<attribute> attribute_table;
+
+template<class T>
+class dwver_basic
+ : public T
+{
+ int _m_name;
+ dw_class_set _m_classes;
+
+public:
+ dwver_basic (int a_name, dw_class_set a_classes)
+ : _m_name (a_name)
+ , _m_classes (a_classes)
+ {}
+
+ dw_class_set const &
+ classes () const
+ {
+ return _m_classes;
+ }
+
+ int
+ name () const
+ {
+ return _m_name;
+ }
+};
+
+typedef dwver_basic<form> basic_form;
+typedef dwver_basic<attribute> basic_attribute;
+
+class full_form
+ : public basic_form
+{
+protected:
+ form_width_t _m_width;
+ storage_class_t _m_storclass;
+
+public:
+ full_form (int a_name, dw_class_set a_classes,
+ form_width_t a_width, storage_class_t a_storclass);
+
+ form_width_t width (cu const *cu = NULL) const;
+ storage_class_t storage_class () const;
+};
+
+struct width_off {
+ static form_width_t width (cu const *cu);
+};
+
+struct width_addr {
+ static form_width_t width (cu const *cu);
+};
+
+template<class WidthSel, storage_class_t StorClass>
+class selwidth_form
+ : public basic_form
+{
+public:
+ template <class... Clss>
+ selwidth_form (int a_name, Clss... a_classes)
+ : basic_form (a_name, dw_class_set (a_classes...))
+ {}
+
+ form_width_t
+ width (struct cu const *cu) const
+ {
+ return WidthSel::width (cu);
+ }
+
+ storage_class_t
+ storage_class () const
+ {
+ return StorClass;
+ }
+};
+
+template<storage_class_t StorClass, dw_class... Classes>
+struct preset_form
+ : public full_form
+{
+ preset_form (int a_name, form_width_t a_width)
+ : full_form (a_name, dw_class_set (Classes...), a_width, StorClass)
+ {}
+};
+
+struct string_form
+ : public preset_form<sc_string, cl_string>
+{
+ string_form (int a_name);
+};
+
+template<dw_class... Classes>
+struct preset_attribute
+ : public basic_attribute
+{
+ preset_attribute (int a_name)
+ : basic_attribute (a_name, dw_class_set (Classes...))
+ {}
+};
+
+typedef selwidth_form<width_off, sc_value> offset_form;
+typedef selwidth_form<width_addr, sc_value> address_form;
+typedef preset_form<sc_block, cl_block> block_form;
+typedef preset_form<sc_value, cl_constant> const_form;
+typedef preset_form<sc_value, cl_reference> ref_form;
+typedef preset_form<sc_value, cl_flag> flag_form;
+
+typedef preset_attribute<cl_constant> const_attribute;
+typedef preset_attribute<cl_reference> ref_attribute;
+typedef preset_attribute<cl_address> addr_attribute;
+typedef preset_attribute<cl_string> string_attribute;
+typedef preset_attribute<cl_flag> flag_attribute;
+typedef preset_attribute<cl_block> block_attribute;
+typedef preset_attribute<cl_block, cl_constant> const_or_block_attribute;
+typedef preset_attribute<cl_block, cl_reference> ref_or_block_attribute;
+typedef preset_attribute<cl_reference, cl_constant> const_or_ref_attribute;
+
+class std_dwarf
+ : public dwarf_version
+{
+ attribute_table const _m_attrtab;
+ form_table const _m_formtab;
+
+public:
+ std_dwarf (attribute_table const &attrtab,
+ form_table const &formtab);
+
+ form const *get_form (int form_name) const;
+ attribute const *get_attribute (int attribute_name) const;
+};
// a version of its own.
#include "dwarf_version.hh"
-#include "check_debug_info.hh"
+#include "dwarf_2.hh"
+#include "dwarf_3.hh"
+#include "dwarf_4.hh"
#include "../libdw/dwarf.h"
#include <map>
#undef ADD
}
-namespace
-{
- template <class T>
- class index_table
- {
- typedef std::map<int, T const *> _map_t;
- _map_t _m_data;
-
- protected:
- void add (T const *f)
- {
- _m_data[f->name ()] = f;
- }
-
- public:
- T const *
- get (int f) const
- {
- typename _map_t::const_iterator it = _m_data.find (f);
- if (it != _m_data.end ())
- return it->second;
- else
- return NULL;
- }
- };
-
- typedef index_table<form> form_table;
- typedef index_table<attribute> attribute_table;
-
- template<class T>
- class basic
- : public T
- {
- int _m_name;
- dw_class_set _m_classes;
-
- public:
- basic (int a_name, dw_class_set a_classes)
- : _m_name (a_name)
- , _m_classes (a_classes)
- {}
-
- dw_class_set const &
- classes () const
- {
- return _m_classes;
- }
-
- int
- name () const
- {
- return _m_name;
- }
- };
-
- typedef basic<form> basic_form;
- typedef basic<attribute> basic_attribute;
-
- class full_form
- : public basic_form
- {
- protected:
- form_width_t _m_width;
- storage_class_t _m_storclass;
-
- public:
- full_form (int a_name, dw_class_set a_classes,
- form_width_t a_width, storage_class_t a_storclass)
- : basic_form (a_name, a_classes)
- , _m_width (a_width)
- , _m_storclass (a_storclass)
- {}
-
- form_width_t
- width (__attribute__ ((unused)) struct cu const *cu = NULL) const
- {
- return _m_width;
- }
-
- storage_class_t
- storage_class () const
- {
- return _m_storclass;
- }
- };
-
- struct width_off {
- static form_width_t width (struct cu const *cu) {
- return static_cast<form_width_t> (cu->head->offset_size);
- }
- };
-
- struct width_addr {
- static form_width_t width (struct cu const *cu) {
- return static_cast<form_width_t> (cu->head->address_size);
- }
- };
-
- template<class WidthSel, storage_class_t StorClass>
- class selwidth_form
- : public basic_form
- {
- public:
- template <class... Clss>
- selwidth_form (int a_name, Clss... a_classes)
- : basic_form (a_name, dw_class_set (a_classes...))
- {}
-
- form_width_t
- width (struct cu const *cu) const
- {
- return WidthSel::width (cu);
- }
-
- storage_class_t
- storage_class () const
- {
- return StorClass;
- }
- };
-
- typedef selwidth_form<width_off, sc_value> offset_form;
- typedef selwidth_form<width_addr, sc_value> address_form;
-
- template<storage_class_t StorClass, dw_class... Classes>
- struct preset_form
- : public full_form
- {
- preset_form (int a_name, form_width_t a_width)
- : full_form (a_name, dw_class_set (Classes...), a_width, StorClass)
- {}
- };
-
- typedef preset_form<sc_block, cl_block> block_form;
- typedef preset_form<sc_value, cl_constant> const_form;
- typedef preset_form<sc_value, cl_reference> ref_form;
- typedef preset_form<sc_value, cl_flag> flag_form;
-
- template<dw_class... Classes>
- struct preset_attribute
- : public basic_attribute
- {
- preset_attribute (int a_name)
- : basic_attribute (a_name, dw_class_set (Classes...))
- {}
- };
-
- typedef preset_attribute<cl_constant> const_attribute;
- typedef preset_attribute<cl_reference> ref_attribute;
- typedef preset_attribute<cl_address> addr_attribute;
- typedef preset_attribute<cl_string> string_attribute;
- typedef preset_attribute<cl_flag> flag_attribute;
- typedef preset_attribute<cl_block> block_attribute;
- typedef preset_attribute<cl_block, cl_constant> const_or_block_attribute;
- typedef preset_attribute<cl_block, cl_reference> ref_or_block_attribute;
- typedef preset_attribute<cl_reference, cl_constant> const_or_ref_attribute;
-
- struct dwarf_row {
- int val;
- dw_class_set classes;
- };
-
- struct dwarf_2_attributes
- : public attribute_table
- {
- dwarf_2_attributes ()
- {
- add (new ref_attribute (DW_AT_sibling));
- add (new const_or_block_attribute (DW_AT_location));
- add (new string_attribute (DW_AT_name));
- add (new const_attribute (DW_AT_ordering));
- add (new const_attribute (DW_AT_byte_size));
- add (new const_attribute (DW_AT_bit_offset));
- add (new const_attribute (DW_AT_bit_size));
- add (new const_attribute (DW_AT_stmt_list));
- add (new addr_attribute (DW_AT_low_pc));
- add (new addr_attribute (DW_AT_high_pc));
- add (new const_attribute (DW_AT_language));
- add (new ref_attribute (DW_AT_discr));
- add (new const_attribute (DW_AT_discr_value));
- add (new const_attribute (DW_AT_visibility));
- add (new ref_attribute (DW_AT_import));
- add (new const_or_block_attribute (DW_AT_string_length));
- add (new ref_attribute (DW_AT_common_reference));
- add (new string_attribute (DW_AT_comp_dir));
- add (new basic_attribute (DW_AT_const_value,
- dw_class_set (cl_string, cl_constant,
- cl_block)));
- add (new ref_attribute (DW_AT_containing_type));
- add (new ref_attribute (DW_AT_default_value));
- add (new const_attribute (DW_AT_inline));
- add (new flag_attribute (DW_AT_is_optional));
- add (new const_or_ref_attribute (DW_AT_lower_bound));
- add (new string_attribute (DW_AT_producer));
- add (new flag_attribute (DW_AT_prototyped));
- add (new const_or_block_attribute (DW_AT_return_addr));
- add (new const_attribute (DW_AT_start_scope));
- add (new const_attribute (DW_AT_bit_stride));
- add (new const_or_ref_attribute (DW_AT_upper_bound));
- add (new const_attribute (DW_AT_abstract_origin));
- add (new ref_attribute (DW_AT_accessibility));
- add (new const_attribute (DW_AT_address_class));
- add (new flag_attribute (DW_AT_artificial));
- add (new ref_attribute (DW_AT_base_types));
- add (new const_attribute (DW_AT_calling_convention));
- add (new const_or_ref_attribute (DW_AT_count));
- add (new ref_or_block_attribute (DW_AT_data_member_location));
- add (new const_attribute (DW_AT_decl_column));
- add (new const_attribute (DW_AT_decl_file));
- add (new const_attribute (DW_AT_decl_line));
- add (new flag_attribute (DW_AT_declaration));
- add (new block_attribute (DW_AT_discr_list));
- add (new const_attribute (DW_AT_encoding));
- add (new flag_attribute (DW_AT_external));
- add (new const_or_block_attribute (DW_AT_frame_base));
- add (new ref_attribute (DW_AT_friend));
- add (new const_attribute (DW_AT_identifier_case));
- add (new const_attribute (DW_AT_macro_info));
- add (new block_attribute (DW_AT_namelist_item));
- add (new ref_attribute (DW_AT_priority));
- add (new const_or_block_attribute (DW_AT_segment));
- add (new ref_attribute (DW_AT_specification));
- add (new const_or_block_attribute (DW_AT_static_link));
- add (new ref_attribute (DW_AT_type));
- add (new const_or_block_attribute (DW_AT_use_location));
- add (new flag_attribute (DW_AT_variable_parameter));
- add (new const_attribute (DW_AT_virtuality));
- add (new ref_or_block_attribute (DW_AT_vtable_elem_location));
- }
- };
-
- struct string_form
- : public preset_form<sc_string, cl_string>
- {
- string_form (int a_name)
- : preset_form<sc_string, cl_string> (a_name, fw_unknown)
- {}
- };
-
- struct dwarf_2_forms
- : public form_table
- {
- dwarf_2_forms ()
- {
- add (new block_form (DW_FORM_block, fw_uleb));
- add (new block_form (DW_FORM_block1, fw_1));
- add (new block_form (DW_FORM_block2, fw_2));
- add (new block_form (DW_FORM_block4, fw_4));
-
- add (new const_form (DW_FORM_data1, fw_1));
- add (new const_form (DW_FORM_data2, fw_2));
- add (new const_form (DW_FORM_data4, fw_4));
- add (new const_form (DW_FORM_data8, fw_8));
- add (new const_form (DW_FORM_sdata, fw_sleb));
- add (new const_form (DW_FORM_udata, fw_uleb));
-
- add (new flag_form (DW_FORM_flag, fw_1));
-
- add (new ref_form (DW_FORM_ref1, fw_1));
- add (new ref_form (DW_FORM_ref2, fw_2));
- add (new ref_form (DW_FORM_ref4, fw_4));
- add (new ref_form (DW_FORM_ref8, fw_8));
- add (new ref_form (DW_FORM_ref_udata, fw_uleb));
-
- add (new string_form (DW_FORM_string));
- add (new offset_form (DW_FORM_strp, cl_string));
- add (new address_form (DW_FORM_addr, cl_address));
- add (new address_form (DW_FORM_ref_addr, cl_reference));
- }
- };
-
- typedef preset_attribute<cl_block, cl_loclistptr> block_or_loc_attribute;
- typedef preset_attribute<cl_block, cl_constant, cl_reference>
- block_const_ref_attribute;
-
- struct dwarf_3_attributes
- : public attribute_table
- {
- dwarf_3_attributes ()
- {
- add (new block_or_loc_attribute (DW_AT_location));
- add (new block_const_ref_attribute (DW_AT_byte_size));
- add (new block_const_ref_attribute (DW_AT_bit_offset));
- add (new block_const_ref_attribute (DW_AT_bit_size));
- add (new basic_attribute (DW_AT_stmt_list, cl_lineptr));
- add (new block_or_loc_attribute (DW_AT_string_length));
- add (new basic_attribute (DW_AT_const_value,
- dw_class_set (cl_block, cl_constant,
- cl_string)));
- add (new block_const_ref_attribute (DW_AT_lower_bound));
- add (new block_or_loc_attribute (DW_AT_return_addr));
- add (new const_attribute (DW_AT_bit_stride));
- add (new block_const_ref_attribute (DW_AT_upper_bound));
- add (new block_const_ref_attribute (DW_AT_count));
- add (new basic_attribute (DW_AT_data_member_location,
- dw_class_set (cl_block, cl_constant,
- cl_loclistptr)));
- add (new block_or_loc_attribute (DW_AT_frame_base));
- add (new basic_attribute (DW_AT_macro_info, cl_macptr));
- add (new block_or_loc_attribute (DW_AT_segment));
- add (new block_or_loc_attribute (DW_AT_static_link));
- add (new block_or_loc_attribute (DW_AT_use_location));
- add (new block_or_loc_attribute (DW_AT_vtable_elem_location));
- add (new block_const_ref_attribute (DW_AT_associated));
- add (new block_attribute (DW_AT_data_location));
- add (new block_const_ref_attribute (DW_AT_byte_stride));
- add (new addr_attribute (DW_AT_entry_pc));
- add (new flag_attribute (DW_AT_use_UTF8));
- add (new ref_attribute (DW_AT_extension));
- add (new basic_attribute (DW_AT_ranges, cl_rangelistptr));
- add (new basic_attribute (DW_AT_trampoline,
- dw_class_set (cl_address, cl_flag,
- cl_reference, cl_string)));
- add (new const_attribute (DW_AT_call_column));
- add (new const_attribute (DW_AT_call_file));
- add (new const_attribute (DW_AT_call_line));
- add (new string_attribute (DW_AT_description));
- add (new const_attribute (DW_AT_binary_scale));
- add (new const_attribute (DW_AT_decimal_scale));
- add (new ref_attribute (DW_AT_small));
- add (new const_attribute (DW_AT_decimal_sign));
- add (new const_attribute (DW_AT_digit_count));
- add (new string_attribute (DW_AT_picture_string));
- add (new flag_attribute (DW_AT_mutable));
- add (new flag_attribute (DW_AT_threads_scaled));
- add (new flag_attribute (DW_AT_explicit));
- add (new ref_attribute (DW_AT_object_pointer));
- add (new const_attribute (DW_AT_endianity));
- add (new flag_attribute (DW_AT_elemental));
- add (new flag_attribute (DW_AT_pure));
- add (new flag_attribute (DW_AT_recursive));
- }
- };
-
- typedef preset_form<sc_value,
- cl_constant, cl_lineptr, cl_loclistptr,
- cl_macptr, cl_rangelistptr> dw3_data_form;
-
- struct dwarf_3_forms
- : public form_table
- {
- dwarf_3_forms ()
- {
- add (new dw3_data_form (DW_FORM_data4, fw_4));
- add (new dw3_data_form (DW_FORM_data8, fw_8));
- add (new offset_form (DW_FORM_ref_addr, cl_reference));
- }
- };
-
- typedef preset_attribute<cl_exprloc, cl_loclistptr> exprloc_loclist_attribute;
- typedef preset_attribute<cl_constant, cl_exprloc, cl_reference>
- const_exprloc_ref_attribute;
-
- struct dwarf_4_attributes
- : public attribute_table
- {
- dwarf_4_attributes ()
- {
- add (new exprloc_loclist_attribute (DW_AT_location));
- add (new const_exprloc_ref_attribute (DW_AT_bit_offset));
- add (new const_exprloc_ref_attribute (DW_AT_bit_size));
- add (new basic_attribute (DW_AT_high_pc,
- dw_class_set (cl_address, cl_constant)));
- add (new exprloc_loclist_attribute (DW_AT_string_length));
- add (new basic_attribute (DW_AT_const_value,
- dw_class_set (cl_block, cl_constant,
- cl_string)));
- add (new const_exprloc_ref_attribute (DW_AT_lower_bound));
- add (new exprloc_loclist_attribute (DW_AT_return_addr));
- add (new const_exprloc_ref_attribute (DW_AT_bit_stride));
- add (new const_exprloc_ref_attribute (DW_AT_upper_bound));
- add (new const_exprloc_ref_attribute (DW_AT_count));
- add (new basic_attribute (DW_AT_data_member_location,
- dw_class_set (cl_constant, cl_exprloc,
- cl_loclistptr)));
- add (new exprloc_loclist_attribute (DW_AT_frame_base));
- add (new ref_attribute (DW_AT_namelist_item));
- add (new exprloc_loclist_attribute (DW_AT_segment));
- add (new exprloc_loclist_attribute (DW_AT_static_link));
- add (new exprloc_loclist_attribute (DW_AT_use_location));
- add (new exprloc_loclist_attribute (DW_AT_vtable_elem_location));
- add (new const_exprloc_ref_attribute (DW_AT_allocated));
- add (new const_exprloc_ref_attribute (DW_AT_associated));
- add (new basic_attribute (DW_AT_data_location, cl_exprloc));
- add (new const_exprloc_ref_attribute (DW_AT_byte_stride));
- add (new ref_attribute (DW_AT_signature));
- add (new flag_attribute (DW_AT_main_subprogram));
- add (new const_attribute (DW_AT_data_bit_offset));
- add (new flag_attribute (DW_AT_const_expr));
- }
- };
-
- 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 (new const_form (DW_FORM_data4, fw_4));
- add (new const_form (DW_FORM_data8, fw_8));
- add (new offset_form
- (DW_FORM_sec_offset,
- cl_lineptr, cl_loclistptr, cl_macptr, cl_rangelistptr));
- add (new exprloc_form (DW_FORM_exprloc));
- add (new flag_form (DW_FORM_flag_present, fw_0));
- add (new ref_form (DW_FORM_ref_sig8, fw_8));
- }
- };
-
- class std_dwarf
- : public dwarf_version
- {
- attribute_table const _m_attrtab;
- form_table const _m_formtab;
-
- public:
- std_dwarf (attribute_table const &attrtab,
- form_table const &formtab)
- : _m_attrtab (attrtab)
- , _m_formtab (formtab)
- {}
-
- form const *
- get_form (int form_name) const
- {
- return _m_formtab.get (form_name);
- }
-
- attribute const *
- get_attribute (int attribute_name) const
- {
- return _m_attrtab.get (attribute_name);
- }
- };
-}
-
bool
dwarf_version::form_allowed (int form) const
{
return sfs_ok;
}
-
namespace
{
class dwarf_version_union
return new dwarf_version_union (source, extension);
}
-namespace
-{
- std_dwarf dwarf2 ((dwarf_2_attributes ()), dwarf_2_forms ());
- std_dwarf ext_dwarf3 ((dwarf_3_attributes ()), dwarf_3_forms ());
- std_dwarf ext_dwarf4 ((dwarf_4_attributes ()), dwarf_4_forms ());
-
- dwarf_version const *dwarf3 = dwarf_version::extend (&dwarf2, &ext_dwarf3);
- dwarf_version const *dwarf4 = dwarf_version::extend (dwarf3, &ext_dwarf4);
-}
-
dwarf_version const *
dwarf_version::get (unsigned version)
{
switch (version)
{
- case 2: return &dwarf2;
- case 3: return dwarf3;
- case 4: return dwarf4;
+ case 2: return dwarf_2 ();
+ case 3: return dwarf_3 ();
+ case 4: return dwarf_4 ();
default: return NULL;
};
}
--- /dev/null
+class form;
+class attribute;
+class dwarf_version;
projects / thirdparty / elfutils.git / commitdiff
